异步I/O回调中更新全局变量导致Intel高优化编译下程序挂起的问题排查

这个问题的核心是编译器优化导致的变量内存可见性问题：你没有给全局变量no_more_writes加上volatile修饰符，Intel编译器在-O2及以上的高优化级别下，会对主循环中的变量访问做激进优化——把no_more_writes的值缓存到CPU寄存器里，不会每次循环都去内存中读取最新值。而你的回调函数是通过SIGEV_THREAD触发的独立线程，它修改的是内存中的no_more_writes值，主循环因为一直在读取寄存器里的旧值，自然感知不到变化，就会陷入无限等待。

为什么不同环境表现不同？ #

• GCC和Cray编译器的优化策略相对保守，或者默认对全局变量的内存访问保留了同步性，所以即使没有volatile也能正确读取到回调修改后的值；
• Intel的-O1优化级别还没启用这个激进的寄存器缓存优化，因此也能正常运行；
• 用aio_error()等待的方式之所以全环境正常，是因为aio_error()本身是线程安全的系统调用，内部会处理内存同步逻辑，确保能获取到I/O操作的最新状态。

具体解决方案 #

你只需要修改全局变量no_more_writes的声明，加上volatile修饰符即可：

volatile int no_more_writes=0;

volatile的作用是告诉编译器：这个变量的值可能会被当前线程之外的因素（比如其他线程、硬件中断）修改，因此不能对它的访问做缓存优化，每次读取都必须从内存中获取最新值。针对你这个简单的标志位场景，volatile已经足够解决问题；如果你的大型代码中有更复杂的跨线程状态同步需求，更严谨的做法是使用互斥锁（pthread_mutex_t）或者条件变量（pthread_cond_t）来保证线程安全。

内容的提问来源于stack exchange，提问作者bob.sacamento