A Semantic Framework for Designer Transactions

  • Jan Vitek
  • Suresh Jagannathan
  • Adam Welc
  • Antony L. Hosking
Conference paper

DOI: 10.1007/978-3-540-24725-8_18

Volume 2986 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Vitek J., Jagannathan S., Welc A., Hosking A.L. (2004) A Semantic Framework for Designer Transactions. In: Schmidt D. (eds) Programming Languages and Systems. ESOP 2004. Lecture Notes in Computer Science, vol 2986. Springer, Berlin, Heidelberg

Abstract

A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees that allow us to reason about concurrent and distributed programs in terms of higher-level units of computation (e.g., transactions) rather than lower-level data structures (e.g., mutual-exclusion locks). This paper presents a framework for specifying the semantics of a transactional facility integrated within a host programming language. The TFJ calculus supports nested and multi-threaded transactions. We give a semantics to TFJ that is parameterized by the definition of the transactional mechanism that permits the study of different transaction models.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Jan Vitek
    • 1
  • Suresh Jagannathan
    • 1
  • Adam Welc
    • 1
  • Antony L. Hosking
    • 1
  1. 1.Purdue University