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
Next revision Both sides next revision
stmbench7 [2011/02/17 13:13]
transactions [Java Version]
stmbench7 [2011/08/15 22:09]
dragojev [C++ 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:+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: [[http://​lpd.epfl.ch/​dragojev/​sb7_tt-20110815.tgz|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.txt · Last modified: 2015/12/17 18:02 by chatzopoulos
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