Unifying synchronization and events in a multicore OS
Gerd Zellweger, Adrian Schüpbach, Timothy Roscoe · 2012
In this paper, we argue that an operating system structured as a distributed system needs a coordination and a name service to make OS services work correctly. While a distributed structure allows applying algorithms from the distributed field, it also suffers from similar problems like synchronization, naming, distributed locking and coordination of service instances.