root / doc / design-2.1-lock-release.dot @ f7b769b1
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 |
} |