IRC.git
11 years agohaving new variable 'inter' in-between "reorder/antialias" and "hybrid" in order...
yeom [Tue, 23 Aug 2011 00:34:41 +0000 (00:34 +0000)]
having new variable 'inter' in-between "reorder/antialias" and "hybrid" in order to remove unnecessary the shared location. (haven't yet updated annotations)

11 years agobug fix on the definitely written check: Field read does not need to remove OW set.
yeom [Sat, 20 Aug 2011 10:56:25 +0000 (10:56 +0000)]
bug fix on the definitely written check:  Field read does not need to remove OW set.

11 years agochanges.
yeom [Sat, 20 Aug 2011 08:49:24 +0000 (08:49 +0000)]
changes.

11 years agomp3decoder passes the loop termination analysis.
yeom [Sat, 20 Aug 2011 00:57:51 +0000 (00:57 +0000)]
mp3decoder passes the loop termination analysis.

11 years agobug fix on the loop termination analysis
yeom [Sat, 20 Aug 2011 00:56:31 +0000 (00:56 +0000)]
bug fix on the loop termination analysis

11 years agobug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition...
yeom [Fri, 19 Aug 2011 18:03:48 +0000 (18:03 +0000)]
bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition node.

11 years agochanges on the loop termination analysis: associate a labeled statement with a corres...
yeom [Fri, 19 Aug 2011 02:30:46 +0000 (02:30 +0000)]
changes on the loop termination analysis: associate a labeled statement with a corresponding LoopNode rather than attaching it to a BlockNode. this is interim implementation until we have branching statements.

11 years agomp3decoder finally passes the flow-down rule checking.
yeom [Fri, 19 Aug 2011 00:00:48 +0000 (00:00 +0000)]
mp3decoder finally passes the flow-down rule checking.

11 years agomore changes to pass the flow-down rule
yeom [Thu, 18 Aug 2011 12:17:32 +0000 (12:17 +0000)]
more changes to pass the flow-down rule

11 years agochanges.
yeom [Thu, 18 Aug 2011 01:50:57 +0000 (01:50 +0000)]
changes.

11 years agobug fix on flow-down rule: check if all of assignments done by invoking method respec...
yeom [Wed, 17 Aug 2011 23:18:16 +0000 (23:18 +0000)]
bug fix on flow-down rule: check if all of assignments done by invoking method respect the current branch constraint

11 years agohave linear-type-safe source codes of mp3decoder
yeom [Wed, 17 Aug 2011 03:13:36 +0000 (03:13 +0000)]
have linear-type-safe source codes of mp3decoder

11 years agomp3decoder compiled by our research compiler produces the same output that I get...
yeom [Tue, 16 Aug 2011 01:36:06 +0000 (01:36 +0000)]
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.

11 years ago1) bug fix on nativeavailable(): forgot to get back the file pointer to the current...
yeom [Mon, 15 Aug 2011 18:08:18 +0000 (18:08 +0000)]
1) bug fix on nativeavailable(): forgot to get back the file pointer to the current position.
2) small optimization on the FileInputStream.

11 years agochanges.
yeom [Mon, 15 Aug 2011 01:27:45 +0000 (01:27 +0000)]
changes.

11 years agoadds 'nativeavailable()' and 'read(buf,offset,len)' methods into FileInputStream...
yeom [Mon, 15 Aug 2011 01:13:10 +0000 (01:13 +0000)]
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.

11 years ago1) allow to set the maximum threshold for the liveness analysis. if threashold is...
yeom [Sat, 13 Aug 2011 01:28:26 +0000 (01:28 +0000)]
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

11 years agoget rid of the stream parsing that occurs in the Layer III decoder. BitStream.readFra...
yeom [Thu, 11 Aug 2011 23:48:35 +0000 (23:48 +0000)]
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.

11 years agochanges.
yeom [Wed, 10 Aug 2011 00:24:42 +0000 (00:24 +0000)]
changes.

11 years agochanges: now variable ownership is in the part of the type extension.
yeom [Tue, 9 Aug 2011 02:36:36 +0000 (02:36 +0000)]
changes: now variable ownership is in the part of the type extension.

11 years agocode clean up
yeom [Tue, 9 Aug 2011 00:44:44 +0000 (00:44 +0000)]
code clean up

11 years agofix a grammar to allow multiple annotations on method parameter
yeom [Tue, 9 Aug 2011 00:43:48 +0000 (00:43 +0000)]
fix a grammar to allow multiple annotations on method parameter

