{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r939636978", "type": "rectangle", "x": 30, "y": 46, "width": 800, "height": 130, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 265625980, "versionNonce": 1220995131, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1632963982", "type": "text", "x": 42, "y": 52, "width": 323.40000000000003, "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": 487154307, "versionNonce": 96985774, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "user space (glibc pthread / libstdc++ std::mutex)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "user space (glibc pthread / libstdc++ std::mutex)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1621026866", "type": "rectangle", "x": 30, "y": 210, "width": 800, "height": 210, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 480284126, "versionNonce": 1873666049, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t23551149", "type": "text", "x": 42, "y": 216, "width": 316.8, "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": 247327740, "versionNonce": 388917733, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "kernel (entered only on a lost compare-exchange)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "kernel (entered only on a lost compare-exchange)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1004851258", "type": "rectangle", "x": 70, "y": 90, "width": 210, "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": 857494511, "versionNonce": 997410600, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1094870906", "type": "text", "x": 80, "y": 98, "width": 107.80000000000001, "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": 493330356, "versionNonce": 1833899808, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock word == 0", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock word == 0", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1314133879", "type": "rectangle", "x": 560, "y": 90, "width": 220, "height": 60, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1222553198, "versionNonce": 1370131867, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t21247789", "type": "text", "x": 570, "y": 98, "width": 161.70000000000002, "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": 1924301052, "versionNonce": 184162519, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock held, no syscall", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock held, no syscall", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1760414625", "type": "rectangle", "x": 60, "y": 250, "width": 220, "height": 56, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 514077764, "versionNonce": 258006974, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1410965859", "type": "text", "x": 70, "y": 258, "width": 107.80000000000001, "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": 574322995, "versionNonce": 1140759760, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock word == 1", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock word == 1", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1511775017", "type": "text", "x": 70, "y": 278, "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": 111348369, "versionNonce": 123712607, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "CAS fails", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "CAS fails", "lineHeight": 1.25, "baseline": 11 }, { "id": "r269195352", "type": "rectangle", "x": 580, "y": 250, "width": 200, "height": 56, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 202887493, "versionNonce": 47652739, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1635368494", "type": "text", "x": 590, "y": 258, "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": 1234386086, "versionNonce": 320752251, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "unlock()", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "unlock()", "lineHeight": 1.25, "baseline": 14 }, { "id": "r639261858", "type": "rectangle", "x": 320, "y": 340, "width": 220, "height": 56, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1999590664, "versionNonce": 1859396664, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t413948724", "type": "text", "x": 330, "y": 348, "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": 390670035, "versionNonce": 1181625451, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "wait queue", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "wait queue", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1450793", "type": "text", "x": 330, "y": 368, "width": 96.80000000000001, "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": 1640989783, "versionNonce": 432518907, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "keyed by address", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "keyed by address", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1230859301", "type": "arrow", "x": 280, "y": 120, "width": 280, "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": 1383043057, "versionNonce": 732387353, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 280, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t765967659", "type": "text", "x": 420.0, "y": 106.0, "width": 193.60000000000002, "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": 30711003, "versionNonce": 1569049269, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "cmpxchg 0 -> 1 (one instruction)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "cmpxchg 0 -> 1 (one instruction)", "lineHeight": 1.25, "baseline": 11 }, { "id": "a762196473", "type": "arrow", "x": 170, "y": 306, "width": 170, "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": 1093641998, "versionNonce": 1487220909, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 170, 34 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t410130221", "type": "text", "x": 255.0, "y": 309.0, "width": 163.35000000000002, "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": 542709615, "versionNonce": 1830407956, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "futex(FUTEX_WAIT, &word, 1)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "futex(FUTEX_WAIT, &word, 1)", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1544898720", "type": "arrow", "x": 680, "y": 306, "width": 160, "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": 354165857, "versionNonce": 405958070, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -160, 34 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1593383584", "type": "text", "x": 600.0, "y": 309.0, "width": 145.20000000000002, "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": 1712324295, "versionNonce": 362456737, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "futex(FUTEX_WAKE, &word)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "futex(FUTEX_WAKE, &word)", "lineHeight": 1.25, "baseline": 11 }, { "id": "a519619919", "type": "arrow", "x": 540, "y": 340, "width": 130, "height": 190, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 670216387, "versionNonce": 1420592451, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 130, -190 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1916592055", "type": "text", "x": 605.0, "y": 231.0, "width": 121.00000000000001, "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": 1313937785, "versionNonce": 1268182088, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "woken thread resumes", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "woken thread resumes", "lineHeight": 1.25, "baseline": 11 }, { "id": "t414998651", "type": "text", "x": 430, "y": 14, "width": 400.40000000000003, "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": 1200321298, "versionNonce": 1994248188, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Futex: fast path (user space) and slow path (kernel)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Futex: fast path (user space) and slow path (kernel)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t573866929", "type": "text", "x": 430, "y": 190, "width": 411.40000000000003, "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": 636216761, "versionNonce": 1203155952, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "uncontended: compare-exchange succeeds, nothing below this line runs", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "uncontended: compare-exchange succeeds, nothing below this line runs", "lineHeight": 1.25, "baseline": 11 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }