A combinatorial characterization of properties preserved by antitokens

Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distribution of the tokens on the network’s output specify the property of the network. However, tokens represent increment operations only, and tokens alone are not adequate for synchronization problems that require decrement operations. For such kinds of problems, antitokens have been used to represent decrement operations. It has been shown that several kinds of balancing networks which satisfy the step property, smoothing property, and the threshold property for tokens alone, preserve their properties even when antitokens are introduced. A fundamental question that was left open was to characterize all the properties of balancing networks which are preserved under the introduction of antitokens. In this work, we provide such a simple combinatorial characterization for all the properties which are preserved when antitokens are introduced.

Original languageEnglish (US)
Title of host publicationEuro-Par 2000 Parallel Processing - 6th International Euro-Par Conference, Proceedings
EditorsArndt Bode, Thomas Ludwig, Wolfgang Karl, Roland Wismüller
PublisherSpringer Verlag
Pages575-582
Number of pages8
ISBN (Electronic)9783540679561
DOIs
StatePublished - 2000
Externally publishedYes
Event6th International European Conference on Parallel Computing, Euro-Par 2000 - Munich, Germany
Duration: Aug 29 2000Sep 1 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1900
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International European Conference on Parallel Computing, Euro-Par 2000
CountryGermany
CityMunich
Period8/29/009/1/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A combinatorial characterization of properties preserved by antitokens'. Together they form a unique fingerprint.

Cite this