fix: had a bug when one coarse entry handles more than one parameter conflicts

moldyn: increases workload per parallel task
mergesort: provides its own makefile to tune the number of worker

BuildCode.java: removes (1) the calls to build a traverser thread (2) the calls to enqueueTR when SESE only has empty traversers.

FlatSESEEnterNode.java CallGraph.java, RblockRelationAnalysis.java: maintains additional DS having a set of SESE that is the first reachable SESE from the current SESE through transitive method invocations

RuntimeConflictResolver.java : add helper function that checks if the given SESE only has empty traversers.

removes unnecessary LOCKXCHG operation to optimize.

fixes on hashStructure : when parent bin is ready, it should not be inserted to the table.

changes on KMeans: remove System.exit(). It caused a forced termination so it couldn't generate coreprof data

fix: retireHashTable clears its own readbin out of order first, and then iterates over bin array to resolve the rest of them.

Added a generated labyrinth input file that provides a big win for RCR by inverting the grid dimentions so that RCR does less checks. Should be as valid as random-x512-y512-z7-n512.txt since a 512x512x7 grid can be treated as a 7x512x512 or 512x7x512 grid. Averaged running times: Single-3m:53s, ooo-41s, rcr-30s

changes on MolDyn: increases workload and re-arranges unnecessary stall sites.

changes: generates WT_BIN_CASE only in the case that the read effect has downstream conflicts.

display elapsed time to help choose plot parameters and add arrow heads, remove palette mode for line colors

check rcrstatus before invoking the following traversals since the granularity of rctstatus is a task

index field of rentry is only for RCR, add guard condition to accessing index field.

have to consider an empty, ready read bin in front of you if you are inserting a write bin

coreprof in RCR, just one event for now showing begin and end of traverse call

poolalloc with no poolfree should be benign, but it causes wacky behavior in moldyn.  It could just be altering the timing and exposing a latent bug, but for now lets go back to strict MALLOC

back out pool alloc for now, fix it right when its clear we need it

Added build output to include Weakly Connected Heaproots and their IDs (Note: IDs correspond to which hashtable the heaproots will be inserting thier effects into). Introduced more debug printout guards to help clean up the overflow of output that we had before.

pool allocate RCR obj-conflict hash table bin items

Fixed grouping of weakly connected heaproots and removed yucky hacks. Previous version did not iterate through the entire list of connected heaproots when forming a group out of them.

until weakly connected components are fixed, always use hashtable zero

some new events

run script

be more careful about moving check...could break stuff in the future accidentally if we do this...

temporary workaround for weakly-connected components detection bug in task params for rcr traversal

coreprof events, RCR stuff will be online onyl after rcr threads register with coreprof

alter RCR params, remove unused macro

no need to add one worker thread, let end user decide

bug fix, was releasing references a little too early

use squeue by default, rcr should use 23 cores, 24th core will be a traverser

some more runr scripts and a little script to clean all benchmarks out

changes

nasty bug...have to make sure we don't free a task record before it clears the memory queue....otherwise the queue could affect the reused task record

changes

(1) make type of memPool more precise...
(2) bug fix in BuildCode

generated traversers already release

pruning unneeded fields

just an explanation of LOCKXCH

bug fixes in logic

reorganize stall code

changes on rcr stall site generation

do not generate enqueueTR for the main method

capture a todo item, we don't expect its a problem for current benchmarks though

fix bug

changes:
(1) create traversers only for non leaf threads
(2) fixup stuff to have separate tables for separate weakly connected components
(3) fixup stallsite code

change: more aggressively re-initialize fields of rcrRecords.

now, rcr is working fine with all benchmarks, except mergesort.

changes: don't need to have resolvePointer opr for coarse cases.

have an exceptional case that do not generate fine rentry when parent has a coarse edge with non-parent node.

doesn't make sense for us to need a barrier here...

just add the type to make sure it is 3, which is what we're expecting but trying to prevent

without this barrier the compiler can optimize variable val out and the critical first clause of the subseqeuent if statement is just lost, then when you expect val to be non-NULL in any call to getHead() the thread crashes

head pointer might be NULL, as is checked a few lines down, so add another clause to if

convenient, add makefile to list of dependencies for executable targets

change

another bug fix

bug fix

bug fixes

changes

Fix volatile in mgc version.  Volatile variable should not be allocated in the shared heap like static variables

labyrinth is seg-faulting, if you uncomment these new lines it can reach the end of the program but it did not route all the subproblems.  Some better understanding of the rcrRecord will help here

Separated out Demsky's hashStructure interface code, changed a variable name from node to curr, and fixed logic that would cause an assertion error (bug was the code attempted to inline checks that weren't inlinable)

when the RCR system resolves a parent stall site, the parent thread has its stallrecord.common.rcrstatus set back to 0, but if the ooojava memory queue resolves the stall earlier, it allows the parent to resume without setting rcrstatus, so we added a line in the parent just after the stall so it clears its rcrstatus itself no matter which method resumes it

this check shows that some kind of array pointer is not what the assertion expected...

update targets so dependence on source files is recognized

conveniences for RCR

changes

bug

make sure 1 is long long...other bug fix

code changes

fix: have the proper size of rcrRecord since the size of the rcrRecord array is equal to the size of dynamic coarse conflict var set.

new coreprof event, move workschedule dowork label only across the coreprof event to prevent mismatch, split conflict resolver assert into two separate terms, added an rcr remake target

Add support for volatile keyword in mgc version.  For Tilera, as we execute a process on each core, to make all the 'threads' share the volatile field, make it as a shared field in global shared heap like static fields.  Add keywords and rules for enumarated type, but still have bugs and when parsing the test code, the compiler throw errors.

I misunderstood the REntry pointer, its a pointer to an object pointer and it SHOULD be dereferenced before casting it to an int pointer, and then used to grab the object type or OID out of the actual object memory

update trace to dump out gnuplot plots

fix so that profiling doesn't throw an error

have coreprof plot events

bug fix: add the invar to the coarseConflictSet when the invar itself has a conflict.

Forgot to take out debug comments.

Found a bug where if the inset variable itself has a reference conflict, it doesn't get a case statement.

updates on master-makefile of oooJava: generates a separate rcr executable file.

the mismatch of sequential and ooo goes away if you remove the semantically-benign explicit parent of this micro benchmark.  It means our system still has bugs, but this pattern doesn't appear in the normal benchmarks so the problem is best deferred until it impacts results

a version of micro4 that collects the results and shows sequential behavior is preserved, brians fix is awesome

update poolcreate args for deque version as well

clean stuff up a little

convert CAS -> XCHG when possible....no retry necessary this way

bug

changes: generate rcr retirehashtable code correctly according to the runtime interface.

TODO: Current implementation assumes that the size of the rcrRecord array is equal to the size of fsen.getDynamicInVarSet(). But, it seems not to be true since the rcrRecord array is allocated by the size of inset var which is actually related with coarse conflict.

Minor changes: Removing vestigial code

Previous commit:
-Every case where we enqueue an item will be guaranteed to have a case statement upon dequeue.
- Every valid pointer route will now end with either an enqueue to an array or Demsky's interface code with hashStructure.c
-Eliminated multiple traversals, empty switch statements and unused variables/pointers.
-Added new ArrayList based structure to store ObjRefs (only augmented by 1 method)

Fixed:

commit some useful debug stuff all turned off until needed, trying to get workspace synched to prevent constant conflicts

for original thread to become worker zero

A variable defined in task A and read in task A's child's child appears to have a source from A--why does this assert stop code?  check out later, check in the informative version of the assert

alternate version of micro2 that gathers results of every micro task shows that even with just variable dependencies the system is incorrect and parallel version does not behave like serial version

bug fix....have to make sure we don't insert task into some other deque as insertion is not multithread safe

Add support for static inner classes in mgc version. Currently we only implemented limited features. Do not support Outer.Inner yet. Also only use inner class's name to identify the class instead of Outer.Inner which may cause bugs if there are two inner classes with the same name but with different surrounding classes.

simplify the program...still crashes

Don't allocate type number for interfaces so that we do not need allocate lines in the virtual method table for interfaces and the virtual method table can be tight.

even though man page says otherwise, addr and len to mprotect must be page-aligned and page multiple

small change: not using path when includes the header file as Brian suggested.

add feature to memPool for detecting misuse of records by clients, also added a function pointer input to mem pool so clients can customize an initializer for freshly allocated records to save duplicatation and maintenance, also mem pool changes were breaking squeue, just define a local version of the two structs it needs