A formal framework for the performance analysis of P2P networks protocols

  • Authors:
  • Angelo Spognardi;Roberto Di Pietro

  • Affiliations:
  • Università di Roma "La Sapienza", Dipartimento di Informatica, Roma, Italy;Università di Roma "La Sapienza", Dipartimento di Informatica, Roma, Italy

  • Venue:
  • IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we propose a formal framework based on the Markov Chains to prove the performance of P2P protocols. Despite the proposal of several protocols for P2P networks, sometimes there is a lack of a formal demonstration of their performance: experimental simulations are the most used method to evaluate their performance, such as the average length of a lookup. In this paper we introduce a versatile model for the analysis of P2P protocols. We employ this model to formally prove which is the average lookup length for two sample protocols: BaRT and Koorde. We verify the effectiveness of the proposed framework also via extensive simulations.