Skip to Main content Skip to Navigation
Conference papers

A concurrent semantics of static exceptions in a parallel programming language

Abstract : This paper aims at introducing a mechanism of exceptions in a parallel programming language, giving them a formal concurrent semantics in terms of preemptible and composable high-level Petri nets. We show that, combined with concurrency, exceptions can be used as a basis for other preemption related constructs. We illustrate this idea by presenting a generalized timeout and a simple UNIX-like system of concurrent preemptible threads.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00114689
Contributor : Franck Pommereau <>
Submitted on : Friday, November 17, 2006 - 1:53:35 PM
Last modification on : Wednesday, October 9, 2019 - 4:54:50 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 10:58:06 PM

File

2001-icatpn.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩. ⟨hal-00114689⟩

Share

Metrics

Record views

192

Files downloads

197