git.barrelfish.org Git - barrelfish/blob - 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 };