« Previous | Next » 

Revision 9bf17b50

ID9bf17b50d3049787db198bd194f4c4c8a9a0ed2b
Parent 80004e70
Child 64df329d

Added by Klaus Aehlig about 10 years ago

Verify that the set of blocking owners is big enough

When a request is blocked, the list of blocking owners
should exhaust all blocking reasons, i.e., if those
owners release all their locks, the update must succeed.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences