Introduction à l'algorithmique des objets partagés
Charron-Bost, Bernadette ; Cori, Robert ; Petit, Antoine
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997), p. 97-148 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1997-01-01
@article{ITA_1997__31_2_97_0,
     author = {Charron-Bost, Bernadette and Cori, Robert and Petit, Antoine},
     title = {Introduction \`a l'algorithmique des objets partag\'es},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {31},
     year = {1997},
     pages = {97-148},
     mrnumber = {1462583},
     zbl = {0878.68067},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1997__31_2_97_0}
}

Charron-Bost, Bernadette; Cori, Robert; Petit, Antoine. Introduction à l'algorithmique des objets partagés. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) pp. 97-148. http://gdmltest.u-ga.fr/item/ITA_1997__31_2_97_0/

[Abr] U. Abraham, On interprocess communication and the problem of common atomic registers, Technical Report Ben-gurion University, Israel, 1988.

[And] J. H. Anderson, Composite registers, Distributed Computing, 1993, 6, pp. 141-154. | Zbl 0781.68042

[Ang] F. D. Anger, On Lamport's Interprocessor Communication Model, ACM Trans. on Programming Languages and Systems, 1989, 11, pp. 404-417.

[Arn ] A. Arnold, An example of use of MEC: verification of Tromp's algorithm, Technical Report, Université Bordeaux 1, 1993.

[AKKV] B. Awerbuch, L. M. Kirousis, E. Kranakiset P. Vitányi, A proof technique for register atomicity, Proceedings of Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS, Springer Verlag, 1988, 338, pp. 286-303. | MR 1023903 | Zbl 0669.68019

[Blo] B. Bloom, Constructing Two-writer atomic register, IEEE Trans. on Computers, 1988, 37, pp. 1506-1514. | MR 975401 | Zbl 0663.68034

[HS] S. Haldaret P. S. Subramanian, Space-optimal conflict free construction of 1-writer 1-reader multivalued atomic register, International 8th Workshop on Distrubuted Computing, LNCS, Springer Verlag, 1994, 857, pp. 116-129. | MR 1325246

[Her] M. Herlihy, Wait free synchronization, ACM Trans. on Programming Languages and Systems, 1991, 13, pp. 124-149.

[HW] M. Herlihyet M. Wing, Linearizability : a correctness condition for concurrent objects, ACM Trans. on Programming Languages and Systems, 1990, 12, pp. 463-492.

[IS] A. Israeli et A. Shaham, Optimal multi-writer atomic register, Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, 1992.

[KKV] L. M. Kirousis, E. Kranakiset P. Vitányi, Atomic Mulitreader Register, International 2nd Workshop on Distributed Computing, LNCS, Springer Verlag 1987, 312, pp. 278-296.

[KV] L. M. Kirousis et A. G. Veneris, Efficient algorithms for checking atomicity of a run of read and write operations, International 7th Workshop on Distributed Computing, LNCS, Springer Verlag 1993, 725, pp. 54-68. | MR 1284489 | Zbl 0925.68169

[L78] L. Lamport, Time, Clocks, and the Orderings of Events in a Distributed System, Communications of the ACM, 1978, 21, pp. 558-564. | Zbl 0378.68027

[L85] L. Lamport, Interprocess communication, SRI Technical Report, March 1985.

[L86a] L. Lamport, On interprocess communication: Part I-Basic formalism, Distributed Computing, 1986, 1, pp. 77-85. | Zbl 0598.68022

[L86b] L. Lamport, On interprocess communication: Part II-Algorithms, Distributed Computing, 1986, 1, pp. 86-101. | Zbl 0598.68023

[Mis] J. Misra, Axioms for memory access in asynchronous hardware systems, ACM Trans. on Programming Languages and Systems, 1986, 8, pp. 142-153. | MR 822269 | Zbl 0593.68017

[Mor] R. H. Möring, Algorithmic aspects of comparability graphs and interval graphs in Graphs and Order(NATO ASI C147), L Rival ed D. Reidel, 1985, pp. 41-101. | MR 818493 | Zbl 0569.05046

[Ore] O. Ore, Theory of Graphs, Amer. Math. Soc. Colloq. Publ., Providence, 1962, 38. | MR 150753 | Zbl 0105.35401

[Pet] G. L. Peterson, Concurrent reading while writing, ACM Trans. on Programming Languages and Systems, 1983, 5, pp. 46-55. | Zbl 0498.68010

[Tro] J. Tromp, How to Construct an Atomic Variable, International Workshop on Distributed Algorithms, LNCS, Springer Verlag 1989, 392, pp. 292-302.

[Vid] K. Vidyasankar, Converting Lamport's regular register to atomic register, Information Processing Letters, 1988, 28, pp. 287-290. | MR 963515 | Zbl 0662.68049

[VA] P. Vitányi et B. Awerbuch, Atomic shared acces by asynchronous hardware, Proceedings of the 27th Symposium on Foundations of Computer Science, 1986, Errata, Ibid, 1987.

[Wie] N. Wiener, A contribution to the theory of relative position, Proc. Camb. Philos. Soc., 1914, 17, pp. 441-449. | JFM 45.1150.10