NAME

ck_pr_fence_load_atomic — enforce ordering of load operations to atomic read-modify-write operations

LIBRARY

Concurrency Kit (libck, -lck)

SYNOPSIS

#include <ck_pr.h>

void
ck_pr_fence_load_atomic(void);

void
ck_pr_fence_strict_load_atomic(void);

DESCRIPTION

This function enforces the ordering of any memory load and ck_pr_load(3) operations with respect to store operations relative to the invocation of the function. Any store operations that were committed on remote processors and received by the calling processor before the invocation of ck_pr_fence_load_atomic() is also be made visible only after a call to the ck_pr_fence_load family of functions. This function always serves as an implicit compiler barrier. On architectures with CK_MD_TSO or CK_MD_PSO specified (total store ordering and partial store ordering respectively), this operation only serves as a compiler barrier and no fence instructions will be emitted. To force the unconditional emission of a load fence, use ck_pr_fence_strict_load_atomic(). Architectures implementing CK_MD_RMO always emit a fence.

EXAMPLE

#include <ck_pr.h>

static unsigned int a;
static unsigned int b;

void
function(void)
{
	unsigned int snapshot_a, snapshot_b;

	snapshot_a = ck_pr_load_uint(&a);

	/*
	 * Guarantee that the load from "a" completes
	 * before the update to "b".
	 */
	ck_pr_fence_load_atomic();
	ck_pr_fas_uint(&b, 1);

	return;
}

RETURN VALUES

This function has no return value.