« Previous | Next » 

Revision 3469663d

ID3469663df9bb311ef706c10db7f61a4bf9547675

Added by Klaus Aehlig about 10 years ago

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 <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences