1CK_PR_FENCE_ATOMIC(3) BSD Library Functions Manual CK_PR_FENCE_ATOMIC(3)
2
4 ck_pr_fence_atomic — enforce partial ordering of atomic read-modify-write
5 operations
6
8 Concurrency Kit (libck, -lck)
9
11 #include <ck_pr.h>
12
13 void
14 ck_pr_fence_atomic(void);
15
16 void
17 ck_pr_fence_strict_atomic(void);
18
20 The ck_pr_fence_atomic() function enforces the ordering of any atomic
21 read-modify-write operations relative to the invocation of the function.
22 This function always serve as an implicit compiler barrier. On architec‐
23 tures implementing CK_MD_TSO, this operation only serves as a compiler
24 barrier and no fences are emitted. On architectures implementing
25 CK_MD_PSO and CK_MD_RMO, a store fence is emitted. To force the uncondi‐
26 tional emission of a fence, use ck_pr_fence_strict_atomic().
27
29 #include <ck_pr.h>
30
31 static int a = 0;
32 static int b = 0;
33 static int c = 0;
34
35 void
36 function(void)
37 {
38
39 ck_pr_fas_int(&a, 1);
40
41 /*
42 * Guarantee that the update to a is completed
43 * with respect to the updates of b and c.
44 */
45 ck_pr_fence_atomic();
46 ck_pr_fas_int(&b, 2);
47 ck_pr_fas_int(&c, 2);
48
49 return;
50 }
51
53 This function has no return value.
54
56 ck_pr_stall(3), ck_pr_fence_atomic_store(3), ck_pr_fence_atomic_load(3),
57 ck_pr_fence_store(3), ck_pr_fence_load(3), ck_pr_fence_load_atomic(3),
58 ck_pr_fence_load_store(3), ck_pr_fence_load_depends(3),
59 ck_pr_fence_memory(3), ck_pr_barrier(3), ck_pr_fas(3), ck_pr_load(3),
60 ck_pr_store(3), ck_pr_faa(3), ck_pr_inc(3), ck_pr_dec(3), ck_pr_neg(3),
61 ck_pr_not(3), ck_pr_add(3), ck_pr_sub(3), ck_pr_and(3), ck_pr_or(3),
62 ck_pr_xor(3), ck_pr_cas(3), ck_pr_btc(3), ck_pr_bts(3), ck_pr_btr(3)
63
64 Additional information available at http://concurrencykit.org/
65
66 May 16, 2013