如何提升std::thread::sleep_for精度？Windows OpenGL场景疑问

问题背景 #

我在Windows 10上开发OpenGL程序，采用独立线程计算屏幕点位置——每个线程循环更新单个点的位置，通过不同线程的延迟长短控制点移动速度，另有独立渲染线程负责屏幕更新。尝试设置10微秒及以上的延迟时，发现std::thread::sleep_for在1000us和999us时表现差异极大：指定1000us时实际耗时超10000us，指定999us时实际耗时仅约1us。

示例代码 #

#include <iostream>
#include <thread>

void example_func(int time){
    auto start = std::chrono::high_resolution_clock::now();
    std::this_thread::sleep_for(std::chrono::microseconds(time));
    auto end = std::chrono::high_resolution_clock::now();
    auto duration = std::chrono::duration_cast<std::chrono::microseconds>(end - start);
    std::cout << "Intended time: "<<time<<", actual time: " << duration.count() << " microseconds" << std::endl;
}

int main() {
    std::thread thread1000(example_func, 1000); // 实际耗时超10000us
    std::thread thread999(example_func, 999); // 实际耗时约1us
    thread1000.join();
    thread999.join();
    return 0;
}

我尝试用std::this_thread::sleep_until作为替代方案，目前运行正常，但想确认该方案在上述场景下的性能可行性：

替代方案代码 #

void example_func_v2(int time) {
    auto start = std::chrono::high_resolution_clock::now();
    auto end = start + std::chrono::microseconds(time);

    auto start2 = std::chrono::high_resolution_clock::now();
    std::this_thread::sleep_until(end);
    auto end2 = std::chrono::high_resolution_clock::now();
    auto duration2 = std::chrono::duration_cast<std::chrono::microseconds>(end2 - start2);
    std::cout << "Intended time: "<<time<<", actual time: " << duration2.count() << " microseconds" << std::endl;
}

问题原因 #

这是Windows系统线程调度粒度的特性导致的：

• Windows默认的系统时钟中断间隔（线程调度的最小时间单位）为15.625ms（约15625us），Windows 10及以上系统可通过timeBeginPeriod将粒度降至1ms（1000us）。
• 当调用sleep_for(1000us)时，系统判定该时间达到当前调度粒度阈值，会让线程休眠到下一个时钟中断点，导致实际耗时远大于预期；而sleep_for(999us)时，系统认为该时间小于调度粒度下限，直接结束休眠，因此实际耗时极短。

替代方案可行性分析 #

使用sleep_until确实是更可靠的选择，但需注意以下几点：

1. 精度仍受调度粒度限制：即使采用sleep_until，若目标间隔小于当前系统调度粒度，线程依然可能提前或延迟唤醒。若需要更高精度，可调用timeBeginPeriod(1)将调度粒度降至1ms，但会增加系统整体开销（时钟中断频率提升）。
2. 减少累积误差：sleep_until基于绝对时间点计算，相比sleep_for的相对时间，能有效降低循环休眠时的累积误差，更适合你的点位置更新线程，可保证长期时间准确性。
3. 可结合忙等待补全精度：若需要微秒级精确延迟，仅靠sleep_until仍不足，可在sleep_until后加入短时间忙等待（通过std::chrono::high_resolution_clock循环检查时间），但会占用CPU资源，需权衡精度与资源消耗。

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