root / doc / design-2.1-lock-release.dot @ 37e1e262
History | View | Annotate | Download (804 Bytes)
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"] |
5 |
|
6 |
/* Actions */ |
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"] |
11 |
|
12 |
/* Conditions */ |
13 |
have_pending[label="Any pending acquires?", shape=diamond] |
14 |
was_active_queue[ |
15 |
label="Was active condition\nfor shared acquires?", |
16 |
shape=diamond, |
17 |
] |
18 |
|
19 |
/* Lines */ |
20 |
remove_from_owners->have_pending |
21 |
|
22 |
have_pending->notify[label="Yes"] |
23 |
have_pending->success[label="No"] |
24 |
|
25 |
notify->was_active_queue |
26 |
|
27 |
was_active_queue->swap_shared[label="Yes"] |
28 |
was_active_queue->success[label="No"] |
29 |
|
30 |
swap_shared->success |
31 |
} |