IMDEA Networks Institute Publications Repository

Making "Fast" Atomic Operations Computationally Tractable

Fernández Anta, Antonio and Nicolaou, Nicolas and Popa, Alexandru (2015) Making "Fast" Atomic Operations Computationally Tractable. In: The 19th International Conference On Principles of Distributed Systems (OPODIS 2015), 14-17 December 2015, Rennes, France.

[img] PDF
Download (526Kb)

Abstract

Communication overhead is the most commonly used performance metric for the operation com- plexity of distributed algorithms in message-passing environments. However, aside with com- munication, many distributed operations utilize complex computations to reach their desired outcomes. Therefore, a most accurate operation latency measure should account of both compu- tation and communication metrics. In this paper we focus on the efficiency of read and write operations in an atomic read/write shared memory emulation in the message-passing environment. We examine the operation com- plexity of the best known atomic register algorithm, presented in [2], that allows all read and write operations to complete in a single communication round-trip. Such operations are called fast. At its heart, the algorithm utilizes a predicate to allow processes to compute their outcome. We show that the predicate used in [2] is computationally hard, by devising a computationally equivalent problem and reducing that to Maximum Biclique, a known NP-hard problem. To improve the computational complexity of the algorithm we derive a new predicate that leads to a new algorithm, we call ccFast, and has the following properties: (i) can be computed in polyno- mial time, rendering each read operation in ccFast tractable compared to the read operations in the original algorithm, (ii) the messages used in ccFast are reduced in size, compared to the original algorithm, by almost a linear factor, (iii) allows all operations in ccFast to be fast, and (iv) allows ccFast to preserve atomicity. A linear time algorithm for the computation of the new predicate is presented along with an analysis of the message complexity of the new algorithm. We believe that the new algorithm redefines the term fast capturing both the communication and the computation metrics of each operation.

Item Type: Conference or Workshop Papers (Paper)
Uncontrolled Keywords: Atomicity; read/write objects; shared memory; computational complexity.
Subjects: UNSPECIFIED
Divisions: UNSPECIFIED
Depositing User: Nicolas Nicolaou
Date Deposited: 21 Jan 2016 08:59
Last Modified: 11 Jul 2016 21:07
URI: http://eprints.networks.imdea.org/id/eprint/1178

Actions (login required)

View Item View Item