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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.