Applications of Algebraic Topology to Concurrent Computation

Abstract

All parallel programs require some amount of synchronization to coordinate their concurrency to achieve correct solutions. It is commonly known that synchronization can cause poor performance by burdening the program with excessive overhead. This chapter develops a connection between certain synchronization primitives and topology. This connection permits the theoretical study of concurrent computing with all the mathematical tools of algebraic and combinatorial topology.