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.
Type de document :
Communication dans un congrès
J.-M. Colom and M. Koutny. 2001, Springer, pp.204-223, 2001, Lecture Notes in Computer Science 2075
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00114689
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 13:53:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:58:06

Fichier

2001-icatpn.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00114689, version 1

Collections

Citation

Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. J.-M. Colom and M. Koutny. 2001, Springer, pp.204-223, 2001, Lecture Notes in Computer Science 2075. 〈hal-00114689〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

150