- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我正在尝试了解 x86-64 机器上 C++ 中的一致性保证,以及这在其他平台上是否有所不同。具体来说,我想知道是否可以保证如果一个线程在下一个线程读取变量之前写入变量,我是否总能看到正确的值?我读过一些关于此的相互矛盾的信息。
这是一个示例,其中 Shared
在另一个线程中更新,只有当我们确定值已完成更新时,结果才会被读取。这会一直打印 1 吗?每次我测试它时它都有,但我无法通过示例真正证明它。
#include <iostream>
#include <thread>
#include <atomic>
std::atomic<bool> Done {false};
int Shared = 0;
int main(int argc, const char* argv[])
{
auto Thread = std::thread([](){
Shared = 1;
Done = true;
});
while(!Done)
{
}
std::cout << Shared << std::endl;
Thread.join();
return 0;
}
此博客似乎建议在 x86-64 上所有写入都对其他线程可见:http://benbowen.blog/post/cmmics_iii/
这份文件听起来也像是在说类似的话:
When a thread is writing to a shared memory location, the MESIF protocol requires that all other copies of the memory location is invalidated. If this occurs, all cores in the processor sends a RFOrequest (readforownership request) to the LLC (in this case the L3cache) that checks the snoopfilter and then sends out invalidations to all cache’s that holds a copy of the cache line.
https://www.eit.lth.se/fileadmin/eit/courses/edt621/Rapporter/2015/robin.skafte.pdf
最佳答案
这很复杂,但在您的特定情况下,这保证适用于所有 C++ 实现。
原因是 std::atomic
上操作的默认内存顺序是 std::memory_order_seq_cst
,这确实保证了释放/获取语义。
具体来说,这意味着线程在释放存储之前对内存所做的任何写入(包括顺序一致的存储,比如你的)对于在同一原子上获取加载的任何线程都是可见的(包括顺序一致的加载,比如你的)并观察新值。
关于c++ - 一个线程写入的值是否保证在不锁定该变量的情况下被另一个线程看到?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57897843/
我是 Java 新手,这是我的代码, if( a.name == b.name && a.displayname == b.displayname && a.linknam
在下面的场景中,我有一个 bool 值。根据结果,我调用完全相同的函数,唯一的区别是参数的数量。 var myBoolean = ... if (myBoolean) { retrieve
我是一名研究 C++ 的 C 开发人员: 我是否正确理解如果我抛出异常然后堆栈将展开直到找到第一个异常处理程序?是否可以在不展开的情况下在任何 throw 上打开调试器(即不离开声明它的范围或任何更高
在修复庞大代码库中的错误时,我观察到一个奇怪的情况,其中引用的动态类型从原始 Derived 类型更改为 Base 类型!我提供了最少的代码来解释问题: struct Base { // some
我正在尝试用 C# 扩展给定的代码,但由于缺乏编程经验,我有点陷入困境。 使用 Visual Studio 社区,我尝试通过控制台读出 CPU 核心温度。该代码使用开关/外壳来查找传感器的特定名称(即
这可能是一个哲学问题。 假设您正在向页面发出 AJAX 请求(这是使用 Prototype): new Ajax.Request('target.asp', { method:"post", pa
我有以下 HTML 代码,我无法在所有浏览器中正常工作: 我试图在移动到
我对 Swift 很陌生。我如何从 addPin 函数中检索注释并能够在我的 addLocation 操作 (buttonPressed) 中使用它。我正在尝试使用压力触摸在 map 上添加图钉,在两
我设置了一个详细 View ,我是否有几个 Nib 文件根据在 Root View Controller 的表中选择的项目来加载。 我发现,对于 Nibs 的类,永远不会调用 viewDidUnloa
我需要动态访问 json 文件并使用以下代码。在本例中,“bpicsel”和“temp”是变量。最终结果类似于“data[0].extit1” var title="data["+bpicsel+"]
我需要使用第三方 WCF 服务。我已经在我的证书存储中配置了所需的证书,但是在调用 WCF 服务时出现以下异常。 向 https://XXXX.com/AHSharedServices/Custome
在几个 SO 答案(1、2)中,建议如果存在冲突则不应触发 INSERT 触发器,ON CONFLICT DO NOTHING 在触发语句中。也许我理解错了,但在我的实验中似乎并非如此。 这是我的 S
如果进行修改,则会给出org.hibernate.NonUniqueObjectException。在我的 BidderBO 类(class)中 @Override @Transactional(pr
我使用 indexOf() 方法来精细地查找数组中的对象。 直到此刻我查了一些资料,发现代码应该无法正常工作。 我在reducer中尝试了上面的代码,它成功了 let tmp = state.find
假设我有以下表格: CREATE TABLE Game ( GameID INT UNSIGNED NOT NULL, GameType TINYINT UNSIGNED NOT NU
代码: Alamofire.request(URL(string: imageUrl)!).downloadProgress(closure: { (progress) in
我是一名优秀的程序员,十分优秀!