Transparent First-class Futures and Distributed Components

Antonio Cansado 1 Ludovic Henrio 1 Eric Madelaine 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awaited. When the result is necessary for the computation, the process is blocked until the result is returned. We are interested in this paper in transparent first-class futures, and their use within distributed components. We say that futures are transparent if the result is automatically and implicitly awaited upon the first access to the value; and that futures are first-class if they can be transmitted between components as usual objects. Thus, because of the difficulty to identify future objects, analysing the behaviour of omponents using first-class transparent futures is challenging. This paper contributes with first a static representation for futures, second a means to detect local deadlocks in a component system with first class futures, and finally extensions to interface definitions in order to avoid such deadlocks.
Type de document :
Communication dans un congrès
5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00311515
Contributeur : Antonio Cansado <>
Soumis le : lundi 18 août 2008 - 17:47:18
Dernière modification le : mardi 19 août 2008 - 17:29:55
Document(s) archivé(s) le : jeudi 3 juin 2010 - 18:31:17

Fichier

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

Identifiants

  • HAL Id : inria-00311515, version 1

Collections

Citation

Antonio Cansado, Ludovic Henrio, Eric Madelaine. Transparent First-class Futures and Distributed Components. 5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain. 2008. <inria-00311515>

Partager

Métriques

Consultations de
la notice

215

Téléchargements du document

151