IRC.git
13 years agoChanges according to Brian's comments: remove static inline functions in multicorecac...
jzhou [Tue, 5 Jul 2011 00:56:18 +0000 (00:56 +0000)]
Changes according to Brian's comments: remove static inline functions in multicorecache.c;use compactblockshelper() instead of compactpages() in compactgccompact;for original profiling data, put the data for the same page from all cores together to avoid cache misses when computing revised profiling info during compaction

13 years agomake it compile
bdemsky [Mon, 4 Jul 2011 08:48:05 +0000 (08:48 +0000)]
make it compile

13 years agoprofile data
bdemsky [Mon, 4 Jul 2011 08:17:46 +0000 (08:17 +0000)]
profile data

13 years agochanges
bdemsky [Sun, 3 Jul 2011 23:56:35 +0000 (23:56 +0000)]
changes

13 years agomore changes
bdemsky [Sun, 3 Jul 2011 23:43:07 +0000 (23:43 +0000)]
more changes

13 years agobug fixes
bdemsky [Sun, 3 Jul 2011 23:29:54 +0000 (23:29 +0000)]
bug fixes

13 years agochange
bdemsky [Sat, 2 Jul 2011 05:12:56 +0000 (05:12 +0000)]
change

13 years agochange
bdemsky [Sat, 2 Jul 2011 04:23:21 +0000 (04:23 +0000)]
change

13 years agoadd new file
bdemsky [Sat, 2 Jul 2011 02:04:54 +0000 (02:04 +0000)]
add new file

13 years agoAdd cache adaptive code to multicore gc and add support for System.gc()
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()

13 years agobug fixes
yeom [Sat, 2 Jul 2011 00:34:52 +0000 (00:34 +0000)]
bug fixes

13 years agolots of bug fixes...none of them the right one
bdemsky [Sat, 2 Jul 2011 00:29:12 +0000 (00:29 +0000)]
lots of bug fixes...none of them the right one

13 years agobug fixes and refactoring to have more smooth integration of loopOptimize and loopTer...
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

13 years agofix indentation
yeom [Fri, 1 Jul 2011 16:42:18 +0000 (16:42 +0000)]
fix indentation

13 years agochanges.
yeom [Fri, 1 Jul 2011 08:02:13 +0000 (08:02 +0000)]
changes.

13 years agogetting close to finishing the definite written analysis
yeom [Fri, 1 Jul 2011 02:11:29 +0000 (02:11 +0000)]
getting close to finishing the definite written analysis

13 years agoreturn freespace not usedspace
bdemsky [Thu, 30 Jun 2011 22:56:08 +0000 (22:56 +0000)]
return freespace not usedspace

13 years agochange
bdemsky [Thu, 30 Jun 2011 22:38:46 +0000 (22:38 +0000)]
change

13 years agobug fixes
bdemsky [Thu, 30 Jun 2011 22:37:45 +0000 (22:37 +0000)]
bug fixes

13 years agodo round robin on neighbors...
bdemsky [Thu, 30 Jun 2011 22:34:27 +0000 (22:34 +0000)]
do round robin on neighbors...

13 years agoadd allocation modes
bdemsky [Thu, 30 Jun 2011 22:34:08 +0000 (22:34 +0000)]
add allocation modes

13 years agoremove extra INLINE
bdemsky [Thu, 30 Jun 2011 22:33:49 +0000 (22:33 +0000)]
remove extra INLINE

13 years agoadd gc() to System
jzhou [Thu, 30 Jun 2011 22:28:31 +0000 (22:28 +0000)]
add gc() to System

13 years agochanges...make it actually do the gc's...
bdemsky [Thu, 30 Jun 2011 20:51:30 +0000 (20:51 +0000)]
changes...make it actually do the gc's...

13 years agosynchronization code in interrupt handler...fixes all but the rare bme core doesn...
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

13 years agodo synchronization after message handlers are up
bdemsky [Thu, 30 Jun 2011 11:41:07 +0000 (11:41 +0000)]
do synchronization after message handlers are up

13 years agoremove debug printouts
bdemsky [Thu, 30 Jun 2011 08:46:27 +0000 (08:46 +0000)]
remove debug printouts

13 years agomore bug fixes
bdemsky [Thu, 30 Jun 2011 07:58:28 +0000 (07:58 +0000)]
more bug fixes

13 years agobug fix + temporary debug code to be removed
bdemsky [Thu, 30 Jun 2011 01:02:30 +0000 (01:02 +0000)]
bug fix + temporary debug code to be removed

13 years agoanother bug fix
bdemsky [Thu, 30 Jun 2011 01:01:53 +0000 (01:01 +0000)]
another bug fix

13 years agobug fixes
bdemsky [Thu, 30 Jun 2011 01:01:17 +0000 (01:01 +0000)]
bug fixes

13 years agostart to revise definitely written analysis implementation
yeom [Thu, 30 Jun 2011 00:51:12 +0000 (00:51 +0000)]
start to revise definitely written analysis implementation

