{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_frame", "x": 0, "y": 0, "width": 1140, "height": 600, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 1055002771, "version": 1, "versionNonce": 1795383220, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "title", "x": 40, "y": 40, "width": 954.72, "height": 33.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 724990060, "version": 1, "versionNonce": 555222682, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "A SessionId is its own address: generation, lane and slot in 32 bits", "originalText": "A SessionId is its own address: generation, lane and slot in 32 bits", "fontSize": 27, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "sub", "x": 40, "y": 84, "width": 393.59999999999997, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1476559581, "version": 1, "versionNonce": 1623114449, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "SessionId (u32), assigned by the exchange", "originalText": "SessionId (u32), assigned by the exchange", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "gen", "x": 90, "y": 190, "width": 360, "height": 80, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 5887755, "version": 1, "versionNonce": 462932330, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "gen_t", "type": "text" } ], "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "gen_t", "x": 98, "y": 217.5, "width": 344, "height": 25.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1385477606, "version": 1, "versionNonce": 1586544027, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "generation u12", "originalText": "generation u12", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "gen", "lineHeight": 1.25 }, { "type": "text", "id": "gen_hi", "x": 98, "y": 162, "width": 19.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1501373331, "version": 1, "versionNonce": 22171849, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "31", "originalText": "31", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "gen_lo", "x": 422.8, "y": 162, "width": 19.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1572722596, "version": 1, "versionNonce": 1683133230, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "20", "originalText": "20", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "lane", "x": 450, "y": 190, "width": 240, "height": 80, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1741836623, "version": 1, "versionNonce": 1196805559, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "lane_t", "type": "text" } ], "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "lane_t", "x": 458, "y": 217.5, "width": 224, "height": 25.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 500349243, "version": 1, "versionNonce": 1557494930, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "LaneId u8", "originalText": "LaneId u8", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "lane", "lineHeight": 1.25 }, { "type": "text", "id": "lane_hi", "x": 458, "y": 162, "width": 19.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1330456276, "version": 1, "versionNonce": 20502530, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "19", "originalText": "19", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "lane_lo", "x": 662.8, "y": 162, "width": 19.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1267587811, "version": 1, "versionNonce": 85352421, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "12", "originalText": "12", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "rectangle", "id": "slot", "x": 690, "y": 190, "width": 360, "height": 80, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 886606952, "version": 1, "versionNonce": 1894220652, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "slot_t", "type": "text" } ], "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "slot_t", "x": 698, "y": 217.5, "width": 344, "height": 25.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 977311720, "version": 1, "versionNonce": 258321218, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "slot u12", "originalText": "slot u12", "fontSize": 20, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "containerId": "slot", "lineHeight": 1.25 }, { "type": "text", "id": "slot_hi", "x": 698, "y": 162, "width": 19.2, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1045388385, "version": 1, "versionNonce": 277087995, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "11", "originalText": "11", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "slot_lo", "x": 1032.4, "y": 162, "width": 9.6, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1007331410, "version": 1, "versionNonce": 1962984736, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "0", "originalText": "0", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "line", "id": "tick1", "x": 120, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 286838453, "version": 1, "versionNonce": 96138207, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick2", "x": 150, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 282856207, "version": 1, "versionNonce": 133975432, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick3", "x": 180, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 279676825, "version": 1, "versionNonce": 104736689, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick4", "x": 210, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1634875964, "version": 1, "versionNonce": 57749814, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick5", "x": 240, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 376769198, "version": 1, "versionNonce": 45308675, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick6", "x": 270, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 407291672, "version": 1, "versionNonce": 16115036, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick7", "x": 300, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 168838018, "version": 1, "versionNonce": 20418413, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick8", "x": 330, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1757705745, "version": 1, "versionNonce": 174835794, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick9", "x": 360, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 532891271, "version": 1, "versionNonce": 195666535, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick10", "x": 390, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 952545403, "version": 1, "versionNonce": 1883826428, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick11", "x": 420, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1338081517, "version": 1, "versionNonce": 1871086285, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick13", "x": 480, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 714755521, "version": 1, "versionNonce": 1845702307, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick14", "x": 510, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1068201060, "version": 1, "versionNonce": 1765949480, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick15", "x": 540, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1219249398, "version": 1, "versionNonce": 1786784273, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick16", "x": 570, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1517257040, "version": 1, "versionNonce": 1824353354, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick17", "x": 600, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 795644378, "version": 1, "versionNonce": 1794889343, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick18", "x": 630, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 907884617, "version": 1, "versionNonce": 1916246340, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick19", "x": 660, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1092225247, "version": 1, "versionNonce": 1903801205, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick21", "x": 720, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1693242160, "version": 1, "versionNonce": 94277923, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick22", "x": 750, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 259676822, "version": 1, "versionNonce": 132374396, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick23", "x": 780, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 330112516, "version": 1, "versionNonce": 153240909, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick24", "x": 810, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 344336289, "version": 1, "versionNonce": 72831946, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick25", "x": 840, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1669404471, "version": 1, "versionNonce": 76868095, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick26", "x": 870, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 203234957, "version": 1, "versionNonce": 47941544, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick27", "x": 900, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 374989339, "version": 1, "versionNonce": 35233169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick28", "x": 930, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 489712524, "version": 1, "versionNonce": 225270446, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick29", "x": 960, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1782012702, "version": 1, "versionNonce": 196067483, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick30", "x": 990, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 183554809, "version": 1, "versionNonce": 1299690609, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "line", "id": "tick31", "x": 1020, "y": 258, "width": 0, "height": 12, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 113397359, "version": 1, "versionNonce": 1286987336, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null }, { "type": "text", "id": "gen_n", "x": 90, "y": 300, "width": 299.52, "height": 67.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 883470496, "version": 1, "versionNonce": 1296163645, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+1 each time the slot is reused,\nso a stale SessionId never\nmatches a new session", "originalText": "+1 each time the slot is reused,\nso a stale SessionId never\nmatches a new session", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "lane_n", "x": 460, "y": 300, "width": 252.72, "height": 67.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1751823425, "version": 1, "versionNonce": 1317315128, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "names the lane: the lane\ndecides V2 with one compare\nand one load", "originalText": "names the lane: the lane\ndecides V2 with one compare\nand one load", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "slot_n", "x": 820, "y": 300, "width": 205.92000000000002, "height": 45.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1340922526, "version": 1, "versionNonce": 536118760, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "indexes the lane's\nsession table directly", "originalText": "indexes the lane's\nsession table directly", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "slot_c", "x": 820, "y": 356, "width": 189.0, "height": 37.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1113423393, "version": 1, "versionNonce": 683472565, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "MAX_SESSIONS_PER_LANE\n= 4,096 = 2^12", "originalText": "MAX_SESSIONS_PER_LANE\n= 4,096 = 2^12", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "text", "id": "n1", "x": 90, "y": 470, "width": 336.96000000000004, "height": 22.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1950597357, "version": 1, "versionNonce": 1728226490, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "wraps after 4,096 reuses of one slot", "originalText": "wraps after 4,096 reuses of one slot", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n1_a", "x": 200, "y": 465, "width": 30, "height": 85, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1632447711, "version": 1, "versionNonce": 98238575, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -30, -45 ], [ -10, -85 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "n2", "x": 470, "y": 470, "width": 393.12, "height": 22.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1919944023, "version": 1, "versionNonce": 1698962145, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "no hash table that an attacker could probe", "originalText": "no hash table that an attacker could probe", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 }, { "type": "arrow", "id": "n2_a", "x": 640, "y": 465, "width": 40, "height": 81, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1670310536, "version": 1, "versionNonce": 984673983, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 40, -45 ], [ 10, -81 ] ], "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "elbowed": false }, { "type": "text", "id": "foot", "x": 90, "y": 530, "width": 673.9200000000001, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1381606804, "version": 1, "versionNonce": 238802580, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "The same SessionId is valid in every home; a session never changes lane.", "originalText": "The same SessionId is valid in every home; a session never changes lane.", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "containerId": null, "lineHeight": 1.25 } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }