Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks Academic Article

abstract

• We propose a self-stabilizing mutual exclusion algorithm for mobile ad hoc networks, in which the composition of processors that want to enter the critical section can change dynamically. Our algorithm is based on dynamic virtual rings formed by circulating tokens. The algorithm always guarantees mutual exclusion and it guarantees different levels of progress under different levels of performance of the token circulation in the presence of mobility and message loss. Rigorous proofs of correctness and performance are given. 2005 Elsevier Inc. All rights reserved.

authors

• Welch, Jennifer

published proceedings

• JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

author list (cited authors)

• Chen, Y., & Welch, J. L.

citation count

• 11

complete list of authors

• Chen, Y||Welch, JL

publication date

• January 2005

publisher

• Elsevier  Publisher

published in

• Journal of Parallel and Distributed Computing  Journal

keywords

• Mobile Ad Hoc Network
• Mutual Exclusion
• Self-stabilization
• Token Circulation

Digital Object Identifier (DOI)

• 10.1016/j.jpdc.2005.03.009

start page

• 1072

end page

• 1089

volume

• 65

issue

• 9

URL

• http%3A%2F%2Fdx.doi.org%2F10.1016%2Fj.jpdc.2005.03.009