Not-so-unit test to construct a deadlock situation. t1 acquires p0.read; t2 acquires p0.read; t1 attempts to upgrade to p0.write; t2 attempts to upgrade to p0.write
()
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected