Crate sublock

Variants of RwLock that support sublocks, opened for reading if the main RwLock is opened for reading, opened for writing if the main RwLock is opened for writing.

This crate has been designed to permit refactoring of code using RefCell into Sync code.

Modules

atomlock	A variant of RwLock based on dynamic checks (comparable to RefCell). A variant of RwLock with sublocks that can be opened for reading iff the main lock is currently opened for reading, opened for writing iff the main lock is currently opened for writing.
prooflock	A variant of RwLock based on proofs of opening. Faster and safer than atomlock, but a bit more verbose. A variant of RwLock with sublocks that can be opened at no cost by providing a proof that the main lock is opened.