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

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...

Descripción completa

Detalles Bibliográficos
Autor: Manchado Illán, Sara
Tipo de recurso: tesis de maestría
Fecha de publicación:2012
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/46492
Acceso en línea:https://hdl.handle.net/20.500.14352/46492
Access Level:acceso abierto
Palabra clave:004.438Maude(043.3)
004.7(043.3)
Chord
Maude
Especificación formal
Sistemas distribuidos
Peer-to-peer
Tabla Hash Distribuida
formal analysis
distributed Systems
distributed hash table
Lenguajes de programación
1203.23 Lenguajes de Programación
id ES_1dfd92e5f97bd80fd56424c9cee263f3
oai_identifier_str oai:docta.ucm.es:20.500.14352/46492
network_acronym_str ES
network_name_str España
repository_id_str
spelling Especificación y análisis del protocolo Chord en MaudeManchado Illán, Sara004.438Maude(043.3)004.7(043.3)ChordMaudeEspecificación formalSistemas distribuidosPeer-to-peerTabla Hash Distribuidaformal analysisdistributed Systemsdistributed hash tableLenguajes de programación1203.23 Lenguajes de ProgramaciónLos 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.Verdejo López, José AlbertoPita Andreu, Pita Andreu, María IsabelUniversidad Complutense de Madrid20122012-01-0120122012-01-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/46492reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/464922026-06-02T12:44:21Z
dc.title.none.fl_str_mv Especificación y análisis del protocolo Chord en Maude
title Especificación y análisis del protocolo Chord en Maude
spellingShingle Especificación y análisis del protocolo Chord en Maude
Manchado Illán, Sara
004.438Maude(043.3)
004.7(043.3)
Chord
Maude
Especificación formal
Sistemas distribuidos
Peer-to-peer
Tabla Hash Distribuida
formal analysis
distributed Systems
distributed hash table
Lenguajes de programación
1203.23 Lenguajes de Programación
title_short Especificación y análisis del protocolo Chord en Maude
title_full Especificación y análisis del protocolo Chord en Maude
title_fullStr Especificación y análisis del protocolo Chord en Maude
title_full_unstemmed Especificación y análisis del protocolo Chord en Maude
title_sort Especificación y análisis del protocolo Chord en Maude
dc.creator.none.fl_str_mv Manchado Illán, Sara
author Manchado Illán, Sara
author_facet Manchado Illán, Sara
author_role author
dc.contributor.none.fl_str_mv Verdejo López, José Alberto
Pita Andreu, Pita Andreu, María Isabel
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.438Maude(043.3)
004.7(043.3)
Chord
Maude
Especificación formal
Sistemas distribuidos
Peer-to-peer
Tabla Hash Distribuida
formal analysis
distributed Systems
distributed hash table
Lenguajes de programación
1203.23 Lenguajes de Programación
topic 004.438Maude(043.3)
004.7(043.3)
Chord
Maude
Especificación formal
Sistemas distribuidos
Peer-to-peer
Tabla Hash Distribuida
formal analysis
distributed Systems
distributed hash table
Lenguajes de programación
1203.23 Lenguajes de Programación
description 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.
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01
2012
2012-01-01
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/46492
url https://hdl.handle.net/20.500.14352/46492
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404311286448128
score 15,300724

Similares en LA Referencia