11 years agochanges.
yeom [Mon, 8 Aug 2011 06:33:21 +0000 (06:33 +0000)]
changes.

11 years agobuildflat exposes new interface that maps from a tree node to the set of flatnodes...
yeom [Sat, 6 Aug 2011 01:36:10 +0000 (01:36 +0000)]
buildflat exposes new interface that maps from a tree node to the set of flatnodes that implements + revising linear type checking

11 years agoPrevious fix is still buggy, this one really fix that bug
jzhou [Sat, 6 Aug 2011 00:11:34 +0000 (00:11 +0000)]
Previous fix is still buggy, this one really fix that bug

11 years agoBug fix: during gc compact, one block's usage information could be modified by multip...
jzhou [Fri, 5 Aug 2011 22:04:07 +0000 (22:04 +0000)]
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

11 years agostart revising the linear type checking
yeom [Fri, 5 Aug 2011 01:52:32 +0000 (01:52 +0000)]
start revising the linear type checking

11 years agochanges.
yeom [Wed, 3 Aug 2011 18:21:18 +0000 (18:21 +0000)]
changes.

11 years agochanges.
yeom [Wed, 3 Aug 2011 02:09:32 +0000 (02:09 +0000)]
changes.

11 years agochanges.
yeom [Tue, 2 Aug 2011 18:45:45 +0000 (18:45 +0000)]
changes.

11 years agoFix bug in pmc garbage collector
jzhou [Mon, 1 Aug 2011 22:42:02 +0000 (22:42 +0000)]
Fix bug in pmc garbage collector

11 years agochanges.
yeom [Fri, 29 Jul 2011 01:28:17 +0000 (01:28 +0000)]
changes.

11 years agofix on assigning the global location of the local variable lattice to static fields
yeom [Thu, 28 Jul 2011 23:19:45 +0000 (23:19 +0000)]
fix on assigning  the global location of the local variable lattice to static fields

11 years agochanges.
yeom [Thu, 28 Jul 2011 09:02:08 +0000 (09:02 +0000)]
changes.

11 years agochanges.
yeom [Thu, 28 Jul 2011 01:03:44 +0000 (01:03 +0000)]
changes.

11 years agochanges: 1) generate a class lattice graph DOT file for the debug mode. it makes...
yeom [Wed, 27 Jul 2011 18:57:46 +0000 (18:57 +0000)]
changes: 1) generate a class lattice graph DOT file for the debug mode. it makes annotation and debug easier 2) updates more annotation

11 years agochanges.
yeom [Wed, 27 Jul 2011 08:31:43 +0000 (08:31 +0000)]
changes.

11 years agomemory profiler hack
bdemsky [Wed, 27 Jul 2011 05:21:21 +0000 (05:21 +0000)]
memory profiler hack

11 years agochanges.
yeom [Wed, 27 Jul 2011 01:07:21 +0000 (01:07 +0000)]
changes.

11 years agobug fix on callee constraint checking: previously only checked ordering constraints...
yeom [Tue, 26 Jul 2011 18:57:38 +0000 (18:57 +0000)]
bug fix on callee constraint checking: previously only checked ordering constraints of parameters without considering default parameter 'this'

11 years agochanges.
yeom [Tue, 26 Jul 2011 08:15:17 +0000 (08:15 +0000)]
changes.

11 years agochanges: LayerIDecoder and LayerIIDecoder pass the flow-down rule checking
yeom [Tue, 26 Jul 2011 00:24:56 +0000 (00:24 +0000)]
changes: LayerIDecoder and LayerIIDecoder pass the flow-down rule checking

11 years agoChange the work load
jzhou [Mon, 25 Jul 2011 03:48:39 +0000 (03:48 +0000)]
Change the work load

11 years ago*** empty log message ***
jzhou [Mon, 25 Jul 2011 02:49:08 +0000 (02:49 +0000)]
*** empty log message ***

11 years ago*** empty log message ***
jzhou [Sun, 24 Jul 2011 22:14:03 +0000 (22:14 +0000)]
*** empty log message ***

11 years agocache bench
jzhou [Sun, 24 Jul 2011 21:57:05 +0000 (21:57 +0000)]
cache bench

11 years agocode change
bdemsky [Sun, 24 Jul 2011 19:33:40 +0000 (19:33 +0000)]
code change

