1 digraph "design-2.1-lock-release" {
2 graph[fontsize=8, fontname="Helvetica"]
3 node[fontsize=8, fontname="Helvetica", width="0", height="0"]
4 edge[fontsize=8, fontname="Helvetica"]
7 remove_from_owners[label="Remove from owner list"]
8 notify[label="Notify topmost"]
9 swap_shared[label="Swap shared conditions"]
10 success[label="Success"]
13 have_pending[label="Any pending acquires?", shape=diamond]
15 label="Was active condition\nfor shared acquires?",
20 remove_from_owners->have_pending
22 have_pending->notify[label="Yes"]
23 have_pending->success[label="No"]
25 notify->was_active_queue
27 was_active_queue->swap_shared[label="Yes"]
28 was_active_queue->success[label="No"]