yeom [Thu, 28 Jul 2011 09:02:08 +0000 (09:02 +0000)]
changes.
yeom [Thu, 28 Jul 2011 01:03:44 +0000 (01:03 +0000)]
changes.
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
yeom [Wed, 27 Jul 2011 08:31:43 +0000 (08:31 +0000)]
changes.
bdemsky [Wed, 27 Jul 2011 05:21:21 +0000 (05:21 +0000)]
memory profiler hack
yeom [Wed, 27 Jul 2011 01:07:21 +0000 (01:07 +0000)]
changes.
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'
yeom [Tue, 26 Jul 2011 08:15:17 +0000 (08:15 +0000)]
changes.
yeom [Tue, 26 Jul 2011 00:24:56 +0000 (00:24 +0000)]
changes: LayerIDecoder and LayerIIDecoder pass the flow-down rule checking
jzhou [Mon, 25 Jul 2011 03:48:39 +0000 (03:48 +0000)]
Change the work load
jzhou [Mon, 25 Jul 2011 02:49:08 +0000 (02:49 +0000)]
*** empty log message ***
jzhou [Sun, 24 Jul 2011 22:14:03 +0000 (22:14 +0000)]
*** empty log message ***
jzhou [Sun, 24 Jul 2011 21:57:05 +0000 (21:57 +0000)]
cache bench
bdemsky [Sun, 24 Jul 2011 19:33:40 +0000 (19:33 +0000)]
code change
bdemsky [Sat, 23 Jul 2011 21:11:02 +0000 (21:11 +0000)]
this should fix dtlb misses
yeom [Sat, 23 Jul 2011 00:13:36 +0000 (00:13 +0000)]
changes.
jzhou [Sat, 23 Jul 2011 00:10:21 +0000 (00:10 +0000)]
change the work load
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
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.
bdemsky [Fri, 22 Jul 2011 07:40:53 +0000 (07:40 +0000)]
bug fixes
adash [Fri, 22 Jul 2011 01:59:13 +0000 (01:59 +0000)]
changes for simultaneous run!
jzhou [Fri, 22 Jul 2011 00:55:39 +0000 (00:55 +0000)]
*** empty log message ***
jzhou [Fri, 22 Jul 2011 00:10:32 +0000 (00:10 +0000)]
*** empty log message ***
jzhou [Thu, 21 Jul 2011 23:34:03 +0000 (23:34 +0000)]
bug in buildscript
yeom [Thu, 21 Jul 2011 20:37:22 +0000 (20:37 +0000)]
try to fix annotation errors
bdemsky [Thu, 21 Jul 2011 04:20:53 +0000 (04:20 +0000)]
make size smaller to make sure we run in a reasonable time...
bdemsky [Thu, 21 Jul 2011 03:52:05 +0000 (03:52 +0000)]
changes
bdemsky [Thu, 21 Jul 2011 03:46:37 +0000 (03:46 +0000)]
fix bugs
jzhou [Thu, 21 Jul 2011 02:38:06 +0000 (02:38 +0000)]
fix benchmarks
jzhou [Thu, 21 Jul 2011 02:30:04 +0000 (02:30 +0000)]
add gccachecoherenon into buildscript
bdemsky [Thu, 21 Jul 2011 02:18:10 +0000 (02:18 +0000)]
large raytracer changes from jin +
join hack
yeom [Thu, 21 Jul 2011 02:00:20 +0000 (02:00 +0000)]
more changes.
yeom [Thu, 21 Jul 2011 01:18:16 +0000 (01:18 +0000)]
fix a bug: there was no case for unsigned shift op.
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.
jzhou [Wed, 20 Jul 2011 21:30:28 +0000 (21:30 +0000)]
Missing changes
jzhou [Wed, 20 Jul 2011 19:02:36 +0000 (19:02 +0000)]
Add GC_CACHE_COHERENT_ON
bdemsky [Wed, 20 Jul 2011 08:31:45 +0000 (08:31 +0000)]
changes
yeom [Wed, 20 Jul 2011 00:41:00 +0000 (00:41 +0000)]
changes.
bdemsky [Wed, 20 Jul 2011 00:20:42 +0000 (00:20 +0000)]
bug fix
yeom [Tue, 19 Jul 2011 21:22:12 +0000 (21:22 +0000)]
changes on NameNode checking
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...
bdemsky [Tue, 19 Jul 2011 05:45:41 +0000 (05:45 +0000)]
fix code
jzhou [Tue, 19 Jul 2011 03:45:35 +0000 (03:45 +0000)]
remove sampling for policy1&2, tmp solution
yeom [Mon, 18 Jul 2011 16:54:18 +0000 (16:54 +0000)]
changes
jzhou [Sat, 16 Jul 2011 18:38:41 +0000 (18:38 +0000)]
changes
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
bdemsky [Sat, 16 Jul 2011 08:59:52 +0000 (08:59 +0000)]
small bug fix
bdemsky [Sat, 16 Jul 2011 07:08:48 +0000 (07:08 +0000)]
changes
bdemsky [Sat, 16 Jul 2011 07:00:59 +0000 (07:00 +0000)]
gets rid of crashes...
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.
bdemsky [Sat, 16 Jul 2011 00:28:54 +0000 (00:28 +0000)]
add finish printfs
bdemsky [Sat, 16 Jul 2011 00:02:46 +0000 (00:02 +0000)]
more odd core count bugs
bdemsky [Fri, 15 Jul 2011 23:58:54 +0000 (23:58 +0000)]
another odd core bug
jzhou [Fri, 15 Jul 2011 16:41:17 +0000 (16:41 +0000)]
changes
bdemsky [Fri, 15 Jul 2011 04:07:46 +0000 (04:07 +0000)]
fix really dangerous from before...
bdemsky [Fri, 15 Jul 2011 03:42:41 +0000 (03:42 +0000)]
fix odd core pmc bug
jzhou [Fri, 15 Jul 2011 01:42:54 +0000 (01:42 +0000)]
my changes
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...
yeom [Fri, 15 Jul 2011 01:08:45 +0000 (01:08 +0000)]
changes.
bdemsky [Thu, 14 Jul 2011 22:35:46 +0000 (22:35 +0000)]
bug fix....
limw [Thu, 14 Jul 2011 21:52:14 +0000 (21:52 +0000)]
Fixed more compilation issues.
limw [Thu, 14 Jul 2011 21:33:41 +0000 (21:33 +0000)]
Added HG.java
limw [Thu, 14 Jul 2011 21:28:30 +0000 (21:28 +0000)]
Fixed issues with compilation.
jzhou [Thu, 14 Jul 2011 21:22:11 +0000 (21:22 +0000)]
Comment out the obj counter according to Brian's comment
jzhou [Thu, 14 Jul 2011 19:32:47 +0000 (19:32 +0000)]
fix profile code
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
yeom [Thu, 14 Jul 2011 17:59:22 +0000 (17:59 +0000)]
adding more annotations for mp3decoder
jzhou [Thu, 14 Jul 2011 15:31:12 +0000 (15:31 +0000)]
For a page that is not used, set its host core as the home core that caches it
bdemsky [Thu, 14 Jul 2011 11:48:25 +0000 (11:48 +0000)]
1- bug fix
2- pad out empty objects...
bdemsky [Thu, 14 Jul 2011 10:32:01 +0000 (10:32 +0000)]
changes
bdemsky [Thu, 14 Jul 2011 09:50:20 +0000 (09:50 +0000)]
bug fix...it assumes ints and then the shifts go bad...
bdemsky [Thu, 14 Jul 2011 07:39:03 +0000 (07:39 +0000)]
make other tables cached incoherent
bdemsky [Thu, 14 Jul 2011 07:12:42 +0000 (07:12 +0000)]
add field
bdemsky [Thu, 14 Jul 2011 04:03:48 +0000 (04:03 +0000)]
change
bdemsky [Thu, 14 Jul 2011 04:00:17 +0000 (04:00 +0000)]
changes
limw [Wed, 13 Jul 2011 23:49:53 +0000 (23:49 +0000)]
Ported over bamboo benchmarks for use as non-Bamboo java benchmarks.
jzhou [Wed, 13 Jul 2011 23:45:33 +0000 (23:45 +0000)]
small changes
yeom [Wed, 13 Jul 2011 22:44:56 +0000 (22:44 +0000)]
fix: forgot to check swtich statements
yeom [Wed, 13 Jul 2011 20:23:16 +0000 (20:23 +0000)]
fix: does not need to check a class that does not have any annotated method
david [Wed, 13 Jul 2011 18:54:28 +0000 (18:54 +0000)]
updated annotation
yeom [Wed, 13 Jul 2011 18:25:57 +0000 (18:25 +0000)]
changes: taking decoder initilization out from ssjava loop since it is called only once.
yeom [Wed, 13 Jul 2011 17:59:54 +0000 (17:59 +0000)]
changes on mp3 decoder
bdemsky [Wed, 13 Jul 2011 10:56:28 +0000 (10:56 +0000)]
code changes...fix all of the statistics collection...clean up collection code
bdemsky [Wed, 13 Jul 2011 08:40:11 +0000 (08:40 +0000)]
towards fixing bugs...
yeom [Wed, 13 Jul 2011 01:03:45 +0000 (01:03 +0000)]
try to make mp3decoder pass SSJava checking
yeom [Wed, 13 Jul 2011 00:43:25 +0000 (00:43 +0000)]
bug fix: no need to check flow down rule for abstract method
yeom [Wed, 13 Jul 2011 00:22:42 +0000 (00:22 +0000)]
put deserialized values from sfd.ser
david [Wed, 13 Jul 2011 00:07:21 +0000 (00:07 +0000)]
refined annotation
yeom [Tue, 12 Jul 2011 23:56:58 +0000 (23:56 +0000)]
update makefile
yeom [Tue, 12 Jul 2011 22:14:10 +0000 (22:14 +0000)]
bug fix: if a parent class doesn't define lattice, we don't need to check whether its child classes define lattice
yeom [Tue, 12 Jul 2011 21:54:22 +0000 (21:54 +0000)]
make mp3decoder compile
david [Tue, 12 Jul 2011 21:30:27 +0000 (21:30 +0000)]
*** empty log message ***
yeom [Tue, 12 Jul 2011 20:09:54 +0000 (20:09 +0000)]
try to make mp3decoder compile
yeom [Tue, 12 Jul 2011 17:46:34 +0000 (17:46 +0000)]
changes.
bdemsky [Tue, 12 Jul 2011 12:51:52 +0000 (12:51 +0000)]
bug fixes to get dtlb miss handler working
yeom [Tue, 12 Jul 2011 01:06:27 +0000 (01:06 +0000)]
add more class libraries for ssjava
yeom [Mon, 11 Jul 2011 23:27:23 +0000 (23:27 +0000)]
refactoring
david [Mon, 11 Jul 2011 22:57:35 +0000 (22:57 +0000)]
annotated
yeom [Mon, 11 Jul 2011 22:26:43 +0000 (22:26 +0000)]
fix a bug introducing redundant method entries for analysis
yeom [Mon, 11 Jul 2011 19:19:31 +0000 (19:19 +0000)]
more changes on shared location analysis. now it works fine with interprocedural analysis
projects / IRC.git / log