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

includes the missing header file.

Enable interface for mgc version.

fix sloppy code and use a more recognizable invalid pointer for mem pool

make sure mistakes are obvious with identifiable values

changes: to prevent unnecessary LOCKXCHG when the unresolved queue is empty.

really bad bug

single ended queue work stealing scheduler

couple of minor bug fixes

change calloc to RUNMALLOC, added some optional debug deque bits

optimize dispatch a little more

Changes...  small fix to jim's bugfix...touching our record after we free it is also bad...

poolalloc the rentry's...avoid running out of memory...looks like speed gains for micro also...

eliminate parentsemaphore...just use the thread local semaphore...needed to simplify freeing rentry records

fixed nasty bug, decrementing parents num running children used to be last, but new code has creeped up afte rit, move this down to the very last thing done before exiting

Fixed issue where multi-dimentional primative arrays were treated as primitives. Now labyrinth benchmark works

bug fix: RCR sets its proper conflict type.

make sure that every benchmark of oooJava takes the largest input size by default

correct input data for barneshut

OOO and RCR are speparate targets in the master makefile, added runp scripts for all benchmarks, time command included in runp's

fix bug w/ recycling + RCR

support for RCR and task record pool allocation

this is a BUG, don't dereference the object pointer, blargh

Hack the compiler to support 'abstract' keyword for mgc version. Abstract classes/methods can be compiled but fully semantic check is not supported. Now we generate an empty method for each declared abstract method and do not check if the subclasses have implemented their inheried abstract methods.

Added necessary variable initializations

changes: handle correctly the case when a coarse grain conflict is associated with effects on different allocation sites.

make the traversers do something

Changing OoOJava work scheduler to true work stealing, garbage collection can walk the deques used, changes to build code and workschedule are awesome because work stealing threads exit gracefully when system is out of work

added a debug option for deque

bug fix in identifying leaf tasks

Changed method for marking possible resume cases. Now it only considers read conflicts.

Improved heuristics for marking where resume cases are possible. Instead marking every conflict as a possible resume case, it now only marks cases where there is a read conflict (which implies that there is a write somewhere else) or where there is an ancestor read conflict and a current conflict.

changes

cleaned up some old code and comments

bug fixes

changes...handle races between coarse and fine grained conflict resolution

+Made arrays inlineable
+Fields with multiple allocation sites are now handled with a switch statement.

Fixed bug (for reals this time) where there will be multiple traversals on the same field. Turns out the .equals for ConcreteRuntimeObjNode was done incorrectly.

Working on next task:
+using switch statements for checking fields.
+Treating arrays the same as any field (inlinable)

Fixed bug where one edge is traversed multiple times even if it's the same allocsite. Turns out, the .equals in allocsite did not compare their ID's.

Changes:

fixes to case in Test/rcr. Now the program seems to get stuck at sched_yield() which I believe is not a component of RCR

another bad case