Analyzing the exhaustiveness of the synapse protocol - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Peer-to-Peer Networking and Applications Year : 2015

Analyzing the exhaustiveness of the synapse protocol


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.
Fichier principal
Vignette du fichier
2014-p2p-net-and-apps-14.pdf (548.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01146050 , version 1 (18-05-2015)



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, 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⟩


649 View
153 Download



Gmail Facebook Twitter LinkedIn More