Reliable Multiuser Tree Setup with Local Identifiers

In this work, we present a protocol for setting up a tree connection for the purpose of multicast communication over a high-speed packet switched network. The tree connection is based on the use of local identifiers that are swapped at every intermediate node of the tree. Local identifiers are simple to manage, provide fast access to the routing tables, and are very efficient in terms of the size of the resulting routing space. The context of this work is a high-speed network in which the local label swapping on data messages is performed in hardware by the switching subsystem, while the connection setup is done in software by the switch control subsystem. A reliable protocol for setting up the tree connection is presented and its correctness is formally proved. The protocol ensures the integrity of the tree and when failures occur, the tree is gracefully degraded into a smaller tree.