Revision 1ca6b451
ID | 1ca6b451843798600ac26c140c3764428d9b2703 |
Parent | 277c969f |
Child | fe78783d |
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 <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted