A semantic framework for designer transactions

Jan Vitek; Suresh Jagannathan; Adam Welc; Antony L. Hosking

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

A semantic framework for designer transactions

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

32 Citations (Scopus)

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.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	13th European Symposium on Programming
Editors	David A. Schmidt
Publisher	Springer
Pages	249-263
ISBN (Print)	3-540-21313-9
DOIs	https://doi.org/10.1007/978-3-540-24725-8_18
Publication status	Published - 2004
Externally published	Yes
Event	13th European Symposium on Programming: ESOP 2004 - Barcelona, Spain Duration: 29 Mar 2004 → 2 Apr 2004 Conference number: 13

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2986
ISSN (Print)	0302-9743

Conference

Conference	13th European Symposium on Programming
Abbreviated title	ESOP
Country/Territory	Spain
City	Barcelona
Period	29/03/04 → 2/04/04

Access to Document

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

Cite this

@inproceedings{6b61d68cb97e49f4a3fe23dfd14de7af,

title = "A semantic framework for designer transactions",

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.",

author = "Jan Vitek and Suresh Jagannathan and Adam Welc and Hosking, \{Antony L.\}",

year = "2004",

doi = "10.1007/978-3-540-24725-8\_18",

language = "English",

isbn = "3-540-21313-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "249--263",

editor = "Schmidt, \{David A.\}",

booktitle = "Programming Languages and Systems",

address = "Germany",

note = "13th European Symposium on Programming : ESOP 2004, ESOP ; Conference date: 29-03-2004 Through 02-04-2004",

}

Vitek, J, Jagannathan, S, Welc, A & Hosking, AL 2004, A semantic framework for designer transactions. in DA Schmidt (ed.), Programming Languages and Systems: 13th European Symposium on Programming. Lecture Notes in Computer Science, vol. 2986, Springer, pp. 249-263, 13th European Symposium on Programming, Barcelona, Spain, 29/03/04. https://doi.org/10.1007/978-3-540-24725-8_18

A semantic framework for designer transactions. / Vitek, Jan; Jagannathan, Suresh; Welc, Adam et al.
Programming Languages and Systems: 13th European Symposium on Programming. ed. / David A. Schmidt. Springer, 2004. p. 249-263 (Lecture Notes in Computer Science; Vol. 2986).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - A semantic framework for designer transactions

AU - Vitek, Jan

AU - Jagannathan, Suresh

AU - Welc, Adam

AU - Hosking, Antony L.

N1 - Conference code: 13

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/35048845164

U2 - 10.1007/978-3-540-24725-8_18

DO - 10.1007/978-3-540-24725-8_18

M3 - Conference Paper

AN - SCOPUS:35048845164

SN - 3-540-21313-9

T3 - Lecture Notes in Computer Science

SP - 249

EP - 263

BT - Programming Languages and Systems

A2 - Schmidt, David A.

PB - Springer

T2 - 13th European Symposium on Programming

Y2 - 29 March 2004 through 2 April 2004

ER -

A semantic framework for designer transactions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this