{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "frame", "x": 0, "y": 0, "width": 1160, "height": 1250, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 1007, "version": 1, "versionNonce": 5013, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t2", "x": 40, "y": 36, "width": 816.2, "height": 70.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1014, "version": 1, "versionNonce": 5026, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "The BBO core sheds a step it cannot finish by 980 ns,\nso the Reject still leaves at 970", "originalText": "The BBO core sheds a step it cannot finish by 980 ns,\nso the Reject still leaves at 970", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t3", "x": 40, "y": 116, "width": 76.8, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1021, "version": 1, "versionNonce": 5039, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "03 §6.22", "originalText": "03 §6.22", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b4", "x": 15.0, "y": 160, "width": 110, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1028, "version": 1, "versionNonce": 5052, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t5", "x": 38.65, "y": 176.125, "width": 62.7, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1035, "version": 1, "versionNonce": 5065, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "client", "originalText": "client", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b6", "x": 160.0, "y": 160, "width": 100, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1042, "version": 1, "versionNonce": 5078, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t7", "x": 189.1, "y": 176.125, "width": 41.800000000000004, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1049, "version": 1, "versionNonce": 5091, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "NICk", "originalText": "NICk", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b8", "x": 290.0, "y": 160, "width": 120, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1056, "version": 1, "versionNonce": 5104, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t9", "x": 318.65, "y": 176.125, "width": 62.7, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1063, "version": 1, "versionNonce": 5117, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "lane T", "originalText": "lane T", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b10", "x": 560.0, "y": 160, "width": 160, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1070, "version": 1, "versionNonce": 5130, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t11", "x": 598.2, "y": 176.125, "width": 83.60000000000001, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1077, "version": 1, "versionNonce": 5143, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "BBO core", "originalText": "BBO core", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b12", "x": 870.0, "y": 160, "width": 120, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1084, "version": 1, "versionNonce": 5156, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t13", "x": 898.65, "y": 176.125, "width": 62.7, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1091, "version": 1, "versionNonce": 5169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "core 4", "originalText": "core 4", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b14", "x": 1015.0, "y": 160, "width": 100, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1098, "version": 1, "versionNonce": 5182, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t15", "x": 1028.425, "y": 176.125, "width": 73.15, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1105, "version": 1, "versionNonce": 5195, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "fill TX", "originalText": "fill TX", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "line", "id": "l16", "x": 70, "y": 216, "width": 0, "height": 734, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1112, "version": 1, "versionNonce": 5208, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 734 ] ] }, { "type": "line", "id": "l17", "x": 210, "y": 216, "width": 0, "height": 734, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1119, "version": 1, "versionNonce": 5221, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 734 ] ] }, { "type": "line", "id": "l18", "x": 350, "y": 216, "width": 0, "height": 734, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1126, "version": 1, "versionNonce": 5234, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 734 ] ] }, { "type": "line", "id": "l19", "x": 640, "y": 216, "width": 0, "height": 734, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1133, "version": 1, "versionNonce": 5247, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 734 ] ] }, { "type": "line", "id": "l20", "x": 1065, "y": 216, "width": 0, "height": 734, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1140, "version": 1, "versionNonce": 5260, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 734 ] ] }, { "type": "line", "id": "l21", "x": 930, "y": 216, "width": 0, "height": 520, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1147, "version": 1, "versionNonce": 5273, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 520 ] ] }, { "type": "text", "id": "t22", "x": 50.4, "y": 234, "width": 9.6, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1154, "version": 1, "versionNonce": 5286, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "0", "originalText": "0", "fontSize": 16, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a23", "x": 70, "y": 246, "width": 140, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1161, "version": 1, "versionNonce": 5299, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 140, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t24", "x": 218, "y": 256, "width": 36.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1168, "version": 1, "versionNonce": 5312, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+320", "originalText": "+320", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a25", "x": 210, "y": 288, "width": 140, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1175, "version": 1, "versionNonce": 5325, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 140, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t26", "x": 364, "y": 300, "width": 48.0, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1182, "version": 1, "versionNonce": 5338, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=320", "originalText": "t=320", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t27", "x": 419.0, "y": 300, "width": 46.75000000000001, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1189, "version": 1, "versionNonce": 5351, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "admit", "originalText": "admit", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t28", "x": 364, "y": 324, "width": 99.0, "height": 18.75, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1196, "version": 1, "versionNonce": 5364, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(bbo_lag_ns", "originalText": "(bbo_lag_ns", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t29", "x": 470.0, "y": 324, "width": 140.8, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1203, "version": 1, "versionNonce": 5377, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "was 0 when read)", "originalText": "was 0 when read)", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t30", "x": 364, "y": 358, "width": 93.50000000000001, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1210, "version": 1, "versionNonce": 5390, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "push msg 9", "originalText": "push msg 9", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t31", "x": 459.4, "y": 358, "width": 48.0, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1217, "version": 1, "versionNonce": 5403, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=425", "originalText": "t=425", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a32", "x": 350, "y": 388, "width": 290, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1224, "version": 1, "versionNonce": 5416, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 290, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t33", "x": 654, "y": 400, "width": 57.599999999999994, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1231, "version": 1, "versionNonce": 5429, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=525:", "originalText": "t=525:", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t34", "x": 718.6, "y": 400, "width": 112.2, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1238, "version": 1, "versionNonce": 5442, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "other lanes'", "originalText": "other lanes'", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t35", "x": 654, "y": 424, "width": 205.70000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1245, "version": 1, "versionNonce": 5455, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "crosses arrived first;", "originalText": "crosses arrived first;", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t36", "x": 654, "y": 448, "width": 65.45, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1252, "version": 1, "versionNonce": 5468, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "head at", "originalText": "head at", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t37", "x": 722.88, "y": 448, "width": 48.0, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1259, "version": 1, "versionNonce": 5481, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=580", "originalText": "t=580", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b38", "x": 654, "y": 482, "width": 230, "height": 82, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1266, "version": 1, "versionNonce": 5494, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t39", "x": 666, "y": 492, "width": 180.0, "height": 56.25, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1273, "version": 1, "versionNonce": 5507, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "cannot start now and\n580 + 390 + 15 > 980\n→ shed", "originalText": "cannot start now and\n580 + 390 + 15 > 980\n→ shed", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "ellipse", "id": "d40", "x": 634, "y": 584, "width": 12, "height": 12, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1280, "version": 1, "versionNonce": 5520, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t41", "x": 654, "y": 578, "width": 180.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1287, "version": 1, "versionNonce": 5533, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "step s = Shed(src T,", "originalText": "step s = Shed(src T,", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t42", "x": 654, "y": 600, "width": 117.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1294, "version": 1, "versionNonce": 5546, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "src_lane_seq)", "originalText": "src_lane_seq)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t43", "x": 778.0, "y": 600, "width": 27.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1301, "version": 1, "versionNonce": 5559, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+10", "originalText": "+10", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t44", "x": 654, "y": 630, "width": 54.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1308, "version": 1, "versionNonce": 5572, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "R_step", "originalText": "R_step", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a45", "x": 640, "y": 656, "width": 290, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1315, "version": 1, "versionNonce": 5585, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 290, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t46", "x": 942, "y": 664, "width": 79.2, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1322, "version": 1, "versionNonce": 5598, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "frame A|B", "originalText": "frame A|B", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t47", "x": 942, "y": 686, "width": 90.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1329, "version": 1, "versionNonce": 5611, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "released=s", "originalText": "released=s", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t48", "x": 942, "y": 708, "width": 45.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1336, "version": 1, "versionNonce": 5624, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=650", "originalText": "t=650", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t49", "x": 364, "y": 690, "width": 196.35000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1343, "version": 1, "versionNonce": 5637, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Shed event, fill ring", "originalText": "Shed event, fill ring", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a50", "x": 640, "y": 718, "width": 290, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1350, "version": 1, "versionNonce": 5650, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ -290, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t51", "x": 654, "y": 712, "width": 108.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1357, "version": 1, "versionNonce": 5663, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=690 (+100)", "originalText": "t=690 (+100)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t52", "x": 364, "y": 740, "width": 196.35000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1364, "version": 1, "versionNonce": 5676, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "read between messages", "originalText": "read between messages", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t53", "x": 556.64, "y": 740, "width": 48.0, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1371, "version": 1, "versionNonce": 5689, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(+10)", "originalText": "(+10)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t54", "x": 364, "y": 764, "width": 102.85000000000001, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1378, "version": 1, "versionNonce": 5702, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "· gate open", "originalText": "· gate open", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t55", "x": 468.24, "y": 764, "width": 48.0, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1385, "version": 1, "versionNonce": 5715, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(+10)", "originalText": "(+10)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t56", "x": 364, "y": 796, "width": 271.15000000000003, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1392, "version": 1, "versionNonce": 5728, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Reject BUSY into the reserved", "originalText": "Reject BUSY into the reserved", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t57", "x": 364, "y": 820, "width": 72.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1399, "version": 1, "versionNonce": 5741, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "resp_seq", "originalText": "resp_seq", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t58", "x": 443.0, "y": 820, "width": 45.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1406, "version": 1, "versionNonce": 5754, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(+20)", "originalText": "(+20)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t59", "x": 495.0, "y": 820, "width": 45.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1413, "version": 1, "versionNonce": 5767, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=730", "originalText": "t=730", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t60", "x": 78, "y": 838, "width": 108.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1420, "version": 1, "versionNonce": 5780, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=970 (+240)", "originalText": "t=970 (+240)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a61", "x": 350, "y": 866, "width": 280, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1427, "version": 1, "versionNonce": 5793, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ -280, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t62", "x": 78, "y": 874, "width": 38.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1434, "version": 1, "versionNonce": 5806, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "BUSY", "originalText": "BUSY", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t63", "x": 364, "y": 884, "width": 243.10000000000002, "height": 42.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1441, "version": 1, "versionNonce": 5819, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "release the reservation at\nthe next packet boundary", "originalText": "release the reservation at\nthe next packet boundary", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t64", "x": 364, "y": 930, "width": 135.0, "height": 18.75, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1448, "version": 1, "versionNonce": 5832, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(fills_applied)", "originalText": "(fills_applied)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t65", "x": 846, "y": 786, "width": 178.20000000000002, "height": 67.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1455, "version": 1, "versionNonce": 5845, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "the TX cores write\nnothing for a Shed\nstep (ARC-D7)", "originalText": "the TX cores write\nnothing for a Shed\nstep (ARC-D7)", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a66", "x": 1030, "y": 790, "width": 31, "height": 34, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1462, "version": 1, "versionNonce": 5858, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 20, -14 ], [ 31, -34 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t67", "x": 40, "y": 972, "width": 415.8, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1469, "version": 1, "versionNonce": 5871, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "from the head at 580: the shed path, in ns", "originalText": "from the head at 580: the shed path, in ns", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b68", "x": 108.0, "y": 1040, "width": 24.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1476, "version": 1, "versionNonce": 5884, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b69", "x": 132.0, "y": 1040, "width": 240.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1483, "version": 1, "versionNonce": 5897, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t70", "x": 194.8, "y": 1048.0, "width": 114.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1490, "version": 1, "versionNonce": 5910, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "fill ring 100", "originalText": "fill ring 100", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b71", "x": 372.0, "y": 1040, "width": 24.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1497, "version": 1, "versionNonce": 5923, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b72", "x": 396.0, "y": 1040, "width": 24.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1504, "version": 1, "versionNonce": 5936, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b73", "x": 420.0, "y": 1040, "width": 48.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1511, "version": 1, "versionNonce": 5949, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b74", "x": 468.0, "y": 1040, "width": 576.0, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1518, "version": 1, "versionNonce": 5962, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t75", "x": 685.6, "y": 1048.0, "width": 140.8, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1525, "version": 1, "versionNonce": 5975, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "NIC → client 240", "originalText": "NIC → client 240", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b76", "x": 1044.0, "y": 1040, "width": 36.0, "height": 36, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "hachure", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1532, "version": 1, "versionNonce": 5988, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "line", "id": "l77", "x": 1068.0, "y": 1032, "width": 0.0, "height": 58, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1539, "version": 1, "versionNonce": 6001, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0.0, 0 ], [ 0.0, 58 ] ] }, { "type": "text", "id": "t78", "x": 94.5, "y": 1018, "width": 27.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1546, "version": 1, "versionNonce": 6014, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "580", "originalText": "580", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t79", "x": 1013.0, "y": 1018, "width": 27.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1553, "version": 1, "versionNonce": 6027, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "970", "originalText": "970", "fontSize": 15, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t80", "x": 1070.0, "y": 1014, "width": 27.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1560, "version": 1, "versionNonce": 6040, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "980", "originalText": "980", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t81", "x": 108.0, "y": 1090, "width": 684.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1567, "version": 1, "versionNonce": 6053, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "10 + 100 + 10 + 10 + 20 + 240 = 390 ns, 35 more than the 355 ns execute path", "originalText": "10 + 100 + 10 + 10 + 20 + 240 = 390 ns, 35 more than the 355 ns execute path", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t82", "x": 108.0, "y": 1116, "width": 149.60000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1574, "version": 1, "versionNonce": 6066, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "so the test adds", "originalText": "so the test adds", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t83", "x": 256.44, "y": 1116, "width": 201.6, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1581, "version": 1, "versionNonce": 6079, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "ARC_BBO_TEST_NS = 15:", "originalText": "ARC_BBO_TEST_NS = 15:", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t84", "x": 465.03999999999996, "y": 1116, "width": 249.6, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1588, "version": 1, "versionNonce": 6092, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "580 + 390 + 15 = 985 > 980", "originalText": "580 + 390 + 15 = 985 > 980", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t85", "x": 800, "y": 1144, "width": 207.9, "height": 45.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1595, "version": 1, "versionNonce": 6105, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "a shed is then always\nanswered in time", "originalText": "a shed is then always\nanswered in time", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a86", "x": 1016, "y": 1152, "width": 26.0, "height": 72, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1602, "version": 1, "versionNonce": 6118, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 18, -28 ], [ 26.0, -72 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t87", "x": 40, "y": 1206, "width": 765.6, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1609, "version": 1, "versionNonce": 6131, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "A dedicated client's BUSY from this stage counts against its 10⁻⁵ bound (02 REQ-LAT-5).", "originalText": "A dedicated client's BUSY from this stage counts against its 10⁻⁵ bound (02 REQ-LAT-5).", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }