1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
digraph "g" {
graph [
fontsize = "12"
fontname = "Times-Roman"
fontcolor = "black"
bb = "0,0,398.922306,478.927856"
color = "black"
]
node [
fontsize = "12"
fontname = "Times-Roman"
fontcolor = "black"
shape = "ellipse"
color = "black"
]
edge [
fontsize = "12"
fontname = "Times-Roman"
fontcolor = "black"
color = "black"
]
// special nodes
"S_STARTING"
[
color = "blue"
fontcolor = "blue"
]
"S_TERMINATE"
[
color = "red"
fontcolor = "red"
]
// DC only nodes
"S_RECOVERY_DC" [ fontcolor = "green" ]
"S_INTEGRATION" [ fontcolor = "green" ]
"S_POLICY_ENGINE" [ fontcolor = "green" ]
"S_TRANSITION_ENGINE" [ fontcolor = "green" ]
"S_RELEASE_DC" [ fontcolor = "green" ]
"S_<ANY_DC>" [ fontcolor = "green" ]
"S_IDLE" [ fontcolor = "green" ]
// state transitions
"S_<ANY>" -> "S_ELECTION" [ label = "I_DC_TIMEOUT" ]
"S_<ANY>" -> "S_RECOVERY" [ label = "I_ERROR" ]
"S_<ANY>" -> "S_<ANY>" [ label = "I_ROUTER,\nI_REQUEST" ]
"S_<ANY_DC>" -> "S_RELEASE_DC" [ label = "I_SHUTDOWN" ]
"S_<ANY_DC>" -> "S_INTEGRATION" [ label = "I_NODE_JOIN" ]
"S_<ANY_DC>" -> "S_POLICY_ENGINE" [ label = "I_CIB_UPDATE,\nI_NODE_LEFT,\nI_NODE_LEAVING" ]
"S_<ANY_DC>" -> "S_RECOVERY_DC" [ label = "I_ERROR" ]
"S_<ANY_DC>" -> "S_<ANY_DC>" [ label = "I_ROUTER,\nI_REQUEST" ]
"S_ELECTION" -> "S_INTEGRATION" [ label = "I_ELECTION_DC" ]
"S_ELECTION" -> "S_NOT_DC" [ label = "I_NOT_DC" ]
"S_ELECTION" -> "S_RELEASE_DC" [ label = "I_ELECTION_RELEASE_DC" ]
"S_INTEGRATION" -> "S_POLICY_ENGINE" [ label = "I_SUCCESS" ]
"S_NOT_DC" -> "S_STOPPING" [ label = "I_SHUTDOWN" ]
"S_POLICY_ENGINE" -> "S_TRANSITION_ENGINE" [ label = "I_SUCCESS" ]
"S_POLICY_ENGINE" -> "S_POLICY_ENGINE" [ label = "I_FAIL\nI_RESTART" ]
"S_RECOVERY_DC" -> "S_INTEGRATION" [ label = "I_RECOVERED" ]
"S_RECOVERY_DC" -> "S_RELEASE_DC" [ label = "I_NOT_DC,\nI_SHUTDOWN" ]
"S_RECOVERY" -> "S_STOPPING" [ label = "I_SHUTDOWN" ]
"S_RECOVERY" -> "S_NOT_DC" [ label = "I_RECOVERED" ]
"S_RELEASE_DC" -> "S_NOT_DC" [ label = "I_RELEASE_SUCCESS" ]
"S_RELEASE_DC" -> "S_STOPPING" [ label = "I_RELEASE_FAIL" ]
"S_STARTING" -> "S_STOPPING" [ label = "I_FAIL" ]
"S_STARTING" -> "S_NOT_DC" [ label = "I_SUCCESS" ]
"S_STOPPING" -> "S_TERMINATE" [ label = "I_SUCCESS,\nI_FAIL" ]
"S_TRANSITION_ENGINE" -> "S_POLICY_ENGINE" [ label = "I_FAIL" ]
"S_TRANSITION_ENGINE" -> "S_IDLE" [ label = "I_SUCCESS" ]
}
|
