Distributed transactional memory for general networks

Gokarna Sharma, Costas Busch

Research output: Contribution to journalArticle

11 Scopus citations

Abstract

We consider the problem of implementing transactional memory in large-scale distributed networked systems. We present Spiral, a novel distributed directory-based protocol for transactional memory, and theoretically analyze and experimentally evaluate it for the performance boundaries of this approach from the worst-case perspective. Spiral is designed for the data-flow distributed implementation of software transactional memory which supports three basic operations: publish, allowing a shared object to be inserted in the directory so that other nodes can find it; lookup, providing a read-only copy of the object to the requesting node; move, allowing the requesting node to write the object locally after the node gets it. The protocol runs on a hierarchical directory construction based on sparse covers, where clusters at each level are ordered to avoid race conditions while serving concurrent requests. Given a shared object the protocol maintains a directory path pointing to the object. The basic idea is to use “spiral” paths that grow outward to search for the directory path of the object in a bottom-up fashion. For general networks, this protocol guarantees an (Formula presented.)is the diameter of the network. It also guarantees poly-log approximation for any single lookup request. Our bounds are deterministic and hold in the worst-case. Moreover, this protocol requires only polylogarithmic bits of memory per node. Experimental evaluations in real networks also confirm our theoretical findings. To the best of our knowledge, this is the first deterministic consistency protocol for distributed transactional memory that achieves poly-log approximation in general networks.

Original languageEnglish (US)
Pages (from-to)329-362
Number of pages34
JournalDistributed Computing
Volume27
Issue number5
DOIs
StatePublished - Sep 27 2014
Externally publishedYes

Keywords

  • Cache-coherence
  • Competitive ratio
  • Distributed transactional memory
  • General networks
  • Hierarchical clustering
  • Sparse covers

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Distributed transactional memory for general networks'. Together they form a unique fingerprint.

Cite this