Replica-Based High-Performance Tuple Space Computing

Marina Andric, Rocco De Nicola, Alberto Lluch Lafuente

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

558 Downloads (Pure)


We present the tuple-based coordination language RepliKlaim, which enriches Klaim with primitives for replica-aware coordination. Our overall goal is to offer suitable solutions to the challenging problems of data distribution and locality in large-scale high performance computing. In particular, RepliKlaim allows the programmer to specify and coordinate the replication of shared data items and the desired consistency properties. The programmer can hence exploit such flexible mechanisms to adapt data distribution and locality to the needs of the application, so to improve performance in terms of concurrency and data access. We investigate issues related to replica consistency, provide an operational semantics that guides the implementation of the language, and discuss the main synchronization mechanisms of our prototypical run-time framework. Finally, we provide a performance analysis, which includes scenarios where replica-based specifications and relaxed consistency provide significant performance gains.
Original languageEnglish
Title of host publicationCoordination Models and Languages : Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015)
EditorsTom Holvoet, Mirko Viroli
Publication date2015
ISBN (Print)978-3-319-19281-9
ISBN (Electronic)978-3-319-19282-6
Publication statusPublished - 2015
Event17th IFIP WG 6.1 International Conference, COORDINATION 2015 - Grenoble, France
Duration: 2 Jun 20154 Jun 2015
Conference number: 17


Conference17th IFIP WG 6.1 International Conference, COORDINATION 2015
OtherHeld as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
Internet address
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Replica-Based High-Performance Tuple Space Computing'. Together they form a unique fingerprint.

Cite this