mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
remove Atomic stubs, we're already depending on >4.12
This commit is contained in:
parent
83acc18d3d
commit
2dcc858384
1 changed files with 0 additions and 46 deletions
|
|
@ -1,46 +0,0 @@
|
||||||
[@@@ifge 4.12]
|
|
||||||
|
|
||||||
include Atomic
|
|
||||||
|
|
||||||
[@@@else_]
|
|
||||||
|
|
||||||
type 'a t = { mutable x: 'a }
|
|
||||||
|
|
||||||
let[@inline] make x = { x }
|
|
||||||
let[@inline] get { x } = x
|
|
||||||
let[@inline] set r x = r.x <- x
|
|
||||||
|
|
||||||
let[@inline never] exchange r x =
|
|
||||||
(* atomic *)
|
|
||||||
let y = r.x in
|
|
||||||
r.x <- x;
|
|
||||||
(* atomic *)
|
|
||||||
y
|
|
||||||
|
|
||||||
let[@inline never] compare_and_set r seen v =
|
|
||||||
(* atomic *)
|
|
||||||
if r.x == seen then (
|
|
||||||
r.x <- v;
|
|
||||||
(* atomic *)
|
|
||||||
true
|
|
||||||
) else
|
|
||||||
false
|
|
||||||
|
|
||||||
let[@inline never] fetch_and_add r x =
|
|
||||||
(* atomic *)
|
|
||||||
let v = r.x in
|
|
||||||
r.x <- x + r.x;
|
|
||||||
(* atomic *)
|
|
||||||
v
|
|
||||||
|
|
||||||
let[@inline never] incr r =
|
|
||||||
(* atomic *)
|
|
||||||
r.x <- 1 + r.x
|
|
||||||
(* atomic *)
|
|
||||||
|
|
||||||
let[@inline never] decr r =
|
|
||||||
(* atomic *)
|
|
||||||
r.x <- r.x - 1
|
|
||||||
(* atomic *)
|
|
||||||
|
|
||||||
[@@@endif]
|
|
||||||
Loading…
Add table
Reference in a new issue