Revision 11a498d5
ID | 11a498d51ca2570983d51442f9f29a737b70a730 |
Parent | 016a5501 |
Child | 58e173a5 |
Verify that opportunistic lock union is monotone
Verify that a request to opportunistically allocate locks never
reduces the amount of locks held.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted