{"id":2040,"date":"2025-03-24T08:48:29","date_gmt":"2025-03-23T23:48:29","guid":{"rendered":"https:\/\/dexall.co.jp\/articles\/?p=2040"},"modified":"2025-03-24T08:48:54","modified_gmt":"2025-03-23T23:48:54","slug":"%e3%80%90%e5%be%b9%e5%ba%95%e8%a7%a3%e8%aa%ac%e3%80%91c-mutex%e3%83%9e%e3%82%b9%e3%82%bf%e3%83%bc%e3%82%ac%e3%82%a4%e3%83%89%ef%bc%9a%e3%83%87%e3%83%83%e3%83%89%e3%83%ad%e3%83%83%e3%82%af%e5%9b%9e","status":"publish","type":"post","link":"https:\/\/dexall.co.jp\/articles\/?p=2040","title":{"rendered":"\u3010\u5fb9\u5e95\u89e3\u8aac\u3011C++ Mutex\u30de\u30b9\u30bf\u30fc\u30ac\u30a4\u30c9\uff1a\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u56de\u907f\u304b\u3089\u6700\u9069\u5316\u307e\u3067\u5b8c\u5168\u7db2\u7f85"},"content":{"rendered":"\n<div class=\"toc\"><br \/>\n<b>Warning<\/b>:  Undefined array key \"is_admin\" in <b>\/home\/xs392991\/dexall.co.jp\/public_html\/articles\/wp-content\/themes\/sango-theme\/library\/gutenberg\/dist\/classes\/Toc.php<\/b> on line <b>116<\/b><br \/>\n<br \/>\n<b>Warning<\/b>:  Undefined array key \"is_category_top\" in <b>\/home\/xs392991\/dexall.co.jp\/public_html\/articles\/wp-content\/themes\/sango-theme\/library\/gutenberg\/dist\/classes\/Toc.php<\/b> on line <b>121<\/b><br \/>\n<br \/>\n<b>Warning<\/b>:  Undefined array key \"is_top\" in <b>\/home\/xs392991\/dexall.co.jp\/public_html\/articles\/wp-content\/themes\/sango-theme\/library\/gutenberg\/dist\/classes\/Toc.php<\/b> on line <b>128<\/b><br \/>\n    <div id=\"toc_container\" class=\"sgb-toc--bullets js-smooth-scroll\" data-dialog-title=\"\u76ee\u6b21\">\n      <p class=\"toc_title\">\u76ee\u6b21 <\/p>\n      <ul class=\"toc_list\">  <li class=\"first\">    <a href=\"#i-0\">Mutex\u306e\u57fa\u790e\u77e5\u8b58\u3068\u91cd\u8981\u6027<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-1\">\u30c7\u30fc\u30bf\u7af6\u5408\u304c\u5f15\u304d\u8d77\u3053\u3059\u81f4\u547d\u7684\u306a\u554f\u984c\u3068\u306f<\/a>      <\/li>      <li>        <a href=\"#i-2\">Mutex\u306b\u3088\u308b\u6392\u4ed6\u5236\u5fa1\u306e\u4ed5\u7d44\u307f<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-3\">C++11\u3067\u5c0e\u5165\u3055\u308c\u305f\u6a19\u6e96\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u7279\u5fb4<\/a>      <\/li>    <\/ul>  <\/li>  <li>    <a href=\"#i-4\">\u5b9f\u8df5\u7684\u306aMutex\u6d3b\u7528\u30c6\u30af\u30cb\u30c3\u30af<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-5\">lock_guard\u3068unique_lock\u306e\u4f7f\u3044\u5206\u3051\u65b9<\/a>      <\/li>      <li>        <a href=\"#i-6\">\u30b9\u30b3\u30fc\u30d7\u30d9\u30fc\u30b9\u306e\u30ed\u30c3\u30af\u7ba1\u7406\u3067\u5b9f\u73fe\u3059\u308b\u4f8b\u5916\u5b89\u5168\u6027<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-7\">\u6761\u4ef6\u5909\u6570\u3068\u306e\u7d44\u307f\u5408\u308f\u305b\u30d1\u30bf\u30fc\u30f3<\/a>      <\/li>    <\/ul>  <\/li>  <li>    <a href=\"#i-8\">Mutex\u306b\u3088\u308b\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u56de\u907f\u8853<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-9\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u767a\u751f\u30e1\u30ab\u30cb\u30ba\u30e0\u3068\u691c\u51fa\u65b9\u6cd5<\/a>      <\/li>      <li>        <a href=\"#i-10\">\u968e\u5c64\u7684\u30ed\u30c3\u30af\u306b\u3088\u308b\u78ba\u5b9f\u306a\u4e88\u9632\u7b56<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-11\">try_lock\u3092\u6d3b\u7528\u3057\u305f\u67d4\u8edf\u306a\u30ed\u30c3\u30af\u6226\u7565<\/a>      <\/li>    <\/ul>  <\/li>  <li>    <a href=\"#i-12\">\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3092\u6700\u9069\u5316\u3059\u308bMutex\u8a2d\u8a08<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-13\">\u30ed\u30c3\u30af\u306e\u7c92\u5ea6\u304c\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306b\u4e0e\u3048\u308b\u5f71\u97ff<\/a>      <\/li>      <li>        <a href=\"#i-14\">\u5171\u6709\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306b\u3088\u308b\u8aad\u307f\u66f8\u304d\u306e\u6700\u9069\u5316<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-15\">\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u3068\u901a\u5e38\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u4f7f\u3044\u5206\u3051<\/a>      <\/li>    <\/ul>  <\/li>  <li>    <a href=\"#i-16\">\u5b9f\u52d9\u3067\u4f7f\u3048\u308b\u8a2d\u8a08\u30d1\u30bf\u30fc\u30f3\u3068\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-17\">RAII\u539f\u5247\u306b\u57fa\u3065\u3044\u305f\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u7ba1\u7406<\/a>      <\/li>      <li>        <a href=\"#i-18\">\u30c0\u30d6\u30eb\u30c1\u30a7\u30c3\u30af\u30ed\u30c3\u30ad\u30f3\u30b0\u306e\u5b9f\u88c5\u3068\u6ce8\u610f\u70b9<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-19\">\u30b9\u30ec\u30c3\u30c9\u30bb\u30fc\u30d5\u306a\u30b7\u30f3\u30b0\u30eb\u30c8\u30f3\u30d1\u30bf\u30fc\u30f3\u306e\u5b9f\u73fe\u65b9\u6cd5<\/a>      <\/li>    <\/ul>  <\/li>  <li class=\"last\">    <a href=\"#i-20\">Mutex\u306e\u30c7\u30d0\u30c3\u30b0\u3068\u30c8\u30e9\u30d6\u30eb\u30b7\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0<\/a>    <ul class=\"menu_level_1\">      <li class=\"first\">        <a href=\"#i-21\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u691c\u51fa\u30c4\u30fc\u30eb\u306e\u6d3b\u7528\u6cd5<\/a>      <\/li>      <li>        <a href=\"#i-22\">\u30ed\u30c3\u30af\u306e\u53d6\u5f97\u9806\u5e8f\u306b\u8d77\u56e0\u3059\u308b\u554f\u984c\u306e\u89e3\u6c7a\u624b\u9806<\/a>      <\/li>      <li class=\"last\">        <a href=\"#i-23\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30c7\u30d0\u30c3\u30b0\u30c6\u30af\u30cb\u30c3\u30af<\/a>      <\/li>    <\/ul>  <\/li><\/ul>\n      <a href=\"#\" class=\"sgb-toc-button js-toc-button\" rel=\"nofollow\" data-open-dialog=\"true\"><i class=\"fa fa-list\"><\/i><span class=\"sgb-toc-button__text\">\u76ee\u6b21\u3078<\/span><\/a>\n    <\/div><\/div><h2 class=\"wp-block-heading\" id=\"i-0\">Mutex\u306e\u57fa\u790e\u77e5\u8b58\u3068\u91cd\u8981\u6027<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3044\u3066\u3001\u30c7\u30fc\u30bf\u306e\u6574\u5408\u6027\u3092\u4fdd\u3064\u3053\u3068\u306f\u6700\u3082\u91cd\u8981\u306a\u8ab2\u984c\u306e\u4e00\u3064\u3067\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001Mutex\u306e\u57fa\u672c\u7684\u306a\u6982\u5ff5\u304b\u3089\u5b9f\u88c5\u65b9\u6cd5\u307e\u3067\u3001\u4f53\u7cfb\u7684\u306b\u89e3\u8aac\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-1\">\u30c7\u30fc\u30bf\u7af6\u5408\u304c\u5f15\u304d\u8d77\u3053\u3059\u81f4\u547d\u7684\u306a\u554f\u984c\u3068\u306f<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u74b0\u5883\u3067\u306f\u3001\u8907\u6570\u306e\u30b9\u30ec\u30c3\u30c9\u304c\u540c\u3058\u30ea\u30bd\u30fc\u30b9\u306b\u540c\u6642\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u3053\u3068\u3067\u3001\u30c7\u30fc\u30bf\u7af6\u5408\uff08Race Condition\uff09\u304c\u767a\u751f\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002\u4ee5\u4e0b\u306b\u5177\u4f53\u4f8b\u3067\u898b\u3066\u307f\u307e\u3057\u3087\u3046\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">\/\/ \u30c7\u30fc\u30bf\u7af6\u5408\u304c\u767a\u751f\u3059\u308b\u5371\u967a\u306a\u30b3\u30fc\u30c9\u4f8b\nclass BankAccount {\n    int balance;\npublic:\n    BankAccount(int initial_balance) : balance(initial_balance) {}\n\n    void deposit(int amount) {\n        int current = balance;    \/\/ \u73fe\u5728\u306e\u6b8b\u9ad8\u3092\u8aad\u307f\u53d6\u308a\n        current += amount;        \/\/ \u8a08\u7b97\u51e6\u7406\n        balance = current;        \/\/ \u7d50\u679c\u3092\u66f8\u304d\u623b\u3057\n    }\n\n    int getBalance() const { return balance; }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u3053\u306e\u30b3\u30fc\u30c9\u3067\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u554f\u984c\u304c\u767a\u751f\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30b9\u30ec\u30c3\u30c9A: \u6b8b\u9ad8100\u5186\u3092\u8aad\u307f\u53d6\u308a<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9B: \u540c\u3058\u30bf\u30a4\u30df\u30f3\u30b0\u3067\u6b8b\u9ad8100\u5186\u3092\u8aad\u307f\u53d6\u308a<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9A: 100 + 50 = 150\u5186\u3092\u66f8\u304d\u623b\u3057<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9B: 100 + 30 = 130\u5186\u3092\u66f8\u304d\u623b\u3057<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">\u7d50\u679c\u3068\u3057\u3066\u3001\u672c\u6765180\u5186\u306b\u306a\u308b\u306f\u305a\u306e\u6b8b\u9ad8\u304c130\u5186\u306b\u306a\u3063\u3066\u3057\u307e\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-2\">Mutex\u306b\u3088\u308b\u6392\u4ed6\u5236\u5fa1\u306e\u4ed5\u7d44\u307f<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Mutex\u306f\u300c\u76f8\u4e92\u6392\u4ed6\uff08Mutual Exclusion\uff09\u300d\u306e\u7565\u3067\u3001\u3053\u306e\u3088\u3046\u306a\u554f\u984c\u3092\u9632\u3050\u305f\u3081\u306e\u540c\u671f\u6a5f\u69cb\u3067\u3059\u3002\u4ee5\u4e0b\u304c\u6b63\u3057\u3044\u5b9f\u88c5\u4f8b\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n\nclass ThreadSafeBankAccount {\n    int balance;\n    std::mutex mtx;  \/\/ Mutex\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u8ffd\u52a0\npublic:\n    ThreadSafeBankAccount(int initial_balance) : balance(initial_balance) {}\n\n    void deposit(int amount) {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);  \/\/ \u30ed\u30c3\u30af\u306e\u53d6\u5f97\n        int current = balance;\n        current += amount;\n        balance = current;\n    }   \/\/ lock_guard\u306e\u30c7\u30b9\u30c8\u30e9\u30af\u30bf\u3067\u30ed\u30c3\u30af\u304c\u81ea\u52d5\u7684\u306b\u89e3\u653e\u3055\u308c\u308b\n\n    int getBalance() const {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);\n        return balance;\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">Mutex\u306e\u4e3b\u306a\u7279\u5fb4\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3067\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u306e\u53d6\u5f97\uff1a\u3042\u308b\u30b9\u30ec\u30c3\u30c9\u304cmutex\u3092\u30ed\u30c3\u30af\u3059\u308b\u3068\u3001\u4ed6\u306e\u30b9\u30ec\u30c3\u30c9\u306f\u540c\u3058mutex\u306e\u30ed\u30c3\u30af\u3092\u53d6\u5f97\u3067\u304d\u306a\u3044<\/li>\n\n\n\n<li>\u5f85\u6a5f\u72b6\u614b\uff1a\u30ed\u30c3\u30af\u3092\u53d6\u5f97\u3067\u304d\u306a\u3044\u30b9\u30ec\u30c3\u30c9\u306f\u3001\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u308b\u307e\u3067\u5f85\u6a5f\u72b6\u614b\u3068\u306a\u308b<\/li>\n\n\n\n<li>RAII\u306b\u3088\u308b\u5b89\u5168\u6027\uff1a<code>std::lock_guard<\/code>\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u3067\u3001\u4f8b\u5916\u304c\u767a\u751f\u3057\u3066\u3082\u30ed\u30c3\u30af\u304c\u78ba\u5b9f\u306b\u89e3\u653e\u3055\u308c\u308b<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-3\">C++11\u3067\u5c0e\u5165\u3055\u308c\u305f\u6a19\u6e96\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u7279\u5fb4<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">C++11\u3067\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u69d8\u3005\u306a\u7a2e\u985e\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u304c\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u3068\u3057\u3066\u5c0e\u5165\u3055\u308c\u307e\u3057\u305f\uff1a<\/p>\n\n\n<div id=\"id-2556ca8d-fde8-4838-bba8-15279748a3c9\">\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th>Mutex\u306e\u7a2e\u985e<\/th><th>\u7279\u5fb4<\/th><th>\u4e3b\u306a\u7528\u9014<\/th><\/tr><\/thead><tbody><tr><td>std::mutex<\/td><td>\u6700\u3082\u57fa\u672c\u7684\u306a\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u3002\u4e00\u5ea6\u306b\u3072\u3068\u3064\u306e\u30b9\u30ec\u30c3\u30c9\u306e\u307f\u304c\u30ed\u30c3\u30af\u53ef\u80fd<\/td><td>\u5358\u7d14\u306a\u6392\u4ed6\u5236\u5fa1<\/td><\/tr><tr><td>std::recursive_mutex<\/td><td>\u540c\u3058\u30b9\u30ec\u30c3\u30c9\u304b\u3089\u8907\u6570\u56de\u30ed\u30c3\u30af\u53ef\u80fd<\/td><td>\u518d\u5e30\u7684\u306a\u95a2\u6570\u547c\u3073\u51fa\u3057\u3067\u306e\u4f7f\u7528<\/td><\/tr><tr><td>std::timed_mutex<\/td><td>\u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\u4ed8\u304d\u306e\u30ed\u30c3\u30af\u64cd\u4f5c\u304c\u53ef\u80fd<\/td><td>\u5f85\u6a5f\u6642\u9593\u3092\u5236\u9650\u3057\u305f\u3044\u5834\u5408<\/td><\/tr><tr><td>std::shared_mutex<\/td><td>\u5171\u6709\u30ed\u30c3\u30af\uff08\u8aad\u307f\u53d6\u308a\u5c02\u7528\uff09\u3068\u6392\u4ed6\u30ed\u30c3\u30af\uff08\u8aad\u307f\u66f8\u304d\uff09\u306e\u4e21\u65b9\u3092\u30b5\u30dd\u30fc\u30c8<\/td><td>\u8aad\u307f\u53d6\u308a\u304c\u591a\u3044\u5834\u5408\u306e\u6700\u9069\u5316<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n<p class=\"wp-block-paragraph\">\u3053\u308c\u3089\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u7279\u5fb4\u3092\u6301\u3063\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n#include &lt;shared_mutex&gt;\n\nclass ThreadSafeCache {\n    std::map&lt;int, std::string&gt; cache;\n    mutable std::shared_mutex mtx;  \/\/ \u5171\u6709\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u4f7f\u7528\n\npublic:\n    \/\/ \u66f8\u304d\u8fbc\u307f\u64cd\u4f5c\uff08\u6392\u4ed6\u30ed\u30c3\u30af\uff09\n    void write(int key, const std::string&amp; value) {\n        std::unique_lock&lt;std::shared_mutex&gt; lock(mtx);\n        cache[key] = value;\n    }\n\n    \/\/ \u8aad\u307f\u53d6\u308a\u64cd\u4f5c\uff08\u5171\u6709\u30ed\u30c3\u30af\uff09\n    std::string read(int key) const {\n        std::shared_lock&lt;std::shared_mutex&gt; lock(mtx);\n        auto it = cache.find(key);\n        return it != cache.end() ? it-&gt;second : \"\";\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u3053\u306e\u3088\u3046\u306a\u6a19\u6e96\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u5c0e\u5165\u306b\u3088\u308a\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u5229\u70b9\u304c\u5f97\u3089\u308c\u307e\u3057\u305f\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u79fb\u690d\u6027\u306e\u5411\u4e0a\uff1a\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u4f9d\u5b58\u306e\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u5fc5\u8981\u304c\u306a\u304f\u306a\u3063\u305f<\/li>\n\n\n\n<li>\u5b89\u5168\u6027\u306e\u5411\u4e0a\uff1aRAII\u30d9\u30fc\u30b9\u306e\u8a2d\u8a08\u306b\u3088\u308a\u3001\u30ea\u30bd\u30fc\u30b9\u30ea\u30fc\u30af\u3092\u9632\u6b62<\/li>\n\n\n\n<li>\u67d4\u8edf\u6027\u306e\u5411\u4e0a\uff1a\u7528\u9014\u306b\u5fdc\u3058\u305f\u9069\u5207\u306a\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u9078\u629e\u304c\u53ef\u80fd<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">\u4ee5\u4e0a\u304c\u3001Mutex\u306e\u57fa\u672c\u7684\u306a\u6982\u5ff5\u3068\u91cd\u8981\u6027\u306b\u3064\u3044\u3066\u306e\u89e3\u8aac\u3067\u3059\u3002\u6b21\u7ae0\u3067\u306f\u3001\u3053\u308c\u3089\u306e\u77e5\u8b58\u3092\u57fa\u306b\u3001\u3088\u308a\u5b9f\u8df5\u7684\u306aMutex\u306e\u6d3b\u7528\u30c6\u30af\u30cb\u30c3\u30af\u306b\u3064\u3044\u3066\u5b66\u3093\u3067\u3044\u304d\u307e\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"i-4\">\u5b9f\u8df5\u7684\u306aMutex\u6d3b\u7528\u30c6\u30af\u30cb\u30c3\u30af<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u5b9f\u52d9\u3067\u306f\u3001\u5358\u7d14\u306a\u30ed\u30c3\u30af\/\u30a2\u30f3\u30ed\u30c3\u30af\u3060\u3051\u3067\u306a\u304f\u3001\u3088\u308a\u9ad8\u5ea6\u306a\u30c6\u30af\u30cb\u30c3\u30af\u304c\u5fc5\u8981\u3068\u306a\u308a\u307e\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001\u5b9f\u8df5\u7684\u306aMutex\u306e\u6d3b\u7528\u65b9\u6cd5\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-5\">lock_guard\u3068unique_lock\u306e\u4f7f\u3044\u5206\u3051\u65b9<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">C++\u3067\u306f\u3001Mutex\u3092\u5b89\u5168\u306b\u6271\u3046\u305f\u3081\u306eRAII\u30e9\u30c3\u30d1\u30fc\u3068\u3057\u3066\u3001<code>std::lock_guard<\/code>\u3068<code>std::unique_lock<\/code>\u304c\u63d0\u4f9b\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u305d\u308c\u305e\u308c\u306e\u7279\u5fb4\u3092\u898b\u3066\u3044\u304d\u307e\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n#include &lt;iostream&gt;\n\nclass ResourceManager {\n    std::mutex mtx;\n    std::vector&lt;int&gt; resource;\n\npublic:\n    \/\/ lock_guard\u3092\u4f7f\u7528\u3057\u305f\u5358\u7d14\u306a\u6392\u4ed6\u5236\u5fa1\n    void simpleOperation() {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);  \/\/ \u30b7\u30f3\u30d7\u30eb\u3067\u8efd\u91cf\n        resource.push_back(42);\n    }   \/\/ \u30b9\u30b3\u30fc\u30d7\u3092\u629c\u3051\u308b\u3068\u81ea\u52d5\u7684\u306b\u30a2\u30f3\u30ed\u30c3\u30af\n\n    \/\/ unique_lock\u3092\u4f7f\u7528\u3057\u305f\u9ad8\u5ea6\u306a\u5236\u5fa1\n    void complexOperation() {\n        std::unique_lock&lt;std::mutex&gt; lock(mtx);  \/\/ \u3088\u308a\u67d4\u8edf\u306a\u5236\u5fa1\u304c\u53ef\u80fd\n\n        \/\/ \u51e6\u7406\u306e\u9014\u4e2d\u3067\u30ed\u30c3\u30af\u3092\u89e3\u653e\n        if (resource.empty()) {\n            lock.unlock();\n            prepareResource();  \/\/ \u30ed\u30c3\u30af\u3092\u89e3\u653e\u3057\u305f\u72b6\u614b\u3067\u4ed6\u306e\u51e6\u7406\n            lock.lock();       \/\/ \u518d\u5ea6\u30ed\u30c3\u30af\u3092\u53d6\u5f97\n        }\n\n        resource.push_back(42);\n    }\n\nprivate:\n    void prepareResource() {\n        \/\/ \u30ea\u30bd\u30fc\u30b9\u306e\u6e96\u5099\u51e6\u7406\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u4f7f\u3044\u5206\u3051\u306e\u30dd\u30a4\u30f3\u30c8\uff1a<\/p>\n\n\n<div id=\"id-ca2cfe77-0ad3-40b6-98be-905ccdb2d858\">\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th>\u6a5f\u80fd<\/th><th>lock_guard<\/th><th>unique_lock<\/th><\/tr><\/thead><tbody><tr><td>\u30ed\u30c3\u30af\/\u30a2\u30f3\u30ed\u30c3\u30af\u306e\u30bf\u30a4\u30df\u30f3\u30b0<\/td><td>\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\/\u30c7\u30b9\u30c8\u30e9\u30af\u30bf\u306e\u307f<\/td><td>\u4efb\u610f\u306e\u30bf\u30a4\u30df\u30f3\u30b0<\/td><\/tr><tr><td>\u30e1\u30e2\u30ea\u4f7f\u7528\u91cf<\/td><td>\u5c11\u306a\u3044<\/td><td>\u3084\u3084\u591a\u3044<\/td><\/tr><tr><td>\u51e6\u7406\u901f\u5ea6<\/td><td>\u901f\u3044<\/td><td>\u3084\u3084\u9045\u3044<\/td><\/tr><tr><td>\u67d4\u8edf\u6027<\/td><td>\u4f4e\u3044<\/td><td>\u9ad8\u3044<\/td><\/tr><tr><td>\u4e3b\u306a\u7528\u9014<\/td><td>\u30b7\u30f3\u30d7\u30eb\u306a\u6392\u4ed6\u5236\u5fa1<\/td><td>\u6761\u4ef6\u5909\u6570\u3068\u306e\u4f75\u7528\u3001\u8907\u96d1\u306a\u5236\u5fa1<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n<h3 class=\"wp-block-heading\" id=\"i-6\">\u30b9\u30b3\u30fc\u30d7\u30d9\u30fc\u30b9\u306e\u30ed\u30c3\u30af\u7ba1\u7406\u3067\u5b9f\u73fe\u3059\u308b\u4f8b\u5916\u5b89\u5168\u6027<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">C++\u3067\u306f\u3001\u30b9\u30b3\u30fc\u30d7\u30d9\u30fc\u30b9\u306e\u30ed\u30c3\u30af\u7ba1\u7406\u306b\u3088\u308a\u3001\u4f8b\u5916\u304c\u767a\u751f\u3057\u305f\u5834\u5408\u3067\u3082\u78ba\u5b9f\u306b\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class ExceptionSafeResource {\n    std::mutex mtx;\n    std::vector&lt;int&gt; data;\n\npublic:\n    void processData() {\n        \/\/ \u30d6\u30ed\u30c3\u30af\u30b9\u30b3\u30fc\u30d7\u306b\u3088\u308b\u660e\u793a\u7684\u306a\u30ed\u30c3\u30af\u7bc4\u56f2\u306e\u5236\u5fa1\n        {\n            std::lock_guard&lt;std::mutex&gt; lock(mtx);\n            data.push_back(42);  \/\/ \u4f8b\u5916\u304c\u767a\u751f\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u64cd\u4f5c\n        }  \/\/ \u3053\u306e\u30b9\u30b3\u30fc\u30d7\u3092\u629c\u3051\u308b\u3068\u78ba\u5b9f\u306b\u30a2\u30f3\u30ed\u30c3\u30af\n\n        \/\/ \u4ee5\u4e0b\u306e\u51e6\u7406\u306f\u30ed\u30c3\u30af\u89e3\u653e\u5f8c\u306b\u5b9f\u884c\n        postProcess();\n    }\n\n    void riskyOperation() {\n        try {\n            std::lock_guard&lt;std::mutex&gt; lock(mtx);\n            \/\/ \u4f8b\u5916\u3092\u6295\u3052\u308b\u53ef\u80fd\u6027\u306e\u3042\u308b\u51e6\u7406\n            if (data.empty()) {\n                throw std::runtime_error(\"Empty data\");\n            }\n            data.pop_back();\n        }\n        catch (const std::exception&amp; e) {\n            \/\/ \u4f8b\u5916\u51e6\u7406\n            \/\/ \u3053\u306e\u6642\u70b9\u3067lock_guard\u306f\u65e2\u306b\u89e3\u653e\u3055\u308c\u3066\u3044\u308b\n            std::cerr &lt;&lt; \"Error: \" &lt;&lt; e.what() &lt;&lt; std::endl;\n        }\n    }\n\nprivate:\n    void postProcess() {\n        \/\/ \u30ed\u30c3\u30af\u4e0d\u8981\u306e\u5f8c\u51e6\u7406\n    }\n};<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-7\">\u6761\u4ef6\u5909\u6570\u3068\u306e\u7d44\u307f\u5408\u308f\u305b\u30d1\u30bf\u30fc\u30f3<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u6761\u4ef6\u5909\u6570\uff08<code>std::condition_variable<\/code>\uff09\u3068Mutex\u3092\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u30b9\u30ec\u30c3\u30c9\u9593\u306e\u52b9\u7387\u7684\u306a\u540c\u671f\u304c\u5b9f\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;condition_variable&gt;\n#include &lt;queue&gt;\n\nclass ThreadSafeQueue {\n    std::queue&lt;int&gt; queue;\n    mutable std::mutex mtx;\n    std::condition_variable cv;\n\npublic:\n    \/\/ \u30c7\u30fc\u30bf\u306e\u8ffd\u52a0\uff08\u30d7\u30ed\u30c7\u30e5\u30fc\u30b5\u30fc\uff09\n    void push(int value) {\n        {\n            std::lock_guard&lt;std::mutex&gt; lock(mtx);\n            queue.push(value);\n        }\n        cv.notify_one();  \/\/ \u5f85\u6a5f\u4e2d\u306e\u30b9\u30ec\u30c3\u30c9\u306b\u901a\u77e5\n    }\n\n    \/\/ \u30c7\u30fc\u30bf\u306e\u53d6\u308a\u51fa\u3057\uff08\u30b3\u30f3\u30b7\u30e5\u30fc\u30de\u30fc\uff09\n    int pop() {\n        std::unique_lock&lt;std::mutex&gt; lock(mtx);\n\n        \/\/ \u30ad\u30e5\u30fc\u304c\u7a7a\u306e\u9593\u306f\u5f85\u6a5f\n        cv.wait(lock, [this]() { \n            return !queue.empty(); \n        });\n\n        int value = queue.front();\n        queue.pop();\n        return value;\n    }\n\n    \/\/ \u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\u4ed8\u304d\u306epop\u64cd\u4f5c\n    bool tryPopWithTimeout(int&amp; value, const std::chrono::milliseconds&amp; timeout) {\n        std::unique_lock&lt;std::mutex&gt; lock(mtx);\n\n        \/\/ \u6307\u5b9a\u6642\u9593\u5f85\u6a5f\n        if (!cv.wait_for(lock, timeout, [this]() { \n            return !queue.empty(); \n        })) {\n            return false;  \/\/ \u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\n        }\n\n        value = queue.front();\n        queue.pop();\n        return true;\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u6761\u4ef6\u5909\u6570\u3092\u4f7f\u7528\u3059\u308b\u969b\u306e\u91cd\u8981\u306a\u30dd\u30a4\u30f3\u30c8\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u5e38\u306b<code>std::unique_lock<\/code>\u3068\u7d44\u307f\u5408\u308f\u305b\u3066\u4f7f\u7528\u3059\u308b<\/li>\n\n\n\n<li>\u30b9\u30d7\u30ea\u30a2\u30b9\u30fb\u30a6\u30a7\u30a4\u30af\u30a2\u30c3\u30d7\uff08\u507d\u306e\u8d77\u5e8a\uff09\u306b\u5bfe\u51e6\u3059\u308b\u305f\u3081\u3001wait()\u306e\u7b2c2\u5f15\u6570\u306b\u30e9\u30e0\u30c0\u5f0f\u3092\u4f7f\u7528<\/li>\n\n\n\n<li>\u901a\u77e5\uff08notify\uff09\u306f\u5fc5\u8981\u6700\u5c0f\u9650\u306b\u3068\u3069\u3081\u308b<\/li>\n\n\n\n<li>\u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\u6a5f\u80fd\u3092\u6d3b\u7528\u3057\u3066\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u9632\u6b62<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">\u4ee5\u4e0a\u304c\u5b9f\u8df5\u7684\u306aMutex\u6d3b\u7528\u30c6\u30af\u30cb\u30c3\u30af\u306e\u89e3\u8aac\u3067\u3059\u3002\u3053\u308c\u3089\u306e\u30c6\u30af\u30cb\u30c3\u30af\u3092\u9069\u5207\u306b\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u52b9\u7387\u7684\u3067\u5b89\u5168\u306a\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304c\u5b9f\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"i-8\">Mutex\u306b\u3088\u308b\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u56de\u907f\u8853<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3044\u3066\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306f\u6700\u3082\u5384\u4ecb\u306a\u554f\u984c\u306e\u4e00\u3064\u3067\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u767a\u751f\u30e1\u30ab\u30cb\u30ba\u30e0\u3092\u7406\u89e3\u3057\u3001\u52b9\u679c\u7684\u306a\u4e88\u9632\u7b56\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-9\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u767a\u751f\u30e1\u30ab\u30cb\u30ba\u30e0\u3068\u691c\u51fa\u65b9\u6cd5<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306f\u3001\u4ee5\u4e0b\u306e4\u3064\u306e\u6761\u4ef6\uff08\u30b3\u30d5\u30de\u30f3\u306e\u6761\u4ef6\uff09\u304c\u540c\u6642\u306b\u6e80\u305f\u3055\u308c\u305f\u5834\u5408\u306b\u767a\u751f\u3057\u307e\u3059\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u76f8\u4e92\u6392\u9664\uff1a\u30ea\u30bd\u30fc\u30b9\u306f\u540c\u6642\u306b1\u3064\u306e\u30b9\u30ec\u30c3\u30c9\u3057\u304b\u4f7f\u7528\u3067\u304d\u306a\u3044<\/li>\n\n\n\n<li>\u5f85\u6a5f\u6761\u4ef6\uff1a\u30ea\u30bd\u30fc\u30b9\u3092\u4fdd\u6301\u3057\u305f\u307e\u307e\u4ed6\u306e\u30ea\u30bd\u30fc\u30b9\u3092\u8981\u6c42\u3059\u308b<\/li>\n\n\n\n<li>\u6a2a\u53d6\u308a\u4e0d\u53ef\uff1a\u4ed6\u306e\u30b9\u30ec\u30c3\u30c9\u304c\u4fdd\u6301\u3059\u308b\u30ea\u30bd\u30fc\u30b9\u3092\u5f37\u5236\u7684\u306b\u89e3\u653e\u3067\u304d\u306a\u3044<\/li>\n\n\n\n<li>\u5faa\u74b0\u5f85\u6a5f\uff1a\u8907\u6570\u306e\u30b9\u30ec\u30c3\u30c9\u304c\u5faa\u74b0\u7684\u306b\u30ea\u30bd\u30fc\u30b9\u3092\u5f85\u3063\u3066\u3044\u308b<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">\u4ee5\u4e0b\u306f\u5178\u578b\u7684\u306a\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u4f8b\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n#include &lt;thread&gt;\n\nclass DeadlockProne {\n    std::mutex mutex1;\n    std::mutex mutex2;\n\npublic:\n    void operation1() {\n        mutex1.lock();  \/\/ \u6700\u521d\u306e\u30ed\u30c3\u30af\u3092\u53d6\u5f97\n        std::this_thread::sleep_for(std::chrono::milliseconds(100));  \/\/ \u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u767a\u751f\u3055\u305b\u3084\u3059\u304f\u3059\u308b\n        mutex2.lock();  \/\/ 2\u756a\u76ee\u306e\u30ed\u30c3\u30af\u3092\u53d6\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\n\n        \/\/ \u51e6\u7406\n\n        mutex2.unlock();\n        mutex1.unlock();\n    }\n\n    void operation2() {\n        mutex2.lock();  \/\/ \u9006\u9806\u3067\u30ed\u30c3\u30af\u3092\u53d6\u5f97\n        std::this_thread::sleep_for(std::chrono::milliseconds(100));\n        mutex1.lock();\n\n        \/\/ \u51e6\u7406\n\n        mutex1.unlock();\n        mutex2.unlock();\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u691c\u51fa\u65b9\u6cd5\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30b9\u30bf\u30c3\u30af\u30c8\u30ec\u30fc\u30b9\u306e\u89e3\u6790<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5404\u30b9\u30ec\u30c3\u30c9\u306e\u5f85\u6a5f\u72b6\u614b\u3092\u78ba\u8a8d<\/li>\n\n\n\n<li>\u30ed\u30c3\u30af\u306e\u53d6\u5f97\u9806\u5e8f\u3092\u8ffd\u8de1<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u691c\u51fa\u30c4\u30fc\u30eb\u306e\u4f7f\u7528<\/li>\n<\/ol>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">   # Valgrind\u3092\u4f7f\u7528\u3057\u305f\u691c\u51fa\u4f8b\n   valgrind --tool=helgrind .\/your_program\n\n   # Thread Sanitizer\u3092\u4f7f\u7528\u3057\u305f\u691c\u51fa\u4f8b\uff08\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\uff09\n   g++ -fsanitize=thread -g your_program.cpp<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-10\">\u968e\u5c64\u7684\u30ed\u30c3\u30af\u306b\u3088\u308b\u78ba\u5b9f\u306a\u4e88\u9632\u7b56<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u9632\u3050\u6700\u3082\u78ba\u5b9f\u306a\u65b9\u6cd5\u306e\u4e00\u3064\u306f\u3001\u968e\u5c64\u7684\u30ed\u30c3\u30af\u306e\u5c0e\u5165\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class HierarchicalMutex {\n    std::mutex mtx;\n    const unsigned int hierarchy_value;\n    unsigned int previous_hierarchy_value;\n    static thread_local unsigned int this_thread_hierarchy_value;\n\npublic:\n    explicit HierarchicalMutex(unsigned int value)\n        : hierarchy_value(value), previous_hierarchy_value(0) {}\n\n    void lock() {\n        check_for_hierarchy_violation();\n        mtx.lock();\n        update_hierarchy_value();\n    }\n\n    void unlock() {\n        this_thread_hierarchy_value = previous_hierarchy_value;\n        mtx.unlock();\n    }\n\nprivate:\n    void check_for_hierarchy_violation() {\n        if (this_thread_hierarchy_value &lt;= hierarchy_value) {\n            throw std::runtime_error(\"mutex hierarchy violated\");\n        }\n    }\n\n    void update_hierarchy_value() {\n        previous_hierarchy_value = this_thread_hierarchy_value;\n        this_thread_hierarchy_value = hierarchy_value;\n    }\n};\n\n\/\/ \u30b9\u30ec\u30c3\u30c9\u30ed\u30fc\u30ab\u30eb\u5909\u6570\u306e\u521d\u671f\u5316\nthread_local unsigned int HierarchicalMutex::this_thread_hierarchy_value(UINT_MAX);<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u4f7f\u7528\u4f8b\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class SafeResource {\n    HierarchicalMutex high_mutex{10000};\n    HierarchicalMutex low_mutex{5000};\n\npublic:\n    void operationA() {\n        std::lock_guard&lt;HierarchicalMutex&gt; high_lock(high_mutex);\n        std::lock_guard&lt;HierarchicalMutex&gt; low_lock(low_mutex);\n        \/\/ \u51e6\u7406\n    }\n\n    void operationB() {\n        std::lock_guard&lt;HierarchicalMutex&gt; low_lock(low_mutex);\n        \/\/ high_mutex\u3092\u30ed\u30c3\u30af\u3057\u3088\u3046\u3068\u3059\u308b\u3068\u30a8\u30e9\u30fc\n        \/\/ \u968e\u5c64\u9055\u53cd\u3092\u9632\u6b62\n    }\n};<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-11\">try_lock\u3092\u6d3b\u7528\u3057\u305f\u67d4\u8edf\u306a\u30ed\u30c3\u30af\u6226\u7565<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><code>try_lock<\/code>\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u3067\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u52d5\u7684\u306b\u56de\u907f\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class FlexibleLocking {\n    std::mutex mutex1;\n    std::mutex mutex2;\n    std::vector&lt;int&gt; protected_data1;\n    std::vector&lt;int&gt; protected_data2;\n\npublic:\n    bool transferData() {\n        std::unique_lock&lt;std::mutex&gt; lock1(mutex1, std::defer_lock);\n        std::unique_lock&lt;std::mutex&gt; lock2(mutex2, std::defer_lock);\n\n        \/\/ \u4e21\u65b9\u306e\u30ed\u30c3\u30af\u3092\u540c\u6642\u306b\u53d6\u5f97\u3092\u8a66\u307f\u308b\n        if (!std::lock(lock1, lock2)) {\n            return false;  \/\/ \u30ed\u30c3\u30af\u306e\u53d6\u5f97\u306b\u5931\u6557\n        }\n\n        \/\/ \u3053\u306e\u6642\u70b9\u3067\u4e21\u65b9\u306e\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\n        protected_data2.insert(\n            protected_data2.end(),\n            protected_data1.begin(),\n            protected_data1.end()\n        );\n        protected_data1.clear();\n\n        return true;\n    }\n\n    \/\/ \u3088\u308a\u67d4\u8edf\u306a\u30a2\u30d7\u30ed\u30fc\u30c1\n    bool tryOperation() {\n        int retry_count = 0;\n        while (retry_count &lt; 3) {\n            if (mutex1.try_lock()) {\n                if (mutex2.try_lock()) {\n                    \/\/ \u4e21\u65b9\u306e\u30ed\u30c3\u30af\u3092\u53d6\u5f97\u3067\u304d\u305f\n                    \/\/ \u51e6\u7406\u3092\u5b9f\u884c\n                    mutex2.unlock();\n                    mutex1.unlock();\n                    return true;\n                }\n                mutex1.unlock();  \/\/ mutex2\u306e\u53d6\u5f97\u306b\u5931\u6557\u3057\u305f\u3089 mutex1 \u3092\u89e3\u653e\n            }\n            std::this_thread::sleep_for(std::chrono::milliseconds(100));\n            retry_count++;\n        }\n        return false;  \/\/ \u30ea\u30c8\u30e9\u30a4\u56de\u6570\u3092\u8d85\u3048\u305f\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u56de\u907f\u306e\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u306e\u53d6\u5f97\u9806\u5e8f\u3092\u4e00\u8cab\u3055\u305b\u308b<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5e38\u306b\u6c7a\u3081\u3089\u308c\u305f\u9806\u5e8f\u3067\u30ed\u30c3\u30af\u3092\u53d6\u5f97<\/li>\n\n\n\n<li>\u968e\u5c64\u7684\u306a\u30ed\u30c3\u30af\u6226\u7565\u3092\u63a1\u7528<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30b9\u30b3\u30fc\u30d7\u3092\u6700\u5c0f\u9650\u306b\u6291\u3048\u308b<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3059\u308b\u6642\u9593\u3092\u6700\u5c0f\u5316<\/li>\n\n\n\n<li>\u5fc5\u8981\u306a\u7bc4\u56f2\u3067\u306e\u307f\u30ed\u30c3\u30af\u3092\u4fdd\u6301<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u4f8b\u5916\u5b89\u5168\u6027\u3092\u78ba\u4fdd<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>RAII\u30d1\u30bf\u30fc\u30f3\u306e\u6d3b\u7528<\/li>\n\n\n\n<li><code>std::lock_guard<\/code>\u3084<code>std::unique_lock<\/code>\u306e\u4f7f\u7528<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\u306e\u5c0e\u5165<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u7121\u9650\u5f85\u6a5f\u3092\u907f\u3051\u308b<\/li>\n\n\n\n<li><code>try_lock_for<\/code>\u3084<code>try_lock_until<\/code>\u306e\u6d3b\u7528<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"i-12\">\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3092\u6700\u9069\u5316\u3059\u308bMutex\u8a2d\u8a08<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306f\u3001Mutex\u306e\u4f7f\u7528\u65b9\u6cd5\u306b\u5927\u304d\u304f\u4f9d\u5b58\u3057\u307e\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001Mutex\u3092\u4f7f\u7528\u3059\u308b\u969b\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u6700\u9069\u5316\u624b\u6cd5\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-13\">\u30ed\u30c3\u30af\u306e\u7c92\u5ea6\u304c\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306b\u4e0e\u3048\u308b\u5f71\u97ff<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30ed\u30c3\u30af\u306e\u7c92\u5ea6\u3068\u306f\u30011\u56de\u306e\u30ed\u30c3\u30af\u3067\u4fdd\u8b77\u3055\u308c\u308b\u30c7\u30fc\u30bf\u91cf\u3084\u51e6\u7406\u306e\u7bc4\u56f2\u3092\u6307\u3057\u307e\u3059\u3002\u4ee5\u4e0b\u306b\u3001\u7c92\u5ea6\u306e\u9055\u3044\u306b\u3088\u308b\u5f71\u97ff\u3092\u793a\u3057\u307e\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">\/\/ \u7c97\u7c92\u5ea6\u30ed\u30c3\u30af\u306e\u4f8b\uff08\u30b3\u30fc\u30b9\u30fb\u30b0\u30ec\u30a4\u30f3\uff09\nclass CoarseGrainedList {\n    std::mutex mtx;\n    std::list&lt;int&gt; data;\n\npublic:\n    void add(int value) {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);  \/\/ \u30ea\u30b9\u30c8\u5168\u4f53\u3092\u30ed\u30c3\u30af\n        data.push_back(value);\n    }\n\n    void remove(int value) {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);  \/\/ \u30ea\u30b9\u30c8\u5168\u4f53\u3092\u30ed\u30c3\u30af\n        data.remove(value);\n    }\n};\n\n\/\/ \u7d30\u7c92\u5ea6\u30ed\u30c3\u30af\u306e\u4f8b\uff08\u30d5\u30a1\u30a4\u30f3\u30fb\u30b0\u30ec\u30a4\u30f3\uff09\nclass FineGrainedList {\n    struct Node {\n        int value;\n        std::unique_ptr&lt;Node&gt; next;\n        std::mutex mtx;  \/\/ \u30ce\u30fc\u30c9\u3054\u3068\u306b\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\n\n        Node(int v) : value(v) {}\n    };\n\n    std::unique_ptr&lt;Node&gt; head;\n    std::mutex head_mtx;\n\npublic:\n    void add(int value) {\n        std::unique_ptr&lt;Node&gt; new_node(new Node(value));\n        std::lock_guard&lt;std::mutex&gt; head_lock(head_mtx);\n\n        new_node-&gt;next = std::move(head);\n        head = std::move(new_node);\n    }\n\n    bool remove(int value) {\n        std::unique_lock&lt;std::mutex&gt; head_lock(head_mtx);\n        if (!head) return false;\n\n        if (head-&gt;value == value) {\n            head = std::move(head-&gt;next);\n            return true;\n        }\n\n        Node* current = head.get();\n        Node* prev = nullptr;\n\n        while (current) {\n            std::unique_lock&lt;std::mutex&gt; current_lock(current-&gt;mtx);\n            if (current-&gt;value == value) {\n                prev-&gt;next = std::move(current-&gt;next);\n                return true;\n            }\n            prev = current;\n            current = current-&gt;next.get();\n        }\n        return false;\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u30ed\u30c3\u30af\u7c92\u5ea6\u306e\u6bd4\u8f03\uff1a<\/p>\n\n\n<div id=\"id-0b20651f-7edd-43f1-982c-b360623a6342\">\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th>\u7279\u6027<\/th><th>\u7c97\u7c92\u5ea6\u30ed\u30c3\u30af<\/th><th>\u7d30\u7c92\u5ea6\u30ed\u30c3\u30af<\/th><\/tr><\/thead><tbody><tr><td>\u5b9f\u88c5\u306e\u8907\u96d1\u3055<\/td><td>\u7c21\u5358<\/td><td>\u8907\u96d1<\/td><\/tr><tr><td>\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u30ea\u30b9\u30af<\/td><td>\u4f4e\u3044<\/td><td>\u9ad8\u3044<\/td><\/tr><tr><td>\u4e26\u884c\u6027<\/td><td>\u4f4e\u3044<\/td><td>\u9ad8\u3044<\/td><\/tr><tr><td>\u30e1\u30e2\u30ea\u4f7f\u7528\u91cf<\/td><td>\u5c11\u306a\u3044<\/td><td>\u591a\u3044<\/td><\/tr><tr><td>\u9069\u3057\u305f\u72b6\u6cc1<\/td><td>\u5358\u7d14\u306a\u69cb\u9020\u3001\u66f4\u65b0\u304c\u5c11\u306a\u3044<\/td><td>\u8907\u96d1\u306a\u69cb\u9020\u3001\u9ad8\u3044\u4e26\u884c\u6027\u304c\u5fc5\u8981<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n<h3 class=\"wp-block-heading\" id=\"i-14\">\u5171\u6709\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306b\u3088\u308b\u8aad\u307f\u66f8\u304d\u306e\u6700\u9069\u5316<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u8aad\u307f\u53d6\u308a\u304c\u591a\u304f\u3001\u66f8\u304d\u8fbc\u307f\u304c\u5c11\u306a\u3044\u5834\u5408\u306f\u3001<code>std::shared_mutex<\/code>\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u3067\u5927\u5e45\u306a\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u6539\u5584\u304c\u53ef\u80fd\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;shared_mutex&gt;\n\nclass OptimizedCache {\n    std::map&lt;std::string, std::string&gt; cache;\n    mutable std::shared_mutex mtx;\n\npublic:\n    \/\/ \u8aad\u307f\u53d6\u308a\u64cd\u4f5c\uff08\u8907\u6570\u30b9\u30ec\u30c3\u30c9\u304c\u540c\u6642\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\uff09\n    std::string read(const std::string&amp; key) const {\n        std::shared_lock&lt;std::shared_mutex&gt; lock(mtx);\n        auto it = cache.find(key);\n        return it != cache.end() ? it-&gt;second : \"\";\n    }\n\n    \/\/ \u66f8\u304d\u8fbc\u307f\u64cd\u4f5c\uff08\u6392\u4ed6\u7684\u30a2\u30af\u30bb\u30b9\uff09\n    void write(const std::string&amp; key, const std::string&amp; value) {\n        std::unique_lock&lt;std::shared_mutex&gt; lock(mtx);\n        cache[key] = value;\n    }\n\n    \/\/ \u6761\u4ef6\u4ed8\u304d\u66f4\u65b0\uff08\u8aad\u307f\u53d6\u308a\u5f8c\u306b\u66f8\u304d\u8fbc\u307f\uff09\n    bool updateIfExists(const std::string&amp; key, const std::string&amp; new_value) {\n        \/\/ \u307e\u305a\u8aad\u307f\u53d6\u308a\u30ed\u30c3\u30af\u3067\u78ba\u8a8d\n        {\n            std::shared_lock&lt;std::shared_mutex&gt; read_lock(mtx);\n            if (cache.find(key) == cache.end()) {\n                return false;\n            }\n        }\n\n        \/\/ \u5b58\u5728\u3059\u308b\u5834\u5408\u306f\u66f8\u304d\u8fbc\u307f\u30ed\u30c3\u30af\u3067\u66f4\u65b0\n        {\n            std::unique_lock&lt;std::shared_mutex&gt; write_lock(mtx);\n            \/\/ \u518d\u5ea6\u30c1\u30a7\u30c3\u30af\uff08\u4ed6\u306e\u30b9\u30ec\u30c3\u30c9\u306b\u3088\u308b\u5909\u66f4\u306e\u53ef\u80fd\u6027\uff09\n            if (cache.find(key) == cache.end()) {\n                return false;\n            }\n            cache[key] = new_value;\n            return true;\n        }\n    }\n};<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-15\">\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u3068\u901a\u5e38\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u306e\u4f7f\u3044\u5206\u3051<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u306f\u3001\u30ed\u30c3\u30af\u5f85\u3061\u306e\u969b\u306b\u30b9\u30ec\u30c3\u30c9\u3092\u30b9\u30ea\u30fc\u30d7\u3055\u305b\u305a\u306b\u3001\u30a2\u30af\u30c6\u30a3\u30d6\u306b\u5f85\u6a5f\u3059\u308b\u65b9\u5f0f\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class SpinLock {\n    std::atomic_flag flag = ATOMIC_FLAG_INIT;\n\npublic:\n    void lock() {\n        while (flag.test_and_set(std::memory_order_acquire)) {\n            \/\/ CPU\u30ea\u30bd\u30fc\u30b9\u3092\u6d88\u8cbb\u3057\u3066\u30a2\u30af\u30c6\u30a3\u30d6\u306b\u5f85\u6a5f\n        }\n    }\n\n    void unlock() {\n        flag.clear(std::memory_order_release);\n    }\n};\n\n\/\/ \u6700\u9069\u5316\u3055\u308c\u305f\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\uff08\u30d0\u30c3\u30af\u30aa\u30d5\u4ed8\u304d\uff09\nclass AdaptiveSpinLock {\n    std::atomic_flag flag = ATOMIC_FLAG_INIT;\n\npublic:\n    void lock() {\n        unsigned int backoff = 1;\n\n        while (flag.test_and_set(std::memory_order_acquire)) {\n            if (backoff &gt; 1000) {  \/\/ \u95be\u5024\u3092\u8d85\u3048\u305f\u3089\u30b9\u30ea\u30fc\u30d7\n                std::this_thread::sleep_for(std::chrono::microseconds(1));\n            } else {\n                for (unsigned int i = 0; i &lt; backoff; ++i) {\n                    \/\/ CPU\u306b\u4f11\u61a9\u3092\u4e0e\u3048\u308b\n                    __builtin_ia32_pause();\n                }\n                backoff *= 2;  \/\/ \u6307\u6570\u30d0\u30c3\u30af\u30aa\u30d5\n            }\n        }\n    }\n\n    void unlock() {\n        flag.clear(std::memory_order_release);\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u4f7f\u3044\u5206\u3051\u306e\u30ac\u30a4\u30c9\u30e9\u30a4\u30f3\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u304c\u9069\u3057\u3066\u3044\u308b\u5834\u5408\uff1a<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u4fdd\u6301\u6642\u9593\u304c\u6975\u3081\u3066\u77ed\u3044<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9\u6570\u304cCPU\u30b3\u30a2\u6570\u4ee5\u4e0b<\/li>\n\n\n\n<li>\u30ea\u30a2\u30eb\u30bf\u30a4\u30e0\u6027\u304c\u8981\u6c42\u3055\u308c\u308b<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u901a\u5e38\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u304c\u9069\u3057\u3066\u3044\u308b\u5834\u5408\uff1a<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u4fdd\u6301\u6642\u9593\u304c\u6bd4\u8f03\u7684\u9577\u3044<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9\u6570\u304cCPU\u30b3\u30a2\u6570\u3092\u8d85\u3048\u308b<\/li>\n\n\n\n<li>\u30b7\u30b9\u30c6\u30e0\u30ea\u30bd\u30fc\u30b9\u3092\u52b9\u7387\u7684\u306b\u4f7f\u7528\u3057\u305f\u3044<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u6700\u9069\u5316\u306e\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30d7\u30ed\u30d5\u30a1\u30a4\u30ea\u30f3\u30b0\u306e\u5b9f\u65bd<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u306e\u7af6\u5408\u72b6\u6cc1\u3092\u8a08\u6e2c<\/li>\n\n\n\n<li>\u30dc\u30c8\u30eb\u30cd\u30c3\u30af\u306e\u7279\u5b9a<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u9069\u5207\u306a\u30ed\u30c3\u30af\u7c92\u5ea6\u306e\u9078\u629e<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30c7\u30fc\u30bf\u30a2\u30af\u30bb\u30b9\u30d1\u30bf\u30fc\u30f3\u306e\u5206\u6790<\/li>\n\n\n\n<li>\u30c8\u30ec\u30fc\u30c9\u30aa\u30d5\u306e\u614e\u91cd\u306a\u691c\u8a0e<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30ad\u30e3\u30c3\u30b7\u30e5\u30e9\u30a4\u30f3\u306e\u8003\u616e<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>false sharing\u306e\u56de\u907f<\/li>\n\n\n\n<li>\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u30a2\u30e9\u30a4\u30e1\u30f3\u30c8<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u4fdd\u6301\u6642\u9593\u306e\u6700\u5c0f\u5316<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30af\u30ea\u30c6\u30a3\u30ab\u30eb\u30bb\u30af\u30b7\u30e7\u30f3\u306e\u6700\u9069\u5316<\/li>\n\n\n\n<li>\u4e0d\u8981\u306a\u51e6\u7406\u306e\u6392\u9664<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"i-16\">\u5b9f\u52d9\u3067\u4f7f\u3048\u308b\u8a2d\u8a08\u30d1\u30bf\u30fc\u30f3\u3068\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3044\u3066\u3001\u9069\u5207\u306a\u8a2d\u8a08\u30d1\u30bf\u30fc\u30f3\u306e\u9078\u629e\u306f\u4fe1\u983c\u6027\u306e\u9ad8\u3044\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u4e0a\u3067\u91cd\u8981\u3067\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001\u5b9f\u52d9\u3067\u5373\u5ea7\u306b\u6d3b\u7528\u3067\u304d\u308b\u8a2d\u8a08\u30d1\u30bf\u30fc\u30f3\u3068\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-17\">RAII\u539f\u5247\u306b\u57fa\u3065\u3044\u305f\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u7ba1\u7406<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">RAII\u30d1\u30bf\u30fc\u30f3\u306f\u3001C++\u3067\u306e\u4f8b\u5916\u5b89\u5168\u306a\u30ea\u30bd\u30fc\u30b9\u7ba1\u7406\u306e\u57fa\u672c\u3067\u3059\u3002Mutex\u306e\u7ba1\u7406\u306b\u3082\u3001\u3053\u306e\u30d1\u30bf\u30fc\u30f3\u3092\u9069\u7528\u3059\u308b\u3053\u3068\u3067\u5b89\u5168\u6027\u304c\u9ad8\u307e\u308a\u307e\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n#include &lt;memory&gt;\n\n\/\/ \u30ab\u30b9\u30bf\u30e0\u30b9\u30b3\u30fc\u30d7\u30ed\u30c3\u30af\u30af\u30e9\u30b9\ntemplate&lt;typename Mutex&gt;\nclass ScopedLock {\n    Mutex&amp; mtx;\npublic:\n    explicit ScopedLock(Mutex&amp; m) : mtx(m) {\n        mtx.lock();\n    }\n    ~ScopedLock() {\n        mtx.unlock();\n    }\n\n    \/\/ \u30b3\u30d4\u30fc\u7981\u6b62\n    ScopedLock(const ScopedLock&amp;) = delete;\n    ScopedLock&amp; operator=(const ScopedLock&amp;) = delete;\n};\n\n\/\/ RAII\u3092\u6d3b\u7528\u3057\u305f\u30ea\u30bd\u30fc\u30b9\u7ba1\u7406\u30af\u30e9\u30b9\nclass ThreadSafeResource {\n    class Resource {\n    public:\n        void doSomething() {\n            \/\/ \u30ea\u30bd\u30fc\u30b9\u306e\u51e6\u7406\n        }\n    };\n\n    std::mutex mtx;\n    std::unique_ptr&lt;Resource&gt; resource;\n\npublic:\n    void operateOnResource() {\n        \/\/ \u30b9\u30b3\u30fc\u30d7\u30d9\u30fc\u30b9\u306e\u30ed\u30c3\u30af\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);\n        if (!resource) {\n            resource = std::make_unique&lt;Resource&gt;();\n        }\n        resource-&gt;doSomething();\n    }   \/\/ \u30ed\u30c3\u30af\u306f\u81ea\u52d5\u7684\u306b\u89e3\u653e\u3055\u308c\u308b\n};\n\n\/\/ \u8907\u6570\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u3092\u6271\u3046RAII\u30af\u30e9\u30b9\nclass MultiLockGuard {\n    std::vector&lt;std::mutex*&gt; mutexes;\n\npublic:\n    explicit MultiLockGuard(std::vector&lt;std::mutex*&gt; mtxs) \n        : mutexes(std::move(mtxs)) {\n        \/\/ \u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u9632\u6b62\u306e\u305f\u3081\u306b\u30bd\u30fc\u30c8\n        std::sort(mutexes.begin(), mutexes.end());\n        \/\/ \u5168\u3066\u306e\u30df\u30e5\u30fc\u30c6\u30c3\u30af\u30b9\u3092\u30ed\u30c3\u30af\n        for (auto mtx : mutexes) {\n            mtx-&gt;lock();\n        }\n    }\n\n    ~MultiLockGuard() {\n        \/\/ \u9006\u9806\u3067\u30a2\u30f3\u30ed\u30c3\u30af\n        for (auto it = mutexes.rbegin(); it != mutexes.rend(); ++it) {\n            (*it)-&gt;unlock();\n        }\n    }\n\n    \/\/ \u30b3\u30d4\u30fc\u7981\u6b62\n    MultiLockGuard(const MultiLockGuard&amp;) = delete;\n    MultiLockGuard&amp; operator=(const MultiLockGuard&amp;) = delete;\n};<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-18\">\u30c0\u30d6\u30eb\u30c1\u30a7\u30c3\u30af\u30ed\u30c3\u30ad\u30f3\u30b0\u306e\u5b9f\u88c5\u3068\u6ce8\u610f\u70b9<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c0\u30d6\u30eb\u30c1\u30a7\u30c3\u30af\u30ed\u30c3\u30ad\u30f3\u30b0\u30d1\u30bf\u30fc\u30f3\u306f\u3001\u9045\u5ef6\u521d\u671f\u5316\u3092\u52b9\u7387\u7684\u306b\u5b9f\u88c5\u3059\u308b\u305f\u3081\u306e\u624b\u6cd5\u3067\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;mutex&gt;\n#include &lt;atomic&gt;\n#include &lt;memory&gt;\n\nclass Singleton {\n    static std::atomic&lt;Singleton*&gt; instance;\n    static std::mutex mtx;\n\n    \/\/ \u30d7\u30e9\u30a4\u30d9\u30fc\u30c8\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\n    Singleton() = default;\n\npublic:\n    static Singleton* getInstance() {\n        Singleton* tmp = instance.load(std::memory_order_acquire);\n        if (tmp == nullptr) {  \/\/ \u6700\u521d\u306e\u30c1\u30a7\u30c3\u30af\uff08\u30ed\u30c3\u30af\u306a\u3057\uff09\n            std::lock_guard&lt;std::mutex&gt; lock(mtx);\n            tmp = instance.load(std::memory_order_relaxed);\n            if (tmp == nullptr) {  \/\/ \u4e8c\u91cd\u30c1\u30a7\u30c3\u30af\uff08\u30ed\u30c3\u30af\u6e08\u307f\uff09\n                tmp = new Singleton();\n                instance.store(tmp, std::memory_order_release);\n            }\n        }\n        return tmp;\n    }\n\n    \/\/ \u9069\u5207\u306a\u89e3\u653e\u51e6\u7406\n    static void deleteInstance() {\n        std::lock_guard&lt;std::mutex&gt; lock(mtx);\n        Singleton* tmp = instance.load(std::memory_order_relaxed);\n        delete tmp;\n        instance.store(nullptr, std::memory_order_relaxed);\n    }\n};\n\n\/\/ \u9759\u7684\u30e1\u30f3\u30d0\u306e\u521d\u671f\u5316\nstd::atomic&lt;Singleton*&gt; Singleton::instance{nullptr};\nstd::mutex Singleton::mtx;<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u5b9f\u88c5\u6642\u306e\u6ce8\u610f\u70b9\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30e1\u30e2\u30ea\u30d0\u30ea\u30a2\u306e\u9069\u5207\u306a\u4f7f\u7528<\/li>\n\n\n\n<li>\u30a2\u30c8\u30df\u30c3\u30af\u64cd\u4f5c\u306e\u9806\u5e8f\u4ed8\u3051<\/li>\n\n\n\n<li>\u521d\u671f\u5316\u306e\u5b8c\u4e86\u4fdd\u8a3c<\/li>\n<\/ol>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-19\">\u30b9\u30ec\u30c3\u30c9\u30bb\u30fc\u30d5\u306a\u30b7\u30f3\u30b0\u30eb\u30c8\u30f3\u30d1\u30bf\u30fc\u30f3\u306e\u5b9f\u73fe\u65b9\u6cd5<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">C++11\u4ee5\u964d\u3067\u306f\u3001\u3088\u308a\u5b89\u5168\u306a\u30b7\u30f3\u30b0\u30eb\u30c8\u30f3\u30d1\u30bf\u30fc\u30f3\u306e\u5b9f\u88c5\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3057\u305f\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">class ModernSingleton {\n    ModernSingleton() = default;\n    ModernSingleton(const ModernSingleton&amp;) = delete;\n    ModernSingleton&amp; operator=(const ModernSingleton&amp;) = delete;\n\npublic:\n    static ModernSingleton&amp; getInstance() {\n        \/\/ C++11\u4ee5\u964d\u3067\u4fdd\u8a3c\u3055\u308c\u308b\u3001\u30b9\u30ec\u30c3\u30c9\u30bb\u30fc\u30d5\u306a\u9759\u7684\u30ed\u30fc\u30ab\u30eb\u5909\u6570\u306e\u521d\u671f\u5316\n        static ModernSingleton instance;\n        return instance;\n    }\n\n    void doSomething() {\n        \/\/ \u30b7\u30f3\u30b0\u30eb\u30c8\u30f3\u306e\u30e1\u30bd\u30c3\u30c9\n    }\n};\n\n\/\/ \u30b9\u30ec\u30c3\u30c9\u30bb\u30fc\u30d5\u306a\u30ea\u30bd\u30fc\u30b9\u30d7\u30fc\u30eb\ntemplate&lt;typename Resource&gt;\nclass ResourcePool {\n    struct PoolItem {\n        Resource resource;\n        bool in_use;\n        std::mutex mtx;\n\n        PoolItem() : in_use(false) {}\n    };\n\n    std::vector&lt;PoolItem&gt; pool;\n    std::mutex pool_mutex;\n\npublic:\n    explicit ResourcePool(size_t size) : pool(size) {}\n\n    \/\/ \u30ea\u30bd\u30fc\u30b9\u306e\u53d6\u5f97\n    std::unique_ptr&lt;Resource, std::function&lt;void(Resource*)&gt;&gt; acquireResource() {\n        std::lock_guard&lt;std::mutex&gt; lock(pool_mutex);\n\n        for (auto&amp; item : pool) {\n            std::lock_guard&lt;std::mutex&gt; item_lock(item.mtx);\n            if (!item.in_use) {\n                item.in_use = true;\n                \/\/ \u30ab\u30b9\u30bf\u30e0\u30c7\u30ea\u30fc\u30bf\u3067\u30ea\u30bd\u30fc\u30b9\u3092\u81ea\u52d5\u7684\u306b\u30d7\u30fc\u30eb\u306b\u8fd4\u5374\n                return std::unique_ptr&lt;Resource, std::function&lt;void(Resource*)&gt;&gt;(\n                    &amp;item.resource,\n                    [this, &amp;item](Resource*) {\n                        std::lock_guard&lt;std::mutex&gt; return_lock(item.mtx);\n                        item.in_use = false;\n                    }\n                );\n            }\n        }\n        throw std::runtime_error(\"No available resources\");\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u5b9f\u52d9\u3067\u306e\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u6392\u4ed6\u5236\u5fa1\u306e\u8a2d\u8a08\u539f\u5247<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u8cac\u4efb\u306e\u660e\u78ba\u306a\u5206\u96e2<\/li>\n\n\n\n<li>\u4e00\u8cab\u6027\u306e\u3042\u308b\u30ed\u30c3\u30af\u9806\u5e8f<\/li>\n\n\n\n<li>\u6700\u5c0f\u9650\u306e\u30ed\u30c3\u30af\u30b9\u30b3\u30fc\u30d7<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306e\u8003\u616e\u4e8b\u9805<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30b3\u30f3\u30c6\u30f3\u30b7\u30e7\u30f3\uff08\u7af6\u5408\uff09\u306e\u6700\u5c0f\u5316<\/li>\n\n\n\n<li>\u9069\u5207\u306a\u30ed\u30c3\u30af\u7c92\u5ea6\u306e\u9078\u629e<\/li>\n\n\n\n<li>\u30ad\u30e3\u30c3\u30b7\u30e5\u30e9\u30a4\u30f3\u306e\u52b9\u7387\u7684\u306a\u5229\u7528<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30c7\u30d0\u30c3\u30b0\u3068\u30e1\u30f3\u30c6\u30ca\u30f3\u30b9<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30b0\u306e\u9069\u5207\u306a\u914d\u7f6e<\/li>\n\n\n\n<li>\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u691c\u51fa\u6a5f\u69cb\u306e\u7d44\u307f\u8fbc\u307f<\/li>\n\n\n\n<li>\u30b3\u30fc\u30c9\u306e\u53ef\u8aad\u6027\u7dad\u6301<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30a8\u30e9\u30fc\u51e6\u7406\u306e\u6226\u7565<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u4f8b\u5916\u5b89\u5168\u6027\u306e\u78ba\u4fdd<\/li>\n\n\n\n<li>\u30ea\u30bd\u30fc\u30b9\u30ea\u30fc\u30af\u306e\u9632\u6b62<\/li>\n\n\n\n<li>\u30a8\u30e9\u30fc\u72b6\u614b\u304b\u3089\u306e\u56de\u5fa9\u624b\u6bb5\u306e\u63d0\u4f9b<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">\u3053\u308c\u3089\u306e\u8a2d\u8a08\u30d1\u30bf\u30fc\u30f3\u3068\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\u3092\u9069\u5207\u306b\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u4fdd\u5b88\u6027\u304c\u9ad8\u304f\u3001\u4fe1\u983c\u6027\u306e\u3042\u308b\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u3092\u69cb\u7bc9\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"i-20\">Mutex\u306e\u30c7\u30d0\u30c3\u30b0\u3068\u30c8\u30e9\u30d6\u30eb\u30b7\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30c7\u30d0\u30c3\u30b0\u306f\u5358\u4e00\u30b9\u30ec\u30c3\u30c9\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3068\u6bd4\u3079\u3066\u683c\u6bb5\u306b\u96e3\u3057\u304f\u306a\u308a\u307e\u3059\u3002\u672c\u7ae0\u3067\u306f\u3001\u52b9\u679c\u7684\u306a\u30c7\u30d0\u30c3\u30b0\u624b\u6cd5\u3068\u30c8\u30e9\u30d6\u30eb\u30b7\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306e\u65b9\u6cd5\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-21\">\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u691c\u51fa\u30c4\u30fc\u30eb\u306e\u6d3b\u7528\u6cd5<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u73fe\u4ee3\u306eC++\u958b\u767a\u3067\u306f\u3001\u69d8\u3005\u306a\u30c4\u30fc\u30eb\u3092\u6d3b\u7528\u3057\u3066\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u691c\u51fa\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">\/\/ \u30c7\u30d0\u30c3\u30b0\u7528\u306e\u30a4\u30f3\u30b9\u30c8\u30eb\u30e1\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u3092\u542b\u3080Mutex\u30e9\u30c3\u30d1\u30fc\nclass DebugMutex {\n    std::mutex mtx;\n    std::string mutex_name;\n    static std::map&lt;std::thread::id, std::vector&lt;std::string&gt;&gt; lock_order;\n    static std::mutex debug_mtx;\n\npublic:\n    explicit DebugMutex(const std::string&amp; name) : mutex_name(name) {}\n\n    void lock() {\n        {\n            std::lock_guard&lt;std::mutex&gt; debug_lock(debug_mtx);\n            auto&amp; thread_locks = lock_order[std::this_thread::get_id()];\n            \/\/ \u30ed\u30c3\u30af\u9806\u5e8f\u306e\u8a18\u9332\u3068\u691c\u8a3c\n            if (!thread_locks.empty()) {\n                std::cout &lt;&lt; \"Thread \" &lt;&lt; std::this_thread::get_id() \n                         &lt;&lt; \" attempting to lock \" &lt;&lt; mutex_name \n                         &lt;&lt; \" after \" &lt;&lt; thread_locks.back() &lt;&lt; std::endl;\n            }\n            thread_locks.push_back(mutex_name);\n        }\n        mtx.lock();\n    }\n\n    void unlock() {\n        mtx.unlock();\n        std::lock_guard&lt;std::mutex&gt; debug_lock(debug_mtx);\n        auto&amp; thread_locks = lock_order[std::this_thread::get_id()];\n        thread_locks.pop_back();\n    }\n};\n\n\/\/ \u9759\u7684\u30e1\u30f3\u30d0\u306e\u521d\u671f\u5316\nstd::map&lt;std::thread::id, std::vector&lt;std::string&gt;&gt; DebugMutex::lock_order;\nstd::mutex DebugMutex::debug_mtx;\n\n\/\/ \u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u691c\u51fa\u306e\u305f\u3081\u306e\u4f7f\u7528\u4f8b\nvoid demonstrateDeadlockDetection() {\n    DebugMutex mutex1(\"Mutex1\");\n    DebugMutex mutex2(\"Mutex2\");\n\n    std::thread t1([&amp;]() {\n        mutex1.lock();\n        std::this_thread::sleep_for(std::chrono::milliseconds(100));\n        mutex2.lock();\n        \/\/ \u51e6\u7406\n        mutex2.unlock();\n        mutex1.unlock();\n    });\n\n    std::thread t2([&amp;]() {\n        mutex2.lock();\n        std::this_thread::sleep_for(std::chrono::milliseconds(100));\n        mutex1.lock();\n        \/\/ \u51e6\u7406\n        mutex1.unlock();\n        mutex2.unlock();\n    });\n\n    t1.join();\n    t2.join();\n}<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u4e3b\u8981\u306a\u30c7\u30d0\u30c3\u30b0\u30c4\u30fc\u30eb\u306e\u4f7f\u7528\u65b9\u6cd5\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>Valgrind\/Helgrind<\/li>\n<\/ol>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\"># \u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u30c7\u30d0\u30c3\u30b0\u60c5\u5831\u3092\u542b\u3081\u308b\ng++ -g -O0 your_program.cpp -o your_program -pthread\n\n# Helgrind\u3067\u306e\u89e3\u6790\nvalgrind --tool=helgrind .\/your_program\n\n# \u8a73\u7d30\u306a\u30ec\u30dd\u30fc\u30c8\u306e\u751f\u6210\nvalgrind --tool=helgrind --log-file=deadlock_report.txt .\/your_program<\/pre>\n\n\n\n<ol start=\"2\" class=\"wp-block-list\">\n<li>Thread Sanitizer<\/li>\n<\/ol>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\"># \u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b ThreadSanitizer \u3092\u6709\u52b9\u5316\ng++ -fsanitize=thread -g your_program.cpp -o your_program -pthread\n\n# \u5b9f\u884c\u6642\u306e\u74b0\u5883\u5909\u6570\u8a2d\u5b9a\nexport TSAN_OPTIONS=\"history_size=7 verbosity=1\"\n.\/your_program<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-22\">\u30ed\u30c3\u30af\u306e\u53d6\u5f97\u9806\u5e8f\u306b\u8d77\u56e0\u3059\u308b\u554f\u984c\u306e\u89e3\u6c7a\u624b\u9806<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u30ed\u30c3\u30af\u306e\u53d6\u5f97\u9806\u5e8f\u306b\u95a2\u3059\u308b\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u306e\u4f53\u7cfb\u7684\u306a\u30a2\u30d7\u30ed\u30fc\u30c1\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">\/\/ \u30ed\u30c3\u30af\u9806\u5e8f\u3092\u5f37\u5236\u3059\u308b\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u30af\u30e9\u30b9\ntemplate&lt;typename... Mutexes&gt;\nclass OrderedLock {\n    std::tuple&lt;Mutexes&amp;...&gt; mutexes;\n\n    template&lt;size_t I = 0&gt;\n    void lockAll() {\n        if constexpr (I &lt; sizeof...(Mutexes)) {\n            std::get&lt;I&gt;(mutexes).lock();\n            lockAll&lt;I + 1&gt;();\n        }\n    }\n\n    template&lt;size_t I = 0&gt;\n    void unlockAll() {\n        if constexpr (I &lt; sizeof...(Mutexes)) {\n            std::get&lt;I&gt;(mutexes).unlock();\n            unlockAll&lt;I + 1&gt;();\n        }\n    }\n\npublic:\n    OrderedLock(Mutexes&amp;... mtxs) : mutexes(mtxs...) {\n        lockAll();\n    }\n\n    ~OrderedLock() {\n        unlockAll();\n    }\n};\n\n\/\/ \u4f7f\u7528\u4f8b\nvoid safeResourceAccess() {\n    std::mutex m1, m2, m3;\n\n    \/\/ \u5e38\u306b\u540c\u3058\u9806\u5e8f\u3067\u30ed\u30c3\u30af\u3092\u53d6\u5f97\n    {\n        OrderedLock lock(m1, m2, m3);\n        \/\/ \u5b89\u5168\u306a\u51e6\u7406\n    }\n}<\/pre>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"i-23\">\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30c7\u30d0\u30c3\u30b0\u30c6\u30af\u30cb\u30c3\u30af<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u52b9\u679c\u7684\u306a\u30c7\u30d0\u30c3\u30b0\u306e\u305f\u3081\u306e\u5b9f\u88c5\u4f8b\uff1a<\/p>\n\n\n\n<pre class=\"EnlighterJSRAW\" data-enlighter-language=\"generic\" data-enlighter-theme=\"\" data-enlighter-highlight=\"\" data-enlighter-linenumbers=\"\" data-enlighter-lineoffset=\"\" data-enlighter-title=\"\" data-enlighter-group=\"\">#include &lt;sstream&gt;\n#include &lt;chrono&gt;\n\n\/\/ \u30b9\u30ec\u30c3\u30c9\u30bb\u30fc\u30d5\u306a\u30ed\u30ac\u30fc\u30af\u30e9\u30b9\nclass ThreadSafeLogger {\n    std::mutex log_mutex;\n    std::ofstream log_file;\n\npublic:\n    explicit ThreadSafeLogger(const std::string&amp; filename) \n        : log_file(filename, std::ios::app) {}\n\n    void log(const std::string&amp; message) {\n        std::lock_guard&lt;std::mutex&gt; lock(log_mutex);\n        auto now = std::chrono::system_clock::now();\n        auto time = std::chrono::system_clock::to_time_t(now);\n\n        std::stringstream ss;\n        ss &lt;&lt; std::this_thread::get_id() &lt;&lt; \" [\" \n           &lt;&lt; std::put_time(std::localtime(&amp;time), \"%Y-%m-%d %H:%M:%S\") \n           &lt;&lt; \"] \" &lt;&lt; message &lt;&lt; std::endl;\n\n        log_file &lt;&lt; ss.str();\n        log_file.flush();\n    }\n};\n\n\/\/ \u30c7\u30d0\u30c3\u30b0\u652f\u63f4\u30af\u30e9\u30b9\nclass MutexDebugHelper {\n    std::atomic&lt;int&gt; wait_count{0};\n    std::atomic&lt;int&gt; contention_count{0};\n    std::chrono::steady_clock::time_point last_lock_time;\n    std::mutex debug_mutex;\n\npublic:\n    void onLockAttempt() {\n        wait_count++;\n    }\n\n    void onLockAcquired() {\n        contention_count++;\n        std::lock_guard&lt;std::mutex&gt; lock(debug_mutex);\n        last_lock_time = std::chrono::steady_clock::now();\n    }\n\n    void onUnlock() {\n        std::lock_guard&lt;std::mutex&gt; lock(debug_mutex);\n        auto duration = std::chrono::steady_clock::now() - last_lock_time;\n        if (duration &gt; std::chrono::milliseconds(100)) {\n            std::cout &lt;&lt; \"Warning: Lock held for \" \n                     &lt;&lt; std::chrono::duration_cast&lt;std::chrono::milliseconds&gt;(duration).count() \n                     &lt;&lt; \"ms\" &lt;&lt; std::endl;\n        }\n    }\n\n    void printStats() {\n        std::cout &lt;&lt; \"Lock attempts: \" &lt;&lt; wait_count \n                  &lt;&lt; \"\\nContentions: \" &lt;&lt; contention_count &lt;&lt; std::endl;\n    }\n};<\/pre>\n\n\n\n<p class=\"wp-block-paragraph\">\u30c7\u30d0\u30c3\u30b0\u306e\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30ed\u30b0\u53ce\u96c6\u306e\u6226\u7565<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u91cd\u8981\u306a\u30a4\u30d9\u30f3\u30c8\u306e\u8a18\u9332<\/li>\n\n\n\n<li>\u30bf\u30a4\u30e0\u30b9\u30bf\u30f3\u30d7\u306e\u4ed8\u4e0e<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9ID\u306e\u8ffd\u8de1<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u554f\u984c\u306e\u5207\u308a\u5206\u3051\u624b\u9806<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5358\u4e00\u30b9\u30ec\u30c3\u30c9\u3067\u306e\u52d5\u4f5c\u78ba\u8a8d<\/li>\n\n\n\n<li>\u30b9\u30ec\u30c3\u30c9\u6570\u3092\u6bb5\u968e\u7684\u306b\u5897\u52a0<\/li>\n\n\n\n<li>\u5883\u754c\u6761\u4ef6\u306e\u30c6\u30b9\u30c8<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u5206\u6790<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30ed\u30c3\u30af\u7af6\u5408\u306e\u6e2c\u5b9a<\/li>\n\n\n\n<li>\u5f85\u6a5f\u6642\u9593\u306e\u76e3\u8996<\/li>\n\n\n\n<li>\u30ea\u30bd\u30fc\u30b9\u4f7f\u7528\u72b6\u6cc1\u306e\u8ffd\u8de1<\/li>\n<\/ul>\n\n\n\n<ol class=\"wp-block-list\">\n<li>\u30c7\u30d0\u30c3\u30b0\u652f\u63f4\u6a5f\u80fd\u306e\u5b9f\u88c5<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u30a2\u30b5\u30fc\u30b7\u30e7\u30f3\u306e\u6d3b\u7528<\/li>\n\n\n\n<li>\u72b6\u614b\u691c\u8a3c\u306e\u8ffd\u52a0<\/li>\n\n\n\n<li>\u30a8\u30e9\u30fc\u691c\u51fa\u6a5f\u69cb\u306e\u7d44\u307f\u8fbc\u307f<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">\u3053\u308c\u3089\u306e\u30c6\u30af\u30cb\u30c3\u30af\u3092\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u554f\u984c\u3092\u52b9\u7387\u7684\u306b\u7279\u5b9a\u3057\u3001\u89e3\u6c7a\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Warning: Undefined array key &#8220;is_admin&#8221; in \/home\/xs392991\/dexall.co.jp\/public_html\/articles\/wp-content\/themes\/ &#8230; <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-2040","post","type-post","status-publish","format-standard","category-cpp","nothumb"],"_links":{"self":[{"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/posts\/2040","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2040"}],"version-history":[{"count":1,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/posts\/2040\/revisions"}],"predecessor-version":[{"id":2041,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=\/wp\/v2\/posts\/2040\/revisions\/2041"}],"wp:attachment":[{"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2040"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2040"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dexall.co.jp\/articles\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2040"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}