In: Computer Science
Imagine an intention locking protocol in which normal locks are acquired in a two phase manner, but intention locks can be released at any time. Would such a protocol be serializable? If so, prove it. If not, show a counterexample.