Project-Team Regal
Members
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Major publications by the team in recent years
  • 1V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
    https://hal.inria.fr/hal-01248191
  • 2J. Beauquier, M. Gradinariu Potop-Butucaru, C. Johnen.
    Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings, in: Distributed Computing, 2007, vol. 20, no 1, pp. 75-93.
  • 3M. Bertier, L. Arantes, P. Sens.
    Distributed Mutual Exclusion Algorithms for Grid Applications: A Hierarchical Approach, in: JPDC: Journal of Parallel and Distributed Computing, 2006, vol. 66, pp. 128–144.
  • 4B. Ducourthial, S. Khalfallah, F. Petit.
    Best-effort group service in dynamic networks, in: 22nd Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2010, pp. 233-242.
  • 5L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.
    NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines, in: 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2015, pp. 661-673. [ DOI : 10.1145/2694344.2694361 ]
    https://hal.archives-ouvertes.fr/hal-01178790
  • 6A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, January 2016, pp. 371–384. [ DOI : 10.1145/2837614.2837625 ]
    https://hal.inria.fr/hal-01243192
  • 7R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure.
    Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies, in: 31th IEEE International Symposium on Reliable Distributed Systems (SRDS'12), IEEE Computer Society Press, October 2012.
  • 8S. Legtchenko, S. Monnet, G. Thomas.
    Blue banana: resilience to avatar mobility in distributed MMOGs, in: The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), July 2010.
  • 9J.-P. Lozi, F. David, G. Thomas, J. L. Lawall, G. Muller.
    Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications, in: USENIX Annual Technical Conference, USENIX, June 2012, pp. 65-76.
  • 10N. Palix, G. Thomas, S. Saha, C. Calvès, J. L. Lawall, G. Muller.
    Faults in Linux: Ten Years Later, in: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA, March 2011.
  • 11M. Saeida Ardekani, T. B. Douglas.
    A Self-Configurable Geo-Replicated Cloud Storage System, in: 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), Broomfield, CO, United States, 2014.
    https://hal.inria.fr/hal-01102803
  • 12M. Saeida Ardekani, P. Sutra, M. Shapiro.
    Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, in: Symp. on Reliable Dist. Sys. (SRDS), Braga, Portugal, IEEE Comp. Society, Oct. 2013, pp. 163–172. [ DOI : 10.1109/SRDS.2013.25 ]
    http://lip6.fr/Marc.Shapiro/papers/NMSI-SRDS-2013.pdf
  • 13M. Saeida Ardekani, P. Sutra, M. Shapiro.
    G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols, in: Middleware, Bordeaux, France, IEEE, December 2014, 12 p. [ DOI : 10.1145/2663165.2663336 ]
    https://hal.inria.fr/hal-01109114
  • 14Y. Saito, M. Shapiro.
    Optimistic Replication, in: ACM Computing Surveys, March 2005, vol. 37, no 1, pp. 42–81.
    http://lip6.fr/Marc.Shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf
  • 15N. Schiper, P. Sutra, F. Pedone.
    P-Store: Genuine Partial Replication in Wide Area Networks, in: Symp. on Reliable Dist. Sys. (SRDS), New Dehli, India, IEEE Comp. Society, October 2010, pp. 214–224.
  • 16M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
    Conflict-free Replicated Data Types, in: Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, X. Défago, F. Petit, V. Villain (editors), Lecture Notes in Comp. Sc., Springer-Verlag, Oct. 2011, vol. 6976, pp. 386–400.
  • 17V. Vafeiadis, M. Herlihy, T. Hoare, M. Shapiro.
    Proving Correctness of Highly-Concurrent Linearisable Objects, in: Symp. on Principles and Practice of Parallel Prog. (PPoPP), New York, USA, March 2006, pp. 129–136.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 24N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.
    Practically stabilizing SWMR atomic memory in message passing systems, in: Journal of Computer and System Sciences, June 2015, vol. 81, no 4, pp. 692-701. [ DOI : 10.1016/j.jcss.2014.11.014 ]
    http://hal.upmc.fr/hal-01123697
  • 25J. Anjos, I. C. Izurieta, W. Kolberg, A. L. Tibola, L. Arantes, C. Geyer.
    MRA++: Scheduling and data placement on MapReduce for heterogeneous environments, in: Future Generation Computer Systems, January 2015, vol. 42, pp. 22-35. [ DOI : 10.1016/j.future.2014.09.001 ]
    https://hal.archives-ouvertes.fr/hal-01197424
  • 26V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, M. Najafzadeh, M. Shapiro, N. Preguiça.
    Towards Fast Invariant Preservation in Geo-replicated Systems, in: Operating Systems Review, January 2015, vol. 49, no 1, 5 p. [ DOI : 10.1145/2723872.2723889 ]
    https://hal.inria.fr/hal-01111206
  • 27S. Dubois, T. Masuzawa, S. Tixeuil.
    Maximum Metric Spanning Tree Made Byzantine Tolerant, in: Algorithmica, September 2015, vol. 73, no 1, pp. 166-201. [ DOI : 10.1007/s00453-014-9913-5 ]
    https://hal.archives-ouvertes.fr/hal-01151748
  • 28J. Lejeune, L. Arantes, J. Sopena, P. Sens.
    A fair starvation-free prioritized mutual exclusion algorithm for distributed systems, in: Journal of Parallel and Distributed Computing, September 2015, vol. 83, pp. 13-29. [ DOI : 10.1016/j.jpdc.2015.04.002 ]
    https://hal.archives-ouvertes.fr/hal-01178757
  • 29H. Senger, V. Gil-Costa, L. Arantes, C. A. Marcondes, M. Marin, L. M. Sato, F. A. B. da Silva.
    BSP Cost and Scalability Analysis for MapReduce Operations, in: Concurrency and Computation: Practice and Experience, October 2015. [ DOI : 10.1002/cpe.3628 ]
    https://hal.inria.fr/hal-01254275
  • 30D. Serrano, S. Bouchenak, Y. Kouki, F. Alvares De Oliveira Jr., T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
    SLA guarantees for cloud services, in: Future Generation Computer Systems, January 2016, vol. 54, pp. 233–246. [ DOI : 10.1016/j.future.2015.03.018 ]
    https://hal.archives-ouvertes.fr/hal-01162654
  • 31G. Silvestre, D. Buffoni, K. Pires, S. Monnet, P. Sens.
    Boosting Streaming Video Delivery with WiseReplica, in: Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2015, vol. XX, pp. 34-58. [ DOI : 10.1007/978-3-662-46703-9_2 ]
    https://hal.archives-ouvertes.fr/hal-01198678

