Found an article about the implementation of read-copy update locks in Linux: RCU and Unloadable Modules.