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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00114689
Contributor : Franck Pommereau <>
Submitted on : Friday, November 17, 2006 - 1:53:35 PM
Last modification on : Thursday, December 13, 2018 - 9:46:03 AM
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

  • HAL Id : hal-00114689, version 1

Collections

Citation

Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. 2001, pp.204-223. ⟨hal-00114689⟩

Share

Metrics

Record views

165

Files downloads

152