Articles in National Peer-Reviewed Journals

  • 32M. Lorrillere, J. Sopena, S. Monnet, P. Sens.
    Conception et évaluation d'un système de cache réparti adapté aux environnements virtualisés, in: Technique et Science Informatiques, 2015, vol. 34, no 1-2, 22 p. [ DOI : 10.3166/tsi.34.101-123 ]
    https://hal.inria.fr/hal-01250099
  • 33M. Véron, O. Marin, S. Monnet, P. Sens.
    Etude des services de matchmaking dans les jeux mutlijoueurs en ligne: récupérer les traces utilisateur afin d'améliorer l'expérience de jeu, in: Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, forthcoming.
    http://hal.upmc.fr/hal-01158008

International Conferences with Proceedings

  • 34K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit.
    Élection autostabilisante en un nombre polynomial de pas de calcul, in: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France, June 2015.
    https://hal.archives-ouvertes.fr/hal-01145472
  • 35L. Arantes, M. Bournat, R. Friedman, O. Marin, P. Sens.
    Elastic Management of Byzantine Faults, in: 11th European Dependable Computing Conference (EDCC 2015), Paris, France, I. Gashi, Y. Busnel (editors), Proceedings of Fast Abstract - EDCC 2015, September 2015.
    https://hal.archives-ouvertes.fr/hal-01226601
  • 36L. Arantes, R. Friedman, O. Marin, P. Sens.
    Probabilistic Byzantine Tolerance for Cloud Computing, in: 34th International Symposium on Reliable Distributed Systems (SRDS 2015), Montreal, Canada, September 2015.
    http://hal.upmc.fr/hal-01166767
  • 37V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
    https://hal.inria.fr/hal-01248191
  • 38V. Balegas, D. Serra, S. Duarte, C. Ferreira, M. Shapiro, R. Rodrigues, N. Preguiça.
    Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants, in: Symp. on Reliable Dist. Sys. (SRDS), Montréal, Canada, Symp. on Reliable Dist. Sys. (SRDS), IEEE Comp. Society, September 2015. [ DOI : 10.1109/SRDS.2015.32 ]
    https://hal.inria.fr/hal-01248192
  • 39L. Blin, F. Boubekeur, S. Dubois.
    A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon, in: 29rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2015), Hyberabad, India, IEEE, May 2015, pp. 1065-1074. [ DOI : 10.1109/IPDPS.2015.44 ]
    https://hal.archives-ouvertes.fr/hal-01201859
  • 40N. Braud-Santoni, S. Dubois, M. H. Kaaouachi, F. Petit.
    A Generic Framework for Impossibility Results in Time-Varying Graphs, in: 17th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM'15), Hyderabad, India, IEEE, May 2015, pp. 483-489. [ DOI : 10.1109/IPDPSW.2015.59 ]
    https://hal.archives-ouvertes.fr/hal-01235800
  • 41M. Callau-Zori, L. Arantes, J. Sopena, P. Sens.
    MERCi-MIsS: Should I turn off my servers?, in: The 15th IFIP International Conference on Distributed Applications and Interoperable Systems, Grenoble, France, Lecture Notes in Computer Science, Springer International Publishing, June 2015, vol. 9038, pp. 16-29. [ DOI : 10.1007/978-3-319-19129-4_2 ]
    https://hal.archives-ouvertes.fr/hal-01213507
  • 42R. Cortés, X. Bonnaire, O. Marin, P. Sens.
    FreeSplit: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures, in: 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Gwangju, South Korea, March 2015.
    http://hal.upmc.fr/hal-01095702
  • 43R. Cortés, O. Marin, X. Bonnaire, L. Arantes, P. Sens.
    A Scalable Architecture for Spatio-Temporal Range Queries over Big Location Data, in: 14th IEEE International Symposium on Network Computing and Applications - IEEE NCA'15, Cambridge, MA, United States, September 2015.
    http://hal.upmc.fr/hal-01183200
  • 44T. Crain, M. Shapiro.
    Designing a causally consistent protocol for geo-distributed partial replication, in: W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM, April 2015. [ DOI : 10.1145/2745947.2745953 ]
    https://hal.inria.fr/hal-01218204
  • 45S. Devismes, A. Lamani, F. Petit, S. Tixeuil.
    Optimal Torus Exploration by Oblivious Robots, in: NETYS, Agadir, Morocco, Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, Springer, May 2015.
    http://hal.upmc.fr/hal-01131962
  • 46S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, P. Sens.
    The Weakest Failure Detector for Eventual Consistency, in: 34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Donostia-San Sebastián, Spain, July 2015, pp. 375-384. [ DOI : 10.1145/2767386.2767404 ]
    https://hal.archives-ouvertes.fr/hal-01213330
  • 47S. Dubois, M. H. Kaaouachi, F. Petit.
    Dynamisme et Domination, in: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France, June 2015.
    https://hal.archives-ouvertes.fr/hal-01145496
  • 48S. Dubois, M. H. Kaaouachi, F. Petit.
    Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems, in: 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'15), Edmonton, Canada, 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings, Springer International Publishing, August 2015, vol. 9212, pp. 51-66. [ DOI : 10.1007/978-3-319-21741-3_4 ]
    https://hal.archives-ouvertes.fr/hal-01235826
  • 49L. Gidra, G. Thomas, J. Sopena, M. Shapiro, N. Nguyen.
    NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines, in: 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2015, pp. 661-673. [ DOI : 10.1145/2694344.2694361 ]
    https://hal.archives-ouvertes.fr/hal-01178790
  • 50A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, January 2016, pp. 371–384. [ DOI : 10.1145/2837614.2837625 ]
    https://hal.inria.fr/hal-01243192
  • 51D. Jeanneau, T. Rieutord, L. Arantes, P. Sens.
    A Failure Detector for k -Set Agreement in Dynamic Systems, in: 14th IEEE International Symposium on Network Computing and Applications - (NCA-2015), Cambridge, United States, 2015.
    https://hal.inria.fr/hal-01250233
  • 52J. Lejeune, L. Arantes, J. Sopena, P. Sens.
    Reducing synchronization cost in distributed multi-resource allocation problem, in: 44th International Conference on Parallel Processing, Beijing, China, 44th International Conference on Parallel Processing, September 2015.
    https://hal.archives-ouvertes.fr/hal-01162329
  • 53M. Lorrillere, J. Sopena, S. Monnet, P. Sens.
    Puma: pooling unused memory in virtual machines for I/O intensive applications, in: Proceedings of the 8th ACM International Systems and Storage Conference, Haifa, Israel, ACM, May 2015. [ DOI : 10.1145/2757667.2757669 ]
    https://hal.archives-ouvertes.fr/hal-01154515
  • 54T. Rieutord, L. Arantes, P. Sens.
    Détecteur de défaillances minimal pour le consensus adapté aux réseaux inconnus, in: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France, June 2015.
    https://hal.archives-ouvertes.fr/hal-01144111
  • 55A. Rosseto, C. Geyer, L. Arantes, P. Sens.
    A Failure Detector That Gives Information on the Degree of Confidence in the System, in: 20th IEEE Symposium on Computers and Communication (ISCC-2015), Larnaca, Cyprus, July 2015.
    https://hal.archives-ouvertes.fr/hal-01213499
  • 56A. Rosseto, C. Rolim, V. Leithardt, G. Borges, C. Geyer, L. Arantes, P. Sens.
    A new unreliable failure detector for self-healing in ubiquitous environments, in: The 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Gwangiu, South Korea, March 2015, pp. 316-323. [ DOI : 10.1109/AINA.2015.201 ]
    https://hal.archives-ouvertes.fr/hal-01213333
  • 57V. Simon, S. Monnet, M. Feuillet, P. Robert, P. Sens.
    Scattering and placing data replicas to enhance long-term durability, in: The 14th IEEE International Symposium on Network Computing and Applications (IEEE NCA15), Cambridge, United States, September 2015, 6 p. [ DOI : 10.1109/NCA.2015.15 ]
    https://hal.inria.fr/hal-01206960
  • 58V. Tao Thanh, M. Shapiro, V. Rancurel.
    Merging Semantics for Conflict Updates in Geo-Distributed File Systems, in: ACM Int. Systems and Storage Conf. (Systor), Haifa, Israel, 2015, pp. 10.1–10.12. [ DOI : 10.1145/2757667.2757683 ]
    https://hal.inria.fr/hal-01248190
  • 59A. Tomsic, T. Crain, M. Shapiro.
    An empirical perspective on causal consistency, in: W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, ACM (editor), 2015-04-21, ACM, April 2015, vol. 49, no 1, 15 p. [ DOI : 10.1145/2745947.2745949 ]
    https://hal.inria.fr/hal-01218208
  • 60A. Tomsic, P. Sens, J. Garcia, L. Arantes, J. Sopena.
    2W-FD: A Failure Detector Algorithm with QoS, in: The 29th IEEE International Parallel and Distributed Processing Symposium, Hyderabad, India, May 2015, pp. 885-893. [ DOI : 10.1109/IPDPS.2015.74 ]
    https://hal.archives-ouvertes.fr/hal-01213509
  • 61G. Turchini, S. Monnet, O. Marin.
    Scalability and availability for massively multiplayer online games, in: 11th European Dependable Computing Conference (EDCC 2015), Paris, France, I. Gashi, Y. Busnel (editors), Proceedings of Fast Abstract - EDCC 2015, September 2015.
    https://hal.archives-ouvertes.fr/hal-01226608
  • 62M. Véron, O. Marin, S. Monnet, P. Sens.
    RepFD - Using reputation systems to detect failures in large dynamic networks, in: 44th International Conference on Parallel Processing (ICPP-2015), Beijing, China, September 2015.
    http://hal.upmc.fr/hal-01150288
  • 63M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro.
    Write Fast, Read in the Past: Causal Consistency for Client-side Applications, in: Int. Conf. on Middleware (MIDDLEWARE), Vancouver, BC, Canada, ACM/IFIP/Usenix (editor), Middleware 2015, December 2015. [ DOI : 10.1145/2814576.2814733 ]
    https://hal.inria.fr/hal-01248194

