Revision 016a5501
ID | 016a55016fa2a49784c398f9b4cb3437ed99caf2 |
Parent | b6442eba |
Child | 11a498d5 |
Use intersection and union for arbitrary waitings
Allow intersection and opportunistic lock union in the construction
of the arbitrary element of a lock waiting. While definable from
updateLocks, they are typical interface functions and can help
get a more natural distribution in arbitrary.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted