images/concurrent_counter.svg

<svg version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 695.0426754310728 353.79468462094667" width="1390.0853508621456" height="707.5893692418933">
  <!-- svg-source:excalidraw -->
  
  <defs>
    <style>
      @font-face {
        font-family: "Virgil";
        src: url("https://excalidraw.com/Virgil.woff2");
      }
      @font-face {
        font-family: "Cascadia";
        src: url("https://excalidraw.com/Cascadia.woff2");
      }
    </style>
  </defs>
  <rect x="0" y="0" width="695.0426754310728" height="353.79468462094667" fill="#ffffff"></rect><g stroke-linecap="round"><g transform="translate(148 343) rotate(0 268.3417598601431 -3.314751061098434)"><path d="M-0.36 0.79 C89.24 -0.25, 447.6 -4.16, 537.04 -5.4 M1.65 0.17 C91.23 -1.35, 447.63 -6.42, 536.63 -7.42" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(148 343) rotate(0 268.3417598601431 -3.314751061098434)"><path d="M509.9 4.91 C515.94 1.03, 521 -2.23, 537.73 -6.29 M509.08 2.8 C515.93 0.37, 523.83 -4.06, 536.64 -8.22" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(148 343) rotate(0 268.3417598601431 -3.314751061098434)"><path d="M509.63 -15.61 C515.89 -14.28, 521.02 -12.34, 537.73 -6.29 M508.81 -17.72 C515.88 -14.19, 523.86 -12.66, 536.64 -8.22" stroke="#000000" stroke-width="1" fill="none"></path></g></g><g transform="translate(10 57) rotate(0 43.5 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">thread 1:</text></g><g transform="translate(12.5 148) rotate(0 48 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">thread 2:</text></g><g transform="translate(16.5 242) rotate(0 47.5 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">thread 3:</text></g><g stroke-linecap="round"><g transform="translate(157 66) rotate(0 99.55696688282768 -1.5109211884438878)"><path d="M0.95 0.69 C34.19 -0.02, 166.19 -2.99, 199.12 -3.72 M-0.01 0.01 C33.2 -0.6, 165.75 -2.11, 198.76 -2.55" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(157 66) rotate(0 99.55696688282768 -1.5109211884438878)"><path d="M1.49 -12.9 C-0.12 -9.55, 0.07 -6.04, 1.54 1.29 M0.57 -14.74 C1.25 -9.05, 1.23 -3.54, 0.24 0.55" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(157 66) rotate(0 99.55696688282768 -1.5109211884438878)"><path d="M2.15 17.09 C0.23 12.26, 0.24 7.57, 1.54 1.29 M1.24 15.26 C1.86 10.67, 1.6 5.9, 0.24 0.55" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(157 66) rotate(0 99.55696688282768 -1.5109211884438878)"><path d="M199.81 13.85 C197.93 9.01, 197.98 4.33, 199.35 -1.96 M198.9 12.01 C199.57 7.42, 199.37 2.65, 198.04 -2.7" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(157 66) rotate(0 99.55696688282768 -1.5109211884438878)"><path d="M199.44 -16.15 C197.8 -12.8, 197.95 -9.29, 199.35 -1.96 M198.53 -17.99 C199.16 -12.3, 199.08 -6.79, 198.04 -2.7" stroke="#000000" stroke-width="1" fill="none"></path></g></g><g stroke-linecap="round"><g transform="translate(246 152) rotate(0 137.05333417281508 -2.5976877057133265)"><path d="M-0.58 -0.76 C45.26 -2.02, 228.73 -5.84, 274.69 -6.66 M1.32 1.46 C47.08 0.26, 228.48 -3.92, 274.1 -5.46" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(246 152) rotate(0 137.05333417281508 -2.5976877057133265)"><path d="M-1.86 -14.9 C-1.52 -10.2, -0.18 -7.22, -1.77 0.37 M-0.61 -15.92 C-1.13 -12.03, -1.08 -9.2, -0.03 -0.29" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(246 152) rotate(0 137.05333417281508 -2.5976877057133265)"><path d="M-1.19 15.1 C-1.27 11.58, -0.11 6.36, -1.77 0.37 M0.05 14.07 C-0.4 11.42, -0.5 7.7, -0.03 -0.29" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(246 152) rotate(0 137.05333417281508 -2.5976877057133265)"><path d="M273.57 10.39 C273.46 6.87, 274.6 1.65, 272.91 -4.33 M274.81 9.37 C274.34 6.71, 274.22 3, 274.65 -4.99" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(246 152) rotate(0 137.05333417281508 -2.5976877057133265)"><path d="M272.74 -19.6 C273.09 -14.91, 274.46 -11.92, 272.91 -4.33 M273.98 -20.62 C273.48 -16.73, 273.54 -13.9, 274.65 -4.99" stroke="#000000" stroke-width="1" fill="none"></path></g></g><g stroke-linecap="round"><g transform="translate(396 54) rotate(0 113.88147238781215 -2.349853483587509)"><path d="M0.59 -0.09 C38.63 -1, 190.54 -3.92, 228.33 -4.61 M-0.56 -1.18 C37.35 -2.02, 189.76 -3.09, 227.55 -3.39" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(396 54) rotate(0 113.88147238781215 -2.349853483587509)"><path d="M0.17 -14.68 C-0.28 -11.36, 0.33 -7.03, 0.68 -0.22 M-0.01 -15.17 C-0.34 -12.1, -0.04 -7.3, 0.74 0.01" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(396 54) rotate(0 113.88147238781215 -2.349853483587509)"><path d="M0.78 15.31 C-0.07 9.48, 0.35 4.66, 0.68 -0.22 M0.59 14.82 C0.16 10.64, 0.31 8.2, 0.74 0.01" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(396 54) rotate(0 113.88147238781215 -2.349853483587509)"><path d="M227.55 12.02 C226.76 6.18, 227.24 1.36, 227.64 -3.53 M227.37 11.52 C226.98 7.34, 227.18 4.89, 227.71 -3.29" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(396 54) rotate(0 113.88147238781215 -2.349853483587509)"><path d="M227.32 -17.98 C226.82 -14.67, 227.36 -10.33, 227.64 -3.53 M227.14 -18.48 C226.76 -15.41, 227.02 -10.6, 227.71 -3.29" stroke="#000000" stroke-width="1" fill="none"></path></g></g><g transform="translate(226 21) rotate(0 24.5 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">incr 1</text></g><g transform="translate(496 10) rotate(0 16.5 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">get</text></g><g transform="translate(339 112) rotate(0 29 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">incr 2</text></g><g stroke-linecap="round"><g transform="translate(566 235) rotate(0 49.47109804973002 -0.42604148015379906)"><path d="M-0.73 1.15 C15.78 0.97, 82.85 -1.3, 99.68 -2 M1.08 0.7 C17.35 0.82, 82.14 0.04, 98.56 -0.46" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(566 235) rotate(0 49.47109804973002 -0.42604148015379906)"><path d="M0.26 -14.25 C-1.14 -8.29, -2.32 -3.01, 0.48 0.18 M-1.68 -13.81 C-1.35 -8.37, -0.82 -2.63, -0.01 0.57" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(566 235) rotate(0 49.47109804973002 -0.42604148015379906)"><path d="M1.14 15.73 C-0.32 11.15, -1.82 5.88, 0.48 0.18 M-0.8 16.17 C-1.11 9.76, -0.92 3.65, -0.01 0.57" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(566 235) rotate(0 49.47109804973002 -0.42604148015379906)"><path d="M100.28 14.13 C98.87 9.55, 97.43 4.27, 99.77 -1.43 M98.34 14.57 C98.1 8.16, 98.34 2.04, 99.28 -1.04" stroke="#000000" stroke-width="1" fill="none"></path></g><g transform="translate(566 235) rotate(0 49.47109804973002 -0.42604148015379906)"><path d="M99.7 -15.86 C98.25 -9.9, 97.01 -4.62, 99.77 -1.43 M97.75 -15.42 C98.02 -9.98, 98.5 -4.23, 99.28 -1.04" stroke="#000000" stroke-width="1" fill="none"></path></g></g><g transform="translate(592 190) rotate(0 16.5 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">get</text></g><g transform="translate(636 299) rotate(0 20 13)"><text x="0" y="18" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#000000" text-anchor="start" style="white-space: pre;" direction="ltr">time</text></g></svg>