Title: A complete guide to the future
Authors: de Boer, Frank ×
Clarke, Dave
Jonsen, Einar Broch #
Issue Date: Jul-2007
Publisher: Springer
Series Title: Lecture notes in computer science vol:4421 pages:316-330
Conference: ESOP edition:16 location:Braga, Portugal date:24 March-1 April 2007
Abstract: We present the semantics and proof system for an object-oriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, distinguishes itself in that unlike active object models, it permits more than one thread of control within an object, though, unlike Java, only one thread can be active within an object at a given time and rescheduling occurs only at specific release points. Consequently, reestablishing an object's monitor invariant is possible at specific well-defined points in the code. The resulting proof system shows that this approach to concurrency is simpler for reasoning than, say, Java's multithreaded concurrency model. From a methodological perspective, we identify constructs which admit a simple proof system and those which require, for example, interference freedom tests.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
Futures.pdfMain article Published 426KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science