{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r584171796", "type": "rectangle", "x": 30, "y": 46, "width": 800, "height": 180, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 997513935, "versionNonce": 1830439618, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t376928255", "type": "text", "x": 42, "y": 52, "width": 204.60000000000002, "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": 1958029939, "versionNonce": 1682769232, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "std::lock_guard, opposing order", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "std::lock_guard, opposing order", "lineHeight": 1.25, "baseline": 12 }, { "id": "r256212592", "type": "rectangle", "x": 30, "y": 246, "width": 800, "height": 180, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 330586666, "versionNonce": 1669140870, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t938760602", "type": "text", "x": 42, "y": 252, "width": 244.20000000000002, "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": 1818457563, "versionNonce": 287215919, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "std::scoped_lock, same opposing order", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "std::scoped_lock, same opposing order", "lineHeight": 1.25, "baseline": 12 }, { "id": "r521777980", "type": "rectangle", "x": 60, "y": 84, "width": 220, "height": 66, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1639474810, "versionNonce": 1984923920, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1965132754", "type": "text", "x": 70, "y": 92, "width": 61.60000000000001, "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": 1435497460, "versionNonce": 1460561891, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 1", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 1", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1720889375", "type": "text", "x": 70, "y": 112, "width": 90.75000000000001, "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": 86088991, "versionNonce": 1653538256, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock_guard x(a)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock_guard x(a)", "lineHeight": 1.25, "baseline": 11 }, { "id": "t292089727", "type": "text", "x": 70, "y": 127, "width": 121.00000000000001, "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": 1989411058, "versionNonce": 1591848848, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "then lock_guard y(b)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "then lock_guard y(b)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1621228991", "type": "rectangle", "x": 580, "y": 84, "width": 220, "height": 66, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 602119059, "versionNonce": 441424084, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1891636854", "type": "text", "x": 590, "y": 92, "width": 61.60000000000001, "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": 1744597073, "versionNonce": 907229401, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 2", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 2", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1438326613", "type": "text", "x": 590, "y": 112, "width": 90.75000000000001, "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": 1773375757, "versionNonce": 338823466, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock_guard x(b)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock_guard x(b)", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1805566978", "type": "text", "x": 590, "y": 127, "width": 121.00000000000001, "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": 817880740, "versionNonce": 1558230476, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "then lock_guard y(a)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "then lock_guard y(a)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1639911308", "type": "rectangle", "x": 310, "y": 162, "width": 240, "height": 46, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "#fef3f0", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1949552082, "versionNonce": 83163799, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t910694961", "type": "text", "x": 320, "y": 170, "width": 61.60000000000001, "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": 1278603593, "versionNonce": 1301152269, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "deadlock", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "deadlock", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1882851346", "type": "text", "x": 320, "y": 190, "width": 235.95000000000002, "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": 796753863, "versionNonce": 878564321, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "no error, no exception -- program stops", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "no error, no exception -- program stops", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1723670850", "type": "rectangle", "x": 60, "y": 284, "width": 220, "height": 66, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1819742999, "versionNonce": 386114138, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1502257631", "type": "text", "x": 70, "y": 292, "width": 61.60000000000001, "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": 507367502, "versionNonce": 1530611979, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 1", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 1", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1573051642", "type": "text", "x": 70, "y": 312, "width": 133.10000000000002, "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": 826782330, "versionNonce": 953454241, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "scoped_lock lock(a, b)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "scoped_lock lock(a, b)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r833385188", "type": "rectangle", "x": 580, "y": 284, "width": 220, "height": 66, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 221121338, "versionNonce": 321042907, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t60786602", "type": "text", "x": 590, "y": 292, "width": 61.60000000000001, "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": 1068543535, "versionNonce": 1515453064, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Thread 2", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Thread 2", "lineHeight": 1.25, "baseline": 14 }, { "id": "t12252993", "type": "text", "x": 590, "y": 312, "width": 133.10000000000002, "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": 1275902022, "versionNonce": 699494660, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "scoped_lock lock(b, a)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "scoped_lock lock(b, a)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1164643562", "type": "rectangle", "x": 310, "y": 372, "width": 240, "height": 46, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "#d8e8df", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 821129544, "versionNonce": 1594596430, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1747567064", "type": "text", "x": 320, "y": 380, "width": 100.10000000000001, "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": 468081602, "versionNonce": 287836625, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "both complete", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "both complete", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1994452683", "type": "text", "x": 320, "y": 400, "width": 217.8, "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": 1004488071, "versionNonce": 772277285, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "order does not matter to scoped_lock", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "order does not matter to scoped_lock", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1707517880", "type": "arrow", "x": 280, "y": 97, "width": 300, "height": 40, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1171201986, "versionNonce": 197837681, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 300, 40 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1446948540", "type": "text", "x": 430.0, "y": 103.0, "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": 235357342, "versionNonce": 1910248628, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "each holds what the other needs", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "each holds what the other needs", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1907326301", "type": "arrow", "x": 580, "y": 97, "width": 300, "height": 40, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 640236455, "versionNonce": 522460654, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -300, 40 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1539814196", "type": "arrow", "x": 170, "y": 150, "width": 200, "height": 12, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 840680043, "versionNonce": 115525897, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 200, 12 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1039918454", "type": "arrow", "x": 690, "y": 150, "width": 200, "height": 12, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 618598510, "versionNonce": 436694546, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -200, 12 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a190732578", "type": "arrow", "x": 280, "y": 317, "width": 300, "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": 1777074264, "versionNonce": 639114844, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 300, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t212618166", "type": "text", "x": 430.0, "y": 303.0, "width": 278.3, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1595564421, "versionNonce": 495333985, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "try-all, back off, retry -- not argument order", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "try-all, back off, retry -- not argument order", "lineHeight": 1.25, "baseline": 11 }, { "id": "a656381562", "type": "arrow", "x": 170, "y": 350, "width": 200, "height": 22, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1971415227, "versionNonce": 143143897, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 200, 22 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a449102252", "type": "arrow", "x": 690, "y": 350, "width": 200, "height": 22, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1816250056, "versionNonce": 1082257281, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -200, 22 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t192915874", "type": "text", "x": 430, "y": 14, "width": 415.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": 1885582954, "versionNonce": 372461953, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Lock ordering and deadlock: lock_guard vs. scoped_lock", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Lock ordering and deadlock: lock_guard vs. scoped_lock", "lineHeight": 1.25, "baseline": 14 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }