Lehrgebiet Informationssysteme

FB Informatik

LG IS

AG DBIS

(C) AG DBIS

Correctness of the Conversion Matrix for taDOM2+

	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	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	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	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	IX	This is correct.	The resulting IX is stronger than the existing NR and requested IX.
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	CX	This is correct.	The resulting CX is stronger than the existing NR and requested CX.
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	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	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	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	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	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	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	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	IX	This is correct.	The resulting IX 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	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	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	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	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	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	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	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	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	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	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	CX	This is correct.	The resulting CX 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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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.