{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8007,
   "version": 1,
   "versionNonce": 24022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 860,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8014,
   "version": 1,
   "versionNonce": 24043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 680.4,
   "height": 70.0,
   "text": "Seven pool cores share one queue:\nsteal the head, then take the account's token",
   "originalText": "Seven pool cores share one queue:\nsteal the head, then take the account's token",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8021,
   "version": 1,
   "versionNonce": 24064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 120,
   "width": 643.2,
   "height": 20.0,
   "text": "03 §4.2a · the pool: tokens, stealing and segment masks (01 §14.15)",
   "originalText": "03 §4.2a · the pool: tokens, stealing and segment masks (01 §14.15)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8028,
   "version": 1,
   "versionNonce": 24085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_take",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "ccd7",
   "x": 40,
   "y": 160,
   "width": 1100,
   "height": 310,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8035,
   "version": 1,
   "versionNonce": 24106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "ccd7_h",
   "x": 56,
   "y": 170,
   "width": 772.8,
   "height": 17.5,
   "text": "CCD7 L3 (32 MiB): token table · per-core RX rings · consumer locks · pooled Segment16 blocks",
   "originalText": "CCD7 L3 (32 MiB): token table · per-core RX rings · consumer locks · pooled Segment16 blocks",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8042,
   "version": 1,
   "versionNonce": 24127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core0",
   "x": 61,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8049,
   "version": 1,
   "versionNonce": 24148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core0_h",
   "x": 71,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c56 lane 42",
   "originalText": "c56 lane 42",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8056,
   "version": 1,
   "versionNonce": 24169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core0_b",
   "x": 71,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20042\nown LaneSeq",
   "originalText": "RX VI 20042\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8063,
   "version": 1,
   "versionNonce": 24190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q0_0",
   "x": 79,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8070,
   "version": 1,
   "versionNonce": 24211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q0_1",
   "x": 115,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8077,
   "version": 1,
   "versionNonce": 24232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q0_2",
   "x": 151,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8084,
   "version": 1,
   "versionNonce": 24253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core1",
   "x": 214,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8091,
   "version": 1,
   "versionNonce": 24274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core1_h",
   "x": 224,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c57 lane 43",
   "originalText": "c57 lane 43",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8098,
   "version": 1,
   "versionNonce": 24295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core1_b",
   "x": 224,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20043\nown LaneSeq",
   "originalText": "RX VI 20043\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8105,
   "version": 1,
   "versionNonce": 24316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q1",
   "x": 232,
   "y": 318,
   "width": 104,
   "height": 22,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8112,
   "version": 1,
   "versionNonce": 24337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "q1_e",
   "x": 262.4,
   "y": 344,
   "width": 43.2,
   "height": 20.0,
   "text": "empty",
   "originalText": "empty",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8119,
   "version": 1,
   "versionNonce": 24358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core2",
   "x": 367,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8126,
   "version": 1,
   "versionNonce": 24379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core2_h",
   "x": 377,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c58 lane 44",
   "originalText": "c58 lane 44",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8133,
   "version": 1,
   "versionNonce": 24400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core2_b",
   "x": 377,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20044\nown LaneSeq",
   "originalText": "RX VI 20044\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8140,
   "version": 1,
   "versionNonce": 24421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q2_0",
   "x": 385,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8147,
   "version": 1,
   "versionNonce": 24442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q2_1",
   "x": 421,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8154,
   "version": 1,
   "versionNonce": 24463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q2_2",
   "x": 457,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8161,
   "version": 1,
   "versionNonce": 24484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core3",
   "x": 520,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8168,
   "version": 1,
   "versionNonce": 24505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core3_h",
   "x": 530,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c59 lane 45",
   "originalText": "c59 lane 45",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8175,
   "version": 1,
   "versionNonce": 24526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core3_b",
   "x": 530,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20045\nown LaneSeq",
   "originalText": "RX VI 20045\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8182,
   "version": 1,
   "versionNonce": 24547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q3_0",
   "x": 538,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8189,
   "version": 1,
   "versionNonce": 24568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q3_1",
   "x": 574,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8196,
   "version": 1,
   "versionNonce": 24589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q3_2",
   "x": 610,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8203,
   "version": 1,
   "versionNonce": 24610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core4",
   "x": 673,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8210,
   "version": 1,
   "versionNonce": 24631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core4_h",
   "x": 683,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c60 lane 46",
   "originalText": "c60 lane 46",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8217,
   "version": 1,
   "versionNonce": 24652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core4_b",
   "x": 683,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20046\nown LaneSeq",
   "originalText": "RX VI 20046\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8224,
   "version": 1,
   "versionNonce": 24673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q4_0",
   "x": 691,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8231,
   "version": 1,
   "versionNonce": 24694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q4_1",
   "x": 727,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8238,
   "version": 1,
   "versionNonce": 24715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q4_2",
   "x": 763,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8245,
   "version": 1,
   "versionNonce": 24736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core5",
   "x": 826,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8252,
   "version": 1,
   "versionNonce": 24757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core5_h",
   "x": 836,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c61 lane 47",
   "originalText": "c61 lane 47",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8259,
   "version": 1,
   "versionNonce": 24778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core5_b",
   "x": 836,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20047\nown LaneSeq",
   "originalText": "RX VI 20047\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8266,
   "version": 1,
   "versionNonce": 24799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q5_0",
   "x": 844,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8273,
   "version": 1,
   "versionNonce": 24820,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q5_1",
   "x": 880,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8280,
   "version": 1,
   "versionNonce": 24841,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q5_2",
   "x": 916,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8287,
   "version": 1,
   "versionNonce": 24862,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core6",
   "x": 979,
   "y": 204,
   "width": 140,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8294,
   "version": 1,
   "versionNonce": 24883,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core6_h",
   "x": 989,
   "y": 212,
   "width": 105.6,
   "height": 20.0,
   "text": "c62 lane 48",
   "originalText": "c62 lane 48",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8301,
   "version": 1,
   "versionNonce": 24904,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core6_b",
   "x": 989,
   "y": 244,
   "width": 92.4,
   "height": 35.0,
   "text": "RX VI 20048\nown LaneSeq",
   "originalText": "RX VI 20048\nown LaneSeq",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8308,
   "version": 1,
   "versionNonce": 24925,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q6_0",
   "x": 997,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8315,
   "version": 1,
   "versionNonce": 24946,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q6_1",
   "x": 1033,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8322,
   "version": 1,
   "versionNonce": 24967,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "q6_2",
   "x": 1069,
   "y": 318,
   "width": 32,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8329,
   "version": 1,
   "versionNonce": 24988,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "steal",
   "x": 354,
   "y": 370,
   "width": 254,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -124,
     34
    ],
    [
     -254,
     -26
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8336,
   "version": 1,
   "versionNonce": 25009,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_steal",
   "x": 380,
   "y": 384,
   "width": 604.8,
   "height": 20.0,
   "text": "own queue empty: CAS the sibling's consumer lock, take its head packet",
   "originalText": "own queue empty: CAS the sibling's consumer lock, take its head packet",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8343,
   "version": 1,
   "versionNonce": 25030,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "cas_t",
     "type": "text"
    },
    {
     "id": "a_take",
     "type": "arrow"
    },
    {
     "id": "a1",
     "type": "arrow"
    },
    {
     "id": "a_loop",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "cas",
   "x": 60,
   "y": 510,
   "width": 250,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8350,
   "version": 1,
   "versionNonce": 25051,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cas_t",
   "x": 92.6,
   "y": 527.5,
   "width": 184.8,
   "height": 35.0,
   "text": "CAS token[account]\n(≈ 20 ns, inside CCD7)",
   "originalText": "CAS token[account]\n(≈ 20 ns, inside CCD7)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "cas",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8357,
   "version": 1,
   "versionNonce": 25072,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "log_t",
     "type": "text"
    },
    {
     "id": "a1",
     "type": "arrow"
    },
    {
     "id": "a2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "log",
   "x": 370,
   "y": 510,
   "width": 330,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8364,
   "version": 1,
   "versionNonce": 25093,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "log_t",
   "x": 400.6,
   "y": 527.5,
   "width": 268.8,
   "height": 35.0,
   "text": "log AcctTake{account, ver, lane}\ninto the core's order ring",
   "originalText": "log AcctTake{account, ver, lane}\ninto the core's order ring",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "log",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8371,
   "version": 1,
   "versionNonce": 25114,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "chk_t",
     "type": "text"
    },
    {
     "id": "a2",
     "type": "arrow"
    },
    {
     "id": "a_yes",
     "type": "arrow"
    },
    {
     "id": "a_no",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "diamond",
   "id": "chk",
   "x": 770,
   "y": 480,
   "width": 340,
   "height": 130,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 2
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8378,
   "version": 1,
   "versionNonce": 25135,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "chk_t",
   "x": 856.0,
   "y": 527.5,
   "width": 168.0,
   "height": 35.0,
   "text": "session.next_pkt_seq\n== pkt_seq ?",
   "originalText": "session.next_pkt_seq\n== pkt_seq ?",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "chk",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8385,
   "version": 1,
   "versionNonce": 25156,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_take",
   "x": 185,
   "y": 472,
   "width": 0,
   "height": 36,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     36
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "ccd7",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "cas",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8392,
   "version": 1,
   "versionNonce": 25177,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a1",
   "x": 312,
   "y": 545,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "cas",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "log",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8399,
   "version": 1,
   "versionNonce": 25198,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a2",
   "x": 702,
   "y": 545,
   "width": 66,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     66,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "log",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "chk",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8406,
   "version": 1,
   "versionNonce": 25219,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "yes_t",
     "type": "text"
    },
    {
     "id": "a_yes",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "yes",
   "x": 800,
   "y": 660,
   "width": 280,
   "height": 64,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8413,
   "version": 1,
   "versionNonce": 25240,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "yes_t",
   "x": 827.7,
   "y": 672.0,
   "width": 224.6,
   "height": 40.0,
   "text": "take it; release the token\nat the packet's end",
   "originalText": "take it; release the token\nat the packet's end",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "yes",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8420,
   "version": 1,
   "versionNonce": 25261,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_yes",
   "x": 940,
   "y": 612,
   "width": 0,
   "height": 46,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     46
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "chk",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "yes",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8427,
   "version": 1,
   "versionNonce": 25282,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_yes",
   "x": 952,
   "y": 620,
   "width": 25.9,
   "height": 20.0,
   "text": "yes",
   "originalText": "yes",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8434,
   "version": 1,
   "versionNonce": 25303,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "no_t",
     "type": "text"
    },
    {
     "id": "a_no",
     "type": "arrow"
    },
    {
     "id": "a_loop",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "no",
   "x": 370,
   "y": 660,
   "width": 330,
   "height": 64,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8441,
   "version": 1,
   "versionNonce": 25324,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "no_t",
   "x": 388.1,
   "y": 682.0,
   "width": 293.8,
   "height": 20.0,
   "text": "put back, take the next queue head",
   "originalText": "put back, take the next queue head",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "no",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8448,
   "version": 1,
   "versionNonce": 25345,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_no",
   "x": 855,
   "y": 588,
   "width": 153,
   "height": 92,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -95,
     52
    ],
    [
     -153,
     92
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "chk",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "no",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8455,
   "version": 1,
   "versionNonce": 25366,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_no",
   "x": 750,
   "y": 610,
   "width": 34.6,
   "height": 20.0,
   "text": "else",
   "originalText": "else",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8462,
   "version": 1,
   "versionNonce": 25387,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_loop",
   "x": 368,
   "y": 692,
   "width": 183,
   "height": 110,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -168,
     -2
    ],
    [
     -183,
     -110
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "no",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "cas",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8469,
   "version": 1,
   "versionNonce": 25408,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_mm7",
   "x": 820,
   "y": 410,
   "width": 291.6,
   "height": 45.0,
   "text": "work-conserving:\n7 servers on one queue (M/M/7)",
   "originalText": "work-conserving:\n7 servers on one queue (M/M/7)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8476,
   "version": 1,
   "versionNonce": 25429,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_mm7",
   "x": 1010,
   "y": 408,
   "width": 40,
   "height": 62,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     40,
     -28
    ],
    [
     30,
     -62
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8483,
   "version": 1,
   "versionNonce": 25450,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_ccd",
   "x": 60,
   "y": 770,
   "width": 311.0,
   "height": 45.0,
   "text": "+20 ns on every pooled path, and\nno cache line leaves CCD7 for it",
   "originalText": "+20 ns on every pooled path, and\nno cache line leaves CCD7 for it",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 8490,
   "version": 1,
   "versionNonce": 25471,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_ccd",
   "x": 56,
   "y": 790,
   "width": 44,
   "height": 206,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -10,
     -110
    ],
    [
     34,
     -206
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}