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 taDOM2

 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 ofCXis replaced withCXThis is correct.The resulting CX is stronger than the existing IR and requested CX.
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 withIXThis is correct.The resulting IX is stronger than the existing NR and requested IX.
The held lockNRfor the request ofCXis replaced withCXThis is correct.The resulting CX is stronger than the existing NR and requested CX.
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 withIXNRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
LR on CO, no lock on CH
+++++-+-
Requested lock before conversion:
IX on CO, no lock on CH
+++-++--
Locks after conversion:
IX on CO, NR on CH
+
Ok
+
Ok
+
Ok
-
Ok
+
Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH unblocked
CX on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH unblocked
CX on CH unblocked
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
LR on CO, no lock on CH
+++++++-
CX on CO for SX on CH
incomp. to LR on CO
Requested lock before conversion:
IX on CO, no lock on CH
++++++++
Locks after conversion:
IX on CO, NR on CH
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
-
SX on CH
incomp. to NR on CH
Ok
The held lockLRfor the request ofCXis replaced withCXNRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
LR on CO, no lock on CH
+++++-+-
Requested lock before conversion:
CX on CO, no lock on CH
++--++--
Locks after conversion:
CX on CO, NR on CH
+
Ok
+
Ok
-
Ok
-
Ok
+
Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH unblocked
CX on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH unblocked
CX on CH unblocked
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
LR on CO, no lock on CH
+++++++-
CX on CO for SX on CH
incomp. to LR on CO
Requested lock before conversion:
CX on CO, no lock on CH
++++++++
Locks after conversion:
CX on CO, NR on CH
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
-
SX on CH
incomp. to NR on CH
Ok
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 withIXSRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
SR on CO, no lock on CH
++++--+-
Requested lock before conversion:
IX on CO, no lock on CH
+++-++--
Locks after conversion:
IX on CO, SR on CH
+
Ok
+
Ok
+
Ok
-
Ok
+
Acceptable ?
IX results from conversion:
IR and IX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
NR and IX:NR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
LR and IX:LR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
SR and IX:SR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
IX and IR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
IX and NR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
IX and LR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
IX and SR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
IX and IX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.

Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
SR on CO, no lock on CH
++++-
IX on CO for IX on CH
incomp. to SR on CO
-
IX on CO for CX on CH
incomp. to SR on CO
+-
CX on CO for SX on CH
incomp. to SR on CO
Requested lock before conversion:
IX on CO, no lock on CH
++++++++
Locks after conversion:
IX on CO, SR on CH
+
Ok
+
Ok
+
Ok
+
Ok
-
IX on CH
incomp. to SR on CH
Ok
-
CX on CH
incomp. to SR on CH
Ok
+
Ok
-
SX on CH
incomp. to SR on CH
Ok
The held lockSRfor the request ofCXis replaced withCXSRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
SR on CO, no lock on CH
++++--+-
Requested lock before conversion:
CX on CO, no lock on CH
++--++--
Locks after conversion:
CX on CO, SR on CH
+
Ok
+
Ok
-
Ok
-
Ok
+
Acceptable ?
IX results from conversion:
IR and IX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
NR and IX:NR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
LR and IX:LR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
SR and IX:SR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
IX and IR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
IX and NR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
IX and LR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
IX and SR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
IX and IX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.

Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
SR on CO, no lock on CH
++++-
IX on CO for IX on CH
incomp. to SR on CO
-
IX on CO for CX on CH
incomp. to SR on CO
+-
CX on CO for SX on CH
incomp. to SR on CO
Requested lock before conversion:
CX on CO, no lock on CH
++++++++
Locks after conversion:
CX on CO, SR on CH
+
Ok
+
Ok
+
Ok
+
Ok
-
IX on CH
incomp. to SR on CH
Ok
-
CX on CH
incomp. to SR on CH
Ok
+
Ok
-
SX on CH
incomp. to SR on CH
Ok
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 withIXThis is correct.The resulting IX is stronger than the existing IX and requested NR.
The held lockIXfor the request ofLRis replaced withIXNRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
IX on CO, no lock on CH
+++-++--
Requested lock before conversion:
LR on CO, no lock on CH
+++++-+-
Locks after conversion:
IX on CO, NR on CH
+
Ok
+
Ok
+
Ok
-
Ok
+
Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH unblocked
CX on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH unblocked
CX on CH unblocked
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
IX on CO, no lock on CH
++++++++
Requested lock before conversion:
LR on CO, no lock on CH
+++++++-
CX on CO for SX on CH
incomp. to LR on CO
Locks after conversion:
IX on CO, NR on CH
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
-
SX on CH
incomp. to NR on CH
Ok
The held lockIXfor the request ofSRis replaced withIXSRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
IX on CO, no lock on CH
+++-++--
Requested lock before conversion:
SR on CO, no lock on CH
++++--+-
Locks after conversion:
IX on CO, SR on CH
+
Ok
+
Ok
+
Ok
-
Ok
+
Acceptable ?
IX results from conversion:
IR and IX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
NR and IX:NR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
LR and IX:LR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
SR and IX:SR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
IX and IR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
IX and NR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
IX and LR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
IX and SR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
IX and IX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.

Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
IX on CO, no lock on CH
++++++++
Requested lock before conversion:
SR on CO, no lock on CH
++++-
IX on CO for IX on CH
incomp. to SR on CO
-
IX on CO for CX on CH
incomp. to SR on CO
+-
CX on CO for SX on CH
incomp. to SR on CO
Locks after conversion:
IX on CO, SR on CH
+
Ok
+
Ok
+
Ok
+
Ok
-
IX on CH
incomp. to SR on CH
Ok
-
CX on CH
incomp. to SR on CH
Ok
+
Ok
-
SX on CH
incomp. to SR on CH
Ok
The held lockIXfor the request ofIXis replaced withIXThis is correct.The already held lock is requested again.
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 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 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 withCXThis is correct.The resulting CX is stronger than the existing CX and requested NR.
The held lockCXfor the request ofLRis replaced withCXNRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
CX on CO, no lock on CH
++--++--
Requested lock before conversion:
LR on CO, no lock on CH
+++++-+-
Locks after conversion:
CX on CO, NR on CH
+
Ok
+
Ok
-
Ok
-
Ok
+
Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH unblocked
CX on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH unblocked
CX on CH unblocked
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
CX on CO, no lock on CH
++++++++
Requested lock before conversion:
LR on CO, no lock on CH
+++++++-
CX on CO for SX on CH
incomp. to LR on CO
Locks after conversion:
CX on CO, NR on CH
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
+
Ok
-
SX on CH
incomp. to NR on CH
Ok
The held lockCXfor the request ofSRis replaced withCXSRThis is correct.
Lock request on COIRNRLRSRIXCXSUSX
Held lock before conversion:
CX on CO, no lock on CH
++--++--
Requested lock before conversion:
SR on CO, no lock on CH
++++--+-
Locks after conversion:
CX on CO, SR on CH
+
Ok
+
Ok
-
Ok
-
Ok
+
Acceptable ?
IX results from conversion:
IR and IX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
NR and IX:NR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
LR and IX:LR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
SR and IX:SR on CO requested from

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
IX and IR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
IX and NR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
IX and LR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
IX and SR:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
IX and IX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.

