thesis

Contrôle de divergence dans des environnements faiblement connectés

Defense date:

Jan. 1, 2003

Edit

Institution:

Versailles-St Quentin en Yvelines

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

We worked out a replication model for applications on weakly connected environments. The model has 2 characteristics: total replication active replicas. We defined the concept of the measure of an operation an a replica. The divergence is the risk assumed if there is a divergence between replicas and the shared object. The matter is then to confine the divergence in a preset bound B : the bounded divergence criterion. We must ensure 2 sufficient conditions: to find a partitioning of B in local bounds and to ensure that the divergence between the operations initiated and the their estimation does not exceed the local bound. The estimation is done by profile functions of operation traffic. The protocol carries out an optimistic control: synchronizations are initiated when it is necessary and possible. Moreover, it allows the continuity of service in case of disconnection. Sabbarus is the platform implementing the protocol.

Abstract FR:

Nous avons élaboré un modèle de réplication pour applications coopérantes dans des environnements faiblement connectés. Le modèle a deux caractéristiques: réplication totale et réplicats actifs. Nous avons défini la notion de mesure d'une opération et d'un réplicat. La borne de divergence est le risque encouru s'il y a divergence entre les réplicats et l'objet partagé. Le but est de confiner la divergence sous une borne B : le critère de divergence bornée. If faut assurer 2 conditions suffisantes : trouver un partitionnement correct de B en des bornes locales et assurer que la divergence entre les opérations initiées et leur estimation ne dépasse pas la borne locale. L'estimation est une fonction de profil du trafic des opérations. Le protocole réalise un optimisme contrôlé : les synchronisations sont initiées quand c'est nécessaire et possible. Il permet aussi la continuité de service en cas de déconnexion. Sabbarus est la plate-forme qui implante ce protocole.