IRC.git
15 years agosomehow we gained two implementations of some methods...this of course caused some...
bdemsky [Fri, 10 Apr 2009 06:16:02 +0000 (06:16 +0000)]
somehow we gained two implementations of some methods...this of course caused some problems

15 years agostructure for manipulating triples
jjenista [Fri, 10 Apr 2009 03:45:24 +0000 (03:45 +0000)]
structure for manipulating triples

15 years agoquick capture of some stable structures
jjenista [Thu, 9 Apr 2009 23:16:52 +0000 (23:16 +0000)]
quick capture of some stable structures

15 years agomore new mlp stuff
jjenista [Thu, 9 Apr 2009 21:20:30 +0000 (21:20 +0000)]
more new mlp stuff

15 years agochange
bdemsky [Thu, 9 Apr 2009 20:06:04 +0000 (20:06 +0000)]
change

15 years agostable introduction of mlp analysis, infrastructure for variable analysis in place
jjenista [Thu, 9 Apr 2009 16:30:59 +0000 (16:30 +0000)]
stable introduction of mlp analysis, infrastructure for variable analysis in place

15 years agowhen inserting FlatExit, consider if task body's block node-node pair ends with a...
jjenista [Thu, 9 Apr 2009 16:26:12 +0000 (16:26 +0000)]
when inserting FlatExit, consider if task body's block node-node pair ends with a null node

15 years agofix bugs
bdemsky [Thu, 9 Apr 2009 08:20:51 +0000 (08:20 +0000)]
fix bugs

15 years agofix same bug in DSTM system
bdemsky [Thu, 9 Apr 2009 07:01:04 +0000 (07:01 +0000)]
fix same bug in DSTM system

15 years agofix memory leak
bdemsky [Thu, 9 Apr 2009 06:58:34 +0000 (06:58 +0000)]
fix memory leak

15 years agobug fixes
bdemsky [Thu, 9 Apr 2009 06:38:16 +0000 (06:38 +0000)]
bug fixes

15 years agofix array reading bug
adash [Thu, 9 Apr 2009 00:05:16 +0000 (00:05 +0000)]
fix array reading bug

15 years agoannoying gc bug
bdemsky [Thu, 9 Apr 2009 00:02:23 +0000 (00:02 +0000)]
annoying gc bug

15 years ago bug fix: Was never starting a transaction in the run method but now it does
adash [Wed, 8 Apr 2009 22:33:15 +0000 (22:33 +0000)]
 bug fix: Was never starting a transaction in the run method but now it does

15 years agobug fix
bdemsky [Wed, 8 Apr 2009 19:34:25 +0000 (19:34 +0000)]
bug fix

15 years agochange
bdemsky [Wed, 8 Apr 2009 18:27:11 +0000 (18:27 +0000)]
change

15 years agoallocate memory in large blocks
bdemsky [Wed, 8 Apr 2009 09:41:46 +0000 (09:41 +0000)]
allocate memory in large blocks

15 years agohack stuff not to put new objects in lookup table...trying to make object creation...
bdemsky [Wed, 8 Apr 2009 08:51:09 +0000 (08:51 +0000)]
hack stuff not to put new objects in lookup table...trying to make object creation inside of transactions even cheaper

15 years agolarge number of bug corrections
bdemsky [Wed, 8 Apr 2009 02:45:47 +0000 (02:45 +0000)]
large number of bug corrections

15 years agoprogram to test debug our system on
bdemsky [Wed, 8 Apr 2009 01:24:42 +0000 (01:24 +0000)]
program to test debug our system on

15 years agobug fixes
bdemsky [Wed, 8 Apr 2009 01:20:51 +0000 (01:20 +0000)]
bug fixes

15 years agocollect statistics
bdemsky [Wed, 8 Apr 2009 00:02:39 +0000 (00:02 +0000)]
collect statistics

15 years agoadd support for garbage collection statistics
bdemsky [Tue, 7 Apr 2009 23:46:37 +0000 (23:46 +0000)]
add support for garbage collection statistics

15 years agocode changes
bdemsky [Tue, 7 Apr 2009 23:21:34 +0000 (23:21 +0000)]
code changes

15 years agobug fix
bdemsky [Tue, 7 Apr 2009 22:35:37 +0000 (22:35 +0000)]
bug fix

15 years agofix for alokika's bug
bdemsky [Tue, 7 Apr 2009 22:18:50 +0000 (22:18 +0000)]
fix for alokika's bug

15 years agochanges to makefile for debugging
adash [Tue, 7 Apr 2009 22:09:47 +0000 (22:09 +0000)]
changes to makefile for debugging
some compile errors still

15 years agochange of option for makefile
adash [Tue, 7 Apr 2009 20:28:33 +0000 (20:28 +0000)]
change of option for makefile

15 years agochanges to Test benchmark
adash [Tue, 7 Apr 2009 20:26:36 +0000 (20:26 +0000)]
changes to Test benchmark

15 years agomore mlp infrastructure, stable
jjenista [Tue, 7 Apr 2009 16:24:45 +0000 (16:24 +0000)]
more mlp infrastructure, stable

15 years agochanges to garbage collect STM
bdemsky [Tue, 7 Apr 2009 07:39:09 +0000 (07:39 +0000)]
changes to garbage collect STM

15 years agofix compile
bdemsky [Tue, 7 Apr 2009 06:43:05 +0000 (06:43 +0000)]
fix compile

15 years agomemory stuff
bdemsky [Tue, 7 Apr 2009 06:39:06 +0000 (06:39 +0000)]
memory stuff

15 years agofix loop bug
bdemsky [Tue, 7 Apr 2009 05:06:39 +0000 (05:06 +0000)]
fix loop bug

15 years agoSTM benchmark ported
adash [Tue, 7 Apr 2009 02:21:56 +0000 (02:21 +0000)]
STM benchmark ported
problems compiling with flattenLoopNode error

15 years agoSTM testcase works...plenty of bugs still
bdemsky [Tue, 7 Apr 2009 01:17:04 +0000 (01:17 +0000)]
STM testcase works...plenty of bugs still

15 years agonumber of changes
bdemsky [Mon, 6 Apr 2009 23:19:48 +0000 (23:19 +0000)]
number of changes

15 years agocloser to compiling
bdemsky [Mon, 6 Apr 2009 22:48:15 +0000 (22:48 +0000)]
closer to compiling

15 years agosome commented out code transplanted from BuildFlat that will be the basis for this...
jjenista [Mon, 6 Apr 2009 21:49:54 +0000 (21:49 +0000)]
some commented out code transplanted from BuildFlat that will be the basis for this analysis as a separate pass

15 years agoMove mlp and sese stuff into a separate compiler pass
jjenista [Mon, 6 Apr 2009 21:48:08 +0000 (21:48 +0000)]
Move mlp and sese stuff into a separate compiler pass

15 years agouse a clearer sese name when viewed in built code and other print outs
jjenista [Mon, 6 Apr 2009 21:41:31 +0000 (21:41 +0000)]
use a clearer sese name when viewed in built code and other print outs

15 years agomistake
bdemsky [Mon, 6 Apr 2009 20:37:24 +0000 (20:37 +0000)]
mistake

15 years agoget rid of compile errors
bdemsky [Mon, 6 Apr 2009 20:35:53 +0000 (20:35 +0000)]
get rid of compile errors

15 years agooops
bdemsky [Mon, 6 Apr 2009 19:59:01 +0000 (19:59 +0000)]
oops

15 years agoget rid of error message about needtocollect
bdemsky [Mon, 6 Apr 2009 19:57:23 +0000 (19:57 +0000)]
get rid of error message about needtocollect

15 years agomore changes (get rid of getnewOID and use TRANSREAD macro)
adash [Mon, 6 Apr 2009 18:36:19 +0000 (18:36 +0000)]
more changes (get rid of getnewOID and use TRANSREAD macro)

15 years agoanother idea
bdemsky [Mon, 6 Apr 2009 17:42:07 +0000 (17:42 +0000)]
another idea

15 years agoSTM versions
bdemsky [Mon, 6 Apr 2009 07:00:30 +0000 (07:00 +0000)]
STM versions

15 years agoget compiler side of STM working
bdemsky [Mon, 6 Apr 2009 06:58:59 +0000 (06:58 +0000)]
get compiler side of STM working

15 years agonew write barrier class
bdemsky [Sun, 5 Apr 2009 04:52:04 +0000 (04:52 +0000)]
new write barrier class
fixed many bugs

15 years agoadded options for STM
adash [Fri, 3 Apr 2009 22:29:03 +0000 (22:29 +0000)]
added options for STM

15 years agonew files for STM
adash [Fri, 3 Apr 2009 22:28:10 +0000 (22:28 +0000)]
new files for STM

15 years agochanges
bdemsky [Fri, 3 Apr 2009 22:15:38 +0000 (22:15 +0000)]
changes

15 years ago small changes to buildscript to add runtime check for STM
adash [Fri, 3 Apr 2009 22:08:28 +0000 (22:08 +0000)]
 small changes to buildscript to add runtime check for STM

15 years agotest file for STM
adash [Fri, 3 Apr 2009 22:06:15 +0000 (22:06 +0000)]
test file for STM

15 years agosupport for STM
bdemsky [Fri, 3 Apr 2009 20:40:20 +0000 (20:40 +0000)]
support for STM

15 years agostate change
bdemsky [Fri, 3 Apr 2009 20:19:37 +0000 (20:19 +0000)]
state change

15 years agoupdates
bdemsky [Fri, 3 Apr 2009 20:14:38 +0000 (20:14 +0000)]
updates

15 years agocode
bdemsky [Fri, 3 Apr 2009 19:54:21 +0000 (19:54 +0000)]
code

15 years agonew makefile changes
bdemsky [Fri, 3 Apr 2009 09:16:14 +0000 (09:16 +0000)]
new makefile changes

15 years agochanges
bdemsky [Fri, 3 Apr 2009 09:15:15 +0000 (09:15 +0000)]
changes

15 years agolots of bugs
bdemsky [Fri, 3 Apr 2009 09:06:12 +0000 (09:06 +0000)]
lots of bugs

15 years agoloop doesn't work, function calls don't work
jjenista [Thu, 2 Apr 2009 21:05:13 +0000 (21:05 +0000)]
loop doesn't work, function calls don't work

15 years agoa setjmp implementation of single-threaded mlp API
jjenista [Thu, 2 Apr 2009 20:53:54 +0000 (20:53 +0000)]
a setjmp implementation of single-threaded mlp API

15 years agoa whole bunch of optimizations...should be useful for transactions
bdemsky [Thu, 2 Apr 2009 06:32:55 +0000 (06:32 +0000)]
a whole bunch of optimizations...should be useful for transactions

15 years agoadd new option -singleTM for committing transactions on a single machine
adash [Wed, 1 Apr 2009 21:25:33 +0000 (21:25 +0000)]
add new option -singleTM for committing transactions on a single machine

15 years agoAdded mlp runtime skeleton, flags to build it, syntax option to name sese blocks
jjenista [Tue, 31 Mar 2009 20:56:27 +0000 (20:56 +0000)]
Added mlp runtime skeleton, flags to build it, syntax option to name sese blocks

15 years agoa new tiny test and better SESE node printing
jjenista [Mon, 30 Mar 2009 21:58:07 +0000 (21:58 +0000)]
a new tiny test and better SESE node printing

15 years agochanges
bdemsky [Mon, 30 Mar 2009 18:52:17 +0000 (18:52 +0000)]
changes

15 years agoloop analysis stuff
bdemsky [Fri, 27 Mar 2009 09:02:25 +0000 (09:02 +0000)]
loop analysis stuff

15 years agoDefUse analysis
bdemsky [Fri, 27 Mar 2009 01:32:11 +0000 (01:32 +0000)]
DefUse analysis

15 years agochanges
bdemsky [Fri, 27 Mar 2009 00:59:36 +0000 (00:59 +0000)]
changes

15 years agohack loop optimizations
bdemsky [Fri, 27 Mar 2009 00:26:40 +0000 (00:26 +0000)]
hack loop optimizations

15 years agonew benchmark results
jjenista [Tue, 24 Mar 2009 06:43:47 +0000 (06:43 +0000)]
new benchmark results

15 years agokeep alpha source states during node propagation
jjenista [Tue, 24 Mar 2009 06:03:25 +0000 (06:03 +0000)]
keep alpha source states during node propagation

15 years agoprint out line count
bdemsky [Tue, 24 Mar 2009 06:01:55 +0000 (06:01 +0000)]
print out line count

15 years agoedge matching bug fix and add alpha source states back
jjenista [Tue, 24 Mar 2009 05:39:27 +0000 (05:39 +0000)]
edge matching bug fix and add alpha source states back

15 years agocache lots of results instead of recomputing them
bdemsky [Tue, 24 Mar 2009 04:37:13 +0000 (04:37 +0000)]
cache lots of results instead of recomputing them

15 years agofix bug when mapping callee edges into caller, gotta look at super classes for possib...
jjenista [Tue, 24 Mar 2009 02:30:07 +0000 (02:30 +0000)]
fix bug when mapping callee edges into caller, gotta look at super classes for possible match

15 years agospeedup
bdemsky [Tue, 24 Mar 2009 01:35:30 +0000 (01:35 +0000)]
speedup

15 years agoimprove strong update conditions for store, add strong updates from callee effects...
jjenista [Tue, 24 Mar 2009 01:05:19 +0000 (01:05 +0000)]
improve strong update conditions for store, add strong updates from callee effects and clean up commented debugging code

15 years agoimprove performance
bdemsky [Tue, 24 Mar 2009 00:39:14 +0000 (00:39 +0000)]
improve performance

15 years agofix edge propagation to union effects
jjenista [Mon, 23 Mar 2009 23:35:06 +0000 (23:35 +0000)]
fix edge propagation to union effects

15 years agochanges
bdemsky [Mon, 23 Mar 2009 21:36:06 +0000 (21:36 +0000)]
changes

15 years agobug fix: changed contains() to containsKey() where erroneous
jjenista [Mon, 23 Mar 2009 20:27:40 +0000 (20:27 +0000)]
bug fix: changed contains() to containsKey() where erroneous

15 years agodon't do strong updates on array element references
jjenista [Mon, 23 Mar 2009 19:57:58 +0000 (19:57 +0000)]
don't do strong updates on array element references

15 years agosmall test
bdemsky [Mon, 23 Mar 2009 19:44:45 +0000 (19:44 +0000)]
small test

15 years agoeven simpler
bdemsky [Mon, 23 Mar 2009 19:33:47 +0000 (19:33 +0000)]
even simpler

15 years agodon't add immutable or primitive parameters to alias contexts
jjenista [Mon, 23 Mar 2009 19:02:30 +0000 (19:02 +0000)]
don't add immutable or primitive parameters to alias contexts

15 years agoevil hack...need to fix arity scheme to match paper and remove this
bdemsky [Mon, 23 Mar 2009 18:17:03 +0000 (18:17 +0000)]
evil hack...need to fix arity scheme to match paper and remove this

15 years agocommenting out debugging
jjenista [Mon, 23 Mar 2009 00:16:37 +0000 (00:16 +0000)]
commenting out debugging

15 years agomerging lab changes with home changes
jjenista [Sun, 22 Mar 2009 19:36:28 +0000 (19:36 +0000)]
merging lab changes with home changes

15 years agoadded smaller version of directo for something in between tiny and full tests of...
jjenista [Sun, 22 Mar 2009 19:28:01 +0000 (19:28 +0000)]
added smaller version of directo for something in between tiny and full tests of analysis

15 years agojust leave commented becuase it is a useful little message to flip on sometimes
jjenista [Sun, 22 Mar 2009 19:25:23 +0000 (19:25 +0000)]
just leave commented becuase it is a useful little message to flip on sometimes

15 years agosee array dimensions when writing out
jjenista [Sun, 22 Mar 2009 19:24:46 +0000 (19:24 +0000)]
see array dimensions when writing out

15 years agochanges and debug
jjenista [Sun, 22 Mar 2009 17:15:55 +0000 (17:15 +0000)]
changes and debug

15 years agochanges
jjenista [Sat, 21 Mar 2009 21:24:34 +0000 (21:24 +0000)]
changes

15 years agonew parameter model and mapping procedure stable, doing capture before what I suspect...
jjenista [Fri, 20 Mar 2009 22:16:51 +0000 (22:16 +0000)]
new parameter model and mapping procedure stable, doing capture before what I suspect will be hefty debugging

15 years agomore progress toward new parameter model
jjenista [Fri, 20 Mar 2009 01:10:10 +0000 (01:10 +0000)]
more progress toward new parameter model

15 years agochanges on directed simulated annealing
jzhou [Fri, 20 Mar 2009 00:44:49 +0000 (00:44 +0000)]
changes on directed simulated annealing