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

changes

another bug fix

changes

Disable static related code generation for Java version

bug

changes

more core...fix traversers...

still some bugs...but stall site code generation is in

changes towards rcr working...
comment out jin's checkin...it breaks code generation in x86...

Add Class object so that we can implement getClass() and can have class lock for synchronized blocks

implemented deque for work stealing

Small bug fix for multicore gc w/o tasks

more changes....much is still missing

changes

changes

simple changes:
if there are more than one coarse conflicts for the same queue and the same sese, one coarse waiting element, which is actually enqueued into the memory queue, maintains a set of tempDesc containing all of the coarse tempDescriptors.

have not yet modified BuildCode.

Implement a more sorphisticated execution strategy for static blocks. Tested with very simple example code.  Static field initialization is not implemented yet.

changes

changes. assign tempDescriptor to coarse waiting element

changes

more changes for RCR

remove unnecessary conflict type and assign coarse conflict by default.

Added allocsite check for array elements before inserting into visitedhash.

change

more changes...RCR wasn't usable until it was too late...

more changes

more work towards working version

changes

Added support for adding array elements into the hash/queue. Appears to support multidimensional arrays as well.

let the prefetch go through a register instead...

changes

switch to a thread local stall sem for parent to give to children, tinker with prefetch in pool alloc, tinker with safe and fast garbage collection at scheduler level

Add support for 'static' fields in multicore gc version w/o tasks. Now we can have static fields and access static fields/methods with Class name. Static blocks are also supported but with very simple invocation solution. All the static blocks are executed right before executing the main method and are executed in random order. The initialization for the static field is not supported yet.

Added support for tracking which ConcreteRuntimeObjNodes can be Arrays and which can be array elements. Array elements get their own case statement since if we add the entire array into the queue, then it's probably better to let the switch statement handle what to do with objects from a specific allocation site.

I had more code written, but apparently my workspace was not up to date. The changes I made need changes, so I omitted them. It's okay since I need to ask Yonghun/Jim about arrays on the C-side anyway.

more changes towards oooJava version 2