design/led_sequence.svg

<svg xmlns="http://www.w3.org/2000/svg" width="606.8671875" height="1882"><style xmlns="http://www.w3.org/1999/xhtml" type="text/css">
svg text {
  fill: #000;
  stroke: none;
  font-size: 12pt;
  font-family: 'Andale Mono', monospace;
}

svg :not(text) {
  fill: none;
  stroke: #000;
  stroke-width: 2;
}

.textbg {
  fill: #fff;
  stroke: none;
}

.rect {
  fill: #fff;
}

.signal-solid {
  stroke-dasharray: 0;
}

.signal-dotted {
  stroke-dasharray: 5;
}

.arrow-filled {
  marker-end: url(#arrow-filled);
}

.arrow-open {
  marker-end: url(#arrow-open);
}
</style><defs><marker id="arrow-filled" refX="5" refY="2.5" markerWidth="5" markerHeight="5" orient="auto"><path d="M0,0 5,2.5 0,5z" style="stroke: none; fill: #000"/></marker><marker id="arrow-open" refX="5" refY="2.5" markerWidth="5" markerHeight="5" orient="auto"><path d="M0,0 5,2.5 0,5" style="stroke-width: 1"/></marker></defs><rect width="125.21875" height="28" x="10" y="10" class="rect"/><text x="72.609375" y="24" style="text-anchor: middle; alignment-baseline: central;">Led Sequence</text><rect width="77.609375" height="38" x="33.8046875" y="48" class="rect"/><text x="72.609375" y="67" style="text-anchor: middle; alignment-baseline: central;">LedSup</text><rect width="77.609375" height="38" x="33.8046875" y="1824" class="rect"/><text x="72.609375" y="1843" style="text-anchor: middle; alignment-baseline: central;">LedSup</text><path d="M72.609375,86 v1738" class="timeline"/><rect width="116.015625" height="38" x="131.4140625" y="48" class="rect"/><text x="189.421875" y="67" style="text-anchor: middle; alignment-baseline: central;">Led.Worker</text><rect width="116.015625" height="38" x="131.4140625" y="1824" class="rect"/><text x="189.421875" y="1843" style="text-anchor: middle; alignment-baseline: central;">Led.Worker</text><path d="M189.421875,86 v1738" class="timeline"/><rect width="68" height="38" x="271.4375" y="48" class="rect"/><text x="305.4375" y="67" style="text-anchor: middle; alignment-baseline: central;">Ghoul</text><rect width="68" height="38" x="271.4375" y="1824" class="rect"/><text x="305.4375" y="1843" style="text-anchor: middle; alignment-baseline: central;">Ghoul</text><path d="M305.4375,86 v1738" class="timeline"/><rect width="135.21875" height="38" x="359.4375" y="48" class="rect"/><text x="427.046875" y="67" style="text-anchor: middle; alignment-baseline: central;">Ghoul.Worker</text><rect width="135.21875" height="38" x="359.4375" y="1824" class="rect"/><text x="427.046875" y="1843" style="text-anchor: middle; alignment-baseline: central;">Ghoul.Worker</text><path d="M427.046875,86 v1738" class="timeline"/><rect width="125.21875" height="28" x="10" y="106" class="rect"/><text x="72.609375" y="120" style="text-anchor: middle; alignment-baseline: central;">App start up</text><rect width="76.8125" height="18" x="92.609375" y="150.5" class="textbg"/><text x="131.015625" y="159" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M72.609375,172 h116.8125" class="signal-solid arrow-filled"/><rect width="96.015625" height="18" x="199.421875" y="188.5" class="textbg"/><text x="247.4296875" y="197" style="text-anchor: middle; alignment-baseline: central;">`summon/2`</text><path d="M189.421875,210 h116.015625" class="signal-solid arrow-filled"/><rect width="76.8125" height="18" x="327.828125" y="226.5" class="textbg"/><text x="366.2421875" y="235" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M305.4375,248 h121.609375" class="signal-solid arrow-filled"/><rect width="67.203125" height="18" x="274.625" y="264.5" class="textbg"/><text x="308.234375" y="273" style="text-anchor: middle; alignment-baseline: central;">monitor</text><path d="M427.046875,286 h-237.625" class="signal-dotted arrow-filled"/><rect width="48" height="18" x="342.234375" y="302.5" class="textbg"/><text x="366.2421875" y="311" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M427.046875,324 h-121.609375" class="signal-solid arrow-filled"/><rect width="48" height="18" x="223.421875" y="340.5" class="textbg"/><text x="247.4296875" y="349" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M305.4375,362 h-116.015625" class="signal-solid arrow-filled"/><rect width="134.8125" height="28" x="122.015625" y="382" class="rect"/><text x="189.421875" y="396" style="text-anchor: middle; alignment-baseline: central;">turn_on_led()</text><rect width="48" height="18" x="107" y="426.5" class="textbg"/><text x="131.015625" y="435" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M189.421875,448 h-116.8125" class="signal-solid arrow-filled"/><rect width="115.609375" height="28" x="14.8046875" y="468" class="rect"/><text x="72.609375" y="482" style="text-anchor: middle; alignment-baseline: central;">App started</text><rect width="144.421875" height="28" x="117.2109375" y="516" class="rect"/><text x="189.421875" y="530" style="text-anchor: middle; alignment-baseline: central;">time passes...</text><rect width="173.21875" height="28" x="102.8125" y="564" class="rect"/><text x="189.421875" y="578" style="text-anchor: middle; alignment-baseline: central;">...server crashes</text><rect width="48" height="18" x="107" y="608.5" class="textbg"/><text x="131.015625" y="617" style="text-anchor: middle; alignment-baseline: central;">:DOWN</text><path d="M189.421875,630 h-116.8125" class="signal-dotted arrow-filled"/><rect width="48" height="18" x="284.21875" y="646.5" class="textbg"/><text x="308.234375" y="655" style="text-anchor: middle; alignment-baseline: central;">:DOWN</text><path d="M189.421875,668 h237.625" class="signal-dotted arrow-filled"/><rect width="374.4375" height="28" x="62.609375" y="688" class="rect"/><text x="249.828125" y="702" style="text-anchor: middle; alignment-baseline: central;">Option 1: Ghoul.Worker wins race:</text><rect width="144.421875" height="28" x="354.8359375" y="736" class="rect"/><text x="427.046875" y="750" style="text-anchor: middle; alignment-baseline: central;">turn_off_led()</text><rect width="48" height="18" x="342.234375" y="780.5" class="textbg"/><text x="366.2421875" y="789" style="text-anchor: middle; alignment-baseline: central;">:DOWN</text><path d="M427.046875,802 h-121.609375" class="signal-dotted arrow-filled"/><rect width="77.203125" height="28" x="150.8203125" y="822" class="rect"/><text x="189.421875" y="836" style="text-anchor: middle; alignment-baseline: central;">new pid</text><rect width="76.8125" height="18" x="92.609375" y="866.5" class="textbg"/><text x="131.015625" y="875" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M72.609375,888 h116.8125" class="signal-solid arrow-filled"/><rect width="96.015625" height="18" x="199.421875" y="904.5" class="textbg"/><text x="247.4296875" y="913" style="text-anchor: middle; alignment-baseline: central;">`summon/2`</text><path d="M189.421875,926 h116.015625" class="signal-solid arrow-filled"/><rect width="77.203125" height="28" x="388.4453125" y="946" class="rect"/><text x="427.046875" y="960" style="text-anchor: middle; alignment-baseline: central;">new pid</text><rect width="76.8125" height="18" x="327.828125" y="990.5" class="textbg"/><text x="366.2421875" y="999" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M305.4375,1012 h121.609375" class="signal-solid arrow-filled"/><rect width="67.203125" height="18" x="274.625" y="1028.5" class="textbg"/><text x="308.234375" y="1037" style="text-anchor: middle; alignment-baseline: central;">monitor</text><path d="M427.046875,1050 h-237.625" class="signal-dotted arrow-filled"/><rect width="48" height="18" x="342.234375" y="1066.5" class="textbg"/><text x="366.2421875" y="1075" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M427.046875,1088 h-121.609375" class="signal-solid arrow-filled"/><rect width="48" height="18" x="223.421875" y="1104.5" class="textbg"/><text x="247.4296875" y="1113" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M305.4375,1126 h-116.015625" class="signal-solid arrow-filled"/><rect width="134.8125" height="28" x="122.015625" y="1146" class="rect"/><text x="189.421875" y="1160" style="text-anchor: middle; alignment-baseline: central;">turn_on_led()</text><rect width="48" height="18" x="107" y="1190.5" class="textbg"/><text x="131.015625" y="1199" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M189.421875,1212 h-116.8125" class="signal-solid arrow-filled"/><rect width="374.4375" height="28" x="62.609375" y="1232" class="rect"/><text x="249.828125" y="1246" style="text-anchor: middle; alignment-baseline: central;">Option 2: LedSup wins race:</text><rect width="77.203125" height="28" x="150.8203125" y="1280" class="rect"/><text x="189.421875" y="1294" style="text-anchor: middle; alignment-baseline: central;">new pid</text><rect width="76.8125" height="18" x="92.609375" y="1324.5" class="textbg"/><text x="131.015625" y="1333" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M72.609375,1346 h116.8125" class="signal-solid arrow-filled"/><rect width="96.015625" height="18" x="199.421875" y="1362.5" class="textbg"/><text x="247.4296875" y="1371" style="text-anchor: middle; alignment-baseline: central;">`summon/2`</text><path d="M189.421875,1384 h116.015625" class="signal-solid arrow-filled"/><rect width="211.625" height="28" x="199.625" y="1404" class="rect"/><text x="305.4375" y="1418" style="text-anchor: middle; alignment-baseline: central;">blocked until `:DOWN`</text><rect width="144.421875" height="28" x="354.8359375" y="1452" class="rect"/><text x="427.046875" y="1466" style="text-anchor: middle; alignment-baseline: central;">turn_off_led()</text><rect width="48" height="18" x="342.234375" y="1496.5" class="textbg"/><text x="366.2421875" y="1505" style="text-anchor: middle; alignment-baseline: central;">:DOWN</text><path d="M427.046875,1518 h-121.609375" class="signal-dotted arrow-filled"/><rect width="77.203125" height="28" x="388.4453125" y="1538" class="rect"/><text x="427.046875" y="1552" style="text-anchor: middle; alignment-baseline: central;">new pid</text><rect width="76.8125" height="18" x="327.828125" y="1582.5" class="textbg"/><text x="366.2421875" y="1591" style="text-anchor: middle; alignment-baseline: central;">`init/1`</text><path d="M305.4375,1604 h121.609375" class="signal-solid arrow-filled"/><rect width="67.203125" height="18" x="274.625" y="1620.5" class="textbg"/><text x="308.234375" y="1629" style="text-anchor: middle; alignment-baseline: central;">monitor</text><path d="M427.046875,1642 h-237.625" class="signal-dotted arrow-filled"/><rect width="48" height="18" x="342.234375" y="1658.5" class="textbg"/><text x="366.2421875" y="1667" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M427.046875,1680 h-121.609375" class="signal-solid arrow-filled"/><rect width="48" height="18" x="223.421875" y="1696.5" class="textbg"/><text x="247.4296875" y="1705" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M305.4375,1718 h-116.015625" class="signal-solid arrow-filled"/><rect width="134.8125" height="28" x="122.015625" y="1738" class="rect"/><text x="189.421875" y="1752" style="text-anchor: middle; alignment-baseline: central;">turn_on_led()</text><rect width="48" height="18" x="107" y="1782.5" class="textbg"/><text x="131.015625" y="1791" style="text-anchor: middle; alignment-baseline: central;">`:ok`</text><path d="M189.421875,1804 h-116.8125" class="signal-solid arrow-filled"/></svg>