条件变量误解

Question

假设我有一棵树，并假设我在树的每个节点中都有一个条件变量。

假设有 5 个节点试图插入到我的树中（已经有 10 个节点），由于某种原因，5 个节点无法插入（它们正在等待删除一些节点），所以我让它们等待使用他们的条件变量。现在树中正在发生删除，我想检查等待的那些是否正在等待删除，所以我想给一个节点发信号，我怎么知道要发信号的线程，我是否必须跟踪所有最初插入的条件变量？

假设在某个删除时，我想向线程 3 发出信号，它正在等待（以及其他 2 个），我该如何具体地向线程 3 发出信号？，线程 3 是否还记得他试图插入的内容？

在我的删除函数中，当我发出信号时，我不知道该线程等待的条件变量是什么，因为每个节点都有一个条件变量，并且可以有多个节点，每个节点都有一个条件变量等待。我知道广播所有人都会联系所有线程，但是如果没有它我怎么能做到，并明确表示一个线程最初想在树中插入一个值 5，但由于 5 已经存在，它不能，并且知道那个5被删除了，应该插入5，但是随着5的等待，还有1,6,3,2在等待，所以我有5个条件变量，不知道哪个是5的。

这都是用 C 语言，使用 linux。

Answer 1

通常，您将条件变量与它用于等待的事物相关联。因此，如果线程 3 正在等待节点 X 被删除，它可能会等待节点 X 的条件变量上的信号。线程 3 不会等待它正在插入的节点的条件变量上的信号。如果线程 5 删除节点 X，那么它会在节点 X 的条件变量上发出信号。线程 5 不需要知道线程 3 正在等待；它只是在节点 X 的条件变量上发出信号，而 pthreads 负责通知正在等待该条件变量的线程。

我有点担心您正在删除节点，并且可能会连同它们一起删除条件变量。如果您要删除节点 X，则在等待它的线程被唤醒并且不再使用该条件变量之前，您不希望删除它的条件变量。所以你的设计在那里不清楚。