Revision 277c969f
ID | 277c969f0b4d9cc216e70bd1bdde6b97e552bdb6 |
Parent | 381889dc |
Child | 1ca6b451 |
Add a test verifying that lock-implication is honored
Locks can be included in one another. This inclusion can be violated
in two ways, viz.,
- A holds a lock L and B holds an exclusive lock L belongs to, and
- A holds an exclusive lock and B holds a lock L belongs to.
Verify that this is not the case.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted