On Safety of Replicated Transactional Memory
نویسندگان
چکیده
Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to specify blocks of code to be executed atomically. In this paper, we consider a distributed variant of TM in which transactional memory is consistently replicated on network nodes for greater availability and fault-tolerance. We argue that opacity, a standard TM safety property, is misused when applied to replicated transactional systems. In this paper we also sketch the requirements for a new safety property that can work well with all kinds of transactional systems, including replicated TM.
منابع مشابه
Transactional Encoding for Tolerating Transient Hardware Errors
The decreasing feature size of integrated circuits leads to less reliable hardware with higher likelihood for errors. Without adding additional failure detection and masking mechanisms, the next generations of CPUs would at least be unfit for executing missionand safety-critical applications. One common approach is the replicated execution of programs on redundant cores, which is increasingly d...
متن کاملExploiting Locality in Lease-Based Replicated Transactional Memory via Task Migration
We present Lilac-TM, the first locality-aware Distributed Software Transactional Memory (DSTM) implementation. Lilac-TM is a fully decentralized lease-based replicated DSTM. It employs a novel self-optimizing lease circulation scheme based on the idea of dynamically determining whether to migrate transactions to the nodes that own the leases required for their validation, or to demand the acqui...
متن کاملSpeculative Execution on Distributed and Replicated Software Transactional Memory Systems
This paper describes and evaluates SPECULA, a distributed and replicated software transactional memory system based on a certification scheme. This system tackles the negative effects of network latency, through the optimistic execution of code. Transactions are executed on a single node, in an uncoordinated fashion, and the result of their local validation is used as a prediction of the result...
متن کاملTROM: A Transactional Replicated Object Memory
This paper presents transactional replication, a novel approach for replicating distributed objects. It uses non-blocking synchronisation techniques to realise software transactional memory for ensuring replica consistency. Unlike traditional passive object replication, which executes requests on a single primary, our approach allows using an arbitrary replica to execute a client request. Fine-...
متن کاملPredictable transactional memory architecture for hierarchical mixed-criticality systems
A transactional memory simplifies the concurrency management in multicore systems by permitting sets of load and store instructions to be executed in an atomic way. The correct results for concurrent transactions and the execution time strongly depend on the coherency potentials, rollback capabilities and strategies of the transactional memory. A transactional memory can be implemented as a Har...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014