National Conferences with Proceedings

  • 65M. Lorrillere, J. Poudroux, J. Sopena, S. Monnet.
    Gestion dynamique du cache entre machines virtuelles, in: Conférence d'Informatique en Parallélisme, Architecture et Système, Lille, France, Compas'2015, June 2015, pp. 1-10.
    https://hal.archives-ouvertes.fr/hal-01171226

Conferences without Proceedings

  • 66R. Hu.
    Efficient Probabilistic Information Broadcast Algorithm over Random Geometric Topologies, in: GLOBECOM, San Diego, United States, December 2015.
    https://hal.archives-ouvertes.fr/hal-01232676
  • 67A. Z. Tomsic, T. Crain, M. Shapiro.
    Scaling geo-replicated databases to the MEC environment, in: W. on Planetary-Scale Distributed Systems, Montréal, Canada, 2015, Co-located with SRDS. No proceedings.
    https://hal.inria.fr/hal-01248195

Internal Reports

  • 68K. Altisen, S. Devismes, A. Durand, F. Petit.
    Gradual Stabilization under τ-Dynamics, VERIMAG UMR 5104, Université Grenoble Alpes, France ; LIP6 UMR 7606, Inria, UPMC Sorbonne Universités, France, October 2015.
    https://hal.archives-ouvertes.fr/hal-01215190
  • 69S. Dubois, M. H. Kaaouachi, F. Petit.
    Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems, UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL, January 2015.
    https://hal.inria.fr/hal-01111610
  • 70D. Jeanneau, T. Rieutord, L. Arantes, P. Sens.
    A Failure Detector for k-Set Agreement in Asynchronous Dynamic Systems, UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL ; Inria, March 2015, no RR-8727.
    https://hal.inria.fr/hal-01151739
  • 71J. Lejeune, L. Arantes, J. Sopena, P. Sens.
    Reducing synchronization cost in distributed multi-resource allocation problem, Ecole des Mines de Nantes, Inria, LINA ; Sorbonne Universités, UPMC, CNRS, Inria, LIP6 ; Inria, February 2015, no RR-8689.
    https://hal.inria.fr/hal-01120808
  • 72D. R. Malikireddy, M. Saeida Ardekani, M. Shapiro.
    Emulating Geo-Replication on Grid5000, Inria – Centre Paris-Rocquencourt ; Inria, April 2015, no RT-0455, 15 p.
    https://hal.inria.fr/hal-01149185
  • 73A. G. M. Rossetto, L. Arantes, P. Sens, C. R. Geyer.
    Impact: an Unreliable Failure Detector Based on Processes' Relevance and the Confidence Degree in the System, Université Pierre et Marie Curie ; Inria Paris-Rocquencourt - Regal ; Universidade Federal do Rio Grande do Sul, January 2015.
    https://hal.inria.fr/hal-01136595
  • 74M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas, M. Shapiro.
    Write Fast, Read in the Past: Causal Consistency for Client-side Applications, Inria – Centre Paris-Rocquencourt ; Inria, May 2015, no RR-8729.
    https://hal.inria.fr/hal-01158370

