Activity for Avi Shinnar
-
Avi Shinnar committed [r29734]
add support for lifelines that skip dead places...
-
Change transfer to abort and cleanup if the thi...
-
Add support for wave based error recovery
-
Fix bug in Worker.run: distribute before lifeli...
-
add one larger benchmark run
-
change the file descriptor used for reading in ...
-
change testing harness to accept a file of spec...
-
fix bug in place death handler
-
set the effective number of nthreads to be one ...
-
Add support for specifying 0 workers, which run...
-
Change to registering a place dead handler inst...
-
Add support for multithreading. The numbers of...
-
Change from using a static singleton to using a...
-
Add more benchmarking infrastructure
-
Add support for running (non-resiliently) witho...
-
Updated to use new version of the ResilientMap ...
-
Modify ResilientMap interface and implementatio...
-
Initial version of ResilientUTS using Hazelcast
-
Add set and async variants of submitToKey to Re...
-
Add method to expose the hazelcast instance use...
-
Add a new isX10WorkerThread method to x10.lang....
-
Add the Coq based mechanization of X10 and resi...
1