当前位置： C语言 -- 标准库 -- <stdatomic.h> -- memory_order_consume

memory_order_consume枚举常量

描述：

该枚举常量用于表示对内存顺序的约束。

ISO/IEC 9899:2018标准中涉及的表示内存顺序的枚举常量及其含义如下表所示：

枚举常量 含义
memory_order_relaxed   该枚举常量表示“松散”内存顺序，可用于任何原子操作函数。这是最弱的内存顺序，对于读操作和写操作没有同步和内存顺序约束，可以不受约束地进行重排；但操作本身的原子性是有保证的。
memory_order_consume   该枚举常量表示“消费”内存顺序，可用于读操作或者读-修改-写操作的原子函数，加载操作（load operation）对受影响的内存位置进行消费操作（consume opertion）：当前线程中任何依赖函数返回值的读操作和写操作不会重排到该消费操作之前。其它线程中对相同原子变量的释放操作（release operation）及之前的所有写操作对当前线程该消费操作及以后操作可见。
memory_order_acquire   该枚举常量表示“获取”内存顺序，可用于读操作或者读-修改-写操作的原子函数，加载操作（load operation）对受影响的内存位置进行获取操作（acquire operation）：当前线程中所有读操作和写操作不会重排到该获取操作之前。其它线程中对相同原子变量的释放操作（release operation）及之前的所有写操作对当前线程该获取操作及以后操作可见。
memory_order_release   该枚举常量表示“释放”内存顺序，可用于写操作或者读-修改-写操作的原子函数，存储操作（store operation）对受影响的内存位置进行释放操作（release operation）：当前线程中的所有读操作和写操作不会重排到该释放操作之后。当前线程截至该释放操作的所有写操作对其它线程中对相同原子变量的获取操作（acquire operation）及以后操作可见；当前线程截至该释放操作的所有写操作对其它线程中对相同原子变量的消费操作（consume operation）及以后操作可见。
memory_order_acq_rel   该枚举常量表示“释放获取”内存顺序，可用于读-修改-写操作的原子函数，加载操作（load operation）对受影响的内存位置进行获取操作（详见memory_order_acquire）；存储操作（store operation）对受影响的内存位置进行释放操作（详见memory_order_release）。
memory_order_seq_cst   该枚举常量表示“顺序一致”内存顺序，这是最强的内存顺序，也是默认的内存顺序，可用于任何原子操作函数，加载操作（load operation）对受影响的内存位置进行获取操作（详见memory_order_acquire）；存储操作（store operation）对受影响的内存位置进行释放操作（详见memory_order_release）。所有memory_order_seq_cst操作都应存在一个单一全序，该顺序与“happens before”顺序和所有受影响位置的修改顺序一致。不同线程中观察到的内存修改顺序是相同的。
范例： 
1 
2 
3 
4 
5 
6 
7 
8 
9 
10 
11 
12 
13 
14 
15 
16 
17 
18 
19 
20 
21 
22 
23 
24 
25 
26 
27 
28 
29 
30 
31 
32 
33 
34 
35 
36 
37 
38 
39 
40 
41 
42 
43 
44 
45 
46 
47 
48 
49 
50 
51 
52 
53 
54 
55 
56 
57 
58 
59 
60 
61 
62 
63 
64 
65 
66 
/*枚举常量memory_order_consume范例*/

#ifdef __STDC_NO_ATOMICS__
#error "Implementation does not support atomic types."
#endif

#ifdef __STDC_NO_THREADS__
#error "Implementation does not support multi-threads."
#endif

#include <stdatomic.h>
#include <stdio.h>
#include <stdlib.h>
#include <threads.h>

#define THREADS 2

atomic_int x = 0;
int a = 2;
int b = 3;

/*线程一中执行的函数。*/
int funcOne(void *arg)
{
    atomic_store_explicit(&x, 5, memory_order_release);    //A     
    
    thrd_exit(0);
}

/*线程二中执行的函数。*/
int funcTwo(void *arg)
{
    int temp = 0;
    
    temp = atomic_load_explicit(&x, memory_order_consume);     //B
    a = temp;    //C
    b = temp;    //D
    
    thrd_exit(0);
}

int main(void)
{
    thrd_t threadId[THREADS];

    if(thrd_create(&threadId[0], funcOne, NULL) != thrd_success)
    {
        perror("thrd_create error");
        exit(EXIT_FAILURE);
    }
    
    if(thrd_create(&threadId[1], funcTwo, NULL) != thrd_success)
    {
        perror("thrd_create error");
        exit(EXIT_FAILURE);
    } 

    thrd_join(threadId[0], NULL);
    thrd_join(threadId[1], NULL);

    printf("a = %d\n", a);
    printf("b = %d\n", b);
    
    return 0;
}
结果：

如果A处的操作先于B处的操作，将输出：

a = 5

b = 5

如果B处的操作先于A处的操作，将输出：

a = 0

b = 0

无论A处的操作和B处的操作先后顺序如何，都可以保证a、b是相等的。线程二中，对atomic_load_explicit函数调用返回值有依赖关系的读操作和写操作不会重排到消费操作前，即C处、D处的操作不会重排到B处的操作前，所有给a、b赋值的temp值是相同的。

注：使用Pelles C编译。

相关内容：
memory_order_relaxed 表示内存顺序的枚举常量。
memory_order_acquire 表示内存顺序的枚举常量。
memory_order_release 表示内存顺序的枚举常量。
memory_order_acq_rel 表示内存顺序的枚举常量。
memory_order_seq_cst 表示内存顺序的枚举常量。