Ok
+
Acceptable ?
CX results from conversion:
IR and CX:IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
NR and CX:NR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
LR and CX:LR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
SR and CX:SR on CO requested from

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
IX and CX:IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.
CX and IR:CX on CO requested from
SX on CH blocked

All blocked.
IR on CO requested from
IR on CH unblocked
NR on CH unblocked
LR on CH unblocked
SR on CH unblocked
SU on CH unblocked
 At least one completely blocked.
CX and NR:CX on CO requested from
SX on CH blocked

All blocked.
NR on CO requested from

All blocked.
 At least one completely blocked.
CX and LR:CX on CO requested from
SX on CH blocked

All blocked.
LR on CO requested from

All blocked.
 At least one completely blocked.
CX and SR:CX on CO requested from
SX on CH blocked

All blocked.
SR on CO requested from

All blocked.
 At least one completely blocked.
CX and IX:CX on CO requested from
SX on CH blocked

All blocked.
IX on CO requested from
IX on CH blocked
CX on CH blocked

All blocked.
 At least one completely blocked.
CX and CX:CX on CO requested from
SX on CH blocked

All blocked.
CX on CO requested from
SX on CH blocked

All blocked.
 At least one completely blocked.

Ok
-
Ok
-
Ok

Lock request on CHIRNRLRSRIXCXSUSX
Held lock before conversion:
CX on CO, no lock on CH
++++++++
Requested lock before conversion:
SR on CO, no lock on CH
++++-
IX on CO for IX on CH
incomp. to SR on CO
-
IX on CO for CX on CH
incomp. to SR on CO
+-
CX on CO for SX on CH
incomp. to SR on CO
Locks after conversion:
CX on CO, SR on CH
+
Ok
+
Ok
+
Ok
+
Ok
-
IX on CH
incomp. to SR on CH
Ok
-
CX on CH
incomp. to SR on CH
Ok
+
Ok
-
SX on CH
incomp. to SR on CH
Ok
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 ofCXis replaced withCXThis is correct.The already held lock is requested again.
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 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 ofCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SU and requested CX.
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 ofCXis replaced withSXThis is correct.The resulting SX is stronger than the existing SX and requested CX.
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.