« Previous | Next » 

Revision 1ca6b451

ID1ca6b451843798600ac26c140c3764428d9b2703
Parent 277c969f
Child fe78783d

Added by Klaus Aehlig almost 7 years ago

Efficiently verify consistent lock requests

Most requests for lock updates are consistent and mention
every lock only once. So verify this property efficiently
by comparing lengths. Only if the length do not coincide
go through the actual (quadratic) comparison to find a
counterexample.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences