^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) digraph disk_states {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) Diskless -> Inconsistent [ label = "ioctl_set_disk()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) Diskless -> Consistent [ label = "ioctl_set_disk()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) Diskless -> Outdated [ label = "ioctl_set_disk()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) Consistent -> Outdated [ label = "receive_param()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) Consistent -> UpToDate [ label = "receive_param()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) Consistent -> Inconsistent [ label = "start resync" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) Outdated -> Inconsistent [ label = "start resync" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) UpToDate -> Inconsistent [ label = "ioctl_replicate" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) Inconsistent -> UpToDate [ label = "resync completed" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) Consistent -> Failed [ label = "io completion error" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) Outdated -> Failed [ label = "io completion error" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) UpToDate -> Failed [ label = "io completion error" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) Inconsistent -> Failed [ label = "io completion error" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) Failed -> Diskless [ label = "sending notify to peer" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) }