[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

An improved algorithm for decentralized extrema-finding in circular configurations of processes

Published: 01 May 1979 Publication History

Abstract

This note presents an improvement to LeLann's algorithm for finding the largest (or smallest) of a set of uniquely numbered processes arranged in a circle, in which no central controller exists and the number of processes is not known a priori. This decentralized algorithm uses a technique of selective message extinction in order to achieve an average number of message passes of order (n log n) rather than O(n2).

Reference

[1]
LeLann, G. Distributed systems-Towards a formal approach. Information Processing 77, North-Holland Pub. Co., Amsterdam, pp. 155-160.

Cited By

View all
  • (2024)Multris: Functional Verification of Multiparty Message Passing in Separation LogicProceedings of the ACM on Programming Languages10.1145/36897628:OOPSLA2(1446-1474)Online publication date: 8-Oct-2024
  • (2024)Brief Announcement: Content-Oblivious Leader Election on RingsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662785(549-552)Online publication date: 17-Jun-2024
  • (2024)An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive VerificationProceedings of the ACM on Programming Languages10.1145/36328758:POPL(970-1000)Online publication date: 5-Jan-2024
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 22, Issue 5
May 1979
43 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/359104
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1979
Published in CACM Volume 22, Issue 5

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. decentralized algorithms
  2. distributed systems
  3. operating systems

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)424
  • Downloads (Last 6 weeks)30
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Multris: Functional Verification of Multiparty Message Passing in Separation LogicProceedings of the ACM on Programming Languages10.1145/36897628:OOPSLA2(1446-1474)Online publication date: 8-Oct-2024
  • (2024)Brief Announcement: Content-Oblivious Leader Election on RingsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662785(549-552)Online publication date: 17-Jun-2024
  • (2024)An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive VerificationProceedings of the ACM on Programming Languages10.1145/36328758:POPL(970-1000)Online publication date: 5-Jan-2024
  • (2024)Regular Abstractions for Array SystemsProceedings of the ACM on Programming Languages10.1145/36328648:POPL(638-666)Online publication date: 5-Jan-2024
  • (2024)Improving the Performance of Bully Algorithm for Leader Election in Distributed Systems2024 1st International Conference on Emerging Technologies for Dependable Internet of Things (ICETI)10.1109/ICETI63946.2024.10777233(1-7)Online publication date: 25-Nov-2024
  • (2024)Simple LTL Model Checking on Finite and Infinite Traces over Concrete DomainsFormal Methods and Software Engineering10.1007/978-981-96-0617-7_21(375-390)Online publication date: 29-Nov-2024
  • (2023)Message Chains for Distributed System VerificationProceedings of the ACM on Programming Languages10.1145/36228767:OOPSLA2(2224-2250)Online publication date: 16-Oct-2023
  • (2023)Towards Building Verifiable CPS using Lingua FrancaACM Transactions on Embedded Computing Systems10.1145/360913422:5s(1-24)Online publication date: 31-Oct-2023
  • (2023)An Exceptional Actor System (Functional Pearl)Proceedings of the 16th ACM SIGPLAN International Haskell Symposium10.1145/3609026.3609728(32-43)Online publication date: 30-Aug-2023
  • (2023)Psym: Efficient Symbolic Exploration of Distributed SystemsProceedings of the ACM on Programming Languages10.1145/35912477:PLDI(660-685)Online publication date: 6-Jun-2023
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media