ミューテックスのロックとロック解除の時間差

Question

私はマルチスレッドプログラミングに触れていません。私は簡単なテストプログラムを持っている：

#include <mutex> 
#include <thread> 
#include <iostream> 
int main(){ 
    std::mutex mtx; 
    std::thread t1([&](){ 
     while (true){ 
      mtx.lock(); 
      std::cout << 1 << "Hello" << "\n"; 
      mtx.unlock(); 
     } 
    }); 
    std::thread t2([&](){ 
     while (true){ 
      mtx.lock(); 
      std::cout << 2 << "Hello" << "\n"; 
      mtx.unlock(); 
     } 
    }); 
    t1.join(); 
    t2.join(); 
} 

は、これは非常に単純なプログラムであり、それはミューテックスが1でロックを解除し、その後に買収されたことを意味し、ランダムなパターンで「1Hello」と「2Hello」を印刷します他のいくつかのランダムなパターンで実行されます。

標準で動作が指定されていますか？つまり、実装がt1に固執しないことを保証しますか？もしそうでなければ、どうすればそれを避けることができますか？

Answer 1

誰が実行されるのか保証するべきではありません。あるスレッドの優先度を他のスレッドの優先度よりも高く設定できる場合は、このコードを使用して最も優先度の高いスレッドのみが実行されることを保証することができます。

実際の問題は何ですか？問題は、このコードが最悪の場合でもマルチスレッドを使用することです。これはかなりの成果であり、運動であるため悪くはありません。それはスレッドを連続的に実行するように要求し、長いアクションを実行しながらロックし、次のループのロックを解除するだけなので、実際には並列性はなく、mutexのためのバトルしかありません。

どうすれば解決できますか？スレッドが何らかのバックグラウンドアクションを実行してから、スレッドが条件を待つか待機させるには、少なくともスレッドをしばらくスリープさせ、可能な限り独立したスレッドを実行させ、長いアクションを実行しながら他をブロックしないようにします。

---

編集（小明確化）：このコードは最悪の方法でマルチスレッドを使用している間、それはそれを行う方法についてのきれい例です。