|
|
|
 Verification of Protocol taDOM2+
For the taDOM2+ 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. | | | 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. | | | 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. | | | 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 | LRIX | SRIX | CX | LRCX | SRCX | SU | SX | | IR | + | + | + | + | + | + | + | + | + | + | + | - | - | | NR | + | + | + | + | + | + | + | + | + | + | + | - | - | | LR | + | + | + | + | + | + | + | + | - | - | - | - | - | | SR | + | + | + | + | + | - | - | - | - | - | - | - | - | | IX | + | + | + | + | - | + | + | - | + | + | - | - | - | | LRIX | + | + | + | + | - | + | + | - | - | - | - | - | - | | SRIX | + | + | + | + | - | - | - | - | - | - | - | - | - | | CX | + | + | + | - | - | + | - | - | + | - | - | - | - | | LRCX | + | + | + | - | - | + | - | - | - | - | - | - | - | | SRCX | + | + | + | - | - | - | - | - | - | - | - | - | - | | SU | + | + | + | + | + | - | - | - | - | - | - | - | - | | SX | + | - | - | - | - | - | - | - | - | - | - | - | - |
| | Compatibility matrix for taDOM2+ |
Check of Compatibility Matrix: Ok 
Lock Conversion Matrix:Lock Strength-Relationships:| | IR | is stronger than | NR | | | NR | is stronger than | IR | | | LR | is stronger than | IR, NR | | | SR | is stronger than | IR, NR, LR | | | IX | is stronger than | IR, NR | | | LRIX | is stronger than | IR, NR, LR, IX | | | SRIX | is stronger than | IR, NR, LR, SR, IX, LRIX | | | CX | is stronger than | IR, NR, IX | | | LRCX | is stronger than | IR, NR, LR, IX, LRIX, CX | | | SRCX | is stronger than | IR, NR, LR, SR, IX, LRIX, SRIX, CX, LRCX | | | SU | is stronger than | IR, NR, LR, SR, IX, LRIX, SRIX, CX, LRCX, SRCX, SX | | | SX | is stronger than | IR, NR, LR, SR, IX, LRIX, SRIX, CX, LRCX, SRCX, SU |
| | - | IR | NR | LR | SR | IX | LRIX | SRIX | CX | LRCX | SRCX | SU | SX | | IR | IR | IR | NR | LR | SR | IX | LRIX | SRIX | CX | LRCX | SRCX | SU | SX | | NR | NR | NR | NR | LR | SR | IX | LRIX | SRIX | CX | LRCX | SRCX | SU | SX | | LR | LR | LR | LR | LR | SR | LRIX | LRIX | SRIX | LRCX | LRCX | SRCX | SU | SX | | SR | SR | SR | SR | SR | SR | SRIX | SRIX | SRIX | SRCX | SRCX | SRCX | SR | SX | | IX | IX | IX | IX | LRIX | SRIX | IX | LRIX | SRIX | CX | LRCX | SRCX | SX | SX | | LRIX | LRIX | LRIX | LRIX | LRIX | SRIX | LRIX | LRIX | SRIX | LRCX | LRCX | SRCX | SX | SX | | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRIX | SRCX | SRCX | SRCX | SX | SX | | CX | CX | CX | CX | LRCX | SRCX | CX | LRCX | SRCX | CX | LRCX | SRCX | SX | SX | | LRCX | LRCX | LRCX | LRCX | LRCX | SRCX | LRCX | LRCX | SRCX | LRCX | LRCX | SRCX | SX | SX | | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SRCX | SX | SX | | SU | SU | SU | SU | SU | SU | SX | SX | SX | SX | SX | SX | SU | SX | | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX |
| | Conversion matrix for taDOM2+ |
Check of Conversion Matrix: Ok
|
