Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
stmbench7 [2011/02/17 13:19] transactions [Java Version] |
stmbench7 [2015/12/17 18:02] (current) chatzopoulos |
||
|---|---|---|---|
| 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. | ||
| + | | ||
| + | Apache Ant v1.8+ warnings have been fixed in v1.1 and remaining absolute path | ||
| + | in the build.xml that were causing portability bugs have been fixed. | ||
| 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 20: | ||
| * 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 28: | ||
| version of STMBench7. | version of STMBench7. | ||
| - | - New version (17.02.2011): | + | - New version (25.02.2011): |
| - | * v1.0: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.0|stmbench7_java-v1.0.tgz]] | + | * v1.2: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.2.tgz|stmbench7_java-v1.2.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]] | ||
| Line 35: | Line 38: | ||
| The following files are available for download: | The following files are available for download: | ||
| - | * SwissTM, TinySTM and TinySTM STMBench7 source code: {{sb7_tt_20090910.tgz}} | + | * Latest STMBench7-SwissTM code: {{:sb7_tt-20110815.tar.gz|sb7-20110815}}. |
| + | * SwissTM (previous version), TinySTM and TL2 STMBench7 source code: {{sb7_tt_20090910.tgz}} | ||
| + | |||
| + | Stripped down version that works with multiple platforms: | ||
| + | * [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_c++-v1.0.tar_.bz2|sb7_c++_20110302]] working with gcc, DTMC, PTLSim-ASF/HyTM/HTM from [[velox|VELOX]]. | ||
| Older versions: | Older versions: | ||
