C语言中内存分布及程序运行中(BSS段、数据段、代码段、堆栈） – 秦宝艳的个人页面 – 开源中国 https://my.oschina.net/pollybl1255/blog/140323

Memory model – cppreference.com https://en.cppreference.com/w/c/language/memory_model

内存模型 – cppreference.com https://zh.cppreference.com/w/c/language/memory_model

Memory model – cppreference.com https://en.cppreference.com/w/cpp/language/memory_model

内存模型

 C C 语言 基本概念 

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

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

字节

字节是内存的最小可寻址单元。它定义为一系列连续的位，足以保有任何基础执行字符集（要求 96 个字符是单字节）。 C 支持大小为 8 位或更多的字节。

char 、 unsigned char 及 signed char 类型的存储和值表示都使用一个字节。字节的位数可以用 CHAR_BIT 访问。

对于用字节表示其他基础类型的（包含大端与小端内存布局），见对象表示。

内存位置

内存位置是

• 一个标量类型（算术类型、指针类型、枚举类型）的对象
• 或非零长位域的最大连续序列

struct S {
    char a;     // 内存位置 #1
    int b : 5;  // 内存位置 #2
    int c : 11, // 内存位置 #2 （连续）
          : 0,
        d : 8;  // 内存位置 #3
    struct {
        int ee : 8; // 内存位置 #4
    } e;
} obj; // 对象“ obj ”由 4 个分离的内存位置组成

引用

• 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

参阅

Memory model

 C C language Basic Concepts 

Defines the semantics of computer memory storage for the purpose of the C abstract machine.

The data storage (memory) available to a C program is one or more contiguous sequences of bytes. Each byte in memory has a unique address.

Byte

A byte is the smallest addressable unit of memory. It is defined as a contiguous sequence of bits, large enough to hold any member of the basic execution character set (the 96 characters that are required to be single-byte). C supports bytes of sizes 8 bits and greater.

The types char, unsigned char, and signed char use one byte for both storage and value representation. The number of bits in a byte is accessible as CHAR_BIT.

For use of bytes to representation values of other fundamental types (including big-endian and little-endian memory layouts), see object representation

Memory location

A memory location is

• an object of scalar type (arithmetic type, pointer type, enumeration type)
• or the largest contiguous sequence of bit fields of non-zero length

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

References

• 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

See also

Memory model

 C++ C++ language Basic Concepts 

Defines the semantics of computer memory storage for the purpose of the C++ abstract machine.

The memory available to a C++ program is one or more contiguous sequences of bytes. Each byte in memory has a unique address.

Byte

A byte is the smallest addressable unit of memory. It is defined as a contiguous sequence of bits, large enough to hold the value of any UTF-8 code unit (256 distinct values) and of (since C++14)any member of the basic execution character set (the 96 characters that are required to be single-byte). Similar to C, C++ supports bytes of sizes 8 bits and greater.

The types char, unsigned char, and signed char use one byte for both storage and value representation. The number of bits in a byte is accessible as CHAR_BIT or std::numeric_limits<unsigned char>::digits.

Memory location

A memory location is

• an object of scalar type (arithmetic type, pointer type, enumeration type, or std::nullptr_t)
• or the largest contiguous sequence of bit fields of non-zero length

Note: Various features of the language, such as references and virtual functions, might involve additional memory locations that are not accessible to programs but are managed by the implementation.

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

Threads and data races

A thread of execution is a flow of control within a program that begins with the invocation of a top-level function by std::thread::thread, std::async, or other means.

Any thread can potentially access any object in the program (objects with automatic and thread-local storage durationmay still be accessed by another thread through a pointer or by reference).

Different threads of execution are always allowed to access (read and modify) different memory locationsconcurrently, with no interference and no synchronization requirements.

When an evaluation of an expression writes to a memory location and another evaluation reads or modifies the same memory location, the expressions are said to conflict. A program that has two conflicting evaluations has a data raceunless

• both evaluations execute on the same thread or in the same signal handler, or
• both conflicting evaluations are atomic operations (see std::atomic), or
• one of the conflicting evaluations happens-before another (see std::memory_order)

If a data race occurs, the behavior of the program is undefined.

(In particular, release of a std::mutex is synchronized-with, and therefore, happens-before acquisition of the same mutex by another thread, which makes it possible to use mutex locks to guard against data races.)

int cnt = 0;
auto f = [&]{cnt++;};
std::thread t1{f}, t2{f}, t3{f}; // undefined behavior

std::atomic<int> cnt{0};
auto f = [&]{cnt++;};
std::thread t1{f}, t2{f}, t3{f}; // OK

Memory order

When a thread reads a value from a memory location, it may see the initial value, the value written in the same thread, or the value written in another thread. See std::memory_order for details on the order in which writes made from threads become visible to other threads.

Forward progress

Obstruction freedom

When only one thread that is not blocked in a standard library function executes an atomic function that is lock-free, that execution is guaranteed to complete (all standard library lock-free operations are obstruction-free)

Lock freedom

When one or more lock-free atomic functions run concurrently, at least one of them is guaranteed to complete (all standard library lock-free operations are lock-free — it is the job of the implementation to ensure they cannot be live-locked indefinitely by other threads, such as by continuously stealing the cache line)

Progress guarantee

In a valid C++ program, every thread eventually does one of the following:

• terminate
• makes a call to an I/O library function
• performs an access through a volatile glvalue
• performs an atomic operation or a synchronization operation

No thread of execution can execute forever without performing any of these observable behaviors.

Note that it means that a program with endless recursion or endless loop (whether implemented as a for-statement or by looping goto or otherwise) has undefined behavior. This allows the compilers to remove all loops that have no observable behavior, without having to prove that they would eventually terminate.

A thread is said to make progress if it performs one of the execution steps above (I/O, volatile, atomic, or synchronization), blocks in a standard library function, or calls an atomic lock-free function that does not complete because of a non-blocked concurrent thread.

内存模型

 C++ C++ 语言 基本概念 

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

可为 C++ 程序所用的内存是一或多个字节的连续序列。内存中的每个字节拥有唯一的地址。

字节

字节（byte）是最小的可寻址内存单元。它被定义为相接的位序列，其大到足以保有任何 UTF-8 编码单元（256 个相异值）和(C++14 起)基本执行字符集（96 个字符，要求必为单字节）的任何成员。与 C 相似，C++ 也支持 8 位或更大的字节。

char、unsigned char 和 signed char 类型把一个字节用于存储和值表示。字节中的位数可作为 CHAR_BIT 或 std::numeric_limits<unsigned char>::digits 访问。

内存位置

内存位置是

• 一个标量类型（算术类型、指针类型、枚举类型或 std::nullptr_t）对象
• 或非零长位域的最大相接序列

注意：语言的各种功能特性，例如引用和虚函数，可能涉及到程序不可访问，但为实现所管理的额外内存位置。

struct S {
    char a;     // 内存位置 #1
    int b : 5;  // 内存位置 #2
    int c : 11, // 内存位置 #2 （延续）
          : 0,
        d : 8;  // 内存位置 #3
    struct {
        int ee : 8; // 内存位置 #4
    } e;
} obj; // 对象 'obj' 由 4 个分离的内存位置组成

线程与数据竞争

执行线程是程序中的控制流，它始于 std::thread::thread、std::async 或以其他方式所进行的顶层函数调用。

任何线程都能潜在地访问程序中的任何对象（拥有自动或线程局部存储期的对象仍可为另一线程通过指针或引用访问）。

始终允许不同的执行线程同时访问（读和写）不同的内存位置，而无干涉或同步的任何要求。

当某个表达式的求值写入某个内存位置，而另一求值读或修改同一内存位置时，称这些表达式冲突。拥有两个冲突的求值的程序就有数据竞争，除非

• 两个求值都在同一线程上，或同一信号处理函数中执行，或
• 两个冲突的求值都是原子操作（见 std::atomic ），或
• 一个冲突的求值发生早于（happens-before）另一个（见 std::memory_order）

若出现数据竞争，则程序的行为未定义。

（特别是，std::mutex 的释放同步于，从而发生早于另一线程对同一 mutex 的获取，这使得可以用互斥锁来防止数据竞争）

int cnt = 0;
auto f = [&]{cnt++;};
std::thread t1{f}, t2{f}, t3{f}; // 未定义行为

std::atomic<int> cnt{0};
auto f = [&]{cnt++;};
std::thread t1{f}, t2{f}, t3{f}; // OK

内存顺序

当线程从某个内存位置读取值时，它可能看到初值，同一线程所写入的值，或另一线程所写入的值。有关线程所作的写入操作对其他线程变为可见的顺序上的细节，见 std::memory_order。

向前进展

免妨碍

当只有一个未在标准库函数中阻塞的线程执行某个免锁的原子函数时，保证该执行将会完成（所有标准库免锁操作均为免妨碍的）。

免锁

当一或多个免锁原子函数同时运行时，保证其中至少一个将会完成（所有标准库免锁操作均为免锁的——确保其他线程不能不确定地活锁它们（例如以连续窃取缓存线的方式），是实现的工作）。

进展保证

合法的 C++ 程序中，每个线程最终要做下列之一：

• 终止
• 调用 I/O 库函数
• 通过 volatile 泛左值进行访问
• 进行原子操作或同步操作

没有线程能永远执行，而不做任何这些可观察行为。

注意，这意味着包含无限递归或无限循环（无论是实现为 for 语句 或是用 goto 循环还是其他方式）的程序具有未定义行为。这允许编译器移除所有无可观察行为的循环，而不必证明他们终将终止。

若线程执行了上述步骤之一（I/O、volatile、原子或同步操作），阻塞于标准库函数中，或调用由于某个未阻塞的并发线程而未能完成的原子免锁函数，则称它取得进展（make progress）。

参阅

内存模型

 C C 语言 基本概念 

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

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

字节

字节是内存的最小可寻址单元。它定义为一系列连续的位，足以保有任何基础执行字符集（要求 96 个字符是单字节）。 C 支持大小为 8 位或更多的字节。

char 、 unsigned char 及 signed char 类型的存储和值表示都使用一个字节。字节的位数可以用 CHAR_BIT 访问。

对于用字节表示其他基础类型的（包含大端与小端内存布局），见对象表示。

内存位置

内存位置是

• 一个标量类型（算术类型、指针类型、枚举类型）的对象
• 或非零长位域的最大连续序列

struct S {
    char a;     // 内存位置 #1
    int b : 5;  // 内存位置 #2
    int c : 11, // 内存位置 #2 （连续）
          : 0,
        d : 8;  // 内存位置 #3
    struct {
        int ee : 8; // 内存位置 #4
    } e;
} obj; // 对象“ obj ”由 4 个分离的内存位置组成

引用

• 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

参阅