Complutense University Library

Especificación y análisis del protocolo Chord en Maude

Manchado Illán, Sara (2012) Especificación y análisis del protocolo Chord en Maude. Tesis Master's thesis.

[img]
Preview
PDF
22MB
View download statistics for this eprint

==>>> Export to other formats

Abstract

Los sistemas peer-to-peer estructurados basan su funcionamiento en la implementación de una Tabla Hash Distribuida (THD), entre las cuales destacan: Kademlia, Chord, CAN y Pastry. Este documento presenta la especificación en Maude de un sistema peer-to-peer
implementado con la Tabla Hash Distribuida Chord. Chord organiza su espacio de identificadores utilizando un anillo, donde cada nodo es responsable de un conjunto de claves las cuales se reasignan cuando un nodo entra o sale a la red. Además, cada nodo mantiene una tabla de encaminamiento, denominada tabla finger, utilizada para llevar a cabo el algoritmo de búsqueda. La especificación implementada ha sido diseñada para la compartición de archivos, de forma que los nodos puedan conectarse de la red, desconectarse de la red, publicar un fichero o buscar un fichero en un máximo de log n saltos, siendo n el número de nodos que conforman la red.
[ABSTRACT]
Distributed Hash Tables (DHT) is an essential component in most peer-to-peer systems. A large number of DHTs have been studied through theoretical simulations and analyses over the last years, such as: Kademlia, Chord, CAN, and Pastry. This paper presents the distributed specification of a peer-to-peer network that uses the Chord DHT in the formal specification language Maude. Identifiers are ordered on the Chord ring. A key is assigned to the first node whose identifier is equal to or follows the key in the identifier space. Each node maintains a routing table, called the finger table, which is used by the lookup algorithm. The contribution of this paper is a specification for lookup in a dynamic peer-to-peer system with frequent node arrivals and departures, which guarantees that the lookup algorithm takes no longer than log n steps.

Item Type:Thesis (Master's thesis)
Additional Information:Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2011-2012
Directors:
DirectorsDirector email
Verdejo López, José AlbertoUNSPECIFIED
Pita Andreu, Pita Andreu, María IsabelUNSPECIFIED
Uncontrolled Keywords:Chord, Maude, Especificación formal, Sistemas distribuidos, Peer-to-peer, Tabla Hash Distribuida, formal analysis, distributed Systems, distributed hash table
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:16753
Deposited On:24 Oct 2012 11:29
Last Modified:07 Feb 2014 09:35

Repository Staff Only: item control page