package kcas

You can search for identifiers within the package.

in-package search v0.2.0

package kcas

kcas
- Kcas
  - Backoff
  - W1

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a ref

The type of shared memory reference.

val ref : 'a -> 'a ref

Create a new reference.

val get : 'a ref -> 'a

Get the value of the reference.

val set : 'a ref -> 'a -> unit

val cas : 'a ref -> 'a -> 'a -> bool

cas r e u updates the reference r to value u if the current content of r is e.

val try_map : 'a ref -> ('a -> 'a option) -> 'a cas_result

try_map r f invokes f c, where c is the result of get r. If the result of f c is None, then Aborted is returned. If the result of f c is Some v, then attempt to CAS update r from c to v. If the CAS succeeds, then Success c is returned. If the CAS fails, then Failed is returned.

val map : 'a ref -> ('a -> 'a option) -> 'a cas_result

Like try_map but retries on CAS failure. Hence, map r f never returns Failed.

val incr : int ref -> unit

incr r atomically increments r

val decr : int ref -> unit