Transactions
https://dcl.epfl.ch/transactions/wiki/
2024-03-19T04:52:03+0100Transactions
https://dcl.epfl.ch/transactions/wiki/
https://dcl.epfl.ch/transactions/wiki/lib/tpl/a_dark_divide/images/favicon.icotext/html2015-12-17T18:02:15+0100chatzopoulos (chatzopoulos@undisclosed.example.com)stmbench7
https://dcl.epfl.ch/transactions/wiki/doku.php?id=stmbench7&rev=1450371735&do=diff
The STMBench7 Benchmark
We have developed STMBench7: a benchmark for evaluating TM
implementations. The benchmark aims at providing a workload that is both
realistic and non-trivial to implement in a scalable way. The
implementation (in Java and C++) contains a lock-based synchronization
strategy that can serve as a baseline for comparison with various TMs.text/html2015-12-17T17:59:30+0100chatzopoulos (chatzopoulos@undisclosed.example.com)sb7_tt-20110815.tar.gz
https://dcl.epfl.ch/transactions/wiki/doku.php?image=sb7_tt-20110815.tar.gz&ns=&rev=1450371570&tab_details=history&mediado=diff&do=media
text/html2012-02-24T11:57:15+0100transactions (transactions@undisclosed.example.com)sidebar
https://dcl.epfl.ch/transactions/wiki/doku.php?id=sidebar&rev=1330081035&do=diff
* Transactional Memories
* SwissTM
* Elastic STM (ε-STM)
* Benchmarks
* Synchrobench
* STMBench7
* LeeTM
* Applications
* Globulation2
* Add-ons
* Scheduling
* STAMP
* Projects
* VELOX
* SoOS
* TransForm
* Student projects
* Our publications
* Related linkstext/html2012-02-24T11:56:16+0100transactions (transactions@undisclosed.example.com)publications - [2012]
https://dcl.epfl.ch/transactions/wiki/doku.php?id=publications&rev=1330080976&do=diff
Related Papers
2012
Gramoli V., Guerraoui, R., Trigonakis, V. (2012)
TM2C: a Software Transactional Memory for Many-Cores
Proceedings of the seventh European Conference on Computer Systems (EuroSys).
Crain T., Gramoli V., Raynal R. (2012)
A Speculation-Friendly Binary Search Tree.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP).text/html2012-02-24T11:55:03+0100transactions (transactions@undisclosed.example.com)soos - [Related Publications]
https://dcl.epfl.ch/transactions/wiki/doku.php?id=soos&rev=1330080903&do=diff
Service-oriented Operating Systems
We have recently joined the S(o)OS project.
Related Publications
Gramoli V., Guerraoui, R., Trigonakis, V. (2012)
TM2C: a Software Transactional Memory for Many-Cores
Proceedings of the seventh European Conference on Computer Systems (EuroSys).
Crain T., Gramoli V., Raynal R. (2012)text/html2012-02-24T11:49:03+0100transactions (transactions@undisclosed.example.com)transform
https://dcl.epfl.ch/transactions/wiki/doku.php?id=transform&rev=1330080543&do=diff
TransFrom Marie-Curie ITN projecttext/html2012-02-24T11:46:54+0100transactions (transactions@undisclosed.example.com)projects
https://dcl.epfl.ch/transactions/wiki/doku.php?id=projects&rev=1330080414&do=diff
* VELOX: An Integrated Approach to Transactional Memory on Multi- and Many-core Computers
* S(o)OS: Service-oriented Operating Systems
* TransForm: Theoretical Foundations of Transactional Memorytext/html2012-02-24T11:45:21+0100transactions (transactions@undisclosed.example.com)menu
https://dcl.epfl.ch/transactions/wiki/doku.php?id=menu&rev=1330080321&do=diff
* STMBench7
* SwissTM
* Elastic
* Synchrobench
* Projects
* Publications
* Eventstext/html2012-02-24T11:43:17+0100transactions (transactions@undisclosed.example.com)synchrobench - [Synchrobench]
https://dcl.epfl.ch/transactions/wiki/doku.php?id=synchrobench&rev=1330080197&do=diff
Synchrobench
Synchrobench is a benchmark suite for comparing synchronization techniques.
It comprises common data structures (e.g., linked list, skip list, hash table, arrays) that implement several abstractions (e.g., set, map, queue).
These algorithms are implemented using fine-grained locking (spinlock, mutex),
transactional memory (E-STM, TinySTM, SwissTM) or lock-free techniques (compare-and-swap).text/html2012-02-24T11:27:10+0100transactions (transactions@undisclosed.example.com)microbench - [Synchrobench]
https://dcl.epfl.ch/transactions/wiki/doku.php?id=microbench&rev=1330079230&do=diff
Microbench
Microbench aims at comparing STM performance against performance of lock-based and lock-free alternatives. It comprises common data structures: linked list, skip list, hashtable...
* It provides lock-free algorithms (e.g., harris-michael, fraser's lock-free skip-list).text/html2010-11-11T22:37:08+0100transactions (transactions@undisclosed.example.com)epfl.jpg
https://dcl.epfl.ch/transactions/wiki/doku.php?image=epfl.jpg&ns=&rev=1289511428&tab_details=history&mediado=diff&do=media
<img src="https://dcl.epfl.ch/transactions/wiki/lib/exe/fetch.php?w=500&h=241&t=1289511428&tok=0e0ccb&media=epfl.jpg" alt="epfl.jpg" />text/html2010-11-11T22:36:16+0100transactions (transactions@undisclosed.example.com)epfl.png
https://dcl.epfl.ch/transactions/wiki/doku.php?image=epfl.png&ns=&rev=1289511376&tab_details=history&mediado=diff&do=media
<img src="https://dcl.epfl.ch/transactions/wiki/lib/exe/fetch.php?w=500&h=242&t=1289511376&tok=31fd16&media=epfl.png" alt="epfl.png" />