%0 Conference Proceedings
%T Replica-Based High-Performance Tuple Space Computing
%+ IMT Institute for Advanced Studies [Lucca]
%+ Danmarks Tekniske Universitet = Technical University of Denmark (DTU)
%A Andrić, Marina
%A Nicola, Rocco, De
%A Lafuente, Alberto, Lluch
%Z Part 1: Tuple-Based Coordination
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 3-18
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_1
%K Data Item
%K Operational Semantic
%K Tuple Space
%K Strong Input
%K Output Operation
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774936/document
%2 https://inria.hal.science/hal-01774936/file/978-3-319-19282-6_1_Chapter.pdf
%L hal-01774936
%U https://inria.hal.science/hal-01774936
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037