x86_64上的Linux glibc pthread函数是否作为弱有序内存访问的范围？(pthread_mutex_lock/unlock是我感兴趣的确切函数).
SSE2提供了一些具有弱内存排序的指令(特别是非临时存储,例如movntps).如果您正在使用这些指令并希望保证另一个线程/核心看到一个排序,那么我理解您需要一个明确的栅栏,例如,一个sfence指令.
通常,您确实希望pthread API适当地充当栅栏.但是,我怀疑x86上的正常C代码不会产生弱有序的内存访问,所以我不相信pthreads需要充当弱有序访问的栅栏.
通过glibc pthread源代码读取,最后使用"lock cmpxchgl"实现互斥,至少在无争用路径上.所以我猜我需要知道的是,该指令是否为SSE2弱有序访问的栅栏？
如果具有静态存储持续时间的对象的C++构造函数未初始化成员,那么是否需要保留先前的零初始化,或者是否使成员具有不确定的值？
我对C++规范的解读是它与自身相矛盾.
例:
#include <iostream>
struct Foo { Foo(); int x; } object;
Foo::Foo() { }
int main() { std::cout << object.x << std::endl; }
Foo()构造函数没有显式初始化成员object.x,因此根据12.6.2第8段中的注释:
该成员具有不确定的价值.
但是,通过各种初始化的细节,这似乎是不正确的.成员object.x由于具有静态存储持续时间而被零初始化,然后我看不到任何改变它的东西.
关于构造函数,适用的12.6.2中的文本是:
该实体是默认初始化的.
在8.5第7段中,默认初始化的相关情况是:
......没有执行初始化
我读到这意味着默认初始化不会改变先前的零初始化.
我是否遗漏了一些其他文本,它们在构造函数调用开始时将所有成员重置为"不确定值"？
我在stackoverflow上发现了关于零初始化和默认初始化的各种其他问题,但我看不到任何分析在默认初始化跟随同一实体的早期初始化之后会发生什么.
在这种情况下,可能没有实际效果.但是在一个更复杂的构造函数中,一些成员被初始化而其他成员没有,编译器是否必须准确地跟踪哪些字节/位被初始化？或者它是否只是初始化整个对象(例如,将构造函数简化为memset()调用) )？