Abstractions for fault-tolerant global computing

Tom Chothia, Dominic Duggan

Research output: Contribution to journalConference articlepeer-review

12 Scopus citations

Abstract

Global computing (WAN programming, Internet programming) distinguishes itself from local computing (LAN computing) by the fact that it exposes some aspects of the network to the application, rather than seeking to hide them with network transparency, as in LAN programming. Global computing languages seek to provide useful abstractions for building applications in such environments. The lqp(·)-calculus is a family of programming languages that use the abstraction of logs to specify application-specific protocols for distributed agreement and fault tolerance in global applications. Reflecting the motivation for global computing, the abstraction of logs isolates the communication requirements of such protocols. Two specific instances of the lqp(·)-calculus are provided, the lqp(dc)-calculus and the lqp(dcu)-calculus. These are intended as kernel programming languages for fault-tolerant distributed programming. The calculi incorporate various abstractions for fault tolerance, from which several forms of distributed transactions and optimistic computation may be built. As an example application, a calculus of atomic failures is presented, the atf-calculus, and its encoding in the lqp(dc)-calculus used to verify a correctness property.

Original languageEnglish
Pages (from-to)567-613
Number of pages47
JournalTheoretical Computer Science
Volume322
Issue number3
DOIs
StatePublished - 6 Sep 2004
EventFoundations of Wide Area Network Computing - Malaga, Spain
Duration: 12 Jul 200213 Jul 2002

Keywords

  • Fault-tolerance
  • Global computing
  • Process-calculli
  • Transactions

Fingerprint

Dive into the research topics of 'Abstractions for fault-tolerant global computing'. Together they form a unique fingerprint.

Cite this