Cancellation

Mircea Baja - 3 August 2025

# Cancellation

<div align="center">
<svg xmlns="http://www.w3.org/2000/svg" id="svg20250603-0-box" width="100%" viewBox="0 0 800 300">
  <style>
    #svg20250603-0-box {
      border: 1px solid #e8e8e8;
      background-color: #f5f5f5;
    }
    .svg20250603-0-stop_border {
      stroke: #000000;
      stroke-width: 4;
      fill: none;
    }
    .svg20250603-0-stop_sign {
      stroke: #ffffff;
      stroke-width: 16;
      fill: #ce2029;
    }
    .svg20250603-0-stop_word {
      stroke: #ffffff;
      stroke-width: 16;
      fill: none;
    }
    .svg20250603-0-l1 {
      stroke: #2d93ad;
      stroke-width: 3;
      fill: none;
    }
    .svg20250603-0-arrow {
      stroke: #2d93ad;
      stroke-width: 1;
      fill: #2d93ad;
    }
    .svg20250603-0-l2 {
      stroke: #8ea604;
      stroke-width: 3;
      fill: none;
    }
    .svg20250603-0-arrow2 {
      stroke: #8ea604;
      stroke-width: 1;
      fill: #8ea604;
    }
    .svg20250603-0-l3 {
      stroke: #9665ac;
      stroke-width: 3;
      fill: none;
    }
    .svg20250603-0-arrow3 {
      stroke: #9665ac;
      stroke-width: 1;
      fill: #9665ac;
    }
    .svg20250603-0-l4 {
      stroke: #ee6055;
      stroke-width: 3;
      fill: none;
    }
    .svg20250603-0-box_white {
      stroke: #000000;
      stroke-width: 2;
      fill: #ffffff;
    }
  </style>
  <defs>
    <marker id="svg20250603-0-arrow" viewBox="0, 0, 10, 10" refX="5" refY="5" markerWidth="6" markerHeight="6" orient="auto-start-reverse">
      <path d="M 0 0 L 10 5 L 0 10 L 2.5 5 Z" class="svg20250603-0-arrow"/>
    </marker>
    <marker id="svg20250603-0-arrow2" viewBox="0, 0, 10, 10" refX="5" refY="5" markerWidth="6" markerHeight="6" orient="auto-start-reverse">
      <path d="M 0 0 L 10 5 L 0 10 L 2.5 5 Z" class="svg20250603-0-arrow2"/>
    </marker>
    <marker id="svg20250603-0-arrow3" viewBox="0, 0, 10, 10" refX="5" refY="5" markerWidth="6" markerHeight="6" orient="auto-start-reverse">
      <path d="M 0 0 L 10 5 L 0 10 L 2.5 5 Z" class="svg20250603-0-arrow3"/>
    </marker>
  </defs>
  <path class="svg20250603-0-stop_sign" d="M 113 15 h 138 l 100 100 v 136 l -100 100 h -138 l -100 -100 v -136 z"/>
  <path class="svg20250603-0-stop_border" d="M 110 10 h 144 l 100 100 v 144 l -100 100 h -144 l -100 -100 v -144 z"/>
  <path class="svg20250603-0-stop_word" d="M 100 160q 0 -20 -20 -20 q -20 0 -20 20 q 0 10 20 20q 20 10 20 20 q 0 20 -20 20 q -20 0 -20 -20"/>
  <path class="svg20250603-0-stop_word" d="M 115 140 h 60 h -30 v 88"/>
  <ellipse class="svg20250603-0-stop_word" cx="215" cy="180" rx="30" ry="40"/>
  <path class="svg20250603-0-stop_word" d="M 275 228 v -88 h 20 a 20 20 0 0 1 0 40 h -20"/>
  <path class="svg20250603-0-l1" d="M 540 30 c 0 20 -10 20 -50 20 s -50 0 -50 20" marker-end="url(#svg20250603-0-arrow)"/>
  <path class="svg20250603-0-l2" d="M 540 30 v 40" marker-end="url(#svg20250603-0-arrow2)"/>
  <path class="svg20250603-0-l3" d="M 540 30 c 0 20 10 20 50 20 s 50 0 50 20" marker-end="url(#svg20250603-0-arrow3)"/>
  <path class="svg20250603-0-l1" d="M 440 113 c 0 20 10 20 50 20 s 50 0 50 20"/>
  <path class="svg20250603-0-l3" d="M 640 113 c 0 20 -10 20 -50 20 s -50 0 -50 20"/>
  <path class="svg20250603-0-l2" d="M 540 113 v 40" marker-end="url(#svg20250603-0-arrow2)"/>
  <path class="svg20250603-0-box_white" d="M 410 82 h 60 v 30 l -60 10 z"/>
  <rect x="510" y="82" width="60" height="30" class="svg20250603-0-box_white"/>
  <path class="svg20250603-0-box_white" d="M 610 82 h 60 v 30 l -60 10 z"/>
  <line class="svg20250603-0-l4" x1="415" y1="115" x2="425" y2="105"/>
  <line class="svg20250603-0-l4" x1="415" y1="105" x2="425" y2="115"/>
  <line class="svg20250603-0-l4" x1="615" y1="115" x2="625" y2="105"/>
  <line class="svg20250603-0-l4" x1="615" y1="105" x2="625" y2="115"/>
</svg>
</div>

---

# Motivation

- Continuation
  - of the structured concurrency discussion
  - and of the cancellation at leaves

- **Code is still slideware that demonstrates various specific issues, not
  production library quality code**

---

# Questions?