在notify_all崩溃后直接删除std::condition_variable_any
Delete std::condition_variable_any directly after notify_all crashes
我有一部分代码,其中一个线程调用如下内容:
cond->notify_all();
delete cond;
带有
std::condition_variable_any cond;
Afaik,这应该有效,因为应该允许我删除条件变量,只要我通知所有等待它的线程,他们就不必从wait调用中恢复。
在Windows上,这有时会因一个错误而崩溃:
mutex destroyed while busy
打印到标准输出
在linux上,使用clang 3.5,效果非常好,在windows上,我使用Visual Studio 2013,使用v120工具包时,v120是默认版本。
是我做错了什么,是我误解了标准,还是M$在这里做错了什么?如果是,我该如何解决?
Microsoft对std::condition_variable_any
的实现不符合要求。根据Visual Studio 14 CTP1中的C++14 STL功能、修复和突破性更改这已在尚未发布的VS14:中修复
我们已经实现了30.5.2[thread.cocondvarany]/5:指定的极其微妙的规则
~condition_variable_any()
要求:
*this.
上不得有螺纹堵塞[注意:也就是说,所有线程都应该得到通知;它们随后可能会阻塞等待中指定的锁。这放宽了通常的规则,即要求所有等待调用都必须在销毁之前发生。只有解除阻止等待的通知必须在销毁前发生。用户必须注意确保在销毁程序启动后,没有线程在*this
上等待arted,尤其是当等待线程在循环中调用等待函数时,或者使用采用谓词的wait
、wait_for
或wait_until
的重载时-尾注](DevDiv#484720)。
相关文章:
- 使用std::multimap迭代器创建std::list
- C++中std::resize(n)和std::shrink_to_fit之间的区别
- 来自 std::list 的迭代器 .end() 按预期返回"0xcdcdcdcdcdcdcdcd"但 .begin()
- C++17复制构造函数,在std::unordereded_map上进行深度复制
- 如何导出包含具有"std::unique_ptr"值的"std::map"属性的
- 从持续时间构造std::chrono::system_clock::time_point
- std::具有相同基类的类的变体
- std::向量与传递值的动态数组
- 使用std::vector的OpenCL矩阵乘法
- std::map<struct,struct>::find 找不到匹配项,但是如果我循环通过 begin() 到 end(),我在那里看到匹配项
- std::condition_variable::wait()如何评估给定的谓词
- 如何获取std::result_of函数的返回类型
- std::原子加载和存储都需要吗
- 将对象移动到std::shared_ptr
- POCO::PostgreSQL:如何将std::vector支持添加到`Binder::bind`
- 使用一个考虑到std::map中键值的滚动或换行的键
- 如何从 std::atomic 中提取指针 T<T>?
- 为什么 std::unique 不调用 std::sort?
- 使用std::函数映射对象方法
- 我需要std::condition,但有两个以上的选择