Analyzing the exhaustiveness of the synapse protocol

Abstract : The Synapse protocol is a scalable protocol designed for information retrieval over inter-connected heterogeneous overlay networks. In this paper, we give a formal description of Synapse using the Abstract State Machines framework. The formal description pertains to Synapse actions that manipulate distributed keys. Based on this formal description, we present results concerning the expected exhaustiveness for a number of scenarios and systems maintained by the Synapse protocol, and provide comparisons to the results of the corresponding simulations and experiments. We show that the predicted theoretical results match the obtained experimental results, and give recommendations on the design of systems using Synapse.
Type de document :
Article dans une revue
Peer-to-Peer Networking and Applications, Springer, Springer, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. 〈10.1007/s12083-014-0293-z〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01146050
Contributeur : Luigi Liquori <>
Soumis le : lundi 18 mai 2015 - 09:50:19
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : mercredi 19 avril 2017 - 08:29:41

Fichier

2014-p2p-net-and-apps-14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, et al.. Analyzing the exhaustiveness of the synapse protocol. Peer-to-Peer Networking and Applications, Springer, Springer, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. 〈10.1007/s12083-014-0293-z〉. 〈hal-01146050〉

Partager

Métriques

Consultations de la notice

572

Téléchargements de fichiers

124