Lehrgebiet Informationssysteme

FB Informatik

LG IS

AG DBIS

(C) AG DBIS

Correctness of the Conversion Matrix for taDOM3+

	Held Lock		Requested Lock		Resulting Lock		Description
The held lock	IR	for the request of	IR	is replaced with	IR	This is correct.	The already held lock is requested again.
The held lock	IR	for the request of	NR	is replaced with	NR	This is correct.	The resulting NR is stronger than the existing IR and requested NR.
The held lock	IR	for the request of	LR	is replaced with	LR	This is correct.	The resulting LR is stronger than the existing IR and requested LR.
The held lock	IR	for the request of	SR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing IR and requested SR.
The held lock	IR	for the request of	IX	is replaced with	IX	This is correct.	The resulting IX is stronger than the existing IR and requested IX.
The held lock	IR	for the request of	NRIX	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing IR and requested NRIX.
The held lock	IR	for the request of	LRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing IR and requested LRIX.
The held lock	IR	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing IR and requested SRIX.
The held lock	IR	for the request of	CX	is replaced with	CX	This is correct.	The resulting CX is stronger than the existing IR and requested CX.
The held lock	IR	for the request of	NRCX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing IR and requested NRCX.
The held lock	IR	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing IR and requested LRCX.
The held lock	IR	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing IR and requested SRCX.
The held lock	IR	for the request of	NU	is replaced with	NU	This 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 lock	IR	for the request of	LRNU	is replaced with	LRNU	This 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 lock	IR	for the request of	SRNU	is replaced with	SRNU	This 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 lock	IR	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing IR and requested NX.
The held lock	IR	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing IR and requested LRNX.
The held lock	IR	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing IR and requested SRNX.
The held lock	IR	for the request of	SU	is replaced with	SU	This 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 lock	IR	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing IR and requested SX.
The held lock	NR	for the request of	IR	is replaced with	NR	This is correct.	The resulting NR is stronger than the existing NR and requested IR.
The held lock	NR	for the request of	NR	is replaced with	NR	This is correct.	The already held lock is requested again.
The held lock	NR	for the request of	LR	is replaced with	LR	This is correct.	The resulting LR is stronger than the existing NR and requested LR.
The held lock	NR	for the request of	SR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing NR and requested SR.
The held lock	NR	for the request of	IX	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing NR and requested IX.
The held lock	NR	for the request of	NRIX	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing NR and requested NRIX.
The held lock	NR	for the request of	LRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing NR and requested LRIX.
The held lock	NR	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing NR and requested SRIX.
The held lock	NR	for the request of	CX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NR and requested CX.
The held lock	NR	for the request of	NRCX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NR and requested NRCX.
The held lock	NR	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing NR and requested LRCX.
The held lock	NR	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing NR and requested SRCX.
The held lock	NR	for the request of	NU	is replaced with	NU	This 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 lock	NR	for the request of	LRNU	is replaced with	LRNU	This 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 lock	NR	for the request of	SRNU	is replaced with	SRNU	This 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 lock	NR	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NR and requested NX.
The held lock	NR	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NR and requested LRNX.
The held lock	NR	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NR and requested SRNX.
The held lock	NR	for the request of	SU	is replaced with	SU	This 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 lock	NR	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NR and requested SX.
The held lock	LR	for the request of	IR	is replaced with	LR	This is correct.	The resulting LR is stronger than the existing LR and requested IR.
The held lock	LR	for the request of	NR	is replaced with	LR	This is correct.	The resulting LR is stronger than the existing LR and requested NR.
The held lock	LR	for the request of	LR	is replaced with	LR	This is correct.	The already held lock is requested again.
The held lock	LR	for the request of	SR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing LR and requested SR.
The held lock	LR	for the request of	IX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LR and requested IX.
The held lock	LR	for the request of	NRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LR and requested NRIX.
The held lock	LR	for the request of	LRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LR and requested LRIX.
The held lock	LR	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing LR and requested SRIX.
The held lock	LR	for the request of	CX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LR and requested CX.
The held lock	LR	for the request of	NRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LR and requested NRCX.
The held lock	LR	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LR and requested LRCX.
The held lock	LR	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing LR and requested SRCX.
The held lock	LR	for the request of	NU	is replaced with	LRNU	This 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 lock	LR	for the request of	LRNU	is replaced with	LRNU	This 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 lock	LR	for the request of	SRNU	is replaced with	SRNU	This 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 lock	LR	for the request of	NX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LR and requested NX.
The held lock	LR	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LR and requested LRNX.
The held lock	LR	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LR and requested SRNX.
The held lock	LR	for the request of	SU	is replaced with	SU	This 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 lock	LR	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LR and requested SX.
The held lock	SR	for the request of	IR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing SR and requested IR.
The held lock	SR	for the request of	NR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing SR and requested NR.
The held lock	SR	for the request of	LR	is replaced with	SR	This is correct.	The resulting SR is stronger than the existing SR and requested LR.
The held lock	SR	for the request of	SR	is replaced with	SR	This is correct.	The already held lock is requested again.
The held lock	SR	for the request of	IX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SR and requested IX.
The held lock	SR	for the request of	NRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SR and requested NRIX.
The held lock	SR	for the request of	LRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SR and requested LRIX.
The held lock	SR	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SR and requested SRIX.
The held lock	SR	for the request of	CX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SR and requested CX.
The held lock	SR	for the request of	NRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SR and requested NRCX.
The held lock	SR	for the request of	LRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SR and requested LRCX.
The held lock	SR	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SR and requested SRCX.
The held lock	SR	for the request of	NU	is replaced with	SRNU	This 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 lock	SR	for the request of	LRNU	is replaced with	SRNU	This 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 lock	SR	for the request of	SRNU	is replaced with	SRNU	This 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 lock	SR	for the request of	NX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SR and requested NX.
The held lock	SR	for the request of	LRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SR and requested LRNX.
The held lock	SR	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SR and requested SRNX.
The held lock	SR	for the request of	SU	is replaced with	SU	This 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 lock	SR	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SR and requested SX.
The held lock	IX	for the request of	IR	is replaced with	IX	This is correct.	The resulting IX is stronger than the existing IX and requested IR.
The held lock	IX	for the request of	NR	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing IX and requested NR.
The held lock	IX	for the request of	LR	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing IX and requested LR.
The held lock	IX	for the request of	SR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing IX and requested SR.
The held lock	IX	for the request of	IX	is replaced with	IX	This is correct.	The already held lock is requested again.
The held lock	IX	for the request of	NRIX	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing IX and requested NRIX.
The held lock	IX	for the request of	LRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing IX and requested LRIX.
The held lock	IX	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing IX and requested SRIX.
The held lock	IX	for the request of	CX	is replaced with	CX	This is correct.	The resulting CX is stronger than the existing IX and requested CX.
The held lock	IX	for the request of	NRCX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing IX and requested NRCX.
The held lock	IX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing IX and requested LRCX.
The held lock	IX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing IX and requested SRCX.
The held lock	IX	for the request of	NU	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing IX and requested NU.
The held lock	IX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing IX and requested LRNU.
The held lock	IX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing IX and requested SRNU.
The held lock	IX	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing IX and requested NX.
The held lock	IX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing IX and requested LRNX.
The held lock	IX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing IX and requested SRNX.
The held lock	IX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing IX and requested SU.
The held lock	IX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing IX and requested SX.
The held lock	NRIX	for the request of	IR	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing NRIX and requested IR.
The held lock	NRIX	for the request of	NR	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing NRIX and requested NR.
The held lock	NRIX	for the request of	LR	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing NRIX and requested LR.
The held lock	NRIX	for the request of	SR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing NRIX and requested SR.
The held lock	NRIX	for the request of	IX	is replaced with	NRIX	This is correct.	The resulting NRIX is stronger than the existing NRIX and requested IX.
The held lock	NRIX	for the request of	NRIX	is replaced with	NRIX	This is correct.	The already held lock is requested again.
The held lock	NRIX	for the request of	LRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing NRIX and requested LRIX.
The held lock	NRIX	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing NRIX and requested SRIX.
The held lock	NRIX	for the request of	CX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRIX and requested CX.
The held lock	NRIX	for the request of	NRCX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRIX and requested NRCX.
The held lock	NRIX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing NRIX and requested LRCX.
The held lock	NRIX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing NRIX and requested SRCX.
The held lock	NRIX	for the request of	NU	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NRIX and requested NU.
The held lock	NRIX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NRIX and requested LRNU.
The held lock	NRIX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NRIX and requested SRNU.
The held lock	NRIX	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NRIX and requested NX.
The held lock	NRIX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NRIX and requested LRNX.
The held lock	NRIX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NRIX and requested SRNX.
The held lock	NRIX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NRIX and requested SU.
The held lock	NRIX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NRIX and requested SX.
The held lock	LRIX	for the request of	IR	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LRIX and requested IR.
The held lock	LRIX	for the request of	NR	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LRIX and requested NR.
The held lock	LRIX	for the request of	LR	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LRIX and requested LR.
The held lock	LRIX	for the request of	SR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing LRIX and requested SR.
The held lock	LRIX	for the request of	IX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LRIX and requested IX.
The held lock	LRIX	for the request of	NRIX	is replaced with	LRIX	This is correct.	The resulting LRIX is stronger than the existing LRIX and requested NRIX.
The held lock	LRIX	for the request of	LRIX	is replaced with	LRIX	This is correct.	The already held lock is requested again.
The held lock	LRIX	for the request of	SRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing LRIX and requested SRIX.
The held lock	LRIX	for the request of	CX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRIX and requested CX.
The held lock	LRIX	for the request of	NRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRIX and requested NRCX.
The held lock	LRIX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRIX and requested LRCX.
The held lock	LRIX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing LRIX and requested SRCX.
The held lock	LRIX	for the request of	NU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRIX and requested NU.
The held lock	LRIX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRIX and requested LRNU.
The held lock	LRIX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRIX and requested SRNU.
The held lock	LRIX	for the request of	NX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRIX and requested NX.
The held lock	LRIX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRIX and requested LRNX.
The held lock	LRIX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRIX and requested SRNX.
The held lock	LRIX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRIX and requested SU.
The held lock	LRIX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRIX and requested SX.
The held lock	SRIX	for the request of	IR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested IR.
The held lock	SRIX	for the request of	NR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested NR.
The held lock	SRIX	for the request of	LR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested LR.
The held lock	SRIX	for the request of	SR	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested SR.
The held lock	SRIX	for the request of	IX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested IX.
The held lock	SRIX	for the request of	NRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested NRIX.
The held lock	SRIX	for the request of	LRIX	is replaced with	SRIX	This is correct.	The resulting SRIX is stronger than the existing SRIX and requested LRIX.
The held lock	SRIX	for the request of	SRIX	is replaced with	SRIX	This is correct.	The already held lock is requested again.
The held lock	SRIX	for the request of	CX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRIX and requested CX.
The held lock	SRIX	for the request of	NRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRIX and requested NRCX.
The held lock	SRIX	for the request of	LRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRIX and requested LRCX.
The held lock	SRIX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRIX and requested SRCX.
The held lock	SRIX	for the request of	NU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested NU.
The held lock	SRIX	for the request of	LRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested LRNU.
The held lock	SRIX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested SRNU.
The held lock	SRIX	for the request of	NX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested NX.
The held lock	SRIX	for the request of	LRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested LRNX.
The held lock	SRIX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRIX and requested SRNX.
The held lock	SRIX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRIX and requested SU.
The held lock	SRIX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRIX and requested SX.
The held lock	CX	for the request of	IR	is replaced with	CX	This is correct.	The resulting CX is stronger than the existing CX and requested IR.
The held lock	CX	for the request of	NR	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing CX and requested NR.
The held lock	CX	for the request of	LR	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing CX and requested LR.
The held lock	CX	for the request of	SR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing CX and requested SR.
The held lock	CX	for the request of	IX	is replaced with	CX	This is correct.	The resulting CX is stronger than the existing CX and requested IX.
The held lock	CX	for the request of	NRIX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing CX and requested NRIX.
The held lock	CX	for the request of	LRIX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing CX and requested LRIX.
The held lock	CX	for the request of	SRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing CX and requested SRIX.
The held lock	CX	for the request of	CX	is replaced with	CX	This is correct.	The already held lock is requested again.
The held lock	CX	for the request of	NRCX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing CX and requested NRCX.
The held lock	CX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing CX and requested LRCX.
The held lock	CX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing CX and requested SRCX.
The held lock	CX	for the request of	NU	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing CX and requested NU.
The held lock	CX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing CX and requested LRNU.
The held lock	CX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing CX and requested SRNU.
The held lock	CX	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing CX and requested NX.
The held lock	CX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing CX and requested LRNX.
The held lock	CX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing CX and requested SRNX.
The held lock	CX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing CX and requested SU.
The held lock	CX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing CX and requested SX.
The held lock	NRCX	for the request of	IR	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRCX and requested IR.
The held lock	NRCX	for the request of	NR	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRCX and requested NR.
The held lock	NRCX	for the request of	LR	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing NRCX and requested LR.
The held lock	NRCX	for the request of	SR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing NRCX and requested SR.
The held lock	NRCX	for the request of	IX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRCX and requested IX.
The held lock	NRCX	for the request of	NRIX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRCX and requested NRIX.
The held lock	NRCX	for the request of	LRIX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing NRCX and requested LRIX.
The held lock	NRCX	for the request of	SRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing NRCX and requested SRIX.
The held lock	NRCX	for the request of	CX	is replaced with	NRCX	This is correct.	The resulting NRCX is stronger than the existing NRCX and requested CX.
The held lock	NRCX	for the request of	NRCX	is replaced with	NRCX	This is correct.	The already held lock is requested again.
The held lock	NRCX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing NRCX and requested LRCX.
The held lock	NRCX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing NRCX and requested SRCX.
The held lock	NRCX	for the request of	NU	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NRCX and requested NU.
The held lock	NRCX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NRCX and requested LRNU.
The held lock	NRCX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NRCX and requested SRNU.
The held lock	NRCX	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NRCX and requested NX.
The held lock	NRCX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NRCX and requested LRNX.
The held lock	NRCX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NRCX and requested SRNX.
The held lock	NRCX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NRCX and requested SU.
The held lock	NRCX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NRCX and requested SX.
The held lock	LRCX	for the request of	IR	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested IR.
The held lock	LRCX	for the request of	NR	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested NR.
The held lock	LRCX	for the request of	LR	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested LR.
The held lock	LRCX	for the request of	SR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing LRCX and requested SR.
The held lock	LRCX	for the request of	IX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested IX.
The held lock	LRCX	for the request of	NRIX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested NRIX.
The held lock	LRCX	for the request of	LRIX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested LRIX.
The held lock	LRCX	for the request of	SRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing LRCX and requested SRIX.
The held lock	LRCX	for the request of	CX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested CX.
The held lock	LRCX	for the request of	NRCX	is replaced with	LRCX	This is correct.	The resulting LRCX is stronger than the existing LRCX and requested NRCX.
The held lock	LRCX	for the request of	LRCX	is replaced with	LRCX	This is correct.	The already held lock is requested again.
The held lock	LRCX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing LRCX and requested SRCX.
The held lock	LRCX	for the request of	NU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRCX and requested NU.
The held lock	LRCX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRCX and requested LRNU.
The held lock	LRCX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRCX and requested SRNU.
The held lock	LRCX	for the request of	NX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRCX and requested NX.
The held lock	LRCX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRCX and requested LRNX.
The held lock	LRCX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRCX and requested SRNX.
The held lock	LRCX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRCX and requested SU.
The held lock	LRCX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRCX and requested SX.
The held lock	SRCX	for the request of	IR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested IR.
The held lock	SRCX	for the request of	NR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested NR.
The held lock	SRCX	for the request of	LR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested LR.
The held lock	SRCX	for the request of	SR	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested SR.
The held lock	SRCX	for the request of	IX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested IX.
The held lock	SRCX	for the request of	NRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested NRIX.
The held lock	SRCX	for the request of	LRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested LRIX.
The held lock	SRCX	for the request of	SRIX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested SRIX.
The held lock	SRCX	for the request of	CX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested CX.
The held lock	SRCX	for the request of	NRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested NRCX.
The held lock	SRCX	for the request of	LRCX	is replaced with	SRCX	This is correct.	The resulting SRCX is stronger than the existing SRCX and requested LRCX.
The held lock	SRCX	for the request of	SRCX	is replaced with	SRCX	This is correct.	The already held lock is requested again.
The held lock	SRCX	for the request of	NU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested NU.
The held lock	SRCX	for the request of	LRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested LRNU.
The held lock	SRCX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested SRNU.
The held lock	SRCX	for the request of	NX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested NX.
The held lock	SRCX	for the request of	LRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested LRNX.
The held lock	SRCX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRCX and requested SRNX.
The held lock	SRCX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRCX and requested SU.
The held lock	SRCX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRCX and requested SX.
The held lock	NU	for the request of	IR	is replaced with	NU	This 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 lock	NU	for the request of	NR	is replaced with	NR	This 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 lock	NU	for the request of	LR	is replaced with	LRNU	This 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 lock	NU	for the request of	SR	is replaced with	SRNU	This 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 lock	NU	for the request of	IX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NU and requested IX.
The held lock	NU	for the request of	NRIX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NU and requested NRIX.
The held lock	NU	for the request of	LRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NU and requested LRIX.
The held lock	NU	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NU and requested SRIX.
The held lock	NU	for the request of	CX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NU and requested CX.
The held lock	NU	for the request of	NRCX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NU and requested NRCX.
The held lock	NU	for the request of	LRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NU and requested LRCX.
The held lock	NU	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NU and requested SRCX.
The held lock	NU	for the request of	NU	is replaced with	NU	This is correct.	The already held lock is requested again.
The held lock	NU	for the request of	LRNU	is replaced with	LRNU	This 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 lock	NU	for the request of	SRNU	is replaced with	SRNU	This 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 lock	NU	for the request of	NX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NU and requested NX.
The held lock	NU	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NU and requested LRNX.
The held lock	NU	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NU and requested SRNX.
The held lock	NU	for the request of	SU	is replaced with	SU	This 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 lock	NU	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NU and requested SX.
The held lock	LRNU	for the request of	IR	is replaced with	LRNU	This 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 lock	LRNU	for the request of	NR	is replaced with	LR	This 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 lock	LRNU	for the request of	LR	is replaced with	LRNU	This 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 lock	LRNU	for the request of	SR	is replaced with	SRNU	This 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 lock	LRNU	for the request of	IX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested IX.
The held lock	LRNU	for the request of	NRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested NRIX.
The held lock	LRNU	for the request of	LRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested LRIX.
The held lock	LRNU	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNU and requested SRIX.
The held lock	LRNU	for the request of	CX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested CX.
The held lock	LRNU	for the request of	NRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested NRCX.
The held lock	LRNU	for the request of	LRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested LRCX.
The held lock	LRNU	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNU and requested SRCX.
The held lock	LRNU	for the request of	NU	is replaced with	LRNU	This 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 lock	LRNU	for the request of	LRNU	is replaced with	LRNU	This is correct.	The already held lock is requested again.
The held lock	LRNU	for the request of	SRNU	is replaced with	SRNU	This 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 lock	LRNU	for the request of	NX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested NX.
The held lock	LRNU	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNU and requested LRNX.
The held lock	LRNU	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNU and requested SRNX.
The held lock	LRNU	for the request of	SU	is replaced with	SU	This 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 lock	LRNU	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRNU and requested SX.
The held lock	SRNU	for the request of	IR	is replaced with	SRNU	This 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 lock	SRNU	for the request of	NR	is replaced with	SR	This 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 lock	SRNU	for the request of	LR	is replaced with	SRNU	This 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 lock	SRNU	for the request of	SR	is replaced with	SRNU	This 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 lock	SRNU	for the request of	IX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested IX.
The held lock	SRNU	for the request of	NRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested NRIX.
The held lock	SRNU	for the request of	LRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested LRIX.
The held lock	SRNU	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested SRIX.
The held lock	SRNU	for the request of	CX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested CX.
The held lock	SRNU	for the request of	NRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested NRCX.
The held lock	SRNU	for the request of	LRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested LRCX.
The held lock	SRNU	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested SRCX.
The held lock	SRNU	for the request of	NU	is replaced with	SRNU	This 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 lock	SRNU	for the request of	LRNU	is replaced with	SRNU	This 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 lock	SRNU	for the request of	SRNU	is replaced with	SRNU	This is correct.	The already held lock is requested again.
The held lock	SRNU	for the request of	NX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested NX.
The held lock	SRNU	for the request of	LRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested LRNX.
The held lock	SRNU	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNU and requested SRNX.
The held lock	SRNU	for the request of	SU	is replaced with	SU	This 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 lock	SRNU	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRNU and requested SX.
The held lock	NX	for the request of	IR	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested IR.
The held lock	NX	for the request of	NR	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested NR.
The held lock	NX	for the request of	LR	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NX and requested LR.
The held lock	NX	for the request of	SR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NX and requested SR.
The held lock	NX	for the request of	IX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested IX.
The held lock	NX	for the request of	NRIX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested NRIX.
The held lock	NX	for the request of	LRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NX and requested LRIX.
The held lock	NX	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NX and requested SRIX.
The held lock	NX	for the request of	CX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested CX.
The held lock	NX	for the request of	NRCX	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested NRCX.
The held lock	NX	for the request of	LRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NX and requested LRCX.
The held lock	NX	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NX and requested SRCX.
The held lock	NX	for the request of	NU	is replaced with	NX	This is correct.	The resulting NX is stronger than the existing NX and requested NU.
The held lock	NX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NX and requested LRNU.
The held lock	NX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NX and requested SRNU.
The held lock	NX	for the request of	NX	is replaced with	NX	This is correct.	The already held lock is requested again.
The held lock	NX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing NX and requested LRNX.
The held lock	NX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing NX and requested SRNX.
The held lock	NX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NX and requested SU.
The held lock	NX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing NX and requested SX.
The held lock	LRNX	for the request of	IR	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested IR.
The held lock	LRNX	for the request of	NR	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested NR.
The held lock	LRNX	for the request of	LR	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested LR.
The held lock	LRNX	for the request of	SR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNX and requested SR.
The held lock	LRNX	for the request of	IX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested IX.
The held lock	LRNX	for the request of	NRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested NRIX.
The held lock	LRNX	for the request of	LRIX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested LRIX.
The held lock	LRNX	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNX and requested SRIX.
The held lock	LRNX	for the request of	CX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested CX.
The held lock	LRNX	for the request of	NRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested NRCX.
The held lock	LRNX	for the request of	LRCX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested LRCX.
The held lock	LRNX	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNX and requested SRCX.
The held lock	LRNX	for the request of	NU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested NU.
The held lock	LRNX	for the request of	LRNU	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested LRNU.
The held lock	LRNX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNX and requested SRNU.
The held lock	LRNX	for the request of	NX	is replaced with	LRNX	This is correct.	The resulting LRNX is stronger than the existing LRNX and requested NX.
The held lock	LRNX	for the request of	LRNX	is replaced with	LRNX	This is correct.	The already held lock is requested again.
The held lock	LRNX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing LRNX and requested SRNX.
The held lock	LRNX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRNX and requested SU.
The held lock	LRNX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing LRNX and requested SX.
The held lock	SRNX	for the request of	IR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested IR.
The held lock	SRNX	for the request of	NR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested NR.
The held lock	SRNX	for the request of	LR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested LR.
The held lock	SRNX	for the request of	SR	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested SR.
The held lock	SRNX	for the request of	IX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested IX.
The held lock	SRNX	for the request of	NRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested NRIX.
The held lock	SRNX	for the request of	LRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested LRIX.
The held lock	SRNX	for the request of	SRIX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested SRIX.
The held lock	SRNX	for the request of	CX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested CX.
The held lock	SRNX	for the request of	NRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested NRCX.
The held lock	SRNX	for the request of	LRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested LRCX.
The held lock	SRNX	for the request of	SRCX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested SRCX.
The held lock	SRNX	for the request of	NU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested NU.
The held lock	SRNX	for the request of	LRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested LRNU.
The held lock	SRNX	for the request of	SRNU	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested SRNU.
The held lock	SRNX	for the request of	NX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested NX.
The held lock	SRNX	for the request of	LRNX	is replaced with	SRNX	This is correct.	The resulting SRNX is stronger than the existing SRNX and requested LRNX.
The held lock	SRNX	for the request of	SRNX	is replaced with	SRNX	This is correct.	The already held lock is requested again.
The held lock	SRNX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRNX and requested SU.
The held lock	SRNX	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SRNX and requested SX.
The held lock	SU	for the request of	IR	is replaced with	SU	This 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 lock	SU	for the request of	NR	is replaced with	SU	This 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 lock	SU	for the request of	LR	is replaced with	SU	This 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 lock	SU	for the request of	SR	is replaced with	SR	This 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 lock	SU	for the request of	IX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested IX.
The held lock	SU	for the request of	NRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested NRIX.
The held lock	SU	for the request of	LRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested LRIX.
The held lock	SU	for the request of	SRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested SRIX.
The held lock	SU	for the request of	CX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested CX.
The held lock	SU	for the request of	NRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested NRCX.
The held lock	SU	for the request of	LRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested LRCX.
The held lock	SU	for the request of	SRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested SRCX.
The held lock	SU	for the request of	NU	is replaced with	SU	This 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 lock	SU	for the request of	LRNU	is replaced with	SU	This 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 lock	SU	for the request of	SRNU	is replaced with	SU	This 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 lock	SU	for the request of	NX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested NX.
The held lock	SU	for the request of	LRNX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested LRNX.
The held lock	SU	for the request of	SRNX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested SRNX.
The held lock	SU	for the request of	SU	is replaced with	SU	This is correct.	The already held lock is requested again.
The held lock	SU	for the request of	SX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SU and requested SX.
The held lock	SX	for the request of	IR	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested IR.
The held lock	SX	for the request of	NR	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested NR.
The held lock	SX	for the request of	LR	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested LR.
The held lock	SX	for the request of	SR	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SR.
The held lock	SX	for the request of	IX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested IX.
The held lock	SX	for the request of	NRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested NRIX.
The held lock	SX	for the request of	LRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested LRIX.
The held lock	SX	for the request of	SRIX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SRIX.
The held lock	SX	for the request of	CX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested CX.
The held lock	SX	for the request of	NRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested NRCX.
The held lock	SX	for the request of	LRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested LRCX.
The held lock	SX	for the request of	SRCX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SRCX.
The held lock	SX	for the request of	NU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested NU.
The held lock	SX	for the request of	LRNU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested LRNU.
The held lock	SX	for the request of	SRNU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SRNU.
The held lock	SX	for the request of	NX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested NX.
The held lock	SX	for the request of	LRNX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested LRNX.
The held lock	SX	for the request of	SRNX	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SRNX.
The held lock	SX	for the request of	SU	is replaced with	SX	This is correct.	The resulting SX is stronger than the existing SX and requested SU.
The held lock	SX	for the request of	SX	is replaced with	SX	This is correct.	The already held lock is requested again.