|
|
|
 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. | | | 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. | | | NU | IR | Node update: The context node has been read. Possible downgrade to NR or upgrade to NX. | | | NX | CX | Node exclusive: 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 | NRIX | CX | NRCX | NU | NX | SU | SX | | IR | + | + | + | + | + | + | + | + | + | + | + | - | - | | NR | + | + | + | + | + | + | + | + | + | - | - | - | - | | LR | + | + | + | + | + | + | + | - | - | - | - | - | - | | SR | + | + | + | + | + | - | - | - | - | - | - | - | - | | IX | + | + | + | + | - | + | + | + | + | + | + | - | - | | NRIX | + | + | + | + | - | + | + | + | + | - | - | - | - | | CX | + | + | + | - | - | + | + | + | + | + | + | - | - | | NRCX | + | + | + | - | - | + | + | + | + | - | - | - | - | | NU | + | + | + | + | + | + | + | + | + | - | - | - | - | | NX | + | + | - | - | - | + | - | + | - | - | - | - | - | | 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 | | | CX | is stronger than | IR, IX | | | NRCX | is stronger than | IR, NR, IX, NRIX, CX | | | NU | is stronger than | IR, NR, IX, NRIX, CX, NRCX, NX | | | NX | is stronger than | IR, NR, IX, NRIX, CX, NRCX, NU | | | SU | is stronger than | IR, NR, LR, SR, IX, NRIX, CX, NRCX, NU, NX, SX | | | SX | is stronger than | IR, NR, LR, SR, IX, NRIX, CX, NRCX, NU, NX, SU |
| | - | IR | NR | LR | SR | IX | NRIX | CX | NRCX | NU | NX | SU | SX | | IR | IR | IR | NR | LR | SR | IX | NRIX | CX | NRCX | NU | NX | SU | SX | | NR | NR | NR | NR | LR | SR | NRIX | NRIX | NRCX | NRCX | NR | NX | SU | SX | | LR | LR | LR | LR | LR | SR | NRIXNR | NRIXNR | NRCXNR | NRCXNR | NUNR | NXNR | SU | SX | | SR | SR | SR | SR | SR | SR | NRIXSR | NRIXSR | NRCXSR | NRCXSR | NUSR | NXSR | SR | SX | | IX | IX | IX | NRIX | NRIXNR | NRIXSR | IX | NRIX | CX | NRCX | NX | NX | SX | SX | | NRIX | NRIX | NRIX | NRIX | NRIXNR | NRIXSR | NRIX | NRIX | NRCX | NRCX | NX | NX | SX | SX | | CX | CX | CX | NRCX | NRCXNR | NRCXSR | CX | NRCX | CX | NRCX | NX | NX | SX | SX | | NRCX | NRCX | NRCX | NRCX | NRCXNR | NRCXSR | NRCX | NRCX | NRCX | NRCX | NX | NX | SX | SX | | NU | NU | NU | NU | NUNR | NUSR | NX | NX | NX | NX | NU | NX | SU | SX | | NX | NX | NX | NX | NXNR | NXSR | NX | NX | NX | NX | NX | NX | SX | SX | | SU | SU | SU | SU | SU | SU | SX | SX | SX | SX | SU | SX | SU | SX | | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX | SX |
| | Conversion matrix for taDOM3 |
Check of Conversion Matrix: Ok
|
