[图书][B] Distributed systems: concurrency and consistency
M Perrin - 2017 - books.google.com
Distributed Systems: Concurrency and Consistency explores the gray area of distributed
systems and draws a map of weak consistency criteria, identifying several families and …
systems and draws a map of weak consistency criteria, identifying several families and …
Local linearizability for concurrent container-type data structures
The semantics of concurrent data structures is usually given by a sequential specification
and a consistency condition. Linearizability is the most popular consistency condition due to …
and a consistency condition. Linearizability is the most popular consistency condition due to …
Local linearizability
The semantics of concurrent data structures is usually given by a sequential specification
and a consistency condition. Linearizability is the most popular consistency condition due to …
and a consistency condition. Linearizability is the most popular consistency condition due to …
Spécification des objets partagés dans les systèmes répartis sans-attente
M Perrin - 2016 - theses.hal.science
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 à …
cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à …
[HTML][HTML] Decidability and complexity for quiescent consistency and its variations
B Dongol, RM Hierons - Information and Computation, 2017 - Elsevier
Quiescent consistency is a notion of correctness for a concurrent object that gives meaning
the object's behaviour in its quiescent states. This paper shows that the membership …
the object's behaviour in its quiescent states. This paper shows that the membership …
[图书][B] Concurrence et cohérence dans les systèmes répartis
M Perrin - 2017 - books.google.com
La société moderne est de plus en plus dominée par la société virtuelle, le nombre
d'internautes dans le monde ayant dépassé les trois milliards en 2015. A la différence de …
d'internautes dans le monde ayant dépassé les trois milliards en 2015. A la différence de …
[PDF][PDF] Président: M. Jean-Marc MENAUD, Professeur, École des Mines de Nantes
MM POTOP-BUTUCARU - 2016 - matthieu-perrin.fr
Je tiens tout d'abord à remercier les membres du jury d'avoir accepté de porter un regard
extérieur sur mon travail, et en particulier les rapporteurs Luc Bougé et Maria Potop …
extérieur sur mon travail, et en particulier les rapporteurs Luc Bougé et Maria Potop …