Differences
This shows you the differences between two versions of the page.
| Both sides previous 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 30: | Line 31: | ||
| * (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 ==== | ||
