Module KcasSource

Sourcemodule Backoff : module type of Backoff

Randomized exponential backoff mechanism.

Sourcemodule Loc : sig ... end

Shared memory locations.

Sourcemodule Mode : sig ... end

Operating modes of the k-CAS-n-CMP algorithm.

Sourcemodule Op : sig ... end

Operations on shared memory locations.

Sourcemodule Tx : sig ... end

Transactions on shared memory locations.