Verify lock stability over updates
Add a test that verifies that updates by one user do notaffect the locks held by a different user.
Signed-off-by: Klaus Aehlig <aehlig@google.com>Reviewed-by: Petr Pudlak <pudlak@google.com>
Verify Basic property for lock allocation
Verify the minimal consistency property for any formof lock handling: if a user holds an exclusive lock,then no other user can hold the same lock (neitherexclusively, nor shared).
Signed-off-by: Klaus Aehlig <aehlig@google.com>...
View revisions
Also available in: Atom