- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
对于哪些(如果有的话?)STORE_ORDER
和 LOAD_ORDER
C++11 保证此代码在有限时间内运行?
std::atomic<bool> a{false};
std::thread t{[&]{
while(!a.load(LOAD_ORDER));
}};
a.store(true, STORE_ORDER);
t.join();
我看到两个问题:
在我看来,使用 release
和 aquire
,编译器和 cpu 可以重新排序我的 join
(假设它的行为类似于load) 在 store
之前,这当然会破坏它。
即使使用 memory_order_seq_cst
,我也不确定这样的重新排序是否被禁止,因为我不知道 join()
是否真的进行了任何加载或存储。
如果我明白this question about memory_order_relaxed
正确地,不能保证具有 memory_order_relaxed
的存储在有限时间内对其他线程可见。其他订单有这样的保证吗?
我知道 std::atomic
是关于原子性和内存排序的,而不是关于可见性的。但我不知道 c++11 中的任何其他工具可以帮助我。我是否需要使用特定于平台的工具来获得正确性保证?如果需要,使用哪个工具?
更进一步——如果我有有限性,那么最好也有一些关于速度的 promise 。我不认为 C++ 标准做出任何这样的 promise 。但是是否有任何编译器或特定于 x86 的方法来保证存储将很快对其他线程可见?
总结:我正在寻找一种方法来快速停止实际保证具有此属性的工作线程。理想情况下,这将与平台无关。但如果我们不能拥有它,它是否至少存在于 x86 上?
最佳答案
经过更多的搜索,我发现了一个与我的可见性部分相同的问题,它得到了a clear answer。 :确实没有这样的保证——只有要求“实现应该使原子存储在合理的时间内对原子加载可见”。该标准没有定义“应该”的含义,但我会假设正常的含义,因此这将是非约束性的。它也不太清楚“合理”是什么意思,但我认为它明确排除了“无限”。
这并没有完全回答有关内存排序的问题。但是,如果存储在 join()
之后排序,这可能会永远阻塞,则存储将永远不会对其他线程可见——这将不是“合理的时间量”。
因此,虽然标准不要求问题中的代码有效,但它至少表明它应该有效。作为奖励,它实际上说它不应该只是有限的时间,而且还应该有点快(或者说,合理)。
这就剩下我关于平台特定解决方案的部分问题了:是否有一种特定于 x86 的方法来编写所请求的算法,从而保证它实际上是正确的?
关于C++11 原子。可见性和 thread.join()/停止线程的正确方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54712549/
完成此任务的最佳方法是什么:主线程(线程 A)创建另外两个线程(线程 B 和线程 C)。线程 B 和 C 执行繁重的磁盘 I/O,最终需要将它们创建的资源传递给线程 A,然后调用外部 DLL 文件中的
我是一名对 Julia 语言感兴趣的新手程序员。文档( https://docs.julialang.org/en/v1/base/multi-threading/ )说 Threads.@threa
python中的thread.start_new_thread和threading.Thread.start有什么区别? 我注意到,当调用 start_new_thread 时,新线程会在调用线程终止
我正在学习安卓蓝牙编程。我从 Google 的 Android 开发者网站上复制了大部分代码以供学习。这个想法是监听服务器上的连接是在一个新线程中完成的,而不会阻塞 UI 线程。当收到连接请求时,连接
执行对象方法的线程是否依赖于创建它的线程上的线程? 假设您的 java 应用程序中有两个线程 Thread1 和 Thread2,以及两个类 ClassA 和 ClassB。 您在 Thread1 上
我正在用这段代码测试 C++11 线程,但是在创建线程时,我遇到了错误没有匹配函数调用 'std::thread::thread()'. 这就像我给 std::thread ctr 的函数有什么问题,
我有如下类 eventEngine 和网关: class eventEngine { public: eventEngine(); std::thread threa; std
我需要运行与列表 dirlist 中的元素一样多的 Observer 类线程。当我运行它 python 控制台时,它可以正常工作。 class Observer(Thread): def ru
我在一本 Java 书中读到了下面的代码。我知道主类默认继承 Thread 类,所以 currentThread();而不是 Thread.currentThread();也会做这项工作。 但我不明白
我在我的系统中使用第 3 方 API,该 API 启动一个永久运行的用户线程。一旦我的程序结束,JVM 由于该线程而继续运行,因此我尝试获取此线程引用并通过更改它 thread.setDaemon(t
我所知道的 Python 中的每个对象都可以通过调用来处理其基类初始化: super(BaseClass, self).__init__() threading.Thread 的子类似乎不是这种情况,
在我最近从事的 Xamarin 项目中,我可以看到开发人员使用了 Java.Lang.Thread 以及 System.Threading.Thread(用于非常相似的操作 - 例如在后台加载数据)。
我在 Julia 中运行双循环。代码非常简单。 w = rand(1000,1000) function regular_demo(w::Array{Float64, 2}) n = size
我在 Windows 上使用 Python 3。我正在使用 threading.Thread动态运行一个函数,我可以带参数或不带参数调用它。我正在设置一个列表,其中的第一项是定义路径的字符串。其他参数
我遇到了一些使用线程模块(使用 Python 2.6)管理线程的示例。 我想了解的是这个例子是如何调用“运行”方法的,在哪里调用的。我在任何地方都看不到它。 ThreadUrl 类在 main() 函
假设我从 threading.Thread 派生: from threading import Thread class Worker(Thread): def start(self):
关闭。这个问题需要debugging details .它目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and th
使用 WinDbg 和 SOS,我有以下内容: 0:011> !threads ThreadCount: 7 UnstartedThread: 0 BackgroundThread: 4 Pendin
App Engine 给出错误: com.google.apphosting.api.ApiProxy$CallNotFoundException: Can't make API call urlfe
我正在尝试将 Swing JEditorPane 嵌入到 JavaFX 项目中,如下代码所示。 Platform.runLater(() -> { SyntaxTester ob = new
我是一名优秀的程序员,十分优秀!