|
|
|
 Verification of Protocol taDOM3+
For the taDOM3+ locking protocol the following locks are used:| | Lock on
Context Node | Lock on
Parent Node | Description | | | IR | IR | Intention read: At least one descendant of the context node has been read. | | | NR | IR | Node read: The context node has been read. | | | LR | IR | Level read: The context node and all its child nodes have been read. | | | SR | IR | Subtree read: The context node and all its descendants have been read. | | | IX | IX | Intention exclusive: At least one descendant node (but not a child node) of the context node has been modified. | | | NRIX | IX | Node read intention exclusive: The context node has been read and at least one descendant (but not a child node) of the context node has been modified. | | | LRIX | IX | Level read intention exclusive: The context node and all its child nodes have been read and at least one descendant (but not a child node) of the context node has been modified. | | | SRIX | IX | Subtree read intention exclusive: The context node and all its descendant nodes have been read and at least one descendant (but not a child node) of the context node has been modified. | | | CX | IX | Child exclusive: At least on child node of the context node has been modified. | | | NRCX | IX | Node read child exclusive: The context node has been read and at least on child node of the context node has been modified. | | | LRCX | IX | Level read child exclusive: The context node and all its child nodes have been read and at least on child node of the context node has been modified. | | | SRCX | IX | Subtree read child exclusive: The context node and all its descendant nodes have been read and at least on child node of the context node has been modified. | | | NU | IR | Node update: The context node has been read. Possible downgrade to NR or upgrade to NX. | | | LRNU | IR | Level read node update: The context node and all its child nodes have been read and the context node is in update lock mode. Possible downgrade to LR or upgrade to LRX. | | | SRNU | IR | Subtree read node update: The context node and all its descendant nodes have been read and the context node is in update lock mode. Possible downgrade to SR or upgrade to SRX. | | | NX | CX | Node exclusive: The context node has been modified. | | | LRNX | CX | Level read node exclusive: The context node and all its child nodes have been read and the context node is in exclusive lock mode. | | | SRNX | CX | Subtree read node exclusive: The context node and all its descendant nodes have been read and the context node is in exclusive lock mode. | | | SU | IR | Subtree update: The context node and all its descendant nodes have been read. Possible downgrade to SR or upgrade to SX. | | | SX | CX | Subtree exclusive: The context node and all its descendants are locked for deletion. |
Lock Compatibility Matrix:| | - | IR | NR | LR | SR | IX | NRIX | LRIX | SRIX | CX | NRCX | LRCX | SRCX | NU | LRNU | SRNU | NX | LRNX | SRNX | SU | SX | | IR | + | + | + | + | + | + | + | + | + | + | + | + | + | + | + | + | + | + | + | - | - | | NR | + | + | + | + | + | + | + | + | + | + | + | + | + | - | - | - | - | - | - | - | - | | LR | + | + | + | + | + | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | | SR | + | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | IX | + | + | + | + | - | + | + | + | - | + | + | + | - | + | + | - | + | + | - | - | - | | NRIX | + | + | + | + | - | + | + | + | - | + | + | + | - | - | - | - | - | - | - | - | - | | LRIX | + | + | + | + | - | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | | SRIX | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | CX | + | + | + | - | - | + | + | - | - | + | + | - | - | + | - | - | + | - | - | - | - | | NRCX | + | + | + | - | - | + | + | - | - | + | + | - | - | - | - | - | - | - | - | - | - | | LRCX | + | + | + | - | - | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | SRCX | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | NU | + | + | + | + | + | + | + | + | + | + | + | + | + | - | - | - | - | - | - | - | - | | LRNU | + | + | + | + | + | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | | SRNU | + | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | NX | + | + | - | - | - | + | - | - | - | + | - | - | - | - | - | - | - | - | - | - | - | | LRNX | + | + | - | - | - | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | SRNX | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | SU | + | + | + | + | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | | SX | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - |
| | Compatibility matrix for taDOM3+ |
Check of Compatibility Matrix: Ok 
Lock Conversion Matrix:Lock Strength-Relationships:| | IR | is stronger than | no other lock | | | NR | is stronger than | IR | | | LR | is stronger than | IR, NR | | | SR | is stronger than | IR, NR, LR | | | IX | is stronger than | IR | | | NRIX | is stronger than | IR, NR, IX | | | LRIX | is stronger than | IR, NR, LR, IX, NRIX | | | SRIX | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX | | | CX | is stronger than | IR, IX | | | NRCX | is stronger than | IR, NR, IX, NRIX, CX | | | LRCX | is stronger than | IR, NR, LR, IX, NRIX, LRIX, CX, NRCX | | | SRCX | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX, SRIX, CX, NRCX, LRCX | | | NU | is stronger than | IR, NR, IX, NRIX, CX, NRCX, NX | | | LRNU | is stronger than | IR, NR, LR, IX, NRIX, LRIX, CX, NRCX, LRCX, NU, NX, LRNX | | | SRNU | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX, SRIX, CX, NRCX, LRCX, SRCX, NU, LRNU, NX, LRNX, SRNX | | | NX | is stronger than | IR, NR, IX, NRIX, CX, NRCX, NU | | | LRNX | is stronger than | IR, NR, LR, IX, NRIX, LRIX, CX, NRCX, LRCX, NU, LRNU, NX | | | SRNX | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX, SRIX, CX, NRCX, LRCX, SRCX, NU, LRNU, SRNU, NX, LRNX | | | SU | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX, SRIX, CX, NRCX, LRCX, SRCX, NU, LRNU, SRNU, NX, LRNX, SRNX, SX | | | SX | is stronger than | IR, NR, LR, SR, IX, NRIX, LRIX, SRIX, CX, NRCX, LRCX, SRCX, NU, LRNU, SRNU, NX, LRNX, SRNX, SU |
| | - | IR | NR | LR | SR | IX | NRIX | LRIX | SRIX | CX | NRCX | LRCX | SRCX | NU | LRNU | SRNU | NX | LRNX | SRNX | SU | SX | | IR | IR | IR | NR | LR | SR | IX | NRIX | LRIX | SRIX | CX | NRCX | LRCX | SRCX | NU | LRNU | SRNU | NX | LRNX | SRNX | SU | SX | | NR | NR | NR | NR | LR | SR | NRIX | NRIX | LRIX | SRIX | NRCX | NRCX | LRCX | SRCX | NR | LR | SR | NX | LRNX | SRNX | SU | SX | | LR | LR | LR | LR | LR | SR | LRIX | LRIX | LRIX | SRIX | LRCX | LRCX | LRCX | SRCX | LRNU | LRNU | SRNU | LRNX | LRNX | SRNX | SU | SX | | SR | SR | SR | SR | SR | SR | SRIX | SRIX | SRIX | SRIX | SRCX | SRCX | SRCX | SRCX | SRNU | SRNU | SRNU | SRNX | SRNX | SRNX | SR | SX | | IX | IX | IX | NRIX | LRIX | SRIX | IX | NRIX | LRIX | SRIX | CX | NRCX | LRCX | SRCX | NX | LRNX | SRNX | NX | LRNX | SRNX | SX | SX | | NRIX | NRIX | NRIX | NRIX | LRIX | SRIX | NRIX | NRIX | LRIX | SRIX | NRCX | NRCX | LRCX | SRCX | NX | LRNX | SRNX | NX | LRNX | SRNX | SX | SX | | LRIX | LRIX | LRIX | LRIX | LRIX | SRIX | LRIX | LRIX | LRIX | SRIX | LRCX | LRCX | LRCX | SRCX | LRNX | LRNX | SRNX | LRNX | LRNX | SRNX | SX | SX | | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRCX | SRCX | SRCX | SRCX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SX | SX | | CX | CX | CX | NRCX | LRCX | SRCX | CX | NRCX | LRCX | SRCX | CX | NRCX | LRCX | SRCX | NX | LRNX | SRNX | NX | LRNX | SRNX | SX | SX | | NRCX | NRCX | NRCX | NRCX | LRCX | SRCX | NRCX | NRCX | LRCX | SRCX | NRCX | NRCX | LRCX | SRCX | NX | LRNX | SRNX | NX | LRNX | SRNX | SX | SX | | LRCX | LRCX | LRCX | LRCX | LRCX | SRCX | LRCX | LRCX | LRCX | SRCX | LRCX | LRCX | LRCX | SRCX | LRNX | LRNX | SRNX | LRNX | LRNX | SRNX | SX | SX | | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SX | SX | | NU | NU | NU | NU | LRNU | SRNU | NX | NX | LRNX | SRNX | NX | NX | LRNX | SRNX | NU | LRNU | SRNU | NX | LRNX | SRNX | SU | SX | | LRNU | LRNU | LRNU | LRNU | LRNU | SRNU | LRNX | LRNX | LRNX | SRNX | LRNX | LRNX | LRNX | SRNX | LRNU | LRNU | SRNU | LRNX | LRNX | SRNX | SU | SX | | SRNU | SRNU | SRNU | SRNU | SRNU | SRNU | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNU | SRNU | SRNU | SRNX | SRNX | SRNX | SU | SX | | NX | NX | NX | NX | LRNX | SRNX | NX | NX | LRNX | SRNX | NX | NX | LRNX | SRNX | NX | LRNX | SRNX | NX | LRNX | SRNX | SX | SX | | LRNX | LRNX | LRNX | LRNX | LRNX | SRNX | LRNX | LRNX | LRNX | SRNX | LRNX | LRNX | LRNX | SRNX | LRNX | LRNX | SRNX | LRNX | LRNX | SRNX | SX | SX | | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SRNX | SX | SX | | SU | SU | SU | SU | SU | SU | SX | SX | SX | SX | SX | SX | SX | SX | SU | SU | SU | SX | SX | SX | SU | SX | | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX |
| | Conversion matrix for taDOM3+ |
Check of Conversion Matrix: Ok
|
