fabaccess-bffh/docs/state.dot

94 lines
2.5 KiB
Plaintext
Raw Normal View History

2021-09-21 17:49:21 +02:00
strict digraph state {
2021-09-21 20:17:12 +02:00
rank = 0
subgraph "cluster_internal_state" {
rank = 1
ctr = applied
start
[shape=doublecircle, label="BFFH"]
created
[label="Machine object created"];
start -> created;
created -> attach
[label="New state or loaded from disk"];
attach
[label="Attach actor", shape=box];
unapplied
[label="Unapplied"];
applied
[label="Applied"];
verified
[label="Verified"];
wait_apply
[label="Wait ∀ Actors", shape=box]
wait_verify
[label="Wait ∀ Actors", shape=box]
unapplied -> wait_apply -> applied;
applied -> wait_verify -> verified;
applied -> unapplied
[label="statechange received"];
verified -> unapplied
[label="statechange received"];
unapplied -> unapplied
[label="statechange received"];
unapplied -> attach -> unapplied;
applied -> attach -> unapplied;
verified -> attach -> unapplied;
}
subgraph "cluster_actor" {
rank = 1
center = actor_applied
actor_start
[shape=doublecircle, label="Actor"];
2021-09-21 17:49:21 +02:00
actor_fresh
[label="Actor was just constructed"];
2021-09-21 20:17:12 +02:00
actor_start -> actor_fresh;
2021-09-21 17:49:21 +02:00
actor_attached
2021-09-21 20:17:12 +02:00
[label="Attached"];
2021-09-21 17:49:21 +02:00
actor_unapplied
2021-09-21 20:17:12 +02:00
[label="Unapplied"];
2021-09-21 17:49:21 +02:00
actor_applied
2021-09-21 20:17:12 +02:00
[label="Applied"];
2021-09-21 17:49:21 +02:00
actor_verified
2021-09-21 20:17:12 +02:00
[label="Verified"];
wait_initial
[label="Recv", shape=box];
wait_state
[label="Recv", shape=box];
actor_fresh -> wait_initial -> actor_attached;
2021-09-21 17:49:21 +02:00
actor_attached -> actor_applied
2021-09-21 20:17:12 +02:00
[label="initialize/apply"];
2021-09-21 17:49:21 +02:00
actor_unapplied -> actor_applied
2021-09-21 20:17:12 +02:00
[label="apply"];
2021-09-21 17:49:21 +02:00
actor_applied -> actor_verified
2021-09-21 20:17:12 +02:00
[label="verify"];
actor_unapplied -> wait_state;
actor_applied -> wait_state;
actor_verified -> wait_state;
wait_state -> actor_unapplied;
2021-09-21 17:49:21 +02:00
}
2021-09-21 20:17:12 +02:00
attach -> wait_initial
[label="Send initial state to that actor", style=dotted]
unapplied -> wait_state
[label="Send new state to all actors", style=dotted];
actor_applied -> wait_apply
[label="Confirm apply", style=dotted];
actor_verified -> wait_verify
[label="Confirm verify", style=dotted];
2021-09-21 17:49:21 +02:00
}