单线程C程序中使用异步回调是否安全？

该用法没有绝对的安全或不安全结论，完全取决于多线程库的回调触发逻辑、以及回调函数的实现逻辑，具体可以分为两类常见场景分析：

场景1：多线程库用自身工作线程直接执行回调 #

这是绝大多数异步多线程库的默认实现逻辑，比如通用网络库、异步IO库基本都采用该方案。

• 触发行为：当回调被触发时，哪怕你的单线程主程序正忙于处理其他任务，回调函数也会直接在多线程库的独立工作线程上启动执行，你的单线程程序会隐式变成多线程执行环境。
• 安全性判断：
  • 如果回调函数的逻辑完全无共享状态，或者所有对主程序侧共享资源（全局变量、堆上公共数据、非线程安全的系统资源比如未加锁的文件指针）的访问都通过互斥锁/原子操作做了同步，该用法就是安全的。
  • 如果回调和主程序存在无保护的共享资源访问，会直接出现数据竞争、内存损坏、逻辑执行顺序错乱等典型多线程并发问题，此时用法不安全。

场景2：多线程库将回调事件投递到主程序的事件循环调度执行 #

该实现仅出现在明确支持绑定单线程事件循环的库中，比如UI框架异步回调、基于libuv/libevent封装的跨线程回调组件。

• 触发行为：回调函数永远只会在单线程主程序的执行流中运行，不会出现并发执行的情况。当主程序正忙于处理其他任务时，回调事件会先在事件队列中排队，等主程序处理完当前任务、回到事件循环调度阶段才会被执行。
• 安全性判断：只要多线程库的事件投递逻辑是线程安全的，该用法天然安全，不需要额外做同步处理。

实用建议 #

• 不要默认假设回调会在主程序线程执行，绝大多数未明确说明的异步回调都是在库的工作线程触发。
• 如果你需要确保回调逻辑都在主程序线程执行，可以自行实现一个线程安全的任务队列：回调函数仅负责将任务投递到队列，主程序在空闲阶段主动消费队列执行任务，这是工业界常用的跨线程回调解耦方案。
• 对于工作线程触发的回调，哪怕主程序是单线程实现，所有和回调共享的数据都必须做同步保护：比如主程序和回调共享的状态标记变量，需要定义为_Atomic类型，或者读写都加互斥锁，避免出现可见性、执行顺序异常问题。

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