SIGTERM无法终止忙等待进程的原因咨询（多线程原子变量场景）

你的问题核心出在忙等待的无限循环完全占据CPU资源，且不给内核处理信号的机会，再加上memory_order_relaxed的优化加持，导致进程彻底无法响应SIGTERM/SIGINT这类可捕获信号：

• 编译器优化固化死循环：虽然var是atomic类型，但memory_order_relaxed内存序会让编译器认为这个变量的读取不需要和其他线程同步。当另一个线程没修改var就退出后，编译器会直接把循环优化成while(true)——它判定var的值永远不会变，连内存读取操作都省了，线程彻底陷入空转死循环。
• 无系统调用阻断信号处理：忙等待的循环里没有任何触发系统调用的操作（比如yield()、sleep()），内核没法在这个线程的执行流程中插入信号处理逻辑。操作系统的信号处理需要线程进入内核态才能触发，而你的线程一直在用户态空转，完全不给内核插手的机会。
• CPU资源被完全占用：空转的线程会把CPU核心占满，调度器很难把CPU时间分给负责信号处理的线程（甚至主线程），导致信号永远得不到处理。只有SIGKILL是内核直接强制终止进程，不需要进程配合，所以才能生效。

• 替换忙等待为条件变量（推荐）：让等待线程进入休眠，不占用CPU，信号能正常处理：

  #include <atomic>
  #include <condition_variable>
  #include <mutex>
  
  std::atomic<size_t> var;
  std::mutex mtx;
  std::condition_variable cv;
  
  // thread-1
  {
      std::unique_lock<std::mutex> lock(mtx);
      cv.wait(lock, []{ return var.load() != 0; });
  }
  // do something...
  
  // thread-2（修改var后唤醒等待线程）
  var++;
  cv.notify_one();
  

• 若必须用忙等待：加入线程让步操作，同时改用更严格的内存序防止编译器优化：

  // thread-1
  while(var.load(std::memory_order_acquire) == 0)
  {
      std::this_thread::yield(); // 主动让渡CPU，给内核处理信号的机会
  }
  

• 注册终止信号处理：在信号处理函数里修改var的值，让忙等待线程退出（修改atomic变量属于异步安全操作）：

  #include <signal.h>
  
  void handle_signal(int sig)
  {
      var.store(1, std::memory_order_release);
  }
  
  // 主线程初始化时注册信号
  signal(SIGINT, handle_signal);
  signal(SIGTERM, handle_signal);
  

内容的提问来源于stack exchange，提问作者W1nTer003