File: atomic2.c

package info (click to toggle)
chibicc 1.0.23.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,832 kB
  • sloc: ansic: 62,911; sh: 275; makefile: 92
file content (153 lines) | stat: -rw-r--r-- 4,439 bytes parent folder | download
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153

#include <stdatomic.h>
#include "test.h"


int main() {
    int value = 5;
    int expected = 5;
    int new_value = 10;

    if (atomic_compare_exchange_weak(&value, &expected, new_value)) {
        printf("Value was exchanged.\n");        
    } else {
        printf("Value was not exchanged. Expected: %d, Value: %d\n", expected, value);
    }
    printf("Final Value: %d\n", value);
    ASSERT(10, value);


    if (atomic_compare_exchange_strong(&value, &expected, new_value)) {
        printf("Value was exchanged.\n");
    } else {
        printf("Value was not exchanged. Expected: %d, Value: %d\n", expected, value);
    }
    printf("Final Value: %d\n", value);
    ASSERT(10, value);

    value = 5;
    int old_value = atomic_fetch_add(&value, 3);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
     ASSERT(5, old_value);
     ASSERT(8, value);

    value = 5;
    old_value = atomic_fetch_sub(&value, 3);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(2, value);


    value = 5; // 0101 in binary
    old_value = atomic_fetch_or(&value, 2); // 0010 in binary
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(7, value);

    value = 5; // 0101 in binary
    old_value = atomic_fetch_xor(&value, 3); // 0011 in binary
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(6, value);

    
    value = 5; // 0101 in binary
    old_value = atomic_fetch_and(&value, 3); // 0011 in binary
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(1, value);

    value = 5;
    old_value = atomic_exchange(&value, 10);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(10, value);

    value = 5;
    old_value = atomic_exchange_explicit(&value, 10, memory_order_seq_cst);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(10, value);
    
    value = 5;
    int loaded_value = atomic_load(&value);
    printf("Loaded Value: %d\n", loaded_value);
    ASSERT(5, value);
    ASSERT(5, loaded_value);
    
    value = 5;
    loaded_value = atomic_load_explicit(&value, memory_order_acquire);
    printf("Loaded Value: %d\n", loaded_value);
    ASSERT(5, value);
    ASSERT(5, loaded_value);    
    
    atomic_store(&value, 11);
    printf("Stored Value: %d\n", value);
    ASSERT(11, value);
    
    atomic_store_explicit(&value, 12, memory_order_release);
    printf("Stored Value: %d\n", value);
    ASSERT(12, value);

    atomic_flag flag = ATOMIC_FLAG_INIT;
    if (!atomic_flag_test_and_set(&flag)) {
        printf("Flag was clear and is now set.\n");
    } else {
        printf("Flag was already set.\n");
    }

   atomic_flag flag2 = ATOMIC_FLAG_INIT;
    if (!atomic_flag_test_and_set_explicit(&flag2, memory_order_acquire)) {
        printf("Flag2 was clear and is now set.\n");
    } else {
        printf("Flag2 was already set.\n");
    }


    atomic_flag flag3 = ATOMIC_FLAG_INIT;
    atomic_flag_test_and_set(&flag3);
    atomic_flag_clear(&flag3);
    printf("Flag3 is now clear.\n");



    atomic_flag flag4 = ATOMIC_FLAG_INIT;
    atomic_flag_test_and_set(&flag4);
    atomic_flag_clear_explicit(&flag4, memory_order_release);
    printf("Flag4 is now clear.\n");


    value = 5;
    old_value = __sync_val_compare_and_swap(&value, 5, 10);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(10, value);


    value = 5;
    old_value = __sync_fetch_and_add(&value, 3);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(8, value);

    value = 5;
    old_value = __sync_fetch_and_sub(&value, 3);
    printf("Old Value: %d, New Value: %d\n", old_value, value);
    ASSERT(5, old_value);
    ASSERT(2, value);    

    value = 5;
    old_value = __sync_val_compare_and_swap(&value, 5, 10);
    printf("Old value: %d, New value: %d\n", old_value, value); // Expected: Old value: 5, New value: 10
    ASSERT(5, old_value);
    ASSERT(10, value);
    value = 5;
    old_value = __sync_val_compare_and_swap(&value, 5, 20);
    printf("Old value: %d, New value: %d\n", old_value, value); // Expected: Old value: 5, New value: 20
    ASSERT(5, old_value);
    ASSERT(20, value);


    return 0;

}