NAME

ck_pr_fence_load_store — enforce ordering of load operations to store operations

LIBRARY

Concurrency Kit (libck, -lck)

SYNOPSIS

#include <ck_pr.h>

void
ck_pr_fence_load_store(void);

void
ck_pr_fence_strict_load_store(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_store() 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_store(). 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_a = ck_pr_load_uint(&a);

	/*
	 * Guarantee that the load from "a" completes
	 * before the store to "b".
	 */
	ck_pr_fence_load_store();
	ck_pr_store_uint(&b, 1);

	return;
}

RETURN VALUES

This function has no return value.