Date of Original Version



Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "Atomic transactions have become a widely accepted mechanism for coping with failures and concurrency in reliable distributed systems. Much recent work has focused on concurrency control algorithms, in particular on techniques for exploiting type-specific properties of data objects to enhance concurrency. One class of concurrency control algorithms that appears particularly promising are "hybrid" schemes in which transactions are assigned timestamps as they commit. Although these algorithms have received extensive theoretical analysis, they have not been implemented because they require non-trivial systems support.In this paper, we describe the first implementation of transaction commit timestamps, as provided in Avalon/C++, a high-level language for reliable distributed computing. We focus on the run-time data structures and algorithms needed to achieve a practical implementation of transaction commit timestamps."