Verify consistency between listAllLocks{,Owners}
As listAllLocks is supposed to list all locks currently in use, this shouldbe a superset listAllLocksOwners, i.e., of all locks actively owned by someuser.
Signed-off-by: Klaus Aehlig <aehlig@google.com>...
Verify that the list of all locks is complete
Verify that all locks owned by someone are included in thelist of all (active) locks.
Signed-off-by: Klaus Aehlig <aehlig@google.com>Reviewed-by: Petr Pudlak <pudlak@google.com>
Identify lock owners by either string or job id
Most requests asking for resources are jobs. However, in exceptionalcases, other requests (like currently requests to masterd requiring theconfiguration) need to ask for resources. They identify themselves by...
Add tests for (de)serialization of ClientId
.. to test if `readJSON . showJSON = Ok`.
Signed-off-by: Petr Pudlak <pudlak@google.com>Reviewed-by: Helga Velroyen <helgav@google.com>
Verify serialisation of LockLevel
For the new JSON instance Ganeti.Locking.Locks.LockLevel, verify thatreadJSON . showJSON = Ok.
Add network locks to Haskell
Ganeti also has a lock level for networks, however this level was forgottenwhen the Ganeti lock hierarchy was implemented in Haskell.
Verify that all lock owners indeed own a lock
Add a test verifying that the list of lock owners is nottoo big in the sense that every subject contained in thatlist owns at least one lock.
Verify the list of lock owners is complete
In other words, verify that if all the lock owners release theirlocks, the empty lock allocation is reached.
Verify the intervall property of GanetiLocks
According to the specification in our design, if A is a grouplock and B belogs to this group, then all locks between A and Bin the lock order also must belong to A. Verify this.
Verify implication restriction on locks
As specified in our design, if A is a group lock and Bbelongs to A, then A must be earlier in the lock orderthan B. Verify this property.
View revisions
Also available in: Atom