ba072de4e7ccad92d2f8fa450b4af242a0d67e14
[barrelfish] / doc / 010-spec / disp_states_simple.circo
1 digraph {
2         mindist=1.5;
3
4         idc;
5         notrunning [style="bold"];
6         run;
7         running;
8
9         running -> notrunning [label="Preempt"];
10         running -> idc [label="syscall()"];
11
12         notrunning -> idc [label="idc_local()"];
13         notrunning -> run [label="schedule()"];
14
15         run -> notrunning [label="Preempt"];
16         run -> running [label="resume()", style="dashed", fontname="Times-Italic"];
17
18         idc -> running [label="resume()", style="dashed", fontname="Times-Italic"];
19         idc -> notrunning [label="Preempt"];
20 };