互斥锁的可升级所有权如何影响其他线程？

Question

情况是：

一个线程获得了 boost::shared_mutex 的可升级所有权并正在调用 unlock_upgrade_and_lock()，这会阻塞，因为此时其他线程拥有相同 shared_mutex 的共享所有权。

当其他线程尝试“锁定共享”shared_mutex 时，第一个线程的可升级所有权是否会阻止（阻止）其他线程，以便所有已经共享所有权的人最终将解锁_shared 并保证第一个线程的独占所有权？

或者只要有另一个线程共享互斥锁，第一个线程就有可能保持阻塞？

Answer 1

（假设 Boost 实现模糊地模拟了 Howard Hinnant 的 WG21 提案......）

从共享所有权转换为升级所有权可防止任何新线程获取锁，因此最终所有共享所有者将释放它，并且具有升级所有权的线程可以将其转换为独占所有权。这是“升级锁”的重点，而不仅仅是共享锁和排他锁，请参阅N3427 中的解释：

请注意，尝试从共享转换为独占的替代设计，而不是如图所示的从共享转换为升级，将容易受到更新（写入器）饥饿的影响。这是因为只要有多个搜索器（共享锁），没有一个搜索器可以成功尝试转换为更新器。只有成功将自己注册为具有升级所有权的单线程，然后阻塞从升级到独占的转换，您才能使实现开始阻止新搜索者获得共享锁，以便最终获得独占锁现有的搜索者被清除。