Michael Greenwald and David Cheriton
Computer Science Department
Stanford, CA 94305-9040
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implemented a multiprocessor operating system kernel and run-time library for high-performance, reliability and modularity. We used non-blocking synchronization, not because it was an objective in itself, but because it became the approach of choice. It was an attractive approach because of the synergy between other structuring techniques we used to achieve our primary goals and the benefits of non-blocking synchronization.
This paper describes this synergy: the structuring techniques we used which facilitated non-blocking synchronization and our experience with this implementation.