Calcul d'objet asynchrone : confluence et déterminisme

Ludovic Henrio 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The objective of this thesis is to design an object calculus that allows one to write parallel and distributed applications, particularly on wide range networks, while ensuring good properties. This calculus is named ASP : Asynchronous Sequential Processes. The main characteristics of ASP are: asynchronous communications, futures, and a sequential execution within each process. ASP presents strong confluence and determinism properties, proved in a context as general as possible within this thesis. A first design decision is the absence of sharing : objects live in disjoint activities. An activity is a set of objects managed by a unique process and a unique active object. Active objects are accessible through global/distant references. They communicate through asynchronous method calls with futures. A future is a global reference representing a result not yet computed. This thesis models those aspects, their main properties, and the consequences of these mechanisms on the deterministic behavior of programs. The main result consists in a confluence property and its application to the identification of a set of programs behaving deterministically. From a practical point of view, ASP can also be considered as a model of the ProActive library. This library provides tools for developing parallel and distributed applications in Java.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00505940
Contributor : Estelle Nivault <>
Submitted on : Monday, July 26, 2010 - 4:18:08 PM
Last modification on : Monday, February 11, 2019 - 10:10:04 AM
Long-term archiving on : Thursday, October 28, 2010 - 4:56:18 PM

Identifiers

  • HAL Id : tel-00505940, version 1

Collections

Citation

Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme. Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨tel-00505940⟩

Share

Metrics

Record views

536

Files downloads

587