Statistics
| Branch: | Tag: | Revision:

root / doc / design-2.1-lock-release.dot @ ca9ccea8

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
}