TY - GEN
T1 - A combinatorial characterization of properties preserved by antitokens
AU - Busch, Costas
AU - Demetriou, Neophytos
AU - Herlihy, Maurice
AU - Mavronicolas, Marios
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84937392147&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84937392147&partnerID=8YFLogxK
U2 - 10.1007/3-540-44520-x_79
DO - 10.1007/3-540-44520-x_79
M3 - Conference contribution
AN - SCOPUS:84937392147
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 575
EP - 582
BT - Euro-Par 2000 Parallel Processing - 6th International Euro-Par Conference, Proceedings
A2 - Bode, Arndt
A2 - Ludwig, Thomas
A2 - Karl, Wolfgang
A2 - Wismüller, Roland
PB - Springer Verlag
T2 - 6th International European Conference on Parallel Computing, Euro-Par 2000
Y2 - 29 August 2000 through 1 September 2000
ER -