An implementation of F-channels |
| |
Authors: | Ahuja M |
| |
Affiliation: | Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA; |
| |
Abstract: | An F-channel can permit as much concurrency as a non-first-in-first-out (FIFO) communication channel and yet retain the properties of a FIFO channel that lead to simplicity of reasoning in design and proofs of the correctness of distributed algorithms. The author presents an implementation of an F-channel on top of a non-FIFO channel that derives its non-FIFO nature from a message taking any of the alternate paths from the source to the destination in the underlying network in which each channel is either an F-channel implemented using some other implementation or recursively using the implementation presented or a FIFO channel. The correctness of the implementation is proven |
| |
Keywords: | |
|
|