Research Laboratory - Multiprocessor Synchronization Laboratory

updated: 05.11.2015


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 AfekProf. Yishay Mansour and Prof. Nir Shavit.


Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained
here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>