LIBRARY

Concurrency Kit (libck, -lck)

SYNOPSIS

In ck_pr.h Ft void Fn ck_pr_fence_store void Ft void Fn ck_pr_fence_strict_store void

DESCRIPTION

The Fn ck_pr_fence_store function enfores the ordering of any memory store, Fn ck_pr_store and atomic read-modify-write operations relative to the invocation of the function. This function always serve as an implicit compiler barrier. On architectures implementing CK_MD_TSO, this operation only serves as a compiler barrier and no fences are emitted. On architectures implementing CK_MD_PSO and CK_MD_RMO, a store fence is emitted. To force the unconditional emission of a store fence, use Fn ck_pr_fence_strict_store .

EXAMPLE

#include <ck_pr.h>
static int a = 0;
static int b = 0;
static int c = 0;
void
function(void)
{
        ck_pr_store_int(&a, 1);
        /*
         * Guarantee that the store to a is completed
         * with respect to the stores of b and c.
         */
        ck_pr_fence_store();
        ck_pr_store_int(&b, 2);
        ck_pr_store_int(&c, 2);
        return;
}

RETURN VALUES

This function has no return value.