A concurrent semantics of static exceptions in a parallel programming language - Archive ouverte HAL
Communication Dans Un Congrès Année : 2001

A concurrent semantics of static exceptions in a parallel programming language

Hanna Klaudel

Résumé

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.
Fichier principal
Vignette du fichier
2001-icatpn.pdf (226.13 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00114689 , version 1 (17-11-2006)

Identifiants

Citer

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⟩
110 Consultations
143 Téléchargements

Altmetric

Partager

More