Welcome
This website is about making research on (Software) Transactional Memory available to real developers (i.e., people that don't already do research in this area). We are a team of researchers working on Transactional Memory, and we currently provide two open-source (GPL) tools:
- TANGER: Compiler support for simple declaration of transactions in C/C++ source code. Code in transactions is transformed to properly access Software Transactional Memory implementations.
- TinySTM: A lightweight and efficient Software Transactional Memory implementation.
These tools do not yet offer a complete set of features but do work in a lot of scenarios. We are also continuously adding features and we try to incorporate recent research results. If you are interested in Transactional Memory, we encourage you to use these tools and to think about how you could use transactions in your program to more easily cope with parallelization and synchronization problems or with error handling. If something does not work as expected or is not useful for real developers, please complain. The research community needs your feedback.
You can join a mailing list to receive announcements, get help, or leave comments.
Recent publications
- Torvald Riegel and Christof Fetzer and Pascal Felber, Automatic Data Partitioning in Software Transactional Memories, 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2008, [PDF]
- Torvald Riegel and Becker de Brum, Diogo, Making Object-Based STM Practical in Unmanaged Environments, TRANSACT 2008, 2008, [PDF]
- Pascal Felber and Christof Fetzer and Torvald Riegel, Dynamic Performance Tuning of Word-Based Software Transactional Memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2008, [PDF]
- Torvald Riegel and Christof Fetzer and Heiko Sturzrehm and Pascal Felber, Brief Announcement: From Causal to z-Linearizable Transactional Memory, 26th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2007, [PDF]
- Pascal Felber and Christof Fetzer and Ulrich Mueller and Torvald Riegel and Martin Suesskraut and Heiko Sturzrehm, Transactifying Applications using an Open Compiler Framework, TRANSACT, 2007, [PDF][SLIDES]
- Torvald Riegel and Christof Fetzer and Pascal Felber, Time-based Transactional Memory with Scalable Time Bases, 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2007, [PDF]
- Torvald Riegel and Pascal Felber and Christof Fetzer, A Lazy Snapshot Algorithm with Eager Validation, 20th International Symposium on Distributed Computing (DISC), 2006, [PDF]
- Torvald Riegel and Christof Fetzer and Pascal Felber, Snapshot Isolation for Software Transactional Memory, TRANSACT06, 2006, [PDF]
- Martin Süßkraut and Ulrich Müller, Fast Abstract: Providing Transparent Transactions on C/C++ Memory Locations with TARIFA, Supplement Proceedings of the High Assurance Systems Engineering Conference - HASE2005, 2005, [PDF]