{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "canvas_margin", "x": 10, "y": 6, "width": 1177.3600000000001, "height": 776, "angle": 0, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1367397668, "version": 1, "versionNonce": 1367397675, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "title", "x": 40, "y": 36, "width": 658.0, "height": 70.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 724990059, "version": 1, "versionNonce": 724990066, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "SYNC marks let a subscriber merge the lane\nchannels with the step channel exactly", "originalText": "SYNC marks let a subscriber merge the lane\nchannels with the step channel exactly", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 25 }, { "type": "text", "id": "sub", "x": 40, "y": 112, "width": 846.56, "height": 20.0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1476559580, "version": 1, "versionNonce": 1476559587, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "MBO is split by lane: 4 lane channels (lane L goes to k = L mod 4) and one step channel (index 4).", "originalText": "MBO is split by lane: 4 lane channels (lane L goes to k = L mod 4) and one step channel (index 4).", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "lbl1", "x": 40, "y": 248, "width": 131.26399999999998, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 205265016, "version": 1, "versionNonce": 205265023, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lane channel k", "originalText": "lane channel k", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "lbl2", "x": 40, "y": 412, "width": 112.512, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 444136898, "version": 1, "versionNonce": 444136905, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "step channel", "originalText": "step channel", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "L0", "x": 200, "y": 236, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1003233882, "version": 1, "versionNonce": 1003233889, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "L0_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "L0_t", "x": 227.936, "y": 248.0, "width": 28.128, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1198560695, "version": 1, "versionNonce": 1198560702, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "ADD", "originalText": "ADD", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "L0", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "L1", "x": 294, "y": 236, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1288377036, "version": 1, "versionNonce": 1288377043, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "L1_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "L1_t", "x": 321.936, "y": 248.0, "width": 28.128, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1211019136, "version": 1, "versionNonce": 1211019143, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "ADD", "originalText": "ADD", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "L1", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "L2", "x": 388, "y": 236, "width": 104, "height": 44, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1586278262, "version": 1, "versionNonce": 1586278269, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "L2_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "L2_t", "x": 407.184, "y": 248.0, "width": 65.63199999999999, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1173187033, "version": 1, "versionNonce": 1173187040, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "SYNC(T)", "originalText": "SYNC(T)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "L2", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "L3", "x": 502, "y": 236, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 730849248, "version": 1, "versionNonce": 730849255, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "L3_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "L3_t", "x": 529.936, "y": 248.0, "width": 28.128, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1168835566, "version": 1, "versionNonce": 1168835573, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "DEL", "originalText": "DEL", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "L3", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "L4", "x": 596, "y": 236, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1017243203, "version": 1, "versionNonce": 1017243210, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "L4_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "L4_t", "x": 623.936, "y": 248.0, "width": 28.128, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1115286891, "version": 1, "versionNonce": 1115286898, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "ADD", "originalText": "ADD", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "L4", "autoResize": true, "baseline": 14 }, { "type": "text", "id": "L5", "x": 696, "y": 240, "width": 15.235999999999999, "height": 32.5, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1269225173, "version": 1, "versionNonce": 1269225180, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "…", "originalText": "…", "fontSize": 26, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 23 }, { "type": "line", "id": "pkt", "x": 760, "y": 220, "width": 0, "height": 76, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 60563979, "version": 1, "versionNonce": 60563986, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, 76 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "pkt_l", "x": 776, "y": 232, "width": 206.272, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 178103220, "version": 1, "versionNonce": 178103227, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "header.step_base = W_k", "originalText": "header.step_base = W_k", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "pkt_l2", "x": 776, "y": 256, "width": 102.08, "height": 20.0, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1592470867, "version": 1, "versionNonce": 1592470874, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "(watermark)", "originalText": "(watermark)", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "S0", "x": 200, "y": 400, "width": 104, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 137036996, "version": 1, "versionNonce": 137037003, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "S0_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "S0_t", "x": 219.184, "y": 412.0, "width": 65.63199999999999, "height": 20.0, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1067899518, "version": 1, "versionNonce": 1067899525, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "STEP(T)", "originalText": "STEP(T)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "S0", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "S1", "x": 314, "y": 400, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 173770834, "version": 1, "versionNonce": 173770841, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "S1_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "S1_t", "x": 337.248, "y": 412.0, "width": 37.504, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1072197705, "version": 1, "versionNonce": 1072197712, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "EXEC", "originalText": "EXEC", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "S1", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "S2", "x": 408, "y": 400, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 412634600, "version": 1, "versionNonce": 412634607, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "S2_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "S2_t", "x": 431.248, "y": 412.0, "width": 37.504, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1042490896, "version": 1, "versionNonce": 1042490903, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "EXEC", "originalText": "EXEC", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "S2", "autoResize": true, "baseline": 14 }, { "type": "text", "id": "S3", "x": 508, "y": 404, "width": 15.235999999999999, "height": 32.5, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1872723326, "version": 1, "versionNonce": 1872723333, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "…", "originalText": "…", "fontSize": 26, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 23 }, { "type": "rectangle", "id": "S4", "x": 562, "y": 400, "width": 124, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 59818205, "version": 1, "versionNonce": 59818212, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "S4_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "S4_t", "x": 581.808, "y": 412.0, "width": 84.384, "height": 20.0, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 983577250, "version": 1, "versionNonce": 983577257, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "STEP(T+3)", "originalText": "STEP(T+3)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "S4", "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "S5", "x": 696, "y": 400, "width": 84, "height": 44, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 264717387, "version": 1, "versionNonce": 264717394, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": [ { "id": "S5_t", "type": "text" } ], "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "S5_t", "x": 719.248, "y": 412.0, "width": 37.504, "height": 20.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 954341525, "version": 1, "versionNonce": 954341532, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "EXEC", "originalText": "EXEC", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "lineHeight": 1.25, "containerId": "S5", "autoResize": true, "baseline": 14 }, { "type": "text", "id": "S6", "x": 796, "y": 404, "width": 15.235999999999999, "height": 32.5, "angle": 0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 536185329, "version": 1, "versionNonce": 536185336, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "…", "originalText": "…", "fontSize": 26, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 23 }, { "type": "line", "id": "same_t", "x": 440.0, "y": 284, "width": 188.0, "height": 112, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "seed": 1966953114, "version": 1, "versionNonce": 1966953121, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0.0, 0 ], [ -188.0, 112 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "same_t_l", "x": 262.24, "y": 308, "width": 97.75999999999999, "height": 20.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 909465954, "version": 1, "versionNonce": 909465961, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "same step T", "originalText": "same step T", "fontSize": 16, "fontFamily": 5, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "line", "id": "brk", "x": 502, "y": 230, "width": 238, "height": 10, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1937466872, "version": 1, "versionNonce": 1937466879, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "points": [ [ 0, 0 ], [ 0, -10 ], [ 238, -10 ], [ 238, 0 ] ], "lastCommittedPoint": null }, { "type": "text", "id": "brk_l", "x": 553.4, "y": 174, "width": 135.2, "height": 40.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1645109006, "version": 1, "versionNonce": 1645109013, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "after step T,\nbefore step T+1", "originalText": "after step T,\nbefore step T+1", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "def1_k", "x": 40, "y": 490, "width": 73.83599999999998, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 949827297, "version": 1, "versionNonce": 949827304, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "SYNC(T)", "originalText": "SYNC(T)", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "text", "id": "def1", "x": 150, "y": 490, "width": 599.68, "height": 60.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1110435480, "version": 1, "versionNonce": 1110435487, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "the lane-op records after it (up to the next SYNC) are ordered after\nstep T and before step T+1. Emitted lazily, only before the first\nrecord after a new step.", "originalText": "the lane-op records after it (up to the next SYNC) are ordered after\nstep T and before step T+1. Emitted lazily, only before the first\nrecord after a new step.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "def2_k", "x": 40, "y": 574, "width": 31.644, "height": 22.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 912187576, "version": 1, "versionNonce": 912187583, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "W_k", "originalText": "W_k", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "text", "id": "def2", "x": 150, "y": 574, "width": 551.1999999999999, "height": 40.0, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 543959842, "version": 1, "versionNonce": 543959849, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "every record of channel k ordered before step W_k + 1 is in this\npacket or earlier.", "originalText": "every record of channel k ordered before step W_k + 1 is in this\npacket or earlier.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "rectangle", "id": "rule", "x": 40, "y": 640, "width": 580, "height": 112, "angle": 0, "strokeColor": "#191B26", "backgroundColor": "#191B26", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1188605132, "version": 1, "versionNonce": 1188605139, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null }, { "type": "text", "id": "rule_h", "x": 60, "y": 654, "width": 152.64, "height": 22.5, "angle": 0, "strokeColor": "#F2D447", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 277280599, "version": 1, "versionNonce": 277280606, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "subscriber rule", "originalText": "subscriber rule", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "text", "id": "rule_b", "x": 60, "y": 684, "width": 515.68, "height": 60.0, "angle": 0, "strokeColor": "#ECEAF2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1734959689, "version": 1, "versionNonce": 1734959696, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "apply step T only when W_k ≥ T − 1 for every k.\nbefore step T, apply every pending lane-op record whose\nSYNC position is < T, in any order across channels.", "originalText": "apply step T only when W_k ≥ T − 1 for every k.\nbefore step T, apply every pending lane-op record whose\nSYNC position is < T, in any order across channels.", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 14 }, { "type": "text", "id": "n_order", "x": 860, "y": 132, "width": 266.03999999999996, "height": 90.0, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 285254241, "version": 1, "versionNonce": 285254248, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "lane ops of different lanes\nbetween two steps touch\ndifferent orders, so their\norder does not matter", "originalText": "lane ops of different lanes\nbetween two steps touch\ndifferent orders, so their\norder does not matter", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_order", "x": 856, "y": 162, "width": 96, "height": 46, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 122204808, "version": 1, "versionNonce": 122204815, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -56, 24 ], [ -96, 46 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_wm", "x": 860, "y": 300, "width": 297.36, "height": 67.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1458253941, "version": 1, "versionNonce": 1458253948, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "the watermark bounds the wait:\nevery lane channel flushes\nat least each MD_FLUSH_NS", "originalText": "the watermark bounds the wait:\nevery lane channel flushes\nat least each MD_FLUSH_NS", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_wm", "x": 856, "y": 310, "width": 92, "height": 14, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 521027619, "version": 1, "versionNonce": 521027626, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -18, -14 ], [ -92, -12 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false }, { "type": "text", "id": "n_exact", "x": 670, "y": 660, "width": 307.79999999999995, "height": 67.5, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 348720892, "version": 1, "versionNonce": 348720899, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": null, "text": "a subscriber that follows\nthe rule rebuilds the replica's\nbook after every step", "originalText": "a subscriber that follows\nthe rule rebuilds the replica's\nbook after every step", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null, "autoResize": true, "baseline": 16 }, { "type": "arrow", "id": "a_exact", "x": 664, "y": 686, "width": 38, "height": 8, "angle": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "seed": 1800137237, "version": 1, "versionNonce": 1800137244, "isDeleted": false, "groupIds": [], "frameId": null, "boundElements": null, "link": null, "locked": false, "updated": 1, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -20, -4 ], [ -38, 4 ] ], "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null, "elbowed": false } ], "appState": { "viewBackgroundColor": "#FFFFFF", "gridSize": 20 }, "files": {} }