Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
stmbench7 [2011/02/17 13:13] transactions [Java Version] |
stmbench7 [2011/02/17 13:19] transactions [Java Version] |
||
---|---|---|---|
Line 9: | Line 9: | ||
==== Java Version ==== | ==== Java Version ==== | ||
- | The new Java version (07.03.2008 Beta) of STMBench7 has been | + | The new Java version integrates with the [[velox|VELOX]] stack: the code is parsed successfully using the TMJava precompiler and transactions are instrumented automatically using Deuce. |
- | released. The new features and changes from the previous version | + | |
- | (27.06.2007) are the following: | + | The former Java version (07.03.2008 Beta) of STMBench7 added the following changes from the previous version |
+ | (27.06.2007): | ||
- Added correctness tests (useful for validating whether a given synchronization technique gives correct results): | - Added correctness tests (useful for validating whether a given synchronization technique gives correct results): | ||
Line 25: | Line 26: | ||
- New version (17.02.2011): | - New version (17.02.2011): | ||
- | * v1.0: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.0|stmbench7_java-v1.0]] | + | * v1.0: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.0|stmbench7_java-v1.0.tgz]] |
- Old versions: | - Old versions: | ||
* (07.03.2008 beta) source code and JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-07.03.2008-beta.tgz|stmbench7-07.03.2008-beta.tgz]] | * (07.03.2008 beta) source code and JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-07.03.2008-beta.tgz|stmbench7-07.03.2008-beta.tgz]] | ||
* (21.02.2007) source code: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.tgz|stmbench7-21.02.2007.tgz]] | * (21.02.2007) source code: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.tgz|stmbench7-21.02.2007.tgz]] | ||
* (21.02.2007) JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.jar|stmbench7-21.02.2007.jar]] | * (21.02.2007) JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.jar|stmbench7-21.02.2007.jar]] | ||
- | |||
- | The Java version of STMBench7 is created/maintained by | ||
- | [[http://lpd.epfl.ch/kapalka|Michal Kapalka]] | ||
==== C++ Version ==== | ==== C++ Version ==== |