c – std :: shared_timed_mutex上的共享锁可以升级到独占锁吗？

如果一个人持有一个共享锁,有没有什么办法将其交换(“升级”)到独占锁？换句话说,给出以下代码,如何避免非原子丢弃和重新锁定？

std::shared_timed_mutex m; //Guards a std::vector.
m.lock_shared();

//Read from vector. (Shared lock is sufficient.)
// ...

//Now we want to write to the vector. We need an exclusive lock.
m.unlock_shared();
                   //     <---- Problem here: non-atomic! 
m.lock(); 

//Write to vector.
// ...

m.unlock();

理想情况下,m.unlock_shared(); m.LOCK();可以替换为m.upgrade_to_exclusive(); (或类似boost ::.upgrade_to_unique_lock()).

In a similar question but for Boost’s shared_mutex Dave S提到

我不知道这是否适用于std :: shared_mutex,虽然我怀疑它是.

基于std :: atomic / condition_variable或GCC的事务内存,我会很乐意合理解决.

编辑：霍华德的回答涉及我的问题.他的@L_403_1@包含了一个实现互斥升级的机制的很好的描述.我仍然欢迎基于std :: atomic / condition_variable或GCC的事务内存的工作.