实现任意计算图

计算任务构成有向无环图

• $(u, v) \in E$ 表示 $v$ 要用到前 $u$ 的值
• 只要调度器 (生产者) 分配任务效率够高，算法就能并行

void T_worker() {
    while (1) {
        consume().run();
    }
}
void T_scheduler() {
    while (!jobs.empty()) {
        for (auto j : jobs.find_ready()) {
            produce(j);
        }
    }
}

计算图：实现 (2)

为每个节点设置一个条件变量

• $v$ 能执行的同步条件：$u \to v$ 都已完成
• $u$ 完成后，signal 每个 $u \to v$

计算图：例子

条件变量：更古怪的习题/面试题

有三种线程

• $T_a$ 若干: 死循环打印 <
• $T_b$ 若干: 死循环打印 >
• $T_c$ 若干: 死循环打印 _

任务：

• 对线程同步，使得屏幕打印出 <><_ 和 ><>_ 的组合

使用条件变量，只要回答三个问题：

• 打印 “<” 的条件？打印 “>” 的条件？打印 “_” 的条件？