Provided by: Virginia Systems
Date Added: Jul 2012
Distributed software Transactional Memory (DTM) is an emerging promising model for distributed concurrency control, as it avoids the problems with locks (e.g., distributed deadlocks), while retaining the programming simplicity of coarse-grained locking. The authors consider DTM in Herlihy and Sun's data flow distributed execution model, where transactions are immobile and objects dynamically migrate to invoking transactions. To support DTM in this model and ensure transactional properties including atomicity, consistency, and isolation, they develop an algorithm called Transactional Forwarding Algorithm (TFA).