Memory model

为C抽象机器的目的定义计算机内存存储的语义。

C程序可用的数据存储（内存）是一个或多个连续的字节序列。内存中的每个字节都有一个唯一的地址。

字节

字节是最小的可寻址内存单元。它被定义为一个连续的位序列，足够大以容纳基本执行字符集的任何成员（96个字符必须是单字节）。C支持8位或更大的字节。

存储和值表示的类型char，unsigned char并signed char使用一个字节。一个字节中的位数可以被访问为CHAR_BIT。

内存位置

存储器位置是。

• 标量类型的对象（算术类型，指针类型，枚举类型）
• 或者是非零长度的最大的连续比特字段序列

struct S {
    char a;     // memory location #1
    int b : 5;  // memory location #2
    int c : 11, // memory location #2 (continued)
          : 0,
        d : 8;  // memory location #3
    struct {
        int ee : 8; // memory location #4
    } e;
} obj; // The object 'obj' consists of 4 separate memory locations

• 两个相互冲突的评估都是原子操作
• 其中一个冲突评估发生在另一个之前（请参阅memory_order）

如果发生数据竞争，程序的行为是未定义的。（特别mtx_unlock是。

与另一个线程在同一个互斥体之前 mtx_lock进行同步并因此发生，这使得可以使用互斥锁来防止数据竞争）内存顺序

当线程从内存位置读取值时，它可能会看到初始值，写入同一线程的值或写入另一个线程的值。请参阅有关memory_order线程写入的顺序对其他线程可见的详细信息。

(since C11)

参考

• C11 standard (ISO/IEC 9899:2011):
  • 3.6 byte (p: 4)
  • 3.14 memory location (p: 5)
  • 5.1.2.4 Multi-threaded executions and data races (p: 17-21)
• C99 standard (ISO/IEC 9899:1999):
  • 3.6 byte (p: 4)
• C89/C90 standard (ISO/IEC 9899:1990):
  • 1.6 DEFINITIONS OF TERMS