Automated Replication of Tuple Spaces via Static Analysis - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Automated Replication of Tuple Spaces via Static Analysis

Aline Uwimbabazi
  • Fonction : Auteur
  • PersonId : 1248536
Omar Inverso
  • Fonction : Auteur
  • PersonId : 1024628
Rocco de Nicola
  • Fonction : Auteur
  • PersonId : 993626

Résumé

Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an experimental technique for automated replication of tuple spaces in distributed systems. The system of interest is modelled as a concurrent Go program where different threads represent the behaviour of the separate components, each owning its own local tuple repository. We automatically transform the initial program by combining program transformation and static analysis, so that tuples are replicated depending on the components’ read-write access patterns. In this way, we turn the initial system into a replicated one where the replication of tuples is automatically achieved, while avoiding unnecessary replication overhead. Custom static analyses may be plugged in easily in our prototype implementation. We see this as a first step towards developing a fully-fledged framework to support designers to quickly evaluate many classes of replication-based systems under different consistency levels.
Fichier principal
Vignette du fichier
506725_1_En_2_Chapter.pdf (434.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074522 , version 1 (19-04-2023)

Licence

Identifiants

Citer

Aline Uwimbabazi, Omar Inverso, Rocco de Nicola. Automated Replication of Tuple Spaces via Static Analysis. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.18-34, ⟨10.1007/978-3-030-89247-0_2⟩. ⟨hal-04074522⟩
25 Consultations
29 Téléchargements

Altmetric

Partager

More