Yet Another Type System for Lock-Free Processes

Abstract : A network of processes is lock free if every message produced in it is eventually consumed and if every process waiting for a message eventually receives one. We study a type system guaranteeing that well-typed process networks are lock free. Despite its minimality, our type system subsumes existing type-based approaches for lock freedom. In particular, we show that interactions whose lock freedom is guaranteed by design, because they are described by a global specification, can be realized as a well-typed network of processes.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00863129
Contributeur : Luca Padovani <>
Soumis le : mercredi 18 septembre 2013 - 11:51:46
Dernière modification le : jeudi 19 septembre 2013 - 09:56:47
Document(s) archivé(s) le : jeudi 6 avril 2017 - 22:05:14

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00863129, version 1

Citation

Luca Padovani. Yet Another Type System for Lock-Free Processes. 2013. 〈hal-00863129〉

Partager

Métriques

Consultations de
la notice

103

Téléchargements du document

83