On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory

Provided by: Virginia Systems
Topic: Storage
Format: PDF
The authors consider the closed nesting and checkpointing model for transactions in fault-tolerant Distributed Transactional Memory (DTM). The closed nested model allows inner-nested transactions to be aborted (in the event of a transactional conflict) without aborting the parent transaction, while checkpointing allows transactions to rollback to a previous execution state, potentially improving concurrency over flat nesting. They consider a quorum-based replicated model for fault-tolerant DTM, and present algorithms to support closed nesting and checkpointing. The algorithms use incremental validation to avoid communication overhead on commit, and ensure 1-copy equivalence.

Find By Topic