Statistics
| Branch: | Tag: | Revision:

root / test / hs / Test / Ganeti / Locking @ 987fcfb7

Name Size
Allocation.hs 3.8 kB

Latest revisions

# Date Author Comment
987fcfb7 02/17/2014 03:40 pm Klaus Aehlig

Verify lock stability over updates

Add a test that verifies that updates by one user do not
affect the locks held by a different user.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

3469663d 02/17/2014 03:40 pm Klaus Aehlig

Verify Basic property for lock allocation

Verify the minimal consistency property for any form
of lock handling: if a user holds an exclusive lock,
then no other user can hold the same lock (neither
exclusively, nor shared).

Signed-off-by: Klaus Aehlig <>...

View revisions

Also available in: Atom