Module Stdlib.Atomic
Contents
Instructions: Use this module in your project
In the IDE (CLion, Visual Studio Code, Xcode, etc.) you use for your DkSDK project:
Add the following to your project's
dependencies/CMakeLists.txt
:DkSDKProject_DeclareAvailable(ocaml CONSTRAINT "= 4.14.0" FINDLIBS str unix runtime_events threads dynlink) DkSDKProject_MakeAvailable(ocaml)
Add the
Findlib::ocaml
library to any desired targets insrc/*/CMakeLists.txt
:target_link_libraries(YourPackage_YourLibraryName # ... existing libraries, if any ... Findlib::ocaml)
Click your IDE's
Build
button
Not using DkSDK?
FIRST, do one or all of the following:
Run:
opam install ocaml.4.14.0
Edit your
dune-project
and add:(package (name YourExistingPackage) (depends ; ... existing dependenices ... (ocaml (>= 4.14.0))))
Then run:
dune build *.opam # if this fails, run: dune build
Edit your
<package>.opam
file and add:depends: [ # ... existing dependencies ... "ocaml" {>= "4.14.0"} ]
Then run:
opam install . --deps-only
FINALLY, add the library to any desired
(library)
and/or (executable)
targets in your **/dune
files:
(library
(name YourLibrary)
; ... existing library options ...
(libraries
; ... existing libraries ...
))
(executable
(name YourExecutable)
; ... existing executable options ...
(libraries
; ... existing libraries ...
))
type
``!'a t
An atomic (mutable) reference to a value of type 'a
.
val
make :
'a
->
'a
t
Create an atomic reference.
val
get :
'a
t
->
'a
Get the current value of the atomic reference.
val
set :
'a
t
->
'a
->
unit
Set a new value for the atomic reference.
val
exchange :
'a
t
->
'a
->
'a
Set a new value for the atomic reference, and return the current value.
val
compare_and_set :
'a
t
->
'a
->
'a
->
bool
compare_and_set r seen v
sets the new value of r
to v
only if its
current value is physically equal to seen
-- the comparison and the
set occur atomically. Returns true
if the comparison succeeded (so the
set happened) and false
otherwise.
val
fetch_and_add : ``int
t
->
``int
->
int
fetch_and_add r n
atomically increments the value of r
by n
, and
returns the current value (before the increment).
val
incr : ``int
t
->
unit
incr r
atomically increments the value of r
by 1
.
val
decr : ``int
t
->
unit
decr r
atomically decrements the value of r
by 1
.