参考引用

• C++11 14 17 20 多线程从原理到线程池实战
• 代码运行环境：Visual Studio 2019

1. 多线程状态

1.1 线程状态说明

• 初始化 (lnit)：该线程正在被创建
• 就绪 (Ready)：该线程在就绪列表中，等待 CPU 调度
• 运行 (Running)：该线程正在运行
• 阻塞 (Blocked)：该线程被阻塞挂起，Blocked 状态包括
  • pend (锁、事件、信号量等阻塞)
  • suspend (主动 pend)
  • delay (延时阻塞)
  • pendtime (因为锁、事件、信号量时间等超时)
• 退出 (Exit)：该线程运行结束，等待父线程回收其控制块资源
  • 告诉操作系统把该线程相关资源释放，不包含堆中的资源释放

1.2 竞争状态和临界区

• 竞争状态 (Race Condition)
  • 多线程同时读写共享数据
• 临界区 (Critical Section)
  • 读写共享数据的代码片段（lock 和 unlock 之间的代码）

避免竞争状态策略，对临界区进行保护，同时只能有一个线程进入临界区

2. 互斥体和锁

2.1 互斥锁

• thread_mutex.cpp

  #include <iostream>
  #include <thread>
  #include <string>
  #include <mutex>using namespace std;static mutex mux;void TestThread() {for (;;){	// 获取锁资源，如果没有则阻塞等待（一次只能有一个线程拿到锁）// 拿锁的原则：尽晚申请、尽早释放//mux.lock();           // 拿锁方式一 if (!mux.try_lock()) {  // 拿锁方式二：可以看到多个进程在竞争拿锁的情况cout << "." << flush;this_thread::sleep_for(100ms);continue;}// 业务代码cout << "=========" << endl;cout << "Test 001" << endl;cout << "Test 002" << endl;cout << "Test 003" << endl;cout << "=========" << endl;mux.unlock();  // 如果忘记释放锁，则会导致死锁，所有线程都在等待this_thread::sleep_for(1000ms);}
  }int main(int argc, char* argv[]) {// 同时创建 10 个线程for (int i = 0; i < 10; i++) {thread th(TestThread);th.detach();}getchar();return 0;
  }
  

2.2 线程抢占不到资源

• thread_mutex2.cpp

  #include <iostream>
  #include <thread>
  #include <string>
  #include <mutex>using namespace std;static mutex mux;void ThreadMainMux(int i) {for (;;){	mux.lock();cout << i << "[in]" << endl;this_thread::sleep_for(1000ms);mux.unlock();// 防止 unlock() 还未释放完全就进入下一个 lock()，导致其他线程拿不到锁this_thread::sleep_for(1ms);}
  }int main(int argc, char* argv[]) {// 同时创建 3 个线程for (int i = 0; i < 3; i++) {thread th(ThreadMainMux, i + 1);th.detach();}getchar();return 0;
  }
  

2.3 超时锁 timed_mutex 应用

• 可以记录锁的获取情况，多次超时，可以记录日志，获取错误情况，避免长时间死锁
• timed_mutex.cpp

  #include <iostream>
  #include <thread>
  #include <string>
  #include <mutex>using namespace std;timed_mutex tmux;  // 支持超时的互斥锁void ThreadMainTime(int i) {for (;;){	if (!tmux.try_lock_for(chrono::milliseconds(500))) {cout << i << "[try_lock_for timeout]" << endl;continue;}cout << i << "[in]" << endl;this_thread::sleep_for(2000ms);tmux.unlock();// 防止 unlock() 还未释放完全就进入下一个 lock()，导致其他线程拿不到锁this_thread::sleep_for(1ms);}
  }int main(int argc, char* argv[]) {getchar();// 同时创建 3 个线程for (int i = 0; i < 3; i++) {thread th(ThreadMainTime, i + 1);th.detach();}getchar();return 0;
  }
  

2.4 递归锁 recursive_mutex（可重入）

• 同一个线程中的同一把锁可以锁多次，避免一些不必要的死锁
• 组合业务：用到同一个锁
• recursive_mutex.cpp

  #include <iostream>
  #include <thread>
  #include <string>
  #include <mutex>using namespace std;recursive_mutex rmux;  // 支持可重入的互斥锁void Task1() {rmux.lock();cout << "task1 [in]" << endl;rmux.unlock();
  }void Task2() {rmux.lock();cout << "task2 [in]" << endl;rmux.unlock();
  }void ThreadMainRec(int i) {for (;;){// 加锁几次对应的也要解锁几次rmux.lock();Task1();cout << i << "[in]" << endl;this_thread::sleep_for(2000ms);Task2();rmux.unlock();this_thread::sleep_for(1ms);}
  }int main(int argc, char* argv[]) {// 同时创建 3 个线程for (int i = 0; i < 3; i++) {thread th(ThreadMainRec, i + 1);th.detach();}getchar();return 0;
  }
  

2.5 共享锁 shared_mutex（解决读写问题）

• c++14 共享超时互斥锁 shared_timed_mutex
• 如果只有写时需要互斥，读取时不需要，用普通的锁的话如何做
• 按照如下代码，读取只能有一个线程进入，在很多业务场景中，没有充分利用 CPU 资源

• shared_mutex.cpp

  #include <iostream>
  #include <thread>
  #include <string>
  #include <mutex>
  #include <shared_mutex>using namespace std;shared_timed_mutex stmux;  // 支持可重入的共享锁 C++14// 读取线程
  void ThreadRead(int i) {for (;;){stmux.lock_shared();cout << i << " Read" << endl;this_thread::sleep_for(500ms);stmux.unlock_shared();this_thread::sleep_for(1ms);}
  }// 写入线程
  void ThreadWrite(int i) {for (;;){stmux.lock_shared();  // 只要没有锁定互斥锁，共享锁都是立即返回// 读取数据stmux.unlock_shared();// 互斥锁 写入（同时只能一个线程写入），共享锁和互斥锁都不能进入stmux.lock();  cout << i << " Write" << endl;this_thread::sleep_for(300ms);stmux.unlock();this_thread::sleep_for(1ms);}
  }int main(int argc, char* argv[]) {for (int i = 0; i < 3; i++) {thread th(ThreadWrite, i + 1);th.detach();}for (int i = 0; i < 3; i++) {thread th(ThreadRead, i + 1);th.detach();}getchar();return 0;
  }