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:19] transactions [Java Version] |
stmbench7 [2011/02/18 16:17] transactions [Java Version] |
||
---|---|---|---|
Line 10: | Line 10: | ||
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. | 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. | ||
+ | |||
The former Java version (07.03.2008 Beta) of STMBench7 added the following changes from the previous version | The former Java version (07.03.2008 Beta) of STMBench7 added the following changes from the previous version | ||
Line 17: | Line 18: | ||
* Invariant tests: the implementation checks whether all the invariants of the benchmark data structure are preserved. | * Invariant tests: the implementation checks whether all the invariants of the benchmark data structure are preserved. | ||
* Sequential replay of a concurrent execution: the implementation can replay a concurrent execution sequentially in order to check for violations of the opacity property. | * Sequential replay of a concurrent execution: the implementation can replay a concurrent execution sequentially in order to check for violations of the opacity property. | ||
- | - The new version does no longer use AspectJ: the coarse-grained and medium-grained locking methods are now fully implemented in Java, without adding any additional overhead when they are not used. | + | - Since 07.03.2008 Beta version it does no longer use AspectJ: the coarse-grained and medium-grained locking methods are now fully implemented in Java, without adding any additional overhead when they are not used. |
- The build procedure now uses Apache Ant instead of make. | - The build procedure now uses Apache Ant instead of make. | ||
Line 25: | Line 26: | ||
version of STMBench7. | version of STMBench7. | ||
- | - New version (17.02.2011): | + | - New version (18.02.2011): |
- | * v1.0: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.0|stmbench7_java-v1.0.tgz]] | + | * v1.1: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.1|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]] |