{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1439233724", "type": "rectangle", "x": 30, "y": 46, "width": 840, "height": 190, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1631906407, "versionNonce": 988296529, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1693965958", "type": "text", "x": 42, "y": 52, "width": 118.80000000000001, "height": 15.0, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 610309615, "versionNonce": 949100497, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "latch (single-use)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "latch (single-use)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1275045592", "type": "rectangle", "x": 30, "y": 246, "width": 840, "height": 170, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 23170481, "versionNonce": 1599724062, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t547236589", "type": "text", "x": 42, "y": 252, "width": 118.80000000000001, "height": 15.0, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 453877168, "versionNonce": 693029670, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "barrier (reusable)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "barrier (reusable)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1332607381", "type": "rectangle", "x": 30, "y": 426, "width": 840, "height": 150, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 771165491, "versionNonce": 1971977703, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1702693193", "type": "text", "x": 42, "y": 432, "width": 138.60000000000002, "height": 15.0, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 610067950, "versionNonce": 863059904, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "counting_semaphore(8)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "counting_semaphore(8)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1251901935", "type": "rectangle", "x": 70, "y": 74, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1396851768, "versionNonce": 1657913555, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1268109763", "type": "text", "x": 80, "y": 82, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 172209260, "versionNonce": 1445609363, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker A", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1462841692", "type": "text", "x": 80, "y": 102, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 300899027, "versionNonce": 1433243486, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "count_down()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "count_down()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1793142431", "type": "rectangle", "x": 70, "y": 120, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 167545658, "versionNonce": 1587952091, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t496633616", "type": "text", "x": 80, "y": 128, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 847768373, "versionNonce": 331588341, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker B", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker B", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1191582520", "type": "text", "x": 80, "y": 148, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1719914048, "versionNonce": 1268507692, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "count_down()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "count_down()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r168757226", "type": "rectangle", "x": 70, "y": 166, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 752110302, "versionNonce": 1276009004, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t626325049", "type": "text", "x": 80, "y": 174, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1752395838, "versionNonce": 253518982, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker C", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker C", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1845163999", "type": "text", "x": 80, "y": 194, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1021295777, "versionNonce": 1464304634, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "count_down()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "count_down()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r522920208", "type": "rectangle", "x": 350, "y": 100, "width": 160, "height": 60, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "#faf0e6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1464496738, "versionNonce": 1732703824, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t150030298", "type": "text", "x": 360, "y": 108, "width": 84.7, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 775281594, "versionNonce": 1740034777, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "latch count", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "latch count", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1754832217", "type": "text", "x": 360, "y": 128, "width": 40, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 904404003, "versionNonce": 140225747, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "3 -> 0", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "3 -> 0", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1233601944", "type": "rectangle", "x": 650, "y": 100, "width": 180, "height": 60, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1095967678, "versionNonce": 1318324081, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t992540625", "type": "text", "x": 660, "y": 108, "width": 46.2, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1230011156, "versionNonce": 742282334, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "waiter", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "waiter", "lineHeight": 1.25, "baseline": 14 }, { "id": "t366362226", "type": "text", "x": 660, "y": 128, "width": 114.95, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1667276658, "versionNonce": 637891435, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "wait() returns once", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "wait() returns once", "lineHeight": 1.25, "baseline": 11 }, { "id": "r72161927", "type": "rectangle", "x": 350, "y": 178, "width": 160, "height": 40, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1362427170, "versionNonce": 1983984158, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t699424164", "type": "text", "x": 360, "y": 186, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 560487236, "versionNonce": 1421630309, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "spent", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "spent", "lineHeight": 1.25, "baseline": 14 }, { "id": "t723641685", "type": "text", "x": 360, "y": 206, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 378906278, "versionNonce": 31876399, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "cannot reset", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "cannot reset", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1155169521", "type": "rectangle", "x": 70, "y": 274, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 902870038, "versionNonce": 1492949673, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t706985548", "type": "text", "x": 80, "y": 282, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 825816955, "versionNonce": 1867274681, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker A", "lineHeight": 1.25, "baseline": 14 }, { "id": "t684833368", "type": "text", "x": 80, "y": 302, "width": 102.85000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1003575564, "versionNonce": 1054400044, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "arrive_and_wait()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "arrive_and_wait()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r97293452", "type": "rectangle", "x": 70, "y": 320, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 776992627, "versionNonce": 1895188470, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1173975429", "type": "text", "x": 80, "y": 328, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 587577021, "versionNonce": 90648945, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker B", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker B", "lineHeight": 1.25, "baseline": 14 }, { "id": "t554669631", "type": "text", "x": 80, "y": 348, "width": 102.85000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 591413356, "versionNonce": 1018218139, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "arrive_and_wait()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "arrive_and_wait()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r647336129", "type": "rectangle", "x": 70, "y": 366, "width": 150, "height": 36, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1806378487, "versionNonce": 910628010, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t843191771", "type": "text", "x": 80, "y": 374, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1102403006, "versionNonce": 1910381065, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker C", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker C", "lineHeight": 1.25, "baseline": 14 }, { "id": "t372249333", "type": "text", "x": 80, "y": 394, "width": 102.85000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 6306693, "versionNonce": 1412370534, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "arrive_and_wait()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "arrive_and_wait()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1327107017", "type": "rectangle", "x": 400, "y": 306, "width": 220, "height": 60, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 669027660, "versionNonce": 480387260, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1136957835", "type": "text", "x": 410, "y": 314, "width": 146.3, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1288702402, "versionNonce": 1224758632, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "completion function", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "completion function", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1583144049", "type": "text", "x": 410, "y": 334, "width": 114.95, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1663814032, "versionNonce": 251396052, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "runs once per phase", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "runs once per phase", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1227762278", "type": "rectangle", "x": 60, "y": 450, "width": 150, "height": 38, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1214757415, "versionNonce": 1816659295, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t541906459", "type": "text", "x": 70, "y": 458, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 806715852, "versionNonce": 1616650058, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker A", "lineHeight": 1.25, "baseline": 14 }, { "id": "t928814106", "type": "text", "x": 70, "y": 478, "width": 54.45, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 268523500, "versionNonce": 150575327, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "acquire()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "acquire()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1846188613", "type": "rectangle", "x": 60, "y": 506, "width": 150, "height": 38, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1290076684, "versionNonce": 515575211, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1608195761", "type": "text", "x": 70, "y": 514, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 331170942, "versionNonce": 1737303864, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker B", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker B", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1497373048", "type": "text", "x": 70, "y": 534, "width": 54.45, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1259156647, "versionNonce": 696755443, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "release()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "release()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1867229427", "type": "rectangle", "x": 690, "y": 450, "width": 150, "height": 38, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 479053824, "versionNonce": 1886115209, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t428156345", "type": "text", "x": 700, "y": 458, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 84293830, "versionNonce": 513242366, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker C", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker C", "lineHeight": 1.25, "baseline": 14 }, { "id": "t101749753", "type": "text", "x": 700, "y": 478, "width": 54.45, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1472185622, "versionNonce": 1526713126, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "acquire()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "acquire()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r53696114", "type": "rectangle", "x": 690, "y": 506, "width": 150, "height": 38, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1925881159, "versionNonce": 584574335, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t244332829", "type": "text", "x": 700, "y": 514, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 209026327, "versionNonce": 59849494, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "worker D", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "worker D", "lineHeight": 1.25, "baseline": 14 }, { "id": "t958105791", "type": "text", "x": 700, "y": 534, "width": 54.45, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1446355281, "versionNonce": 534301595, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "release()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "release()", "lineHeight": 1.25, "baseline": 11 }, { "id": "r99029964", "type": "rectangle", "x": 390, "y": 478, "width": 160, "height": 50, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "#faf0e6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 482120783, "versionNonce": 1014161215, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1638393378", "type": "text", "x": 400, "y": 486, "width": 69.30000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 898485662, "versionNonce": 301708162, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "8 permits", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "8 permits", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1423744929", "type": "text", "x": 400, "y": 506, "width": 40, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 843337263, "versionNonce": 53565116, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "pool", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "pool", "lineHeight": 1.25, "baseline": 11 }, { "id": "a814309394", "type": "arrow", "x": 220, "y": 92, "width": 130, "height": 26, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1897828414, "versionNonce": 132314285, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 130, 26 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1380103677", "type": "text", "x": 285.0, "y": 91.0, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1794848404, "versionNonce": 831406327, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "count_down()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "count_down()", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1550651296", "type": "arrow", "x": 220, "y": 138, "width": 130, "height": 8, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 665061050, "versionNonce": 1153902744, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 130, -8 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a549221620", "type": "arrow", "x": 220, "y": 184, "width": 130, "height": 42, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1564430280, "versionNonce": 1646016334, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 130, -42 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1899611280", "type": "arrow", "x": 510, "y": 130, "width": 140, "height": 0, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1103039491, "versionNonce": 1376849575, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 140, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t335080678", "type": "text", "x": 580.0, "y": 116.0, "width": 114.95, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 389720714, "versionNonce": 1261245037, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "count == 0, release", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "count == 0, release", "lineHeight": 1.25, "baseline": 11 }, { "id": "a183841330", "type": "arrow", "x": 430, "y": 160, "width": 0, "height": 18, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1231550267, "versionNonce": 666973077, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 18 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t114117346", "type": "text", "x": 430.0, "y": 155.0, "width": 127.05000000000001, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1635230987, "versionNonce": 168718841, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "spent -- cannot reset", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "spent -- cannot reset", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1027962926", "type": "arrow", "x": 220, "y": 292, "width": 180, "height": 34, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 944398440, "versionNonce": 292975968, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 180, 34 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t828615432", "type": "text", "x": 310.0, "y": 295.0, "width": 102.85000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 897564754, "versionNonce": 115486836, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "arrive_and_wait()", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "arrive_and_wait()", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1481304568", "type": "arrow", "x": 220, "y": 338, "width": 180, "height": 2, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 733682531, "versionNonce": 1026893063, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 180, -2 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1272534243", "type": "arrow", "x": 220, "y": 384, "width": 180, "height": 38, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 362933286, "versionNonce": 1317772961, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 180, -38 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1427809574", "type": "arrow", "x": 620, "y": 350, "width": 400, "height": 34, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1323555798, "versionNonce": 1604182696, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -400, 34 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1619475053", "type": "text", "x": 420.0, "y": 353.0, "width": 235.95000000000002, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 706521756, "versionNonce": 1435131420, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "phase N+1 -- count resets automatically", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "phase N+1 -- count resets automatically", "lineHeight": 1.25, "baseline": 11 }, { "id": "a282512898", "type": "arrow", "x": 210, "y": 469, "width": 180, "height": 21, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1367399046, "versionNonce": 1639773820, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 180, 21 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t492731586", "type": "text", "x": 300.0, "y": 465.5, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 290574848, "versionNonce": 1555634164, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "acquire() -1", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "acquire() -1", "lineHeight": 1.25, "baseline": 11 }, { "id": "a94441107", "type": "arrow", "x": 390, "y": 512, "width": 180, "height": 13, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1810052800, "versionNonce": 1339107938, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -180, 13 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t691854825", "type": "text", "x": 300.0, "y": 504.5, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 975521158, "versionNonce": 1678494694, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "release() +1", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "release() +1", "lineHeight": 1.25, "baseline": 11 }, { "id": "a482718505", "type": "arrow", "x": 690, "y": 469, "width": 140, "height": 21, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 72885445, "versionNonce": 994897453, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -140, 21 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1795195550", "type": "text", "x": 620.0, "y": 465.5, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 185577831, "versionNonce": 1362914812, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "acquire() -1", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "acquire() -1", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1644142019", "type": "arrow", "x": 550, "y": 512, "width": 140, "height": 13, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 575886414, "versionNonce": 1999859461, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 140, 13 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t316153879", "type": "text", "x": 620.0, "y": 504.5, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 400638970, "versionNonce": 1960297517, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "release() +1", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "release() +1", "lineHeight": 1.25, "baseline": 11 }, { "id": "t311445348", "type": "text", "x": 450, "y": 14, "width": 454.3, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 799366452, "versionNonce": 1385264835, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Coordination primitives: latch, barrier, counting_semaphore", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Coordination primitives: latch, barrier, counting_semaphore", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1951632731", "type": "text", "x": 450, "y": 600, "width": 272.25, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 396637342, "versionNonce": 1534417830, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "any thread may release, not just the acquirer", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "any thread may release, not just the acquirer", "lineHeight": 1.25, "baseline": 11 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }