Bridging the gap between theory and practice for distributed graph algorithms

点击翻译按钮获取中文摘要

During my stay in Europe we achieved great progress in the project. On the practical side, we implemented many theory primitives (spanners, synchronizers, spanning trees) on P4 switches and checked their efficiency at handling failures in datacenter networks. The main problems we considered are clock synchronization and multicast. We show that using our techniques we can recover from failures considerably faster than other techniques.On the theory side we defined a theoretical model for distributed computation with bounded memory. We believe that this two way approach will greatly increase the communication between the theory and networking community.