IMPLEMENTATION OF HIERARCHICAL F-CHANNELS FOR HIGH-PERFORMANCE DISTRIBUTED COMPUTING

High performance distributed computing systems require high performance communication systems. F-channels and Hierarchical F-channels address this need by permitting a high level of concurrency like non-FIFO channels while retaining the simplicity of FIFO channels critical to the design and proof of many distributed algorithms. In this paper, we present counter-based implementations for F-channels and Hierarchical F-channels using message augmentation-appending control information to a message. These implementations guarantee that no messages are unnecessarily delayed at the receiving end.