{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1869575905", "type": "rectangle", "x": 50, "y": 70, "width": 290, "height": 230, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 680153339, "versionNonce": 1339588028, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1414527208", "type": "text", "x": 62, "y": 76, "width": 52.800000000000004, "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": 484401440, "versionNonce": 329499072, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 2", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 2", "lineHeight": 1.25, "baseline": 12 }, { "id": "r288510837", "type": "rectangle", "x": 480, "y": 70, "width": 290, "height": 230, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 40937557, "versionNonce": 316510333, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1628273873", "type": "text", "x": 492, "y": 76, "width": 52.800000000000004, "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": 968365500, "versionNonce": 1968799230, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 3", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 3", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1974792045", "type": "rectangle", "x": 80, "y": 230, "width": 240, "height": 40, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1468386204, "versionNonce": 1753465021, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1227011884", "type": "text", "x": 90, "y": 238, "width": 84.7, "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": 937339324, "versionNonce": 1353025909, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "main.cpp:70", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "main.cpp:70", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1591502713", "type": "text", "x": 90, "y": 258, "width": 157.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": 710444017, "versionNonce": 1746745562, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "run_transfer(from=b, to=a)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "run_transfer(from=b, to=a)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1844508396", "type": "rectangle", "x": 80, "y": 170, "width": 240, "height": 40, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 309223437, "versionNonce": 1941232162, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t232292166", "type": "text", "x": 90, "y": 178, "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": 1830125755, "versionNonce": 874445341, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock_guard lock_b(b.mutex)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock_guard lock_b(b.mutex)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t999757458", "type": "text", "x": 90, "y": 198, "width": 40, "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": 812950056, "versionNonce": 441730704, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "held", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "held", "lineHeight": 1.25, "baseline": 11 }, { "id": "r162888512", "type": "rectangle", "x": 80, "y": 100, "width": 240, "height": 50, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1191703338, "versionNonce": 235877424, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1538884523", "type": "text", "x": 90, "y": 108, "width": 207.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": 313201731, "versionNonce": 498083178, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "pthread_mutex_lock(a.mutex)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "pthread_mutex_lock(a.mutex)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t118164103", "type": "text", "x": 90, "y": 128, "width": 42.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": 271796746, "versionNonce": 1963031900, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "BLOCKED", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "BLOCKED", "lineHeight": 1.25, "baseline": 11 }, { "id": "r666398630", "type": "rectangle", "x": 500, "y": 230, "width": 240, "height": 40, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 781004003, "versionNonce": 1268598547, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1760896777", "type": "text", "x": 510, "y": 238, "width": 84.7, "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": 1901260531, "versionNonce": 561719312, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "main.cpp:75", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "main.cpp:75", "lineHeight": 1.25, "baseline": 14 }, { "id": "t20113908", "type": "text", "x": 510, "y": 258, "width": 157.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": 1676543813, "versionNonce": 601312536, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "run_transfer(from=a, to=b)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "run_transfer(from=a, to=b)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1494898081", "type": "rectangle", "x": 500, "y": 170, "width": 240, "height": 40, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1209161061, "versionNonce": 29441222, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t601331505", "type": "text", "x": 510, "y": 178, "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": 1257036855, "versionNonce": 1200729721, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock_guard lock_a(a.mutex)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock_guard lock_a(a.mutex)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t686036377", "type": "text", "x": 510, "y": 198, "width": 40, "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": 1902532546, "versionNonce": 1772372507, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "held", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "held", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1388574204", "type": "rectangle", "x": 500, "y": 100, "width": 240, "height": 50, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1388435470, "versionNonce": 658233208, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1017852852", "type": "text", "x": 510, "y": 108, "width": 207.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": 1536504917, "versionNonce": 1715035924, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "pthread_mutex_lock(b.mutex)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "pthread_mutex_lock(b.mutex)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t291570416", "type": "text", "x": 510, "y": 128, "width": 42.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": 562361981, "versionNonce": 122440781, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "BLOCKED", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "BLOCKED", "lineHeight": 1.25, "baseline": 11 }, { "id": "r328084781", "type": "rectangle", "x": 155, "y": 340, "width": 500, "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": 1126164117, "versionNonce": 1343779554, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1033937861", "type": "text", "x": 165, "y": 348, "width": 338.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": 986713977, "versionNonce": 1922156111, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "print *(pthread_mutex_t*)&a \u2192 __data.__owner", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "print *(pthread_mutex_t*)&a \u2192 __data.__owner", "lineHeight": 1.25, "baseline": 14 }, { "id": "t397627675", "type": "text", "x": 165, "y": 368, "width": 363.00000000000006, "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": 766565773, "versionNonce": 1750829732, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "names Thread 3 directly \u2014 read from live state, not inferred", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "names Thread 3 directly \u2014 read from live state, not inferred", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1826007425", "type": "arrow", "x": 200, "y": 230, "width": 0, "height": 20, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1992447692, "versionNonce": 254729482, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -20 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a956858619", "type": "arrow", "x": 200, "y": 170, "width": 0, "height": 20, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1447028020, "versionNonce": 1075371218, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -20 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a447209497", "type": "arrow", "x": 620, "y": 230, "width": 0, "height": 20, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1597673839, "versionNonce": 85606680, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -20 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1915888195", "type": "arrow", "x": 620, "y": 170, "width": 0, "height": 20, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 893752470, "versionNonce": 656418916, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -20 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1146503405", "type": "arrow", "x": 320, "y": 125, "width": 180, "height": 65, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 826896289, "versionNonce": 1370851754, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 180, 65 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1884644340", "type": "text", "x": 410.0, "y": 143.5, "width": 187.55, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 821339971, "versionNonce": 1364057899, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "waiting on a, owned by Thread 3", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "waiting on a, owned by Thread 3", "lineHeight": 1.25, "baseline": 11 }, { "id": "a190345175", "type": "arrow", "x": 500, "y": 125, "width": 180, "height": 65, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 472852530, "versionNonce": 1714588211, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -180, 65 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1920571552", "type": "text", "x": 410.0, "y": 143.5, "width": 187.55, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1397951833, "versionNonce": 205938149, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "waiting on b, owned by Thread 2", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "waiting on b, owned by Thread 2", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1622073327", "type": "text", "x": 405, "y": 16, "width": 361.90000000000003, "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": 966891431, "versionNonce": 1247451111, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Reading a Lock-Wait Cycle From a Live Backtrace", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Reading a Lock-Wait Cycle From a Live Backtrace", "lineHeight": 1.25, "baseline": 14 }, { "id": "t565466741", "type": "text", "x": 405, "y": 36, "width": 229.9, "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": 933089454, "versionNonce": 1503895141, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "gdb -p -ex 'thread apply all bt'", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "gdb -p -ex 'thread apply all bt'", "lineHeight": 1.25, "baseline": 11 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }