A framework for designing concurrent and recoverable abstract data types based on commutativity

TL;DR

This paper introduces a new framework for designing concurrent and recoverable abstract data types that leverage commutativity to enhance concurrency and simplify recovery in transactional systems.

Contribution

It presents novel features based on conditional commutativity that improve concurrency and recovery, not previously documented in the literature.

Findings

Increased concurrency in transactional systems

Simplified recovery process

Novel features based on conditional commutativity

Abstract

In this paper, we try to focus the reader's interest on the problems that transactional systems have to resolve for taking advantage of commutativity in a serializable and recoverable way. Our framework is, (as others), based on the use of conditional commutativity on abstract date types. We present new features that have not been found in the literature hitherto, that both increase concurrency and simplify recovery.