1ck_pr_fence_store(3) BSD Library Functions Manual ck_pr_fence_store(3)
2
4 ck_pr_fence_store — enforce partial ordering of store operations
5
7 Concurrency Kit (libck, -lck)
8
10 #include <ck_pr.h>
11
12 void
13 ck_pr_fence_store(void);
14
15 void
16 ck_pr_fence_strict_store(void);
17
19 The ck_pr_fence_store() function enforces the ordering of any memory
20 store, ck_pr_store() and atomic read-modify-write operations relative to
21 the invocation of the function. This function always serve as an implicit
22 compiler barrier. On architectures implementing CK_MD_TSO, this operation
23 only serves as a compiler barrier and no fences are emitted. On architec‐
24 tures implementing CK_MD_PSO and CK_MD_RMO, a store fence is emitted. To
25 force the unconditional emission of a store fence, use
26 ck_pr_fence_strict_store().
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_store_int(&a, 1);
40
41 /*
42 * Guarantee that the store to a is completed
43 * with respect to the stores of b and c.
44 */
45 ck_pr_fence_store();
46 ck_pr_store_int(&b, 2);
47 ck_pr_store_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(3), ck_pr_fence_atomic_store(3),
57 ck_pr_fence_atomic_load(3), ck_pr_fence_load(3),
58 ck_pr_fence_load_atomic(3), ck_pr_fence_load_store(3),
59 ck_pr_fence_load_depends(3), ck_pr_fence_memory(3), ck_pr_barrier(3),
60 ck_pr_fas(3), ck_pr_load(3), ck_pr_store(3), ck_pr_faa(3), ck_pr_inc(3),
61 ck_pr_dec(3), ck_pr_neg(3), ck_pr_not(3), ck_pr_add(3), ck_pr_sub(3),
62 ck_pr_and(3), ck_pr_or(3), ck_pr_xor(3), ck_pr_cas(3), ck_pr_btc(3),
63 ck_pr_bts(3), ck_pr_btr(3)
64
65 Additional information available at http://concurrencykit.org/
66
67 April 7, 2013