不修改二进制文件，能否通过模拟器使Linux程序实现确定性运行？

无论使用何种语言与操作系统，创建非确定性程序都十分简单。例如：

#include <iostream>
#include <thread>

int main()
{
    std::thread t1([](){
        for (int i = 0; i < 10; ++i){
        std::cout << i << std::endl;
    }
    });
    std::thread t2([](){
        for (int i = 0; i < 10; ++i){
        std::cout << i << std::endl;
    }
    });
    t1.join();
    t2.join();
    return 0;
}

由于上述竞态条件（race condition），该程序每次运行的输出结果可能不同。现询问：在不修改二进制文件的前提下，是否存在方式可使该程序每次运行输出相同结果？我猜想或许存在能实现此功能的Linux程序模拟器。

存在多种不修改二进制文件即可让该程序输出一致的方法，针对Linux环境，主要有以下几种可行思路：

1. 确定性执行记录/重放工具 #

Linux下确实有专门的确定性执行工具，最典型的是rr：
它会记录程序执行过程中所有非确定性操作（包括线程调度、系统调用、随机数生成等），后续每次重放都会严格遵循记录的执行路径，完全复刻第一次的输出结果。使用方式很简单：

# 第一次运行记录执行过程
rr record ./your-program
# 之后每次重放都能得到相同输出
rr replay

这类工具的可靠性极高，是解决这类问题的首选方案。

2. 强制固定线程调度顺序 #

通过系统工具限制程序的调度行为，消除线程执行顺序的随机性：

• 使用taskset将程序绑定到单个CPU核心，再配合chrt设置实时调度策略（需root权限）：

sudo chrt -f 99 taskset -c 0 ./your-program

这种方式会让两个线程在同一核心上串行执行，调度顺序被强制固定，从而保证输出一致。不过效果依赖内核调度实现，稳定性略逊于专门的确定性工具。

3. 拦截并同步输出操作 #

利用Linux的LD_PRELOAD机制，加载自定义共享库拦截程序的标准输出调用，将不同线程的输出缓存后按固定顺序统一输出。比如编写一个库，把线程t1和t2的输出分别缓存，等所有线程结束后先输出t1的内容再输出t2的，运行时只需指定预加载库：

LD_PRELOAD=./sync-output.so ./your-program

这种方式属于定制化方案，需要自行编写拦截逻辑，但灵活性强。

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