Scientific Popularization

Other Publications

  • 76M. Lorrillere, J. Sopena, S. Monnet, P. Sens.
    Puma: pooling unused memory in virtual machines for I/O intensive applications, May 2015, The 8th ACM International Systems and Storage Conference, Poster.
    https://hal.archives-ouvertes.fr/hal-01154566
  • 77M. Saeida Ardekani, P. Sutra, N. Preguiça, M. Shapiro.
    Non-Monotonic Snapshot Isolation, December 2015, Submitted for publication.
    https://hal.inria.fr/hal-01248200
  • 78M. Shapiro, M. Najafzadeh.
    CISE Safety Tool, October 2015.
    https://hal.inria.fr/medihal-01242710
  • 79M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro.
    Eventually Consistent Register Revisited, November 2015, 7 p, In order to converge in the presence of concurrent updates, modern eventually consistent replication systems rely on causality information and operation semantics. It is relatively easy to use semantics of high-level operations on replicated data structures, such as sets, lists, etc. However, it is difficult to exploit semantics of operations on registers, which store opaque data. In existing register designs, concurrent writes are resolved either by the application, or by arbitrating them according to their timestamps. The former is complex and may require user intervention, whereas the latter causes arbitrary updates to be lost. In this work, we identify a register construction that generalizes existing ones by combining runtime causality ordering, to identify concurrent writes, with static data semantics, to resolve them. We propose a simple conflict resolution template based on an application-predefined order on the domain of values. It eliminates or reduces the number of conflicts that need to be resolved by the user or by an explicit application logic. We illustrate some variants of our approach with use cases, and how it generalizes existing designs..
    https://hal.inria.fr/hal-01242700
References in notes
  • 80V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
    https://hal.inria.fr/hal-01248191

previous Previous | up Home