单核CPU下多Task运行机制及依赖任务执行顺序问题

一、基础问题：两个独立定时Task的运行情况 #

问题描述 #

假设应用运行两个定时Task，代码如下：

TriggerHour1 = new TimeSpan(0, 1, 0);
Task.Run(async () => 
{
    while (true)
    {
        var triggerTime = DateTime.Today + TriggerHour1 - DateTime.Now;
        if (triggerTime < TimeSpan.Zero)
            triggerTime = triggerTime.Add(new TimeSpan(24, 0, 0));
        await Task.Delay(triggerTime);
        Console.WriteLine("RunningTask1 finished");
    }
});

TriggerHour2 = new TimeSpan(0, 1, 0);
Task.Run(async () => 
{
    while (true)
    {
        var triggerTime = DateTime.Today + TriggerHour2 - DateTime.Now;
        if (triggerTime < TimeSpan.Zero)
            triggerTime = triggerTime.Add(new TimeSpan(24, 0, 0));
        await Task.Delay(triggerTime);
        Console.WriteLine("RunningTask2 finished");
    }
});

提问：若使用单核CPU，会出现何种情况？是否仅一个Task运行？第二个Task是否需等待第一个线程可用？

解答 #

• 不会仅运行一个Task，两个Task都会正常执行
• 代码中使用的await Task.Delay(triggerTime)是异步非阻塞操作：当Task进入Delay等待时，当前线程会被释放回线程池，单核CPU可以立即处理另一个Task的逻辑（比如计算触发时间、等待前的准备步骤）
• 当Delay结束后，两个Task的后续代码（打印日志）会被调度到单核CPU上执行，操作系统通过时间片轮转调度分配CPU资源，不会出现一个Task完全阻塞另一个的情况

二、补充问题：Task2依赖Task1先执行的可靠性 #

问题描述 #

假设Task2依赖Task1先执行完成（比如Task1修改共享变量counter，Task2读取该值），代码如下：

int counter = 0;
TriggerHour1 = new TimeSpan(0, 1, 0);
Task.Run(async () => 
{
    while (true)
    {
        var triggerTime = DateTime.Today + TriggerHour1 - DateTime.Now;
        if (triggerTime < TimeSpan.Zero)
            triggerTime = triggerTime.Add(new TimeSpan(24, 0, 0));
        await Task.Delay(triggerTime);
        Console.WriteLine("RunningTask1 finished");
        counter += 100;
        Console.WriteLine(counter);
    }
});

TriggerHour2 = new TimeSpan(0, 1, 0);
Task.Run(async () => 
{
    while (true)
    {
        var triggerTime = DateTime.Today + TriggerHour2 - DateTime.Now;
        if (triggerTime < TimeSpan.Zero)
            triggerTime = triggerTime.Add(new TimeSpan(24, 0, 0));
        await Task.Delay(triggerTime);
        Console.WriteLine("RunningTask2 finished");
        Console.WriteLine(counter);
    }
});

提问：第一个Task是否始终会先运行？

解答 #

• 不会始终先运行，即使是单核CPU也无法保证Task1一定先执行完成：
  1. 两个Task的Delay触发时间理论上相同，但DateTime.Now的读取存在微小时间差，加上线程调度的不确定性，可能导致其中一个Task的Delay先完成
  2. 即使Delay同时结束，操作系统的线程调度器会随机选择一个Task先执行后续代码，没有默认机制保证Task1的执行优先级
  3. 此外，共享变量counter没有线程同步保护，即使Task1先执行，Task2读取时也可能出现脏读问题（counter +=100是读-改-写三步操作，并非原子性，可能被调度中断）
• 如果需要保证Task2在Task1执行完成后再运行，必须添加显式的同步机制，比如构建async/await依赖链、使用lock锁定共享变量，或者用Interlocked类处理原子性操作

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