{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r629582983", "type": "rectangle", "x": 30, "y": 46, "width": 820, "height": 90, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 282748197, "versionNonce": 835849926, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1467740179", "type": "text", "x": 42, "y": 52, "width": 46.2, "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": 1383502419, "versionNonce": 871426540, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "seq_cst", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "seq_cst", "lineHeight": 1.25, "baseline": 12 }, { "id": "r724260819", "type": "rectangle", "x": 30, "y": 146, "width": 820, "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": 1021419140, "versionNonce": 894192984, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t456462603", "type": "text", "x": 42, "y": 152, "width": 99.00000000000001, "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": 1153151111, "versionNonce": 761560809, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "acquire/release", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "acquire/release", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1686020066", "type": "rectangle", "x": 30, "y": 306, "width": 820, "height": 110, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 667284677, "versionNonce": 1081376404, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1544457758", "type": "text", "x": 42, "y": 312, "width": 46.2, "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": 343818712, "versionNonce": 1743664316, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "relaxed", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "relaxed", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1252482588", "type": "rectangle", "x": 60, "y": 70, "width": 760, "height": 50, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 196097647, "versionNonce": 120167202, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1086244735", "type": "text", "x": 70, "y": 78, "width": 169.4, "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": 1712154635, "versionNonce": 857380951, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "one global total order", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "one global total order", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1778729821", "type": "text", "x": 70, "y": 98, "width": 314.6, "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": 1417107678, "versionNonce": 98335492, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "every seq_cst op on this line, agreed by all threads", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "every seq_cst op on this line, agreed by all threads", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1992930517", "type": "rectangle", "x": 60, "y": 176, "width": 160, "height": 44, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1912461344, "versionNonce": 674022005, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t279249800", "type": "text", "x": 70, "y": 184, "width": 77.0, "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": 548649356, "versionNonce": 1189494520, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "buf[t] = v", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "buf[t] = v", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1355062372", "type": "rectangle", "x": 260, "y": 176, "width": 200, "height": 44, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1704926738, "versionNonce": 1537567229, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1330690791", "type": "text", "x": 270, "y": 184, "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": 1845795803, "versionNonce": 324124789, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "tail.store(Release)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "tail.store(Release)", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1174797926", "type": "rectangle", "x": 500, "y": 240, "width": 200, "height": 44, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1812411069, "versionNonce": 246659599, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t129789774", "type": "text", "x": 510, "y": 248, "width": 138.60000000000002, "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": 1851925946, "versionNonce": 1094600818, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "tail.load(Acquire)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "tail.load(Acquire)", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1277686278", "type": "rectangle", "x": 720, "y": 240, "width": 110, "height": 44, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 68073658, "versionNonce": 169950010, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t134818901", "type": "text", "x": 730, "y": 248, "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": 1581550832, "versionNonce": 1145672244, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "read buf[h]", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "read buf[h]", "lineHeight": 1.25, "baseline": 14 }, { "id": "r201524764", "type": "rectangle", "x": 100, "y": 336, "width": 220, "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": 1942695489, "versionNonce": 889293566, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t963532635", "type": "text", "x": 110, "y": 344, "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": 297096102, "versionNonce": 1908965757, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "producer", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "producer", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1433065334", "type": "text", "x": 110, "y": 364, "width": 78.65, "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": 513327677, "versionNonce": 859870120, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "relaxed store", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "relaxed store", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1530126757", "type": "rectangle", "x": 560, "y": 336, "width": 220, "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": 1336392718, "versionNonce": 1103150326, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1546810363", "type": "text", "x": 570, "y": 344, "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": 1826295649, "versionNonce": 1545754655, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "consumer", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "consumer", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1185824616", "type": "text", "x": 570, "y": 364, "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": 1294805124, "versionNonce": 521601317, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "relaxed load", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "relaxed load", "lineHeight": 1.25, "baseline": 11 }, { "id": "a449091913", "type": "arrow", "x": 220, "y": 198, "width": 40, "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": 11473377, "versionNonce": 1387414407, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 40, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a808708928", "type": "arrow", "x": 460, "y": 198, "width": 140, "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": 1170177259, "versionNonce": 1069386406, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 140, 42 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1474938217", "type": "text", "x": 530.0, "y": 205.0, "width": 284.35, "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": 1194618763, "versionNonce": 301774094, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "exactly one happens-before edge, this pair only", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "exactly one happens-before edge, this pair only", "lineHeight": 1.25, "baseline": 11 }, { "id": "a620205689", "type": "arrow", "x": 700, "y": 262, "width": 20, "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": 875791921, "versionNonce": 590855037, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 20, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t552860620", "type": "text", "x": 440, "y": 14, "width": 385.00000000000006, "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": 1914110737, "versionNonce": 876089329, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Memory ordering: seq_cst, acquire/release, relaxed", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Memory ordering: seq_cst, acquire/release, relaxed", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1833298659", "type": "text", "x": 440, "y": 392, "width": 577.5, "height": 12.5, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1318736837, "versionNonce": 1641965568, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "atomic, no ordering promise -- correct here only because the release/acquire edge above already covers it", "fontSize": 10, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "atomic, no ordering promise -- correct here only because the release/acquire edge above already covers it", "lineHeight": 1.25, "baseline": 10 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }