NantilusSpécification des objets partagés dans les systèmes répartis sans-attente
Dans les systèmes répartis à très grande échelle, les critères de cohérence forts comme la cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à obtenir. Dans cette thèse, nous nous posons la question de la spécification des objets que l on peut tout de même obt...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , , , |
| Autres auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Spécification des objets partagés dans les systèmes répartis sans-attente / Matthieu Perrin; sous la direction de Claude Jard ; co-directeur de thèse Achour Mostéfaoui |
| Publié : |
2016 |
| Description matérielle : | 1 vol. (203 p.) |
| Note de thèse : | Thèse de doctorat : Informatique et applications : Nantes : 2016 |
| Disponibilité : | Publication autorisée par le jury |
| Sujets : | |
| Documents associés : | Reproduit comme:
Spécification des objets partagés dans les systèmes répartis sans-attente |
| LEADER | 05562cam a2200577 4500 | ||
|---|---|---|---|
| 001 | PPN20480051X | ||
| 003 | http://www.sudoc.fr/20480051X | ||
| 005 | 20240531154600.0 | ||
| 029 | |a FR |b 2016NANT2103 | ||
| 100 | |a 20171020d2016 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng | |
| 102 | |a FR | ||
| 105 | |a a ma 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Spécification des objets partagés dans les systèmes répartis sans-attente |f Matthieu Perrin |g sous la direction de Claude Jard ; co-directeur de thèse Achour Mostéfaoui | |
| 210 | 1 | |d 2016 | |
| 215 | |a 1 vol. (203 p.) |c ill. |d 30 cm | ||
| 310 | |a Publication autorisée par le jury | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale sciences et technologies de l'information et de mathématiques (STIM) (Nantes) | ||
| 314 | |a Partenaire de recherche : Laboratoire d Informatique de Nantes Atlantique (LINA) (Nantes) (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Jean-Marc Menaud (Président du jury) ; Alessia Milani (Membre du jury) ; Luc Bougé, Maria Potop-Butucaru (Rapporteurs) | ||
| 320 | |a Bibliogr. p.187-196 | ||
| 328 | |b Thèse de doctorat |c Informatique et applications |e Nantes |d 2016 | ||
| 330 | |a Dans les systèmes répartis à très grande échelle, les critères de cohérence forts comme la cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à obtenir. Dans cette thèse, nous nous posons la question de la spécification des objets que l on peut tout de même obtenir. Nous soutenons qu il est toujours possible de séparer leur spécification en deux facettes : un type de données abstrait qui spécifie l aspect fonctionnel des opérations et un critère de cohérence faible qui décrit la qualité de service garantie par l objet dans son environnement réparti. Nous illustrons ces concepts par une mise en oeuvre dans le langage D : les types de données abstraits sont les classes du programme et les critères de cohérence sont choisis dans une liste fournie par la bibliothèque CODS. Nous dressons une carte de l espace des critères faibles organisée autour de trois familles de critères primaires (localité d état, convergence et validité) et trois familles de critères secondaires (cohérence d écritures, cohérence pipeline et sérialisabilité). Chaque critère secondaire renforce deux critères primaires, mais les trois critères primaires ne peuvent pas être implémentés ensembles dans les systèmes considérés. Nous étudions également l effet de la causalité sur ces familles. | ||
| 330 | |a In large scale distributed systems, strong consistency criteria like sequential consistency and linearizability are often very expensive or even unachievable. This thesis investigates the best ways to specify the objects that are still possible to implement in these systems. We assert that it is still possible to separate their specification in two complementary facets: an abstract data type that specifies the functional aspect of the operations and a weak consistency criterion that describes the level of quality of service ensured by the object in its distributed environment. We illustrate these concepts by an implementation in the D programming language: abstract data types are described by classes in the program and consistency criteria are taken from a list in the CODS library. We also draw up a map of the space of weak consistency criteria, organised around three families of primary criteria (state locality, eventual consistency and validity) and three families of secondary criteria (update consistency, pipelined consistency and serializability). Each secondary criterion strenghtens two primary criteria, but the three criteria can not be implemented together in considered systems. We also study the effects of causality on these families. | ||
| 456 | | | |0 204800749 |t Spécification des objets partagés dans les systèmes répartis sans-attente |f Matthieu Perrin |c Nantes |n Université de Nantes |d 2016 | |
| 541 | | | |a Specification of shared objects in wait-free distributed systems |z eng | |
| 606 | |3 PPN119835509 |a Cohérence (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN191752525 |a Sémantique opérationnelle |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN029408741 |a Systèmes à paramètres répartis |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN204706920 |a Perrin |b Matthieu |f 1989-.... |4 070 | |
| 702 | 1 | |3 PPN059884460 |a Jard |b Claude |f 1959- .... |4 727 |4 555 | |
| 702 | 1 | |3 PPN092408834 |a Mostefaoui |b Achour |4 727 |4 555 | |
| 702 | 1 | |3 PPN156530716 |a Menaud |b Jean-Marc |4 956 |4 555 | |
| 702 | 1 | |3 PPN032062591 |a Bougé |b Luc |f 1959-.... |4 958 |4 555 | |
| 702 | 1 | |3 PPN157868869 |a Potop-Butucaru |b Maria |f 19..-.... |4 958 |4 555 | |
| 712 | 0 | 2 | |3 PPN191639044 |a Université Bretagne Loire |c 2016-2019 |4 295 |
| 712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 712 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 712 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 996 |
| 712 | 0 | 2 | |3 PPN137062508 |a Laboratoire d Informatique de Nantes Atlantique (UMR 6241) |c Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20190125 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:592571386 |b 441092104 |j g | ||
| 998 | |a 787429 | ||