« Previous | Next » 

Revision cb39314f

IDcb39314f850590b7b9a67d615c5300e45a299e77
Parent e247c590
Child 7fe8baad

Added by Klaus Aehlig about 10 years ago

Verify that all pending requests are justified

If a request is pending in a lock waiting structure, it has to fulfill
two properties:
- It must be a valid request, not violating any lock order requirements, and
- it must not be possible to fulfill it immediately.
Verify this.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences