Rice University
Department of Computer Science
presents

Maurice Herlihy

Department of Computer Science
Brown University

Algebraic Topology and Distributed Computing

Abstract

In modern shared-memory multiprocessors, processes can be halted or delayed without warning by interrupts, preemption, or cache misses. In such environments, it is desirable to design synchronization protocols that are wait-free: any processes that continues to run will finish the protocol in a fixed number of steps, regardless of delays or failures by other processes. Models and techniques borrowed from classical Algebraic Topology have recently yielded a variety of new results for wait-free distributed computing. This talk will survey the basic concepts underlying this approach, and will show how they apply to a simple distributed problem. This talk is self-contained, and is intended for a general audience.

January 30, 1997 @ 4p.m.
Duncan Hall room 1070
Refreshments after the talk in room 3092
(large conference room at east end of third floor)

Maurice Herlihy's homepage