The paper in here is from:

D. Black, et. al., Locking and Reference Counting in the Mach Kernel.   
Proceedings of the 1991 International Conference on Parallel Processing,
Volume 2, Software, pp. II-167 - II-173.

and has been generously provided by the author.
It provides an overview of locking the mach kernel.