ck_pr_fence_store(3)

ck_pr_fence_store3

Enforce partial ordering of store operations

Usage

#include <ck_pr.h>

void

ck_pr_fence_store(void);

void

ck_pr_fence_strict_store(void);

Library

Concurrency Kit (libck, -lck)

Overview

The ck_pr_fence_store() function enforces the ordering of any memory store, 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 ck_pr_fence_strict_store().

Examples

#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.

Releases

5 releases since Debian 8 (Jessie); the text changed 2 times.

  1. 8
  2. 9
  3. 11–13

From libck-dev 0.7.2-6 in Debian 13 (Trixie). Parsed by carta from the page's mdoc source.