13 years agoadd debug flag for ssjava
yeom [Wed, 29 Jun 2011 22:15:33 +0000 (22:15 +0000)]
add debug flag for ssjava

13 years agoadd ssjava debug option to have interim results if we want and small changes
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

13 years agofix potential bug with clear function
bdemsky [Wed, 29 Jun 2011 09:45:54 +0000 (09:45 +0000)]
fix potential bug with clear function

13 years agochange bounds check
bdemsky [Wed, 29 Jun 2011 09:45:24 +0000 (09:45 +0000)]
change bounds check

13 years agochange function type for boundscheck
bdemsky [Wed, 29 Jun 2011 09:44:57 +0000 (09:44 +0000)]
change function type for boundscheck

13 years agochanges for bounds check
bdemsky [Wed, 29 Jun 2011 09:42:49 +0000 (09:42 +0000)]
changes for bounds check

13 years agodebugging in progress
jihoonl [Wed, 29 Jun 2011 06:31:18 +0000 (06:31 +0000)]
debugging in progress

13 years agoback out debug options
bdemsky [Tue, 28 Jun 2011 22:28:19 +0000 (22:28 +0000)]
back out debug options

13 years agonext roundof bug fixes
bdemsky [Tue, 28 Jun 2011 21:27:32 +0000 (21:27 +0000)]
next roundof bug fixes

13 years agobug fixes
bdemsky [Tue, 28 Jun 2011 09:16:54 +0000 (09:16 +0000)]
bug fixes

13 years agovarious small changes
bdemsky [Tue, 28 Jun 2011 00:35:50 +0000 (00:35 +0000)]
various small changes

13 years agoRoll back previous check in as Brian has fixed the problem.
jzhou [Mon, 27 Jun 2011 18:34:29 +0000 (18:34 +0000)]
Roll back previous check in as Brian has fixed the problem.

13 years agoFix a bug in the compiler: besides its super class's method table, a class's methods...
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.

13 years agobug fixes
bdemsky [Mon, 27 Jun 2011 08:54:33 +0000 (08:54 +0000)]
bug fixes

13 years agosmall optimization
bdemsky [Mon, 27 Jun 2011 06:29:47 +0000 (06:29 +0000)]
small optimization

13 years agoruns the memory benchmark now...
bdemsky [Mon, 27 Jun 2011 06:18:57 +0000 (06:18 +0000)]
runs the memory benchmark now...

13 years agocode change
bdemsky [Sat, 25 Jun 2011 00:48:40 +0000 (00:48 +0000)]
code change

13 years agoturn off debugging messages....another bug fix
bdemsky [Sat, 25 Jun 2011 00:16:36 +0000 (00:16 +0000)]
turn off debugging messages....another bug fix

13 years agobug fix
bdemsky [Fri, 24 Jun 2011 23:39:08 +0000 (23:39 +0000)]
bug fix

13 years agoUpdating shared values
david [Fri, 24 Jun 2011 23:12:24 +0000 (23:12 +0000)]
Updating shared values

13 years agoupdated shared locations
david [Fri, 24 Jun 2011 23:09:19 +0000 (23:09 +0000)]
updated shared locations

13 years agobug fixes
bdemsky [Fri, 24 Jun 2011 00:37:51 +0000 (00:37 +0000)]
bug fixes

13 years agoremove some debug code...fix a bug
bdemsky [Wed, 22 Jun 2011 22:57:17 +0000 (22:57 +0000)]
remove some debug code...fix a bug

13 years agomore bug fixes
bdemsky [Wed, 22 Jun 2011 22:18:01 +0000 (22:18 +0000)]
more bug fixes

13 years agosmall changes on test cases. disable -noloop option from makefile.
yeom [Wed, 22 Jun 2011 17:21:40 +0000 (17:21 +0000)]
small changes on test cases. disable -noloop option from makefile.

13 years agoFirst annoted version
david [Wed, 22 Jun 2011 17:04:19 +0000 (17:04 +0000)]
First annoted version

13 years agoFirst annotated version
david [Wed, 22 Jun 2011 17:03:25 +0000 (17:03 +0000)]
First annotated version

13 years agobug fixes
bdemsky [Wed, 22 Jun 2011 11:15:36 +0000 (11:15 +0000)]
bug fixes

13 years agochanges
bdemsky [Wed, 22 Jun 2011 08:08:00 +0000 (08:08 +0000)]
changes

13 years agobug fixes + integrate loop termination analysis into ssjava checking
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

13 years agotry to make update phase work...need to ask for permission to write into memory blocks
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

13 years agohave Javadoc-style method comments.
yeom [Tue, 21 Jun 2011 22:31:47 +0000 (22:31 +0000)]
have Javadoc-style method comments.

13 years agoreflects today's comments
yeom [Tue, 21 Jun 2011 21:29:14 +0000 (21:29 +0000)]
reflects today's comments

13 years agochanges.
yeom [Tue, 21 Jun 2011 20:04:39 +0000 (20:04 +0000)]
changes.

13 years agochanges
bdemsky [Tue, 21 Jun 2011 07:48:35 +0000 (07:48 +0000)]
changes

