blob: 179434bce591a8625ad46791b29b2a84bdd8ee08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
digraph timer_state_machine {
rankdir=LR;
node [fontsize=28];
edge [fontsize=28];
node [shape=doublecircle]; TO_Unalloc;
node [shape=circle]; TO_Alloc TO_Pending TO_Delivered;
node [shape=rect]; TO_Enqueued;
TO_Unalloc -> TO_Alloc [label="odp_timeout_alloc()"];
TO_Alloc -> TO_Unalloc [label="odp_timeout_free()"];
TO_Alloc -> TO_Pending [fontcolor=green,
label="odp_timer_start()"];
TO_Pending -> TO_Alloc [fontcolor=green,
label="odp_timer_cancel()"];
TO_Pending -> TO_Enqueued [fontcolor=green, label="timer expires"];
TO_Enqueued -> TO_Delivered [label="odp_schedule()"];
TO_Delivered -> TO_Pending [fontcolor=green,
label="odp_timer_start()"];
TO_Delivered -> TO_Delivered [label="odp_timeout_from_event()"];
TO_Delivered -> TO_Delivered [label="odp_timeout_timer()"];
TO_Delivered -> TO_Unalloc
[label="odp_timeout_free() / odp_event_free()"];
}
|
