mp3decoder compiled by our research compiler produces the same output that I get from the mp3decoder compiled by OpenJDK. But SS checking was turned off, so still need to have more annotations/code changes to get desired properties, linear-type and ss.

1) bug fix on nativeavailable(): forgot to get back the file pointer to the current position.
2) small optimization on the FileInputStream.

changes.

adds 'nativeavailable()' and 'read(buf,offset,len)' methods into FileInputStream. 'nativeavailable' returns the number of bytes that can be read from the current file. 'read(buf,offset,len)' reads up to 'len' bytes from the current file  with the start offset to the destination array buf.

1) allow to set the maximum threshold for the liveness analysis. if threashold is set to -1, there is no threshold. 2) bug fix on CSE

get rid of the stream parsing that occurs in the Layer III decoder. BitStream.readFrame() returns a Header that has every information required by a single self-stabilizing loop iteration.

changes.

changes: now variable ownership is in the part of the type extension.

code clean up

fix a grammar to allow multiple annotations on method parameter

changes.

buildflat exposes new interface that maps from a tree node to the set of flatnodes that implements + revising linear type checking

Previous fix is still buggy, this one really fix that bug

Bug fix: during gc compact, one block's usage information could be modified by multiple cores, should avoid mis-overwriting the correct information due to the bad incoming order of GCRETURNMEM messages

start revising the linear type checking

changes.

changes.

changes.

Fix bug in pmc garbage collector

changes.

fix on assigning  the global location of the local variable lattice to static fields

changes.

changes.

changes: 1) generate a class lattice graph DOT file for the debug mode. it makes annotation and debug easier 2) updates more annotation

changes.

memory profiler hack

changes.

bug fix on callee constraint checking: previously only checked ordering constraints of parameters without considering default parameter 'this'

changes.

changes: LayerIDecoder and LayerIIDecoder pass the flow-down rule checking

Change the work load

*** empty log message ***

*** empty log message ***

cache bench

code change

this should fix dtlb misses

changes.

change the work load

to get eaiser debugging, make the ssjava checking have deterministic ordering of class & method descriptors

changes on the flow down rule checking: 1) only check a relation bet array and index value when array access node is the LHS of the assignment node. When an array access is RHS, index and array should be independent.
2) have a better way to check implicit flow. after conditional branch, keep conditional location as a constraint location and then check if an assignment located inside the conditional branch block respects this constraint.

bug fixes

changes for simultaneous run!

*** empty log message ***

*** empty log message ***

bug in buildscript

try to fix annotation errors

make size smaller to make sure we run in a reasonable time...

changes

fix bugs

fix benchmarks

add gccachecoherenon into buildscript

large raytracer changes from jin +
join hack

more changes.

fix a bug: there was no case for unsigned shift op.

fixes on method annoatation checking: when a method needs to be annotated, all of its parent method needs to be annotated. If a parent method is abstract, at least needs to have annotations for method declaration.

Missing changes

Add GC_CACHE_COHERENT_ON

changes

changes.

bug fix

changes on NameNode checking

try to move code around to sync up operations between master and slaves...

fix code

remove sampling for policy1&2, tmp solution

changes

changes

Add gcprofile to PMC garbage collector and compute the size of allocated obj instead of the number of allocated obj per collection

small bug fix

changes

gets rid of crashes...

changes: major revision on SynthesisFilter of mp3decoder since we do not allow aliases.

add finish printfs

more odd core count bugs

another odd core bug

changes

fix really dangerous from before...

fix odd core pmc bug

my changes

add a person to the spam address...take stephen off for a while...

changes.

bug fix....

Fixed more compilation issues.

Added HG.java

Fixed issues with compilation.

Comment out the obj counter according to Brian's comment

fix profile code

changes: 1) have a better error message 2) if annotation is required for abstract method, add all possible methods who implements the abstract method for further checking

adding more annotations for mp3decoder

For a page that is not used, set its host core as the home core that caches it

1- bug fix
2- pad out empty objects...

changes

bug fix...it assumes ints and then the shifts go bad...

make other tables cached incoherent

add field

change

changes

Ported over bamboo benchmarks for use as non-Bamboo java benchmarks.

small changes

fix: forgot to check swtich statements

fix: does not need to check a class that does not have any annotated method