11 years agothis should fix dtlb misses
bdemsky [Sat, 23 Jul 2011 21:11:02 +0000 (21:11 +0000)]
this should fix dtlb misses

11 years agochanges.
yeom [Sat, 23 Jul 2011 00:13:36 +0000 (00:13 +0000)]
changes.

11 years agochange the work load
jzhou [Sat, 23 Jul 2011 00:10:21 +0000 (00:10 +0000)]
change the work load

11 years agoto get eaiser debugging, make the ssjava checking have deterministic ordering of...
yeom [Fri, 22 Jul 2011 21:30:28 +0000 (21:30 +0000)]
to get eaiser debugging, make the ssjava checking have deterministic ordering of class & method descriptors

11 years agochanges on the flow down rule checking: 1) only check a relation bet array and index...
yeom [Fri, 22 Jul 2011 18:24:59 +0000 (18:24 +0000)]
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.

11 years agobug fixes
bdemsky [Fri, 22 Jul 2011 07:40:53 +0000 (07:40 +0000)]
bug fixes

11 years agochanges for simultaneous run!
adash [Fri, 22 Jul 2011 01:59:13 +0000 (01:59 +0000)]
changes for simultaneous run!

11 years ago*** empty log message ***
jzhou [Fri, 22 Jul 2011 00:55:39 +0000 (00:55 +0000)]
*** empty log message ***

11 years ago*** empty log message ***
jzhou [Fri, 22 Jul 2011 00:10:32 +0000 (00:10 +0000)]
*** empty log message ***

11 years agobug in buildscript
jzhou [Thu, 21 Jul 2011 23:34:03 +0000 (23:34 +0000)]
bug in buildscript

11 years agotry to fix annotation errors
yeom [Thu, 21 Jul 2011 20:37:22 +0000 (20:37 +0000)]
try to fix annotation errors

11 years agomake size smaller to make sure we run in a reasonable time...
bdemsky [Thu, 21 Jul 2011 04:20:53 +0000 (04:20 +0000)]
make size smaller to make sure we run in a reasonable time...

11 years agochanges
bdemsky [Thu, 21 Jul 2011 03:52:05 +0000 (03:52 +0000)]
changes

11 years agofix bugs
bdemsky [Thu, 21 Jul 2011 03:46:37 +0000 (03:46 +0000)]
fix bugs

11 years agofix benchmarks
jzhou [Thu, 21 Jul 2011 02:38:06 +0000 (02:38 +0000)]
fix benchmarks

11 years agoadd gccachecoherenon into buildscript
jzhou [Thu, 21 Jul 2011 02:30:04 +0000 (02:30 +0000)]
add gccachecoherenon into buildscript

11 years agolarge raytracer changes from jin +
bdemsky [Thu, 21 Jul 2011 02:18:10 +0000 (02:18 +0000)]
large raytracer changes from jin +
join hack

11 years agomore changes.
yeom [Thu, 21 Jul 2011 02:00:20 +0000 (02:00 +0000)]
more changes.

11 years agofix a bug: there was no case for unsigned shift op.
yeom [Thu, 21 Jul 2011 01:18:16 +0000 (01:18 +0000)]
fix a bug: there was no case for unsigned shift op.

11 years agofixes on method annoatation checking: when a method needs to be annotated, all of...
yeom [Wed, 20 Jul 2011 21:50:05 +0000 (21:50 +0000)]
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.

11 years agoMissing changes
jzhou [Wed, 20 Jul 2011 21:30:28 +0000 (21:30 +0000)]
Missing changes

11 years agoAdd GC_CACHE_COHERENT_ON
jzhou [Wed, 20 Jul 2011 19:02:36 +0000 (19:02 +0000)]
Add GC_CACHE_COHERENT_ON

11 years agochanges
bdemsky [Wed, 20 Jul 2011 08:31:45 +0000 (08:31 +0000)]
changes

11 years agochanges.
yeom [Wed, 20 Jul 2011 00:41:00 +0000 (00:41 +0000)]
changes.

11 years agobug fix
bdemsky [Wed, 20 Jul 2011 00:20:42 +0000 (00:20 +0000)]
bug fix

11 years agochanges on NameNode checking
yeom [Tue, 19 Jul 2011 21:22:12 +0000 (21:22 +0000)]
changes on NameNode checking

11 years agotry to move code around to sync up operations between master and slaves...
bdemsky [Tue, 19 Jul 2011 20:28:16 +0000 (20:28 +0000)]
try to move code around to sync up operations between master and slaves...

11 years agofix code
bdemsky [Tue, 19 Jul 2011 05:45:41 +0000 (05:45 +0000)]
fix code

11 years agoremove sampling for policy1&2, tmp solution
jzhou [Tue, 19 Jul 2011 03:45:35 +0000 (03:45 +0000)]
remove sampling for policy1&2, tmp solution

11 years agochanges
yeom [Mon, 18 Jul 2011 16:54:18 +0000 (16:54 +0000)]
changes

11 years agochanges
jzhou [Sat, 16 Jul 2011 18:38:41 +0000 (18:38 +0000)]
changes

11 years agoAdd gcprofile to PMC garbage collector and compute the size of allocated obj instead...
jzhou [Sat, 16 Jul 2011 17:26:01 +0000 (17:26 +0000)]
Add gcprofile to PMC garbage collector and compute the size of allocated obj instead of the number of allocated obj per collection

11 years agosmall bug fix
bdemsky [Sat, 16 Jul 2011 08:59:52 +0000 (08:59 +0000)]
small bug fix

11 years agochanges
bdemsky [Sat, 16 Jul 2011 07:08:48 +0000 (07:08 +0000)]
changes

11 years agogets rid of crashes...
bdemsky [Sat, 16 Jul 2011 07:00:59 +0000 (07:00 +0000)]
gets rid of crashes...

11 years agochanges: major revision on SynthesisFilter of mp3decoder since we do not allow aliases.
yeom [Sat, 16 Jul 2011 01:10:38 +0000 (01:10 +0000)]
changes: major revision on SynthesisFilter of mp3decoder since we do not allow aliases.

11 years agoadd finish printfs
bdemsky [Sat, 16 Jul 2011 00:28:54 +0000 (00:28 +0000)]
add finish printfs

11 years agomore odd core count bugs
bdemsky [Sat, 16 Jul 2011 00:02:46 +0000 (00:02 +0000)]
more odd core count bugs

11 years agoanother odd core bug
bdemsky [Fri, 15 Jul 2011 23:58:54 +0000 (23:58 +0000)]
another odd core bug

11 years agochanges
jzhou [Fri, 15 Jul 2011 16:41:17 +0000 (16:41 +0000)]
changes

11 years agofix really dangerous from before...
bdemsky [Fri, 15 Jul 2011 04:07:46 +0000 (04:07 +0000)]
fix really dangerous from before...

11 years agofix odd core pmc bug
bdemsky [Fri, 15 Jul 2011 03:42:41 +0000 (03:42 +0000)]
fix odd core pmc bug

11 years agomy changes
jzhou [Fri, 15 Jul 2011 01:42:54 +0000 (01:42 +0000)]
my changes

11 years agoadd a person to the spam address...take stephen off for a while...
bdemsky [Fri, 15 Jul 2011 01:27:57 +0000 (01:27 +0000)]
add a person to the spam address...take stephen off for a while...

11 years agochanges.
yeom [Fri, 15 Jul 2011 01:08:45 +0000 (01:08 +0000)]
changes.

11 years agobug fix....
bdemsky [Thu, 14 Jul 2011 22:35:46 +0000 (22:35 +0000)]
bug fix....

11 years agoFixed more compilation issues.
limw [Thu, 14 Jul 2011 21:52:14 +0000 (21:52 +0000)]
Fixed more compilation issues.

11 years agoAdded HG.java
limw [Thu, 14 Jul 2011 21:33:41 +0000 (21:33 +0000)]
Added HG.java

11 years agoFixed issues with compilation.
limw [Thu, 14 Jul 2011 21:28:30 +0000 (21:28 +0000)]
Fixed issues with compilation.

11 years agoComment out the obj counter according to Brian's comment
jzhou [Thu, 14 Jul 2011 21:22:11 +0000 (21:22 +0000)]
Comment out the obj counter according to Brian's comment

11 years agofix profile code
jzhou [Thu, 14 Jul 2011 19:32:47 +0000 (19:32 +0000)]
fix profile code

11 years agochanges: 1) have a better error message 2) if annotation is required for abstract...
yeom [Thu, 14 Jul 2011 18:02:11 +0000 (18:02 +0000)]
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

11 years agoadding more annotations for mp3decoder
yeom [Thu, 14 Jul 2011 17:59:22 +0000 (17:59 +0000)]
adding more annotations for mp3decoder