1*9fd420abSGabriele Monacodigraph state_automaton { 2*9fd420abSGabriele Monaco center = true; 3*9fd420abSGabriele Monaco size = "7,11"; 4*9fd420abSGabriele Monaco {node [shape = plaintext] "scheduling_context"}; 5*9fd420abSGabriele Monaco {node [shape = plaintext, style=invis, label=""] "__init_thread_context"}; 6*9fd420abSGabriele Monaco {node [shape = ellipse] "thread_context"}; 7*9fd420abSGabriele Monaco {node [shape = plaintext] "thread_context"}; 8*9fd420abSGabriele Monaco "__init_thread_context" -> "thread_context"; 9*9fd420abSGabriele Monaco "scheduling_context" [label = "scheduling_context"]; 10*9fd420abSGabriele Monaco "scheduling_context" -> "thread_context" [ label = "schedule_exit" ]; 11*9fd420abSGabriele Monaco "thread_context" [label = "thread_context", color = green3]; 12*9fd420abSGabriele Monaco "thread_context" -> "scheduling_context" [ label = "schedule_entry" ]; 13*9fd420abSGabriele Monaco "thread_context" -> "thread_context" [ label = "sched_set_state" ]; 14*9fd420abSGabriele Monaco { rank = min ; 15*9fd420abSGabriele Monaco "__init_thread_context"; 16*9fd420abSGabriele Monaco "thread_context"; 17*9fd420abSGabriele Monaco } 18*9fd420abSGabriele Monaco} 19