UniKL Logo

Lehrgebiet Informationssysteme

FB Informatik

FB Informatik
 
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
 

Correctness of the Conversion Matrix for taDOM3+

 Held
Lock
 Requested
Lock
 Resulting
Lock
 Description
The held lockIRfor the request ofIRis replaced withIRThis is correct.The already held lock is requested again.
The held lockIRfor the request ofNRis replaced withNRThis is correct.The resulting NR is stronger than the existing IR and requested NR.
The held lockIRfor the request ofLRis replaced withLRThis is correct.The resulting LR is stronger than the existing IR and requested LR.
The held lockIRfor the request ofSRis replaced withSRThis is correct.The resulting SR is stronger than the existing IR and requested SR.
The held lockIRfor the request ofIXis replaced withIXThis is correct.The resulting IX is stronger than the existing IR and requested IX.
The held lockIRfor the request ofNRIXis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing IR and requested NRIX.
The held lockIRfor the request ofLRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing IR and requested LRIX.
The held lockIRfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing IR and requested SRIX.
The held lockIRfor the request ofCXis replaced withCXThis is correct.The resulting CX is stronger than the existing IR and requested CX.
The held lockIRfor the request ofNRCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing IR and requested NRCX.
The held lockIRfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing IR and requested LRCX.
The held lockIRfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing IR and requested SRCX.
The held lockIRfor the request ofNUis replaced withNUThis is correct.The resulting NU is stronger than the existing IR and requested NU.
The resulting lock NU can be graded down to NR (in case of a further NR request) but NR is still stronger than the existing IR.
The held lockIRfor the request ofLRNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing IR and requested LRNU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request) but LR is still stronger than the existing IR.
The held lockIRfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing IR and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing IR.
The held lockIRfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing IR and requested NX.
The held lockIRfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing IR and requested LRNX.
The held lockIRfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing IR and requested SRNX.
The held lockIRfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing IR and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing IR.
The held lockIRfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing IR and requested SX.
The held lockNRfor the request ofIRis replaced withNRThis is correct.The resulting NR is stronger than the existing NR and requested IR.
The held lockNRfor the request ofNRis replaced withNRThis is correct.The already held lock is requested again.
The held lockNRfor the request ofLRis replaced withLRThis is correct.The resulting LR is stronger than the existing NR and requested LR.
The held lockNRfor the request ofSRis replaced withSRThis is correct.The resulting SR is stronger than the existing NR and requested SR.
The held lockNRfor the request ofIXis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing NR and requested IX.
The held lockNRfor the request ofNRIXis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing NR and requested NRIX.
The held lockNRfor the request ofLRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing NR and requested LRIX.
The held lockNRfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing NR and requested SRIX.
The held lockNRfor the request ofCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NR and requested CX.
The held lockNRfor the request ofNRCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NR and requested NRCX.
The held lockNRfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing NR and requested LRCX.
The held lockNRfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing NR and requested SRCX.
The held lockNRfor the request ofNUis replaced withNUThis is correct.The resulting NU is stronger than the existing NR and requested NU.
The resulting lock NU can be graded down to NR (in case of a further NR request) but NR is still stronger than the existing NR.
The held lockNRfor the request ofLRNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing NR and requested LRNU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request) but LR is still stronger than the existing NR.
The held lockNRfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing NR and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing NR.
The held lockNRfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing NR and requested NX.
The held lockNRfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NR and requested LRNX.
The held lockNRfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NR and requested SRNX.
The held lockNRfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing NR and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing NR.
The held lockNRfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing NR and requested SX.
The held lockLRfor the request ofIRis replaced withLRThis is correct.The resulting LR is stronger than the existing LR and requested IR.
The held lockLRfor the request ofNRis replaced withLRThis is correct.The resulting LR is stronger than the existing LR and requested NR.
The held lockLRfor the request ofLRis replaced withLRThis is correct.The already held lock is requested again.
The held lockLRfor the request ofSRis replaced withSRThis is correct.The resulting SR is stronger than the existing LR and requested SR.
The held lockLRfor the request ofIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LR and requested IX.
The held lockLRfor the request ofNRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LR and requested NRIX.
The held lockLRfor the request ofLRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LR and requested LRIX.
The held lockLRfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing LR and requested SRIX.
The held lockLRfor the request ofCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LR and requested CX.
The held lockLRfor the request ofNRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LR and requested NRCX.
The held lockLRfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LR and requested LRCX.
The held lockLRfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing LR and requested SRCX.
The held lockLRfor the request ofNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing LR and requested NU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request) but LR is still stronger than the existing LR.
The held lockLRfor the request ofLRNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing LR and requested LRNU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request) but LR is still stronger than the existing LR.
The held lockLRfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing LR and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing LR.
The held lockLRfor the request ofNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LR and requested NX.
The held lockLRfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LR and requested LRNX.
The held lockLRfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LR and requested SRNX.
The held lockLRfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing LR and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing LR.
The held lockLRfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing LR and requested SX.
The held lockSRfor the request ofIRis replaced withSRThis is correct.The resulting SR is stronger than the existing SR and requested IR.
The held lockSRfor the request ofNRis replaced withSRThis is correct.The resulting SR is stronger than the existing SR and requested NR.
The held lockSRfor the request ofLRis replaced withSRThis is correct.The resulting SR is stronger than the existing SR and requested LR.
The held lockSRfor the request ofSRis replaced withSRThis is correct.The already held lock is requested again.
The held lockSRfor the request ofIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SR and requested IX.
The held lockSRfor the request ofNRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SR and requested NRIX.
The held lockSRfor the request ofLRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SR and requested LRIX.
The held lockSRfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SR and requested SRIX.
The held lockSRfor the request ofCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SR and requested CX.
The held lockSRfor the request ofNRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SR and requested NRCX.
The held lockSRfor the request ofLRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SR and requested LRCX.
The held lockSRfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SR and requested SRCX.
The held lockSRfor the request ofNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SR and requested NU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing SR.
The held lockSRfor the request ofLRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SR and requested LRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing SR.
The held lockSRfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SR and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing SR.
The held lockSRfor the request ofNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SR and requested NX.
The held lockSRfor the request ofLRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SR and requested LRNX.
The held lockSRfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SR and requested SRNX.
The held lockSRfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing SR and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request) but SR is still stronger than the existing SR.
The held lockSRfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SR and requested SX.
The held lockIXfor the request ofIRis replaced withIXThis is correct.The resulting IX is stronger than the existing IX and requested IR.
The held lockIXfor the request ofNRis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing IX and requested NR.
The held lockIXfor the request ofLRis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing IX and requested LR.
The held lockIXfor the request ofSRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing IX and requested SR.
The held lockIXfor the request ofIXis replaced withIXThis is correct.The already held lock is requested again.
The held lockIXfor the request ofNRIXis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing IX and requested NRIX.
The held lockIXfor the request ofLRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing IX and requested LRIX.
The held lockIXfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing IX and requested SRIX.
The held lockIXfor the request ofCXis replaced withCXThis is correct.The resulting CX is stronger than the existing IX and requested CX.
The held lockIXfor the request ofNRCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing IX and requested NRCX.
The held lockIXfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing IX and requested LRCX.
The held lockIXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing IX and requested SRCX.
The held lockIXfor the request ofNUis replaced withNXThis is correct.The resulting NX is stronger than the existing IX and requested NU.
The held lockIXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing IX and requested LRNU.
The held lockIXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing IX and requested SRNU.
The held lockIXfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing IX and requested NX.
The held lockIXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing IX and requested LRNX.
The held lockIXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing IX and requested SRNX.
The held lockIXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing IX and requested SU.
The held lockIXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing IX and requested SX.
The held lockNRIXfor the request ofIRis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing NRIX and requested IR.
The held lockNRIXfor the request ofNRis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing NRIX and requested NR.
The held lockNRIXfor the request ofLRis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing NRIX and requested LR.
The held lockNRIXfor the request ofSRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing NRIX and requested SR.
The held lockNRIXfor the request ofIXis replaced withNRIXThis is correct.The resulting NRIX is stronger than the existing NRIX and requested IX.
The held lockNRIXfor the request ofNRIXis replaced withNRIXThis is correct.The already held lock is requested again.
The held lockNRIXfor the request ofLRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing NRIX and requested LRIX.
The held lockNRIXfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing NRIX and requested SRIX.
The held lockNRIXfor the request ofCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRIX and requested CX.
The held lockNRIXfor the request ofNRCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRIX and requested NRCX.
The held lockNRIXfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing NRIX and requested LRCX.
The held lockNRIXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing NRIX and requested SRCX.
The held lockNRIXfor the request ofNUis replaced withNXThis is correct.The resulting NX is stronger than the existing NRIX and requested NU.
The held lockNRIXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NRIX and requested LRNU.
The held lockNRIXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NRIX and requested SRNU.
The held lockNRIXfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing NRIX and requested NX.
The held lockNRIXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NRIX and requested LRNX.
The held lockNRIXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NRIX and requested SRNX.
The held lockNRIXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing NRIX and requested SU.
The held lockNRIXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing NRIX and requested SX.
The held lockLRIXfor the request ofIRis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LRIX and requested IR.
The held lockLRIXfor the request ofNRis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LRIX and requested NR.
The held lockLRIXfor the request ofLRis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LRIX and requested LR.
The held lockLRIXfor the request ofSRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing LRIX and requested SR.
The held lockLRIXfor the request ofIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LRIX and requested IX.
The held lockLRIXfor the request ofNRIXis replaced withLRIXThis is correct.The resulting LRIX is stronger than the existing LRIX and requested NRIX.
The held lockLRIXfor the request ofLRIXis replaced withLRIXThis is correct.The already held lock is requested again.
The held lockLRIXfor the request ofSRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing LRIX and requested SRIX.
The held lockLRIXfor the request ofCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRIX and requested CX.
The held lockLRIXfor the request ofNRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRIX and requested NRCX.
The held lockLRIXfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRIX and requested LRCX.
The held lockLRIXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing LRIX and requested SRCX.
The held lockLRIXfor the request ofNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRIX and requested NU.
The held lockLRIXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRIX and requested LRNU.
The held lockLRIXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRIX and requested SRNU.
The held lockLRIXfor the request ofNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRIX and requested NX.
The held lockLRIXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRIX and requested LRNX.
The held lockLRIXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRIX and requested SRNX.
The held lockLRIXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing LRIX and requested SU.
The held lockLRIXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing LRIX and requested SX.
The held lockSRIXfor the request ofIRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested IR.
The held lockSRIXfor the request ofNRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested NR.
The held lockSRIXfor the request ofLRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested LR.
The held lockSRIXfor the request ofSRis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested SR.
The held lockSRIXfor the request ofIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested IX.
The held lockSRIXfor the request ofNRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested NRIX.
The held lockSRIXfor the request ofLRIXis replaced withSRIXThis is correct.The resulting SRIX is stronger than the existing SRIX and requested LRIX.
The held lockSRIXfor the request ofSRIXis replaced withSRIXThis is correct.The already held lock is requested again.
The held lockSRIXfor the request ofCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRIX and requested CX.
The held lockSRIXfor the request ofNRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRIX and requested NRCX.
The held lockSRIXfor the request ofLRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRIX and requested LRCX.
The held lockSRIXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRIX and requested SRCX.
The held lockSRIXfor the request ofNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested NU.
The held lockSRIXfor the request ofLRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested LRNU.
The held lockSRIXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested SRNU.
The held lockSRIXfor the request ofNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested NX.
The held lockSRIXfor the request ofLRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested LRNX.
The held lockSRIXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRIX and requested SRNX.
The held lockSRIXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing SRIX and requested SU.
The held lockSRIXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SRIX and requested SX.
The held lockCXfor the request ofIRis replaced withCXThis is correct.The resulting CX is stronger than the existing CX and requested IR.
The held lockCXfor the request ofNRis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing CX and requested NR.
The held lockCXfor the request ofLRis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing CX and requested LR.
The held lockCXfor the request ofSRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing CX and requested SR.
The held lockCXfor the request ofIXis replaced withCXThis is correct.The resulting CX is stronger than the existing CX and requested IX.
The held lockCXfor the request ofNRIXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing CX and requested NRIX.
The held lockCXfor the request ofLRIXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing CX and requested LRIX.
The held lockCXfor the request ofSRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing CX and requested SRIX.
The held lockCXfor the request ofCXis replaced withCXThis is correct.The already held lock is requested again.
The held lockCXfor the request ofNRCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing CX and requested NRCX.
The held lockCXfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing CX and requested LRCX.
The held lockCXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing CX and requested SRCX.
The held lockCXfor the request ofNUis replaced withNXThis is correct.The resulting NX is stronger than the existing CX and requested NU.
The held lockCXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing CX and requested LRNU.
The held lockCXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing CX and requested SRNU.
The held lockCXfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing CX and requested NX.
The held lockCXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing CX and requested LRNX.
The held lockCXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing CX and requested SRNX.
The held lockCXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing CX and requested SU.
The held lockCXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing CX and requested SX.
The held lockNRCXfor the request ofIRis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRCX and requested IR.
The held lockNRCXfor the request ofNRis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRCX and requested NR.
The held lockNRCXfor the request ofLRis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing NRCX and requested LR.
The held lockNRCXfor the request ofSRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing NRCX and requested SR.
The held lockNRCXfor the request ofIXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRCX and requested IX.
The held lockNRCXfor the request ofNRIXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRCX and requested NRIX.
The held lockNRCXfor the request ofLRIXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing NRCX and requested LRIX.
The held lockNRCXfor the request ofSRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing NRCX and requested SRIX.
The held lockNRCXfor the request ofCXis replaced withNRCXThis is correct.The resulting NRCX is stronger than the existing NRCX and requested CX.
The held lockNRCXfor the request ofNRCXis replaced withNRCXThis is correct.The already held lock is requested again.
The held lockNRCXfor the request ofLRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing NRCX and requested LRCX.
The held lockNRCXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing NRCX and requested SRCX.
The held lockNRCXfor the request ofNUis replaced withNXThis is correct.The resulting NX is stronger than the existing NRCX and requested NU.
The held lockNRCXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NRCX and requested LRNU.
The held lockNRCXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NRCX and requested SRNU.
The held lockNRCXfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing NRCX and requested NX.
The held lockNRCXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NRCX and requested LRNX.
The held lockNRCXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NRCX and requested SRNX.
The held lockNRCXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing NRCX and requested SU.
The held lockNRCXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing NRCX and requested SX.
The held lockLRCXfor the request ofIRis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested IR.
The held lockLRCXfor the request ofNRis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested NR.
The held lockLRCXfor the request ofLRis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested LR.
The held lockLRCXfor the request ofSRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing LRCX and requested SR.
The held lockLRCXfor the request ofIXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested IX.
The held lockLRCXfor the request ofNRIXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested NRIX.
The held lockLRCXfor the request ofLRIXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested LRIX.
The held lockLRCXfor the request ofSRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing LRCX and requested SRIX.
The held lockLRCXfor the request ofCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested CX.
The held lockLRCXfor the request ofNRCXis replaced withLRCXThis is correct.The resulting LRCX is stronger than the existing LRCX and requested NRCX.
The held lockLRCXfor the request ofLRCXis replaced withLRCXThis is correct.The already held lock is requested again.
The held lockLRCXfor the request ofSRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing LRCX and requested SRCX.
The held lockLRCXfor the request ofNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRCX and requested NU.
The held lockLRCXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRCX and requested LRNU.
The held lockLRCXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRCX and requested SRNU.
The held lockLRCXfor the request ofNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRCX and requested NX.
The held lockLRCXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRCX and requested LRNX.
The held lockLRCXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRCX and requested SRNX.
The held lockLRCXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing LRCX and requested SU.
The held lockLRCXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing LRCX and requested SX.
The held lockSRCXfor the request ofIRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested IR.
The held lockSRCXfor the request ofNRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested NR.
The held lockSRCXfor the request ofLRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested LR.
The held lockSRCXfor the request ofSRis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested SR.
The held lockSRCXfor the request ofIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested IX.
The held lockSRCXfor the request ofNRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested NRIX.
The held lockSRCXfor the request ofLRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested LRIX.
The held lockSRCXfor the request ofSRIXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested SRIX.
The held lockSRCXfor the request ofCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested CX.
The held lockSRCXfor the request ofNRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested NRCX.
The held lockSRCXfor the request ofLRCXis replaced withSRCXThis is correct.The resulting SRCX is stronger than the existing SRCX and requested LRCX.
The held lockSRCXfor the request ofSRCXis replaced withSRCXThis is correct.The already held lock is requested again.
The held lockSRCXfor the request ofNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested NU.
The held lockSRCXfor the request ofLRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested LRNU.
The held lockSRCXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested SRNU.
The held lockSRCXfor the request ofNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested NX.
The held lockSRCXfor the request ofLRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested LRNX.
The held lockSRCXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRCX and requested SRNX.
The held lockSRCXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing SRCX and requested SU.
The held lockSRCXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SRCX and requested SX.
The held lockNUfor the request ofIRis replaced withNUThis is correct.The resulting NU is stronger than the existing NU and requested IR.
The resulting lock NU can be graded down to NR (in case of a further NR request), NR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofNRis replaced withNRThis is correct.Although the resulting lock NR is not stronger than the held lock NU, this lock conversion is correct because this situation is a intended downgrade from NU to NR.
The held lockNUfor the request ofLRis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing NU and requested LR.
The resulting lock LRNU can be graded down to LR (in case of a further LR request), LR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofSRis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing NU and requested SR.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofIXis replaced withNXThis is correct.The resulting NX is stronger than the existing NU and requested IX.
The held lockNUfor the request ofNRIXis replaced withNXThis is correct.The resulting NX is stronger than the existing NU and requested NRIX.
The held lockNUfor the request ofLRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NU and requested LRIX.
The held lockNUfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NU and requested SRIX.
The held lockNUfor the request ofCXis replaced withNXThis is correct.The resulting NX is stronger than the existing NU and requested CX.
The held lockNUfor the request ofNRCXis replaced withNXThis is correct.The resulting NX is stronger than the existing NU and requested NRCX.
The held lockNUfor the request ofLRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NU and requested LRCX.
The held lockNUfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NU and requested SRCX.
The held lockNUfor the request ofNUis replaced withNUThis is correct.The already held lock is requested again.
The held lockNUfor the request ofLRNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing NU and requested LRNU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request), LR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing NU and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofNXis replaced withNXThis is correct.The resulting NX is stronger than the existing NU and requested NX.
The held lockNUfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NU and requested LRNX.
The held lockNUfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NU and requested SRNX.
The held lockNUfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing NU and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing NU but this is an intended downgrade.
The held lockNUfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing NU and requested SX.
The held lockLRNUfor the request ofIRis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing LRNU and requested IR.
The resulting lock LRNU can be graded down to LR (in case of a further LR request), LR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofNRis replaced withLRThis is correct.Although the resulting lock LR is not stronger than the held lock LRNU, this lock conversion is correct because this situation is a intended downgrade from LRNU to LR.
The held lockLRNUfor the request ofLRis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing LRNU and requested LR.
The resulting lock LRNU can be graded down to LR (in case of a further LR request), LR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofSRis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing LRNU and requested SR.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested IX.
The held lockLRNUfor the request ofNRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested NRIX.
The held lockLRNUfor the request ofLRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested LRIX.
The held lockLRNUfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNU and requested SRIX.
The held lockLRNUfor the request ofCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested CX.
The held lockLRNUfor the request ofNRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested NRCX.
The held lockLRNUfor the request ofLRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested LRCX.
The held lockLRNUfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNU and requested SRCX.
The held lockLRNUfor the request ofNUis replaced withLRNUThis is correct.The resulting LRNU is stronger than the existing LRNU and requested NU.
The resulting lock LRNU can be graded down to LR (in case of a further LR request), LR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofLRNUis replaced withLRNUThis is correct.The already held lock is requested again.
The held lockLRNUfor the request ofSRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing LRNU and requested SRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested NX.
The held lockLRNUfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNU and requested LRNX.
The held lockLRNUfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNU and requested SRNX.
The held lockLRNUfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing LRNU and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing LRNU but this is an intended downgrade.
The held lockLRNUfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing LRNU and requested SX.
The held lockSRNUfor the request ofIRis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SRNU and requested IR.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofNRis replaced withSRThis is correct.Although the resulting lock SR is not stronger than the held lock SRNU, this lock conversion is correct because this situation is a intended downgrade from SRNU to SR.
The held lockSRNUfor the request ofLRis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SRNU and requested LR.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofSRis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SRNU and requested SR.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested IX.
The held lockSRNUfor the request ofNRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested NRIX.
The held lockSRNUfor the request ofLRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested LRIX.
The held lockSRNUfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested SRIX.
The held lockSRNUfor the request ofCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested CX.
The held lockSRNUfor the request ofNRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested NRCX.
The held lockSRNUfor the request ofLRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested LRCX.
The held lockSRNUfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested SRCX.
The held lockSRNUfor the request ofNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SRNU and requested NU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofLRNUis replaced withSRNUThis is correct.The resulting SRNU is stronger than the existing SRNU and requested LRNU.
The resulting lock SRNU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofSRNUis replaced withSRNUThis is correct.The already held lock is requested again.
The held lockSRNUfor the request ofNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested NX.
The held lockSRNUfor the request ofLRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested LRNX.
The held lockSRNUfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNU and requested SRNX.
The held lockSRNUfor the request ofSUis replaced withSUThis is correct.The resulting SU is stronger than the existing SRNU and requested SU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SRNU but this is an intended downgrade.
The held lockSRNUfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SRNU and requested SX.
The held lockNXfor the request ofIRis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested IR.
The held lockNXfor the request ofNRis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested NR.
The held lockNXfor the request ofLRis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NX and requested LR.
The held lockNXfor the request ofSRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NX and requested SR.
The held lockNXfor the request ofIXis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested IX.
The held lockNXfor the request ofNRIXis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested NRIX.
The held lockNXfor the request ofLRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NX and requested LRIX.
The held lockNXfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NX and requested SRIX.
The held lockNXfor the request ofCXis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested CX.
The held lockNXfor the request ofNRCXis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested NRCX.
The held lockNXfor the request ofLRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NX and requested LRCX.
The held lockNXfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NX and requested SRCX.
The held lockNXfor the request ofNUis replaced withNXThis is correct.The resulting NX is stronger than the existing NX and requested NU.
The held lockNXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NX and requested LRNU.
The held lockNXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NX and requested SRNU.
The held lockNXfor the request ofNXis replaced withNXThis is correct.The already held lock is requested again.
The held lockNXfor the request ofLRNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing NX and requested LRNX.
The held lockNXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing NX and requested SRNX.
The held lockNXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing NX and requested SU.
The held lockNXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing NX and requested SX.
The held lockLRNXfor the request ofIRis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested IR.
The held lockLRNXfor the request ofNRis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested NR.
The held lockLRNXfor the request ofLRis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested LR.
The held lockLRNXfor the request ofSRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNX and requested SR.
The held lockLRNXfor the request ofIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested IX.
The held lockLRNXfor the request ofNRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested NRIX.
The held lockLRNXfor the request ofLRIXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested LRIX.
The held lockLRNXfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNX and requested SRIX.
The held lockLRNXfor the request ofCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested CX.
The held lockLRNXfor the request ofNRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested NRCX.
The held lockLRNXfor the request ofLRCXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested LRCX.
The held lockLRNXfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNX and requested SRCX.
The held lockLRNXfor the request ofNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested NU.
The held lockLRNXfor the request ofLRNUis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested LRNU.
The held lockLRNXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNX and requested SRNU.
The held lockLRNXfor the request ofNXis replaced withLRNXThis is correct.The resulting LRNX is stronger than the existing LRNX and requested NX.
The held lockLRNXfor the request ofLRNXis replaced withLRNXThis is correct.The already held lock is requested again.
The held lockLRNXfor the request ofSRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing LRNX and requested SRNX.
The held lockLRNXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing LRNX and requested SU.
The held lockLRNXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing LRNX and requested SX.
The held lockSRNXfor the request ofIRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested IR.
The held lockSRNXfor the request ofNRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested NR.
The held lockSRNXfor the request ofLRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested LR.
The held lockSRNXfor the request ofSRis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested SR.
The held lockSRNXfor the request ofIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested IX.
The held lockSRNXfor the request ofNRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested NRIX.
The held lockSRNXfor the request ofLRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested LRIX.
The held lockSRNXfor the request ofSRIXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested SRIX.
The held lockSRNXfor the request ofCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested CX.
The held lockSRNXfor the request ofNRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested NRCX.
The held lockSRNXfor the request ofLRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested LRCX.
The held lockSRNXfor the request ofSRCXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested SRCX.
The held lockSRNXfor the request ofNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested NU.
The held lockSRNXfor the request ofLRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested LRNU.
The held lockSRNXfor the request ofSRNUis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested SRNU.
The held lockSRNXfor the request ofNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested NX.
The held lockSRNXfor the request ofLRNXis replaced withSRNXThis is correct.The resulting SRNX is stronger than the existing SRNX and requested LRNX.
The held lockSRNXfor the request ofSRNXis replaced withSRNXThis is correct.The already held lock is requested again.
The held lockSRNXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing SRNX and requested SU.
The held lockSRNXfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SRNX and requested SX.
The held lockSUfor the request ofIRis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested IR.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofNRis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested NR.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofLRis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested LR.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofSRis replaced withSRThis is correct.Although the resulting lock SR is not stronger than the held lock SU, this lock conversion is correct because this situation is a intended downgrade from SU to SR.
The held lockSUfor the request ofIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested IX.
The held lockSUfor the request ofNRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested NRIX.
The held lockSUfor the request ofLRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested LRIX.
The held lockSUfor the request ofSRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested SRIX.
The held lockSUfor the request ofCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested CX.
The held lockSUfor the request ofNRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested NRCX.
The held lockSUfor the request ofLRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested LRCX.
The held lockSUfor the request ofSRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested SRCX.
The held lockSUfor the request ofNUis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested NU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofLRNUis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested LRNU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofSRNUis replaced withSUThis is correct.The resulting SU is stronger than the existing SU and requested SRNU.
The resulting lock SU can be graded down to SR (in case of a further SR request), SR is not stronger than the existing SU but this is an intended downgrade.
The held lockSUfor the request ofNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested NX.
The held lockSUfor the request ofLRNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested LRNX.
The held lockSUfor the request ofSRNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested SRNX.
The held lockSUfor the request ofSUis replaced withSUThis is correct.The already held lock is requested again.
The held lockSUfor the request ofSXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested SX.
The held lockSXfor the request ofIRis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested IR.
The held lockSXfor the request ofNRis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested NR.
The held lockSXfor the request ofLRis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested LR.
The held lockSXfor the request ofSRis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SR.
The held lockSXfor the request ofIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested IX.
The held lockSXfor the request ofNRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested NRIX.
The held lockSXfor the request ofLRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested LRIX.
The held lockSXfor the request ofSRIXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SRIX.
The held lockSXfor the request ofCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested CX.
The held lockSXfor the request ofNRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested NRCX.
The held lockSXfor the request ofLRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested LRCX.
The held lockSXfor the request ofSRCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SRCX.
The held lockSXfor the request ofNUis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested NU.
The held lockSXfor the request ofLRNUis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested LRNU.
The held lockSXfor the request ofSRNUis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SRNU.
The held lockSXfor the request ofNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested NX.
The held lockSXfor the request ofLRNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested LRNX.
The held lockSXfor the request ofSRNXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SRNX.
The held lockSXfor the request ofSUis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested SU.
The held lockSXfor the request ofSXis replaced withSXThis is correct.The already held lock is requested again.