Research Laboratory - Multiprocessor Synchronization Laboratory

With the advent of the Internet, computers are being used more and more as coordination devices, rather than pure computational tools. Due to nature's inherent asynchrony, standard "Turing" notions of computability and complexity do not suffice when setting out to build a mathematical foundation for multi-process coordination. The goal of the research conducted in the Multiprocessor Synchronization Laboratory is to develop the mathematical models and algorithmic tools necessary to make effective multi-process coordination possible. Work in the lab revolves around two axes: the development of new synchronization hardware operations and the creation of highly effective concurrent coordination structures. The two are closely intertwined, a relationship that manifests itself in the way research is conducted in the lab: work continuously revolves around theoretical development of synchronization primitives and their subsequent use in constructing data structures. These in turn are tested on real and simulated multiprocessor machines in the Lab.

The Lab is supervised by: Prof. Yehuda Afek, Prof. Yishay Mansour and Prof. Nir Shavit.