多线程程序卡在优化模式但在 -O0 中正常运行
我写了一个简单的多线程程序如下: static bool 完成 = false;函数函数(){size_t i = 0;而(！完成)++i;返回我；}int main(){自动结果=std::async(std::launch::async, func);std::this_thread::sleep_for(std::chrono::seconds(1));完成=真；std::cout
..
data-race相关内容
在 C++ 中将值从 X 更改为 X 会导致数据竞争吗?
我的代码可以处理具有不同布局的大数据块.布局将决定哪些数据是固定的，哪些数据是不固定的.一旦数据被固定在一个块中，它通常不会再改变.所以所有代码读取数据总会看到相同的数据. 然而，其他服务可能会在这些块中进行更改，只要它们确定没有代码会读取块的那部分.为了简化代码，无论块的布局如何，包含更改的块都将从一个服务发送到另一个服务.然后接收服务将覆盖整个块，包括未更改的数据.让我用一个例子来说明这
..
多个线程可以同时安全地将相同的值写入相同的变量吗?
多个线程可以同时安全地将相同的值写入相同的变量吗? 对于特定示例—下面的代码由C ++标准保证可以在每个符合标准的系统上编译，运行时没有未定义的行为并显示"true"吗? #include#includeint main(){布尔x =假;std :: thread one {[&] {x = true;}};std :: thread two {[&
..
是否可以进行此编译器转换?
考虑以下代码，其中x和y是整数: if (x) y = 42; 是否允许以下编译器转换? int tmp = y; y = 42; if (!x) y = tmp; 上下文: 这是来自Bjarne Stroustrup的常见问题解答: // start with x==0 and y==0 if (x) y = 1; // Thread
..
多线程程序停留在优化模式下，但在-O0下正常运行
我编写了一个简单的多线程程序，如下所示: static bool finished = false; int func() { size_t i = 0; while (!finished) ++i; return i; } int main() { auto result=std::async(std::launch::async, fu
..
如何保证两个不相关线程中的不同不相关对象没有(不可避免的)竞争条件?
当不同的线程仅使用不相关的对象并且实际上不共享任何东西时，它们就不会具有竞争条件，对吗?显然. 实际上，所有线程共享一些东西:地址空间.不能保证一个线程使用的内存位置不会在其他时间分配给另一个线程.对于动态分配的对象甚至是自动对象的内存，情况可能都是如此:没有规定多个线程的“堆栈"(函数的本地对象)的内存空间是预先分配的(甚至是延迟的)，不相交的并且表示为通常的线性“堆栈"；它可能是具有堆栈
..
是什么从形式上保证了非原子变量不会看到空气中的稀疏值，并且创建了像原子弛豫理论上那样的数据竞争呢?
这是有关C ++标准的正式保证的问题. 该标准指出，std::memory_order_relaxed原子变量的规则允许“凭空出现"/“出乎意料"的值出现. 但是对于非原子变量，此示例可以具有UB吗?在C ++抽象机中是否可能使用r1 == r2 == 42?最初都不是变量== 42，因此您不希望if主体执行，这意味着不会写入共享变量. // Global state int x
..