Solution: New Lock Modes, Protocol
Allow Xacts to lock at each level, but with a special protocol using new “intention” locks:
- Before locking an item, Xact must set “intention locks” on all its ancestors.
- For unlock, go from specific to general (i.e., bottom-up).
- SIX mode: Like S & IX at the same time.