Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
stmbench7 [2010/12/10 09:51] transactions [Related publications] |
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 24: | Line 25: | ||
| version of STMBench7. | version of STMBench7. | ||
| - | - New version (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]] | + | - New version (17.02.2011): |
| - | - Old version (21.02.2007): | + | * v1.0: [[http://lpd.epfl.ch/gramoli/doc/sw/sb7_java-v1.0|stmbench7_java-v1.0.tgz]] |
| - | * Source code: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.tgz|stmbench7-21.02.2007.tgz]] | + | - Old versions: |
| - | * JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.jar|stmbench7-21.02.2007.jar]] | + | * (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]] | |
| - | The Java version of STMBench7 is created/maintained by | + | * (21.02.2007) JAR binary file: [[http://lpd.epfl.ch/kapalka/files/stmbench7-21.02.2007.jar|stmbench7-21.02.2007.jar]] |
| - | [[http://lpd.epfl.ch/kapalka|Michal Kapalka]] | + | |
| ==== C++ Version ==== | ==== C++ Version ==== | ||
| Line 49: | Line 49: | ||
| ==== Related publications ==== | ==== Related publications ==== | ||
| + | |||
| + | Dragojevic A., Felber P., Gramoli V., Guerraoui R. (2011) | ||
| + | [[http://infoscience.epfl.ch/record/144052|Why STM can be more than a Research Toy.]] | ||
| + | //Communications of the ACM (CACM).// | ||
| Afek et al. (2010) | Afek et al. (2010) | ||
| Line 60: | Line 64: | ||
| Guerraoui, R., Kapalka, M. and Vitek, J. (2007) | Guerraoui, R., Kapalka, M. and Vitek, J. (2007) | ||
| - | [[http://infoscience.epfl.ch/record/101108|STMBench7: A Benchmark for Software Transactional Memory.]] //EuroSys 2007.// | + | [[http://infoscience.epfl.ch/record/101108|STMBench7: A Benchmark for Software Transactional Memory.]] //EuroSys.// |
