Article Title

A Correctness Criterion for Eager Approach Validation for Transactional Memory System

Authors

Ravi Kumar, Department of Computer Science and Engineering Indian Institute of Technology Patna, Patna-800013,Follow
Sathya Peri, Department of Computer Science and Engineering Indian Institute of Technology Patna, Patna-800013, BiharFollow

Abstract

With rise of multicore systems, software transactional memory (STM) has garnered significant interest as an elegant alternative for developing concurrent code. A (memory) transaction is an unit of code in execution in memory. A software transactional memory system (STM) ensures that a transaction appears either to execute atomically (even in presence of other concurrent transactions) or to never have executed at all. To achieve this property, a commonly used approach by STM systems is eager validation approach. In this approach, when a transaction performs a write operation the update is immediately written to the memory and is visible to other transactions. If the transaction aborts, then the writes performed by it previously are undone with the aid of undo logs. In this paper, we have presented a new correctness criterion EAC for eager approach validation systems. We have developed a STM system that implements this criterion. The STM system uses database recovery criterion strictness and the notion of conflict graphs used for testing conflict serializability.

Recommended Citation

Kumar, Ravi and Peri, Sathya (2014) "A Correctness Criterion for Eager Approach Validation for Transactional Memory System," International Journal of Computer and Communication Technology: Vol. 5: Iss. 4, Article 2.
DOI: 10.47893/IJCCT.2014.1249
Available at: https://www.interscience.in/ijcct/vol5/iss4/2

DOI

10.47893/IJCCT.2014.1249