Revision cf7f8e51
ID | cf7f8e514b12a7437b9cff5687f5568d7103e26e |
Parent | 2e1399da |
Child | 69809ae3 |
Verify implication restriction on locks
As specified in our design, if A is a group lock and B
belongs to A, then A must be earlier in the lock order
than B. Verify this property.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted