Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01146050
Contributor : Luigi Liquori <>
Submitted on : Monday, May 18, 2015 - 9:50:19 AM
Last modification on : Monday, November 9, 2020 - 8:56:05 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 8:29:41 AM

File

2014-p2p-net-and-apps-14.pdf
Files produced by the author(s)

Identifiers

Collections

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

Share

Metrics

Record views

1017

Files downloads

407