package kcas_data

  1. Overview
  2. Docs

Module Accumulator.XtSource

Explicit transaction log passing on accumulators.

Sourceval add : xt:'x Kcas.Xt.t -> t -> int -> unit

add a n increments the value of the accumulator a by n. add operations can be performed scalably in parallel.

Sourceval incr : xt:'x Kcas.Xt.t -> t -> unit

incr a is equivalent to add a 1.

Sourceval decr : xt:'x Kcas.Xt.t -> t -> unit

decr a is equivalent to add a (-1).

Sourceval get : xt:'x Kcas.Xt.t -> t -> int

get a returns the current value of the accumulator.

CAUTION: Performing a get is expensive and can limit scalability.

Sourceval set : xt:'x Kcas.Xt.t -> t -> int -> unit

set a n sets the current value of the accumulator a to n.