WSL2中clock_nanosleep()未按预期立即返回问题排查

问题背景 #

在WSL2环境下，使用带TIMER_ABSTIME标志的clock_nanosleep()维持循环时序，根据clock_nanosleep()手册说明：

如果flags为TIMER_ABSTIME，则请求被解释为由clockid指定时钟的绝对时间。若请求时间小于等于时钟当前值，clock_nanosleep()应立即返回，不会挂起调用线程。

但实际测试中，当请求时间确实小于等于当前时间时，clock_nanosleep()并未立即返回，线程出现睡眠及上下文切换的情况。

复现代码 #

#include <stdio.h>
#include <sys/time.h>
#include <sys/types.h>
#include <unistd.h>
#include <time.h>

#define timespeccmp(tvp, uvp, cmp)                  \
    (((tvp)->tv_sec == (uvp)->tv_sec) ?             \
        ((tvp)->tv_nsec cmp (uvp)->tv_nsec) :           \
        ((tvp)->tv_sec cmp (uvp)->tv_sec))
#define timespecadd(tvp, uvp, vvp)                      \
    do {                                \
        (vvp)->tv_sec = (tvp)->tv_sec + (uvp)->tv_sec;      \
        (vvp)->tv_nsec = (tvp)->tv_nsec + (uvp)->tv_nsec;   \
        if ((vvp)->tv_nsec >= 1000000000) {         \
            (vvp)->tv_sec++;                \
            (vvp)->tv_nsec -= 1000000000;           \
        }                           \
    } while (0)

static struct timespec nextcnt_spec;
static struct timespec tick_spec = {0UL, 1000000000UL / 250};
struct timespec nothing = {.tv_sec = 0, .tv_nsec = 0};
struct timespec now_spec;

int main(int argc, int *argv[])
{
  clock_gettime(CLOCK_MONOTONIC, &nextcnt_spec);
  timespecadd(&nextcnt_spec, &tick_spec, &nextcnt_spec);

  while (1)
  {
      clock_gettime(CLOCK_MONOTONIC, &now_spec);
      if (timespeccmp(&now_spec, &nextcnt_spec, >=))
      {
          timespecadd(&nextcnt_spec, &tick_spec, &nextcnt_spec);
      }

      printf("now: %d.%09d\n", now_spec.tv_sec, now_spec.tv_nsec);
      clock_nanosleep(CLOCK_MONOTONIC, TIMER_ABSTIME, &nextcnt_spec, NULL);
  }
}

程序输出 #

now: 82942.980959346
now: 82942.997138210
now: 82943.013317148
now: 82943.029403662
now: 82943.045508177
now: 82943.061593249
now: 82943.077658352
now: 82943.093719126
now: 82943.109841360
now: 82943.125951165

从输出可见，相邻两次打印的时间间隔约16ms，远大于预期的4ms（250Hz tick），说明线程被挂起，未按预期立即返回。

相关内核配置 #

#
# Timers subsystem
#
CONFIG_TICK_ONESHOT=y
CONFIG_NO_HZ_COMMON=y
# CONFIG_HZ_PERIODIC is not set
CONFIG_NO_HZ_IDLE=y
# CONFIG_NO_HZ_FULL is not set
# CONFIG_NO_HZ is not set
CONFIG_HIGH_RES_TIMERS=y
# end of Timers subsystem

CONFIG_HZ_1000=y
CONFIG_HZ=1000

分析与解决建议 #

可能原因 #

1. WSL2虚拟化环境的定时器实现差异：WSL2基于Hyper-V运行，其Linux内核的定时器子系统与原生Linux存在差异，尤其是在高精度定时器（CONFIG_HIGH_RES_TIMERS）和NO_HZ配置下的处理逻辑可能不符合POSIX标准预期。
2. 时钟精度与同步问题：WSL2中CLOCK_MONOTONIC时钟的更新可能存在延迟，导致clock_gettime()获取的当前时间并非实时值，进而引发判断逻辑与实际定时器行为的偏差。

解决建议 #

1. 添加返回值检查：在调用clock_nanosleep()后检查返回值，确认是否有错误发生，辅助定位问题：

   int ret = clock_nanosleep(CLOCK_MONOTONIC, TIMER_ABSTIME, &nextcnt_spec, NULL);
   if (ret != 0) {
       fprintf(stderr, "clock_nanosleep failed: %d\n", ret);
       perror("clock_nanosleep");
   }
   

2. 优化循环时序逻辑：当当前时间已超过目标时间时，直接计算需要跳过的tick数，将目标时间一次性更新到当前时间之后的有效tick点，避免重复触发“过期时间”的sleep请求：

   clock_gettime(CLOCK_MONOTONIC, &now_spec);
   // 转换为纳秒级计算
   long long now_ns = now_spec.tv_sec * 1000000000LL + now_spec.tv_nsec;
   long long next_ns = nextcnt_spec.tv_sec * 1000000000LL + nextcnt_spec.tv_nsec;
   long long tick_ns = 1000000000LL / 250;
   
   if (now_ns >= next_ns) {
       // 计算需要跳过的tick数，确保next_ns落在当前时间之后
       long long delta = now_ns - next_ns;
       long long skip_ticks = delta / tick_ns + 1;
       next_ns += skip_ticks * tick_ns;
       // 转换回timespec结构
       nextcnt_spec.tv_sec = next_ns / 1000000000LL;
       nextcnt_spec.tv_nsec = next_ns % 1000000000LL;
   }
   

3. 切换时钟源：尝试使用CLOCK_MONOTONIC_RAW替代CLOCK_MONOTONIC，该时钟源不受NTP调整影响，可能在WSL2中提供更稳定的计时行为。
4. 更新WSL2版本：升级到最新版WSL2，微软可能已修复虚拟化环境下的定时器相关bug。

内容的提问来源于stack exchange，提问作者dev-null