16 124 818 książek w 175 językach
Jednak się nie przyda? Nic nie szkodzi! U nas możesz zwrócić towar do 30 dni
Bon prezentowy to zawsze dobry pomysł. Obdarowany może za bon prezentowy wybrać cokolwiek z naszej oferty.
30 dni na zwrot towaru
L'objectif premier de cette thčse est de proposer un protocole de tolérance aux pannes par recouvrement arričre pour le modčle ŕ objets actifs asynchrones communicants ASP (Asynchronous Sequential Processes) et ProActive, son implémentation en Java nommée. Cette thčse généralise la problématique soulevée par le développement de ce protocole : nous étudions le recouvrement d'une application répartie depuis un état global non cohérent. Nous proposons donc dans un premier temps un protocole par points de reprise et son implémentation ne supposant pas que les états globaux soient cohérents. Nous montrons ŕ travers des expérimentations réalistes utilisant des applications réparties communicantes que notre solution et son implémentation présentent de bonnes performances. Nous contribuons aussi de maničre plus générale ŕ l'étude du recouvrement depuis un état global non cohérent en définissant formellement une nouvelle condition de recouvrabilité, la P-cohérence, basée sur la notion de promesse d'évčnement. Cette définition s'intčgre dans un formalisme événementiel capable de prendre en compte la sémantique de n'importe quel systčme; elle est donc applicable dans un cadre général.