Properties of link reversal algorithms for routing and leader election

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author: Radeva, Tsvetomira
Other Authors: Nancy Lynch.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2013
Subjects:
Online Access:http://hdl.handle.net/1721.1/82398
_version_ 1826211629508853760
author Radeva, Tsvetomira
author2 Nancy Lynch.
author_facet Nancy Lynch.
Radeva, Tsvetomira
author_sort Radeva, Tsvetomira
collection MIT
description Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.
first_indexed 2024-09-23T15:09:01Z
format Thesis
id mit-1721.1/82398
institution Massachusetts Institute of Technology
language eng
last_indexed 2024-09-23T15:09:01Z
publishDate 2013
publisher Massachusetts Institute of Technology
record_format dspace
spelling mit-1721.1/823982019-04-11T11:19:33Z Properties of link reversal algorithms for routing and leader election Radeva, Tsvetomira Nancy Lynch. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013. Cataloged from PDF version of thesis. Includes bibliographical references (p. 75-77). We present two link-reversal algorithms and some interesting properties that they satisfy. First, we describe the Partial Reversal (PR) algorithm [13], which ensures that the underlying graph structure is destination-oriented and acyclic. These properties of PR make it useful in routing protocols and algorithms for solving leader election and mutual exclusion. While proofs exist to establish the acyclicity property of PR, they rely on assigning labels to either the nodes or the edges in the graph. In this work we present simpler direct proof of the acyclicity property of partial reversal without using any external or dynamic labeling mechanisms. Second, we describe the leader election (LE) algorithm of [16], which guarantees that a unique leader is elected in an asynchronous network with a dynamically-changing communication topology. The algorithm ensures that, no matter what pattern of topology changes occurs, if topology changes cease, then eventually every connected component contains a unique leader and all nodes have directed paths to that leader. Our contribution includes a complexity analysis of the algorithm showing that after topology changes stop, no more than 0(n) elections occur in the system. We also provide a discussion on certain situations in which a new leader is elected (unnecessarily) when there is already another leader in the same connected component. Finally, we show how the LE algorithm can be augmented in such a way that nodes also have the shortest path to the leader. by Tsvetomira Radeva S.M. 2013-11-18T19:18:13Z 2013-11-18T19:18:13Z 2013 2013 Thesis http://hdl.handle.net/1721.1/82398 862110423 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 77 p. application/pdf Massachusetts Institute of Technology
spellingShingle Electrical Engineering and Computer Science.
Radeva, Tsvetomira
Properties of link reversal algorithms for routing and leader election
title Properties of link reversal algorithms for routing and leader election
title_full Properties of link reversal algorithms for routing and leader election
title_fullStr Properties of link reversal algorithms for routing and leader election
title_full_unstemmed Properties of link reversal algorithms for routing and leader election
title_short Properties of link reversal algorithms for routing and leader election
title_sort properties of link reversal algorithms for routing and leader election
topic Electrical Engineering and Computer Science.
url http://hdl.handle.net/1721.1/82398
work_keys_str_mv AT radevatsvetomira propertiesoflinkreversalalgorithmsforroutingandleaderelection