Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stmbench7 [2011/02/17 13:13]
transactions [Java Version]
stmbench7 [2015/12/17 18:02] (current)
chatzopoulos
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:+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 
 +(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):
     * 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 24: 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]]+    * 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]]
     * (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 ====
  
 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:
stmbench7.1297944806.txt.gz · Last modified: 2011/02/17 13:13 by transactions
Trace:
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0