| Philipp Reisner | b411b36 | 2009-09-25 16:07:19 -0700 | [diff] [blame] | 1 | digraph disk_states { | 
 | 2 | 	Diskless -> Inconsistent       [ label = "ioctl_set_disk()" ] | 
 | 3 | 	Diskless -> Consistent         [ label = "ioctl_set_disk()" ] | 
 | 4 | 	Diskless -> Outdated           [ label = "ioctl_set_disk()" ] | 
 | 5 | 	Consistent -> Outdated         [ label = "receive_param()" ] | 
 | 6 | 	Consistent -> UpToDate         [ label = "receive_param()" ] | 
 | 7 | 	Consistent -> Inconsistent     [ label = "start resync" ] | 
 | 8 | 	Outdated   -> Inconsistent     [ label = "start resync" ] | 
 | 9 | 	UpToDate   -> Inconsistent     [ label = "ioctl_replicate" ] | 
 | 10 | 	Inconsistent -> UpToDate       [ label = "resync completed" ] | 
 | 11 | 	Consistent -> Failed           [ label = "io completion error" ] | 
 | 12 | 	Outdated   -> Failed           [ label = "io completion error" ] | 
 | 13 | 	UpToDate   -> Failed           [ label = "io completion error" ] | 
 | 14 | 	Inconsistent -> Failed         [ label = "io completion error" ] | 
 | 15 | 	Failed -> Diskless             [ label = "sending notify to peer" ] | 
 | 16 | } |