{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1610339801", "type": "rectangle", "x": 40, "y": 214, "width": 800, "height": 118, "angle": 0, "strokeColor": "#dddddd", "backgroundColor": "#fff8ef", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1178539441, "versionNonce": 646523947, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1014200919", "type": "text", "x": 52, "y": 220, "width": 343.20000000000005, "height": 15.0, "angle": 0, "strokeColor": "#888888", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 387405034, "versionNonce": 1716221933, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "the acquire / release discipline (verifier-enforced)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the acquire / release discipline (verifier-enforced)", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1663755650", "type": "rectangle", "x": 40, "y": 68, "width": 360, "height": 110, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1966622082, "versionNonce": 1960792180, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t287027014", "type": "text", "x": 50, "y": 76, "width": 84.7, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1265882312, "versionNonce": 1519193574, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "BPF helpers", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "BPF helpers", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1347300739", "type": "text", "x": 50, "y": 96, "width": 211.75000000000003, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1548334284, "versionNonce": 1356825130, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "a frozen, numbered UAPI list (~210)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "a frozen, numbered UAPI list (~210)", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1299007663", "type": "text", "x": 50, "y": 111, "width": 199.65, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 821466711, "versionNonce": 1367390432, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "stable ABI \u00b7 scalar & memory args", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "stable ABI \u00b7 scalar & memory args", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1829576719", "type": "rectangle", "x": 480, "y": 68, "width": 360, "height": 110, "angle": 0, "strokeColor": "#e8870c", "backgroundColor": "#fff8ef", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 175779053, "versionNonce": 466739044, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1563477157", "type": "text", "x": 490, "y": 76, "width": 46.2, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 534643621, "versionNonce": 466762240, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "kfuncs", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "kfuncs", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1896315599", "type": "text", "x": 490, "y": 96, "width": 211.75000000000003, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 106325155, "versionNonce": 1311599230, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "kernel functions registered via BTF", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "kernel functions registered via BTF", "lineHeight": 1.25, "baseline": 11 }, { "id": "t229950269", "type": "text", "x": 490, "y": 111, "width": 332.75, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 388655703, "versionNonce": 1749900531, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "typed kernel pointers \u00b7 per-fn flags \u00b7 no ABI stability", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "typed kernel pointers \u00b7 per-fn flags \u00b7 no ABI stability", "lineHeight": 1.25, "baseline": 11 }, { "id": "r296630263", "type": "rectangle", "x": 70, "y": 262, "width": 210, "height": 52, "angle": 0, "strokeColor": "#888888", "backgroundColor": "#f4f4f4", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1187283503, "versionNonce": 48788713, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1898651908", "type": "text", "x": 80, "y": 270, "width": 146.3, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 481609360, "versionNonce": 350763248, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "bpf_task_from_pid()", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "bpf_task_from_pid()", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1753198410", "type": "text", "x": 80, "y": 290, "width": 145.20000000000002, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1306933568, "versionNonce": 1454231800, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "KF_ACQUIRE | KF_RET_NULL", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "KF_ACQUIRE | KF_RET_NULL", "lineHeight": 1.25, "baseline": 11 }, { "id": "r558228802", "type": "rectangle", "x": 330, "y": 268, "width": 150, "height": 42, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1858389695, "versionNonce": 1424965537, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t782624505", "type": "text", "x": 340, "y": 276, "width": 77.0, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 231463753, "versionNonce": 1274084853, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "null-check", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "null-check", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1950118026", "type": "text", "x": 340, "y": 296, "width": 48.400000000000006, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1026584963, "versionNonce": 1937525315, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "(forced)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "(forced)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r343347063", "type": "rectangle", "x": 540, "y": 262, "width": 210, "height": 52, "angle": 0, "strokeColor": "#888888", "backgroundColor": "#f4f4f4", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1770486123, "versionNonce": 531224472, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t222356373", "type": "text", "x": 550, "y": 270, "width": 138.60000000000002, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1260687219, "versionNonce": 1876091160, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "bpf_task_release()", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "bpf_task_release()", "lineHeight": 1.25, "baseline": 14 }, { "id": "t747000384", "type": "text", "x": 550, "y": 290, "width": 60.50000000000001, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 384447058, "versionNonce": 1651573935, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "KF_RELEASE", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "KF_RELEASE", "lineHeight": 1.25, "baseline": 11 }, { "id": "a594770664", "type": "arrow", "x": 280, "y": 288, "width": 50, "height": 1, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 230636263, "versionNonce": 824747344, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 50, 1 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a280627322", "type": "arrow", "x": 480, "y": 289, "width": 60, "height": 1, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 504976510, "versionNonce": 906541939, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 60, -1 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1792861318", "type": "text", "x": 510.0, "y": 274.5, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 235691709, "versionNonce": 546894679, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "must release", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "must release", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1949606124", "type": "text", "x": 440, "y": 20, "width": 248.05, "height": 13.75, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 704836853, "versionNonce": 43456351, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "two ways to call into the kernel from BPF", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "two ways to call into the kernel from BPF", "lineHeight": 1.25, "baseline": 11 }, { "id": "t867427353", "type": "text", "x": 220, "y": 186, "width": 286.0, "height": 16.25, "angle": 0, "strokeColor": "#6a6a6a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1816828257, "versionNonce": 483480592, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "adding one is a permanent ABI commitment", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "adding one is a permanent ABI commitment", "lineHeight": 1.25, "baseline": 13 }, { "id": "t1061495617", "type": "text", "x": 660, "y": 186, "width": 293.15000000000003, "height": 16.25, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1118268349, "versionNonce": 210734741, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "subsystems export their own; expect churn", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "subsystems export their own; expect churn", "lineHeight": 1.25, "baseline": 13 }, { "id": "t1993597489", "type": "text", "x": 440, "y": 338, "width": 641.3000000000001, "height": 13.75, "angle": 0, "strokeColor": "#888888", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1255281337, "versionNonce": 1781523927, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "drop the release on any path and the program won't load \u2014 kfuncs let the verifier enforce reference safety", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "drop the release on any path and the program won't load \u2014 kfuncs let the verifier enforce reference safety", "lineHeight": 1.25, "baseline": 11 } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": null }, "files": {} }