TY - GEN

T1 - On the signaling problem

AU - Amram, Gal

N1 - Funding Information:
Research partially supported by the Frankel Center for Computer Science at Ben-Gurion University.

PY - 2014/2/3

Y1 - 2014/2/3

N2 - Aguilera et al. introduced and solved the mailbox problem in [4], and used their mailbox algorithm to provide an efficient solution to the N-buffer problem. In the same paper, they also pointed out that both the mailbox problem and the N-buffer problem are solved by means of a more general problem: the signaling problem. The authors of [4] presented a non-blocking solution to the signaling problem, and asked whether a wait-free solution to the signaling problem exists. In our paper, we provide a positive answer to this question by introducing a bounded wait-free signaling algorithm and proving its correctness. In addition, our algorithm is more efficient than the one presented in [4] since it uses flags of smaller size. Furthermore, by using our algorithm, we provide a wait-free solution to the N-buffer problem which is more efficient than the one in [4].

AB - Aguilera et al. introduced and solved the mailbox problem in [4], and used their mailbox algorithm to provide an efficient solution to the N-buffer problem. In the same paper, they also pointed out that both the mailbox problem and the N-buffer problem are solved by means of a more general problem: the signaling problem. The authors of [4] presented a non-blocking solution to the signaling problem, and asked whether a wait-free solution to the signaling problem exists. In our paper, we provide a positive answer to this question by introducing a bounded wait-free signaling algorithm and proving its correctness. In addition, our algorithm is more efficient than the one presented in [4] since it uses flags of smaller size. Furthermore, by using our algorithm, we provide a wait-free solution to the N-buffer problem which is more efficient than the one in [4].

KW - distributed algorithms

KW - linearizability

KW - shared memory

KW - synchronization

UR - http://www.scopus.com/inward/record.url?scp=84893129723&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-45249-9_4

DO - 10.1007/978-3-642-45249-9_4

M3 - Conference contribution

AN - SCOPUS:84893129723

SN - 9783642452482

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 44

EP - 65

BT - Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Proceedings

T2 - 15th International Conference on Distributed Computing and Networking, ICDCN 2014

Y2 - 4 January 2014 through 7 January 2014

ER -