CONKER : a model for distributed communicating processes. Application to OCCAM.
CONKER : un modèle de répartition pour processus communicants. Application à OCCAM
Résumé
This theisis proposes a model CONKER for distributed systems of communicating sequential processes (Hoare 's CSP). An application program will be structured in CONKER as a set of processes (processing objects) commmunicating throught a set of connectors (commun ication-synchronization objects).
Each connector implement a specific and possibly complex communication protocol between application processes which still use the CSP basic communication protocol (rendez-vous for input-output primitives). Therefore this basic protocol is used transparently to the connectors complex protocol. More over the connectors can realise a specific synchronisation control scheme between communicating processes (synchronous or asynchronous diffusion, cime constrained communication, total asynchrony, etc).
This transparency in CONKER allows to easy implement a distributed application on a multiprocessor or a heterogeneous network of different host machines. Our model also facilitates transportability and improve reliability. The connectors are strongly typed objects and for which an incremental construction is proposed.
An experimental implementation presented in the framework of a distributed robotic systems.
Each connector implement a specific and possibly complex communication protocol between application processes which still use the CSP basic communication protocol (rendez-vous for input-output primitives). Therefore this basic protocol is used transparently to the connectors complex protocol. More over the connectors can realise a specific synchronisation control scheme between communicating processes (synchronous or asynchronous diffusion, cime constrained communication, total asynchrony, etc).
This transparency in CONKER allows to easy implement a distributed application on a multiprocessor or a heterogeneous network of different host machines. Our model also facilitates transportability and improve reliability. The connectors are strongly typed objects and for which an incremental construction is proposed.
An experimental implementation presented in the framework of a distributed robotic systems.
CONKER est un noyau de communication construit à l'aide du modèle CSP.
Une application décrite à l'aide de CONKER sera composée de connecteurs
qui sont les obJjets charges de la communication-synchronisation et de
processus qui se chargent du traitement.
Chaque connecteur du noyau réalise un protocole de communication particulier
entre les processus "applications". Ceux-ci n'utilisent que des primitives
d'envoi et de réception de messages, de manière homogène et transparente à
la réalisation des connecteurs qui les relient.
Cette caractéristique de transparence, ainsi que la possibilité d'implémenter
CONKER sur un ensemble de systèmes "hôtes hétérogènes", assurent une
transportabilité aisée des applications en environnement multi-processeurs,
ou sur un réseau hétérogène.
De part sa conception, CONKER permet de mettre â la disposition des processus
applications, des types de connecteurs, construits de façon incrémentale à la
demande, et utilisant pour cela, les calculs de processus issus du modèle CSP.
Une application décrite à l'aide de CONKER sera composée de connecteurs
qui sont les obJjets charges de la communication-synchronisation et de
processus qui se chargent du traitement.
Chaque connecteur du noyau réalise un protocole de communication particulier
entre les processus "applications". Ceux-ci n'utilisent que des primitives
d'envoi et de réception de messages, de manière homogène et transparente à
la réalisation des connecteurs qui les relient.
Cette caractéristique de transparence, ainsi que la possibilité d'implémenter
CONKER sur un ensemble de systèmes "hôtes hétérogènes", assurent une
transportabilité aisée des applications en environnement multi-processeurs,
ou sur un réseau hétérogène.
De part sa conception, CONKER permet de mettre â la disposition des processus
applications, des types de connecteurs, construits de façon incrémentale à la
demande, et utilisant pour cela, les calculs de processus issus du modèle CSP.