A Distributed Protocol for Channel-Based Communication with Choice (1993)
| Venue: | Computers and Artificial Intelligence |
| Citations: | 25 - 1 self |
BibTeX
@ARTICLE{Knabe93adistributed,
author = {Frederick Knabe},
title = {A Distributed Protocol for Channel-Based Communication with Choice},
journal = {Computers and Artificial Intelligence},
year = {1993},
volume = {12},
pages = {1--0}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Recent attempts at incorporating concurrency into functional languages have identified synchronous communication via shared channels as a promising primitive. An additional useful feature found in many proposals is a nondeterministic choice operator. Similar in nature to the CSP alternative command, this operator allows different possible actions to be guarded by sends or receives. Choice is difficult to implement in a distributed environment because it requires offering many potential communications but closing only one. In this paper we present the first distributed, deadlock-free algorithm for choice. Keywords: Distributed protocols, channels, synchronous communication, choice operator, CSP alternative command. 1. Introduction In 1978, C.A.R. Hoare introduced a now-classic paradigm for parallel programming called communicating sequential processes, or CSP [12]. CSP presented a new approach to concurrent programming, and its legacy has continued to influence wellfounded pr...
