联合会的挥发性和非挥发性成员的语义是什么？

Question

更具体地说，我已（简化）如下：

union foo 
    { 
    volatile int bits; 
    char data[sizeof(int)*CHAR_BIT]; 
    } 

如果我从来没有进入第一sizeof(int)项目data，我可以依靠bits如预期的工作？

Answer 1

基本上把结构的一个领域标记为volatile是正确的。但是你必须记住volatile关键字的作用。它告诉编译器不要优化对变量的访问。值总是从内存中读取，而不是从其寄存器中复制。

当您在评论中写入时，您正试图使内存分配线程安全。不幸的是，volatile并不能保证你可以从多个线程访问它。如果您使用8位CPU，则对整数值的访问不是原子操作，因此您的程序无法正常工作。

Answer 2

volatile是决不是对实现锁有用。我不是在讲理论上的;它将失败，你将有竞争条件，即使在单CPU /单核心环境。使真正的原子锁定原语的唯一方法是使用cpu的锁定原语（x86，锁前缀）编写程序集。

事实上，有可能是一种方法只volatile但只有这样的锁定机制，我知道需要O(n)空间，n是线程的数量，这使得相当无用获得通过，如果可能的线程数是未知提前。