- There is a clearer way
to represent
the compatibility of
locks:
- Using a compatibility matrix
- Structure of a
compatibility matrix:
Explanation:
- State of a lock =
the type of
lock that has been
granted
- Lock request type =
the type of
lock being requested
- The compatibility decision is:
- Yes, if
the requested lock type
can be granted
- Yes, if the requested lock type can not be granted
- Yes, if
the requested lock type
can be granted
- State of a lock =
the type of
lock that has been
granted
- Full compatibility matrix for
shared/exclusive locks:
- Abbreviated compatibility matrix for
shared/exclusive locks:
