Systems integrated in Hyflow
>> Hyflow2: A High Performance Distributed Transactional Memory Framework in Scala
Authors: A. Turcu, B. Ravindran, R. Palmieri
System name: Hyflow2
Description: Distributed STM Framework. It implements the TFA and provides supports for flat and closed nested transactions
Language: SCALA
Download Technical Report -- Published at PPPJ 2013
Download Source code>> HyFlow: A High Performance Distributed Software Transactional Memory Framework
Authors: M. Saad and B. Ravindran
System name: Hyflow
Description: Distributed STM Framework. It implements the TFA and provides supports for flat, closed and open nested transactions
Language: JAVA
Download Technical Report -- Published at HPDC 2011
Download Source code
Systems integrated in Infinispan
>> Transactional Forwarding Algorithm integrated with Infinispan
Authors: J. Kim, R. Palmieri, B. Ravindran
System name: Infinispan-TFA
Description: Distributed in-memory data grid. It provides supports for flat, closed and open nested transactions
Language: JAVA
Download Source code
Standalone implementations
>> Extending TM Primitives using Low Level Semantics
Authors: M. Saad, R. Palmieri, A. Hassan, and B. Ravindran
System name: GCC-EXT
Description: a GCC version that instruments atomic blocks and captures low level semantics
Language: C++
Download Source code>> Transactional Interference-less Balanced Tree
Authors: A. Hassan, R. Palmieri, and B. Ravindran
System name: TxCF-Tree
Description: a transactional balanced tree with unmonitored traversal and interference-less structural operations
Language: Java
Download Source code>> Remote Invalidation: Optimizing the Critical Path of Memory Transactions
Authors: A. Hassan, R. Palmieri, and B. Ravindran
System name: RInval
Description: Multicore STM concurrency control integrated with RSTM
Language: C++
Download Technical Report -- Published at IPDPS 2014
Download Source code>> Optimistic Transactional Lazy Set
Authors: A. Hassan, R. Palmieri, and B. Ravindran
System name: OTBSet
Description: Transactional Set Data Structure (Linked-List and Skip-List)
Language: JAVA
Download Technical Report -- Published at OPODIS 2014
Download Source code>> On Making Transactional Applications Resilient to Data Corruption Faults
Authors: M. Mohamedin, R. Palmieri and B. Ravindran
System name: SoftX
Description: Multicore fault-tolerance STM concurrency control integrated with RSTM
Language: C++
Download Technical Report -- Published at NCA 2014
Download Source code>> HiperTM: High Performance, Fault-Tolerant Transactional Memory
Authors: S. Hirve, R. Palmieri, and B. Ravindran
System name: HiperTM
Description: Replicated Transactional System
Language: JAVA
Download Technical Report -- Published at ICDCN 2014
Download Source code
