{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1643877900", "type": "rectangle", "x": 30, "y": 100, "width": 890, "height": 96, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 48166457, "versionNonce": 1929360793, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1552481919", "type": "text", "x": 42, "y": 106, "width": 52.800000000000004, "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": 272203682, "versionNonce": 448433442, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 1", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 1", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1881387356", "type": "rectangle", "x": 30, "y": 210, "width": 890, "height": 96, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1571348734, "versionNonce": 607476982, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t228857680", "type": "text", "x": 42, "y": 216, "width": 52.800000000000004, "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": 1913292807, "versionNonce": 835509877, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 2", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 2", "lineHeight": 1.25, "baseline": 12 }, { "id": "r527636794", "type": "rectangle", "x": 440, "y": 40, "width": 160, "height": 40, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "#faf0e6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 403415965, "versionNonce": 1223279326, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t555213278", "type": "text", "x": 450, "y": 48, "width": 92.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": 889731293, "versionNonce": 1233644065, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "head pointer", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "head pointer", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1356593453", "type": "text", "x": 450, "y": 68, "width": 121.00000000000001, "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": 139024073, "versionNonce": 1309701456, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "shared atomic", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "shared atomic", "lineHeight": 1.25, "baseline": 11 }, { "id": "r832952333", "type": "rectangle", "x": 50, "y": 126, "width": 150, "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": 1864353520, "versionNonce": 1381662469, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t530548202", "type": "text", "x": 60, "y": 134, "width": 100.10000000000001, "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": 723865317, "versionNonce": 838965140, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "read head = A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "read head = A", "lineHeight": 1.25, "baseline": 14 }, { "id": "r209565310", "type": "rectangle", "x": 220, "y": 126, "width": 190, "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": 1610276965, "versionNonce": 1150379906, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1633083007", "type": "text", "x": 230, "y": 134, "width": 123.20000000000002, "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": 535296237, "versionNonce": 1055063306, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "compute new_head", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "compute new_head", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1330621248", "type": "text", "x": 230, "y": 154, "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": 394467194, "versionNonce": 842120214, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "= A->next", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "= A->next", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1923074358", "type": "rectangle", "x": 430, "y": 126, "width": 90, "height": 50, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1031443119, "versionNonce": 1089336233, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t361514361", "type": "text", "x": 440, "y": 134, "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": 328255417, "versionNonce": 1491813039, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "PREEMPTED", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "PREEMPTED", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1943009845", "type": "rectangle", "x": 540, "y": 126, "width": 330, "height": 50, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1652586502, "versionNonce": 1558471530, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t182407494", "type": "text", "x": 550, "y": 134, "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": 1400973947, "versionNonce": 949221923, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "CAS(head, A, new_head)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "CAS(head, A, new_head)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1642424124", "type": "text", "x": 550, "y": 154, "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": 1154354389, "versionNonce": 1873203350, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "succeeds!", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "succeeds!", "lineHeight": 1.25, "baseline": 11 }, { "id": "r525519670", "type": "rectangle", "x": 420, "y": 236, "width": 140, "height": 50, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 591332134, "versionNonce": 501639472, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1553214129", "type": "text", "x": 430, "y": 244, "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": 1564116559, "versionNonce": 1283875970, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "pop A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "pop A", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1555640922", "type": "text", "x": 430, "y": 264, "width": 48.400000000000006, "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": 1451261687, "versionNonce": 1797431568, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "head = B", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "head = B", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1287594451", "type": "rectangle", "x": 580, "y": 236, "width": 170, "height": 50, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 881715555, "versionNonce": 1122399216, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t286534985", "type": "text", "x": 590, "y": 244, "width": 100.10000000000001, "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": 424988708, "versionNonce": 33447904, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "pop B, free A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "pop B, free A", "lineHeight": 1.25, "baseline": 14 }, { "id": "t327658182", "type": "text", "x": 590, "y": 264, "width": 48.400000000000006, "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": 290253128, "versionNonce": 1889075999, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "head = C", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "head = C", "lineHeight": 1.25, "baseline": 11 }, { "id": "r538402568", "type": "rectangle", "x": 770, "y": 236, "width": 170, "height": 50, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1070428251, "versionNonce": 1181099768, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1403630438", "type": "text", "x": 780, "y": 244, "width": 100.10000000000001, "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": 444565586, "versionNonce": 101845705, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "push new node", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "push new node", "lineHeight": 1.25, "baseline": 14 }, { "id": "t18440549", "type": "text", "x": 780, "y": 264, "width": 139.15, "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": 1269563245, "versionNonce": 318685676, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "reused addr A, head = A", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "reused addr A, head = A", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1701139702", "type": "rectangle", "x": 540, "y": 320, "width": 330, "height": 50, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1383726374, "versionNonce": 1527648100, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1687918748", "type": "text", "x": 550, "y": 328, "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": 1236008040, "versionNonce": 460515752, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "corruption", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "corruption", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1886384153", "type": "text", "x": 550, "y": 348, "width": 260.15000000000003, "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": 312393436, "versionNonce": 1930701145, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "new_head points into memory T2 freed/reused", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "new_head points into memory T2 freed/reused", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1876651505", "type": "arrow", "x": 520, "y": 80, "width": 300, "height": 46, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1330608767, "versionNonce": 1909981245, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -300, 46 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1910431584", "type": "text", "x": 370.0, "y": 89.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": 48294839, "versionNonce": 636623018, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "initial load", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "initial load", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1926279540", "type": "arrow", "x": 200, "y": 151, "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": 554714749, "versionNonce": 1393541310, "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": "a598900834", "type": "arrow", "x": 410, "y": 151, "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": 582917856, "versionNonce": 214423964, "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": "a474905227", "type": "arrow", "x": 520, "y": 151, "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": 1773778688, "versionNonce": 223002175, "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": "a1806724489", "type": "arrow", "x": 560, "y": 261, "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": 662554035, "versionNonce": 1644010814, "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": "a1561097505", "type": "arrow", "x": 750, "y": 261, "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": 537949949, "versionNonce": 240700237, "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": "a928487481", "type": "arrow", "x": 705, "y": 126, "width": 185, "height": 46, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 108177472, "versionNonce": 1322306525, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -185, -46 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t372540418", "type": "text", "x": 612.5, "y": 89.0, "width": 272.25, "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": 729088914, "versionNonce": 1617860697, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "numerically A, semantically a different stack", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "numerically A, semantically a different stack", "lineHeight": 1.25, "baseline": 11 }, { "id": "a819227082", "type": "arrow", "x": 570, "y": 176, "width": 0, "height": 144, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1687656749, "versionNonce": 44164573, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 144 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1291933328", "type": "text", "x": 470, "y": 14, "width": 431.20000000000005, "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": 1489606600, "versionNonce": 1324008351, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "The ABA problem: a reused address fools compare-and-swap", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "The ABA problem: a reused address fools compare-and-swap", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1093190321", "type": "text", "x": 855, "y": 290, "width": 176.0, "height": 12.5, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1837487961, "versionNonce": 994026504, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "allocator reuses freed address A", "fontSize": 10, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "allocator reuses freed address A", "lineHeight": 1.25, "baseline": 10 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }