NAME

ck_pr_fence_atomic —

enforce partial ordering of atomic read-modify-write operations

LIBRARY

Concurrency Kit (libck, -lck)

SYNOPSIS

#include <ck_pr.h>

void
ck_pr_fence_atomic(void);

void
ck_pr_fence_strict_atomic(void);

DESCRIPTION

The ck_pr_fence_atomic() function enforces the ordering of any 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 fence, use ck_pr_fence_strict_atomic().

EXAMPLE


#include <ck_pr.h>

static int a = 0;
static int b = 0;
static int c = 0;

void
function(void)
{

	ck_pr_fas_int(&a, 1);

	/*
	 * Guarantee that the update to a is completed
	 * with respect to the updates of b and c.
	 */
	ck_pr_fence_atomic();
	ck_pr_fas_int(&b, 2);
	ck_pr_fas_int(&c, 2);

	return;
}

RETURN VALUES

This function has no return value.