{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "id": "r1077325519",
   "type": "rectangle",
   "x": 25,
   "y": 55,
   "width": 815,
   "height": 455,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1446906031,
   "versionNonce": 32584091,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1953349424",
   "type": "text",
   "x": 37,
   "y": 61,
   "width": 290.40000000000003,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1566392336,
   "versionNonce": 746929877,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "ThreadSanitizer report \u2014 racy_counter.cpp:14",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "ThreadSanitizer report \u2014 racy_counter.cpp:14",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r1436485701",
   "type": "rectangle",
   "x": 50,
   "y": 95,
   "width": 14,
   "height": 55,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "#fef3f0",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 35242995,
   "versionNonce": 895653172,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t836151992",
   "type": "text",
   "x": 60,
   "y": 103,
   "width": 40,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1387152404,
   "versionNonce": 456115301,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1539263512",
   "type": "rectangle",
   "x": 75,
   "y": 95,
   "width": 260,
   "height": 55,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "#2d2d2d",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 295491522,
   "versionNonce": 130182603,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t57365078",
   "type": "text",
   "x": 85,
   "y": 103,
   "width": 169.4,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#ffffff",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1861736376,
   "versionNonce": 1419080148,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Write of size 4 ... by",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Write of size 4 ... by",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t671427413",
   "type": "text",
   "x": 85,
   "y": 123,
   "width": 54.45,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#d7d7d7",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1617664908,
   "versionNonce": 1945192846,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "thread T2",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "thread T2",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1957643453",
   "type": "rectangle",
   "x": 430,
   "y": 95,
   "width": 380,
   "height": 55,
   "angle": 0,
   "strokeColor": "#b9b2a4",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1524122967,
   "versionNonce": 1041734358,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t266156349",
   "type": "text",
   "x": 440,
   "y": 103,
   "width": 161.70000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1164372933,
   "versionNonce": 1372496687,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "conflicting access #1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "conflicting access #1",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1890013528",
   "type": "text",
   "x": 440,
   "y": 123,
   "width": 242.00000000000003,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 21871300,
   "versionNonce": 409669628,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "full call stack to the exact source line",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "full call stack to the exact source line",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1204478700",
   "type": "rectangle",
   "x": 50,
   "y": 180,
   "width": 14,
   "height": 55,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "#fef3f0",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 348104152,
   "versionNonce": 466132739,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t162360946",
   "type": "text",
   "x": 60,
   "y": 188,
   "width": 40,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1420225879,
   "versionNonce": 647548262,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r563166287",
   "type": "rectangle",
   "x": 75,
   "y": 180,
   "width": 260,
   "height": 55,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "#2d2d2d",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 491455939,
   "versionNonce": 1721652008,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1702498229",
   "type": "text",
   "x": 85,
   "y": 188,
   "width": 161.70000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#ffffff",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1852427332,
   "versionNonce": 988227273,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Previous write ... by",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Previous write ... by",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t346024364",
   "type": "text",
   "x": 85,
   "y": 208,
   "width": 54.45,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#d7d7d7",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 264702283,
   "versionNonce": 298129402,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "thread T1",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "thread T1",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1274498057",
   "type": "rectangle",
   "x": 430,
   "y": 180,
   "width": 380,
   "height": 55,
   "angle": 0,
   "strokeColor": "#b9b2a4",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1637508188,
   "versionNonce": 1128186132,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1572924145",
   "type": "text",
   "x": 440,
   "y": 188,
   "width": 161.70000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 455635816,
   "versionNonce": 1378418973,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "conflicting access #2",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "conflicting access #2",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1704409073",
   "type": "text",
   "x": 440,
   "y": 208,
   "width": 266.20000000000005,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 844664759,
   "versionNonce": 1648390075,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "no happens-before edge between T1, T2 writes",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "no happens-before edge between T1, T2 writes",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r192015400",
   "type": "rectangle",
   "x": 50,
   "y": 265,
   "width": 14,
   "height": 55,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 762233027,
   "versionNonce": 125505482,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1528659454",
   "type": "text",
   "x": 60,
   "y": 273,
   "width": 40,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 937054786,
   "versionNonce": 359262563,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1210099698",
   "type": "rectangle",
   "x": 75,
   "y": 265,
   "width": 260,
   "height": 55,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "#2d2d2d",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 451758384,
   "versionNonce": 1763086961,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t25746579",
   "type": "text",
   "x": 85,
   "y": 273,
   "width": 138.60000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#ffffff",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 485387076,
   "versionNonce": 1733105027,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Location is global",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Location is global",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1404992134",
   "type": "text",
   "x": 85,
   "y": 293,
   "width": 42.35,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#d7d7d7",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1492357566,
   "versionNonce": 831589166,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "counter",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "counter",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r661158496",
   "type": "rectangle",
   "x": 430,
   "y": 265,
   "width": 380,
   "height": 55,
   "angle": 0,
   "strokeColor": "#b9b2a4",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1076101049,
   "versionNonce": 1293018952,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1481564091",
   "type": "text",
   "x": 440,
   "y": 273,
   "width": 130.9,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 497329871,
   "versionNonce": 1191852811,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "what was raced on",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "what was raced on",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t671027456",
   "type": "text",
   "x": 440,
   "y": 293,
   "width": 326.70000000000005,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1746681463,
   "versionNonce": 593772224,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "a heap location also reports its allocation-site stack",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "a heap location also reports its allocation-site stack",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1758673547",
   "type": "rectangle",
   "x": 50,
   "y": 350,
   "width": 14,
   "height": 55,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 70011043,
   "versionNonce": 513640846,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t86759712",
   "type": "text",
   "x": 60,
   "y": 358,
   "width": 40,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 33472802,
   "versionNonce": 667497120,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1756140772",
   "type": "rectangle",
   "x": 75,
   "y": 350,
   "width": 260,
   "height": 55,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "#2d2d2d",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1457814285,
   "versionNonce": 267058556,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t608194438",
   "type": "text",
   "x": 85,
   "y": 358,
   "width": 154.0,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#ffffff",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 596561606,
   "versionNonce": 337008903,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Thread T2 created by",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Thread T2 created by",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1459535979",
   "type": "text",
   "x": 85,
   "y": 378,
   "width": 66.55000000000001,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#d7d7d7",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1260965066,
   "versionNonce": 482208547,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "main thread",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "main thread",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r746114106",
   "type": "rectangle",
   "x": 430,
   "y": 350,
   "width": 380,
   "height": 55,
   "angle": 0,
   "strokeColor": "#b9b2a4",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 11029787,
   "versionNonce": 750207888,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t168247265",
   "type": "text",
   "x": 440,
   "y": 358,
   "width": 184.8,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1735057723,
   "versionNonce": 1286530092,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "parentage reconstruction",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "parentage reconstruction",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t495272407",
   "type": "text",
   "x": 440,
   "y": 378,
   "width": 278.3,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 227745684,
   "versionNonce": 1345219595,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "names a human call site, not a bare pthread id",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "names a human call site, not a bare pthread id",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1828588816",
   "type": "rectangle",
   "x": 50,
   "y": 435,
   "width": 14,
   "height": 55,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1686752597,
   "versionNonce": 1988570442,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1898788373",
   "type": "text",
   "x": 60,
   "y": 443,
   "width": 40,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1828998067,
   "versionNonce": 1473754215,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r27292059",
   "type": "rectangle",
   "x": 75,
   "y": 435,
   "width": 260,
   "height": 55,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "#2d2d2d",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1288509401,
   "versionNonce": 615134582,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t443851239",
   "type": "text",
   "x": 85,
   "y": 443,
   "width": 138.60000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#ffffff",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1598739599,
   "versionNonce": 796200046,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "SUMMARY: data race",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "SUMMARY: data race",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t985802839",
   "type": "text",
   "x": 85,
   "y": 463,
   "width": 114.95,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#d7d7d7",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1672229499,
   "versionNonce": 1831994134,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "racy_counter.cpp:14",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "racy_counter.cpp:14",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r462875674",
   "type": "rectangle",
   "x": 430,
   "y": 435,
   "width": 380,
   "height": 55,
   "angle": 0,
   "strokeColor": "#b9b2a4",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1944273025,
   "versionNonce": 1234411175,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1756673825",
   "type": "text",
   "x": 440,
   "y": 443,
   "width": 200.20000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 590465414,
   "versionNonce": 1035591294,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "one line per distinct race",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "one line per distinct race",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1933143754",
   "type": "text",
   "x": 440,
   "y": 463,
   "width": 272.25,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 996246612,
   "versionNonce": 914182022,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "process exits nonzero once all threads finish",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "process exits nonzero once all threads finish",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "a1334905911",
   "type": "arrow",
   "x": 335,
   "y": 122,
   "width": 95,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 863582348,
   "versionNonce": 524433826,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     95,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1503165736",
   "type": "arrow",
   "x": 335,
   "y": 207,
   "width": 95,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1475944043,
   "versionNonce": 1841585255,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     95,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1403634130",
   "type": "arrow",
   "x": 335,
   "y": 292,
   "width": 95,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1085876566,
   "versionNonce": 250233917,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     95,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a317568916",
   "type": "arrow",
   "x": 335,
   "y": 377,
   "width": 95,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 433753915,
   "versionNonce": 1683292085,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     95,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1457344827",
   "type": "arrow",
   "x": 335,
   "y": 462,
   "width": 95,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 699029760,
   "versionNonce": 411209839,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     95,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t1364359859",
   "type": "text",
   "x": 430,
   "y": 16,
   "width": 269.5,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1767208146,
   "versionNonce": 137829707,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Anatomy of a ThreadSanitizer Report",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Anatomy of a ThreadSanitizer Report",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t774110667",
   "type": "text",
   "x": 430,
   "y": 527,
   "width": 647.35,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 208071031,
   "versionNonce": 1202788362,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "every fact comes from TSan's per-thread vector clock \u2014 updated at unlock/lock, atomic release/acquire, join",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "every fact comes from TSan's per-thread vector clock \u2014 updated at unlock/lock, atomic release/acquire, join",
   "lineHeight": 1.25,
   "baseline": 11
  }
 ],
 "appState": {
  "viewBackgroundColor": "#fdfbf7",
  "gridSize": null
 },
 "files": {}
}