bdemsky [Sun, 3 Jul 2011 23:29:54 +0000 (23:29 +0000)]
bug fixes
bdemsky [Sat, 2 Jul 2011 05:12:56 +0000 (05:12 +0000)]
change
bdemsky [Sat, 2 Jul 2011 04:23:21 +0000 (04:23 +0000)]
change
bdemsky [Sat, 2 Jul 2011 02:04:54 +0000 (02:04 +0000)]
add new file
jzhou [Sat, 2 Jul 2011 00:40:46 +0000 (00:40 +0000)]
Add cache adaptive code to multicore gc and add support for System.gc()
yeom [Sat, 2 Jul 2011 00:34:52 +0000 (00:34 +0000)]
bug fixes
bdemsky [Sat, 2 Jul 2011 00:29:12 +0000 (00:29 +0000)]
lots of bug fixes...none of them the right one
yeom [Fri, 1 Jul 2011 18:48:51 +0000 (18:48 +0000)]
bug fixes and refactoring to have more smooth integration of loopOptimize and loopTerminate
yeom [Fri, 1 Jul 2011 16:42:18 +0000 (16:42 +0000)]
fix indentation
yeom [Fri, 1 Jul 2011 08:02:13 +0000 (08:02 +0000)]
changes.
yeom [Fri, 1 Jul 2011 02:11:29 +0000 (02:11 +0000)]
getting close to finishing the definite written analysis
bdemsky [Thu, 30 Jun 2011 22:56:08 +0000 (22:56 +0000)]
return freespace not usedspace
bdemsky [Thu, 30 Jun 2011 22:38:46 +0000 (22:38 +0000)]
change
bdemsky [Thu, 30 Jun 2011 22:37:45 +0000 (22:37 +0000)]
bug fixes
bdemsky [Thu, 30 Jun 2011 22:34:27 +0000 (22:34 +0000)]
do round robin on neighbors...
bdemsky [Thu, 30 Jun 2011 22:34:08 +0000 (22:34 +0000)]
add allocation modes
bdemsky [Thu, 30 Jun 2011 22:33:49 +0000 (22:33 +0000)]
remove extra INLINE
jzhou [Thu, 30 Jun 2011 22:28:31 +0000 (22:28 +0000)]
add gc() to System
bdemsky [Thu, 30 Jun 2011 20:51:30 +0000 (20:51 +0000)]
changes...make it actually do the gc's...
bdemsky [Thu, 30 Jun 2011 11:53:05 +0000 (11:53 +0000)]
synchronization code in interrupt handler...fixes all but the rare bme core doesn't start deadlocks
bdemsky [Thu, 30 Jun 2011 11:41:07 +0000 (11:41 +0000)]
do synchronization after message handlers are up
bdemsky [Thu, 30 Jun 2011 08:46:27 +0000 (08:46 +0000)]
remove debug printouts
bdemsky [Thu, 30 Jun 2011 07:58:28 +0000 (07:58 +0000)]
more bug fixes
bdemsky [Thu, 30 Jun 2011 01:02:30 +0000 (01:02 +0000)]
bug fix + temporary debug code to be removed
bdemsky [Thu, 30 Jun 2011 01:01:53 +0000 (01:01 +0000)]
another bug fix
bdemsky [Thu, 30 Jun 2011 01:01:17 +0000 (01:01 +0000)]
bug fixes
yeom [Thu, 30 Jun 2011 00:51:12 +0000 (00:51 +0000)]
start to revise definitely written analysis implementation
yeom [Wed, 29 Jun 2011 22:15:33 +0000 (22:15 +0000)]
add debug flag for ssjava
yeom [Wed, 29 Jun 2011 18:11:45 +0000 (18:11 +0000)]
add ssjava debug option to have interim results if we want and small changes
bdemsky [Wed, 29 Jun 2011 09:45:54 +0000 (09:45 +0000)]
fix potential bug with clear function
bdemsky [Wed, 29 Jun 2011 09:45:24 +0000 (09:45 +0000)]
change bounds check
bdemsky [Wed, 29 Jun 2011 09:44:57 +0000 (09:44 +0000)]
change function type for boundscheck
bdemsky [Wed, 29 Jun 2011 09:42:49 +0000 (09:42 +0000)]
changes for bounds check
jihoonl [Wed, 29 Jun 2011 06:31:18 +0000 (06:31 +0000)]
debugging in progress
bdemsky [Tue, 28 Jun 2011 22:28:19 +0000 (22:28 +0000)]
back out debug options
bdemsky [Tue, 28 Jun 2011 21:27:32 +0000 (21:27 +0000)]
next roundof bug fixes
bdemsky [Tue, 28 Jun 2011 09:16:54 +0000 (09:16 +0000)]
bug fixes
bdemsky [Tue, 28 Jun 2011 00:35:50 +0000 (00:35 +0000)]
various small changes
jzhou [Mon, 27 Jun 2011 18:34:29 +0000 (18:34 +0000)]
Roll back previous check in as Brian has fixed the problem.
jzhou [Mon, 27 Jun 2011 18:24:14 +0000 (18:24 +0000)]
Fix a bug in the compiler: besides its super class's method table, a class's methods table should also take into account its super interfaces' method table.
bdemsky [Mon, 27 Jun 2011 08:54:33 +0000 (08:54 +0000)]
bug fixes
bdemsky [Mon, 27 Jun 2011 06:29:47 +0000 (06:29 +0000)]
small optimization
bdemsky [Mon, 27 Jun 2011 06:18:57 +0000 (06:18 +0000)]
runs the memory benchmark now...
bdemsky [Sat, 25 Jun 2011 00:48:40 +0000 (00:48 +0000)]
code change
bdemsky [Sat, 25 Jun 2011 00:16:36 +0000 (00:16 +0000)]
turn off debugging messages....another bug fix
bdemsky [Fri, 24 Jun 2011 23:39:08 +0000 (23:39 +0000)]
bug fix
david [Fri, 24 Jun 2011 23:12:24 +0000 (23:12 +0000)]
Updating shared values
david [Fri, 24 Jun 2011 23:09:19 +0000 (23:09 +0000)]
updated shared locations
bdemsky [Fri, 24 Jun 2011 00:37:51 +0000 (00:37 +0000)]
bug fixes
bdemsky [Wed, 22 Jun 2011 22:57:17 +0000 (22:57 +0000)]
remove some debug code...fix a bug
bdemsky [Wed, 22 Jun 2011 22:18:01 +0000 (22:18 +0000)]
more bug fixes
yeom [Wed, 22 Jun 2011 17:21:40 +0000 (17:21 +0000)]
small changes on test cases. disable -noloop option from makefile.
david [Wed, 22 Jun 2011 17:04:19 +0000 (17:04 +0000)]
First annoted version
david [Wed, 22 Jun 2011 17:03:25 +0000 (17:03 +0000)]
First annotated version
bdemsky [Wed, 22 Jun 2011 11:15:36 +0000 (11:15 +0000)]
bug fixes
bdemsky [Wed, 22 Jun 2011 08:08:00 +0000 (08:08 +0000)]
changes
yeom [Wed, 22 Jun 2011 00:27:05 +0000 (00:27 +0000)]
bug fixes + integrate loop termination analysis into ssjava checking
- add an interface to access loop invariant from LoopOptimize
- add "TERMINATE" annotation for method method declaration when developer wants to skip the loop termination analysis for an annotated method. There is no way to have direct annotations on the loop since Java only allows to have annotations on declaration nodes
bdemsky [Tue, 21 Jun 2011 22:59:36 +0000 (22:59 +0000)]
try to make update phase work...need to ask for permission to write into memory blocks
yeom [Tue, 21 Jun 2011 22:31:47 +0000 (22:31 +0000)]
have Javadoc-style method comments.
yeom [Tue, 21 Jun 2011 21:29:14 +0000 (21:29 +0000)]
reflects today's comments
yeom [Tue, 21 Jun 2011 20:04:39 +0000 (20:04 +0000)]
changes.
bdemsky [Tue, 21 Jun 2011 07:48:35 +0000 (07:48 +0000)]
changes
bdemsky [Tue, 21 Jun 2011 01:36:18 +0000 (01:36 +0000)]
bug fixes...still doesn't work
yeom [Tue, 21 Jun 2011 01:33:20 +0000 (01:33 +0000)]
convert it to the must analysis
bdemsky [Tue, 21 Jun 2011 00:48:57 +0000 (00:48 +0000)]
more changes...think first version of memory allocation exists now
jzhou [Tue, 21 Jun 2011 00:43:52 +0000 (00:43 +0000)]
Bug fix for cache adaption
yeom [Mon, 20 Jun 2011 22:01:38 +0000 (22:01 +0000)]
provides makefile and makes it compile for david
yeom [Mon, 20 Jun 2011 18:55:25 +0000 (18:55 +0000)]
changes.
bdemsky [Mon, 20 Jun 2011 10:22:44 +0000 (10:22 +0000)]
only call mark once...
bdemsky [Mon, 20 Jun 2011 10:14:43 +0000 (10:14 +0000)]
get it to compile again
bdemsky [Mon, 20 Jun 2011 09:38:02 +0000 (09:38 +0000)]
more changes
bdemsky [Mon, 20 Jun 2011 06:52:47 +0000 (06:52 +0000)]
get rid of manually created table...
bdemsky [Mon, 20 Jun 2011 02:20:55 +0000 (02:20 +0000)]
more changes
bdemsky [Sun, 19 Jun 2011 22:42:22 +0000 (22:42 +0000)]
more changes
bdemsky [Sun, 19 Jun 2011 01:38:33 +0000 (01:38 +0000)]
get it to compile again
bdemsky [Sun, 19 Jun 2011 01:34:26 +0000 (01:34 +0000)]
clean up stuff...will add back later...
yeom [Sun, 19 Jun 2011 01:12:23 +0000 (01:12 +0000)]
changes.
bdemsky [Sat, 18 Jun 2011 08:38:55 +0000 (08:38 +0000)]
get it to compile
bdemsky [Sat, 18 Jun 2011 08:21:32 +0000 (08:21 +0000)]
more changes
bdemsky [Sat, 18 Jun 2011 08:20:46 +0000 (08:20 +0000)]
code changes
bdemsky [Sat, 18 Jun 2011 04:50:11 +0000 (04:50 +0000)]
bug fixes
yeom [Sat, 18 Jun 2011 02:04:30 +0000 (02:04 +0000)]
start implementing loop termination analysis: for the initial version, checking whether induction variable is getting bigger and loop guard condition is composed only with induction variables and loop invariant.
bdemsky [Sat, 18 Jun 2011 01:17:53 +0000 (01:17 +0000)]
change objects
bdemsky [Sat, 18 Jun 2011 00:13:20 +0000 (00:13 +0000)]
more changes
bdemsky [Thu, 16 Jun 2011 21:21:01 +0000 (21:21 +0000)]
more of my changes
bdemsky [Thu, 16 Jun 2011 09:56:59 +0000 (09:56 +0000)]
code for generating mark bit tables
bdemsky [Thu, 16 Jun 2011 09:52:05 +0000 (09:52 +0000)]
code to do mark bits...
bdemsky [Wed, 15 Jun 2011 08:50:39 +0000 (08:50 +0000)]
changes to get rid of all type errors...
bdemsky [Wed, 15 Jun 2011 07:42:08 +0000 (07:42 +0000)]
bug fix...gcloads was used twice for different things with different types...
bdemsky [Wed, 15 Jun 2011 04:04:04 +0000 (04:04 +0000)]
changes
bdemsky [Wed, 15 Jun 2011 01:52:54 +0000 (01:52 +0000)]
more work towards type checking
bdemsky [Tue, 14 Jun 2011 23:08:04 +0000 (23:08 +0000)]
clean up typing mistakes
bdemsky [Tue, 14 Jun 2011 09:50:01 +0000 (09:50 +0000)]
fix mgchash table...isn't supposed to do allocation on the fly...nor use linked lists, etc...
bdemsky [Tue, 14 Jun 2011 09:17:55 +0000 (09:17 +0000)]
changes to support marked bit table...might work??
bdemsky [Tue, 14 Jun 2011 06:39:33 +0000 (06:39 +0000)]
changes
bdemsky [Tue, 14 Jun 2011 06:19:47 +0000 (06:19 +0000)]
more changes
bdemsky [Tue, 14 Jun 2011 06:15:32 +0000 (06:15 +0000)]
more changes...
yeom [Tue, 14 Jun 2011 00:01:51 +0000 (00:01 +0000)]
fixes on GLB and returnloc calculation, etc.
gets more class libraries
jzhou [Mon, 13 Jun 2011 17:53:50 +0000 (17:53 +0000)]
My changes
bdemsky [Sun, 12 Jun 2011 00:09:25 +0000 (00:09 +0000)]
remove extra locks and use atomics...hopefully i got this write...didn't test..