13 years agobug fixes...still doesn't work
bdemsky [Tue, 21 Jun 2011 01:36:18 +0000 (01:36 +0000)]
bug fixes...still doesn't work

13 years agoconvert it to the must analysis
yeom [Tue, 21 Jun 2011 01:33:20 +0000 (01:33 +0000)]
convert it to the must analysis

13 years agomore changes...think first version of memory allocation exists now
bdemsky [Tue, 21 Jun 2011 00:48:57 +0000 (00:48 +0000)]
more changes...think first version of memory allocation exists now

13 years agoBug fix for cache adaption
jzhou [Tue, 21 Jun 2011 00:43:52 +0000 (00:43 +0000)]
Bug fix for cache adaption

13 years agoprovides makefile and makes it compile for david
yeom [Mon, 20 Jun 2011 22:01:38 +0000 (22:01 +0000)]
provides makefile and makes it compile for david

13 years agochanges.
yeom [Mon, 20 Jun 2011 18:55:25 +0000 (18:55 +0000)]
changes.

13 years agoonly call mark once...
bdemsky [Mon, 20 Jun 2011 10:22:44 +0000 (10:22 +0000)]
only call mark once...

13 years agoget it to compile again
bdemsky [Mon, 20 Jun 2011 10:14:43 +0000 (10:14 +0000)]
get it to compile again

13 years agomore changes
bdemsky [Mon, 20 Jun 2011 09:38:02 +0000 (09:38 +0000)]
more changes

13 years agoget rid of manually created table...
bdemsky [Mon, 20 Jun 2011 06:52:47 +0000 (06:52 +0000)]
get rid of manually created table...

13 years agomore changes
bdemsky [Mon, 20 Jun 2011 02:20:55 +0000 (02:20 +0000)]
more changes

13 years agomore changes
bdemsky [Sun, 19 Jun 2011 22:42:22 +0000 (22:42 +0000)]
more changes

13 years agoget it to compile again
bdemsky [Sun, 19 Jun 2011 01:38:33 +0000 (01:38 +0000)]
get it to compile again

13 years agoclean up stuff...will add back later...
bdemsky [Sun, 19 Jun 2011 01:34:26 +0000 (01:34 +0000)]
clean up stuff...will add back later...

13 years agochanges.
yeom [Sun, 19 Jun 2011 01:12:23 +0000 (01:12 +0000)]
changes.

13 years agoget it to compile
bdemsky [Sat, 18 Jun 2011 08:38:55 +0000 (08:38 +0000)]
get it to compile

13 years agomore changes
bdemsky [Sat, 18 Jun 2011 08:21:32 +0000 (08:21 +0000)]
more changes

13 years agocode changes
bdemsky [Sat, 18 Jun 2011 08:20:46 +0000 (08:20 +0000)]
code changes

13 years agobug fixes
bdemsky [Sat, 18 Jun 2011 04:50:11 +0000 (04:50 +0000)]
bug fixes

13 years agostart implementing loop termination analysis: for the initial version, checking wheth...
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.

13 years agochange objects
bdemsky [Sat, 18 Jun 2011 01:17:53 +0000 (01:17 +0000)]
change objects

13 years agomore changes
bdemsky [Sat, 18 Jun 2011 00:13:20 +0000 (00:13 +0000)]
more changes

13 years agomore of my changes
bdemsky [Thu, 16 Jun 2011 21:21:01 +0000 (21:21 +0000)]
more of my changes

13 years agocode for generating mark bit tables
bdemsky [Thu, 16 Jun 2011 09:56:59 +0000 (09:56 +0000)]
code for generating mark bit tables

13 years agocode to do mark bits...
bdemsky [Thu, 16 Jun 2011 09:52:05 +0000 (09:52 +0000)]
code to do mark bits...

13 years agochanges to get rid of all type errors...
bdemsky [Wed, 15 Jun 2011 08:50:39 +0000 (08:50 +0000)]
changes to get rid of all type errors...

13 years agobug fix...gcloads was used twice for different things with different types...
bdemsky [Wed, 15 Jun 2011 07:42:08 +0000 (07:42 +0000)]
bug fix...gcloads was used twice for different things with different types...

13 years agochanges
bdemsky [Wed, 15 Jun 2011 04:04:04 +0000 (04:04 +0000)]
changes

13 years agomore work towards type checking
bdemsky [Wed, 15 Jun 2011 01:52:54 +0000 (01:52 +0000)]
more work towards type checking

13 years agoclean up typing mistakes
bdemsky [Tue, 14 Jun 2011 23:08:04 +0000 (23:08 +0000)]
clean up typing mistakes

13 years agofix mgchash table...isn't supposed to do allocation on the fly...nor use linked lists...
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...

13 years agochanges to support marked bit table...might work??
bdemsky [Tue, 14 Jun 2011 09:17:55 +0000 (09:17 +0000)]
changes to support marked bit table...might work??

13 years agochanges
bdemsky [Tue, 14 Jun 2011 06:39:33 +0000 (06:39 +0000)]
changes