260 views
0 votes
0 votes
Consider the following graph-based locking protocol, which allows only exclusive lock modes, and which operates on data graphs that are in the form of a rooted directed acyclic graph.
$•$ A transaction can lock any vertex first.
$•$ To lock any other vertex, the transaction must be holding a lock on the majority of the parents of that vertex.
Show that the protocol ensures serializability and deadlock freedom.

Please log in or register to answer this question.

Related questions