Revision 9bf17b50
ID | 9bf17b50d3049787db198bd194f4c4c8a9a0ed2b |
Parent | 80004e70 |
Child | 64df329d |
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 <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted