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.
| 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.
|