atomically_mutable_data

Author: d-kalinichenko

typing/jkind.ml

@@ -1291,6 +1291,22 @@ module Const = struct
         name = "immutable_data"
       }
 
+    let atomically_mutable_data =
+      { jkind =
+          { layout = Base Value;
+            mod_bounds =
+              Mod_bounds.create ~locality:Locality.Const.max
+                ~linearity:Linearity.Const.min
+                ~portability:Portability.Const.min ~yielding:Yielding.Const.min
+                ~uniqueness:Uniqueness.Const_op.max
+                ~contention:Contention.Const_op.min
+                ~statefulness:Statefulness.Const.min ~access:Access.Const_op.max
+                ~externality:Externality.max ~nullability:Nullability.Non_null;
+            with_bounds = No_with_bounds
+          };
+        name = "atomically_mutable_data"
+      }
+
     let mutable_data =
       { jkind =
           { layout = Base Value;
@@ -1408,6 +1424,7 @@ module Const = struct
         value_or_null;
         value;
         immutable_data;
+        atomically_mutable_data;
         mutable_data;
         void;
         immediate;
@@ -1682,6 +1699,7 @@ module Const = struct
       | "bits64" -> Builtin.bits64.jkind
       | "vec128" -> Builtin.vec128.jkind
       | "immutable_data" -> Builtin.immutable_data.jkind
+      | "atomically_mutable_data" -> Builtin.atomically_mutable_data.jkind 
       | "mutable_data" -> Builtin.mutable_data.jkind
       | _ -> raise ~loc:jkind.pjkind_loc (Unknown_jkind jkind))
       |> allow_left |> allow_right
@@ -1883,6 +1901,8 @@ module Jkind_desc = struct
 
     let immutable_data = of_const Const.Builtin.immutable_data.jkind
 
+    let atomically_mutable_data = of_const Const.Builtin.atomically_mutable_data.jkind
+
     let mutable_data = of_const Const.Builtin.mutable_data.jkind
 
     let void = of_const Const.Builtin.void.jkind
@@ -1977,6 +1997,11 @@ module Builtin = struct
       ~annotation:(mk_annot "immutable_data")
       ~why:(Value_creation why)
 
+  let atomically_mutable_data ~(why : History.value_creation_reason) =
+    fresh_jkind Jkind_desc.Builtin.atomically_mutable_data
+      ~annotation:(mk_annot "atomically_mutable_data")
+      ~why:(Value_creation why)
+
   let mutable_data ~(why : History.value_creation_reason) =
     fresh_jkind Jkind_desc.Builtin.mutable_data
       ~annotation:(mk_annot "mutable_data") ~why:(Value_creation why)

typing/jkind.mli

@@ -276,6 +276,9 @@ module Const : sig
     (** Immutable values that don't contain functions. *)
     val immutable_data : t
 
+    (** Atomically mutable values that don't contain functions. *)
+    val atomically_mutable_data : t
+
     (** Mutable values that don't contain functions. *)
     val mutable_data : t
 
@@ -336,6 +339,9 @@ module Builtin : sig
   (** This is suitable for records or variants without mutable fields. *)
   val immutable_data : why:History.value_creation_reason -> 'd Types.jkind
 
+  (** This is suitable for records or variants with atomically mutable fields. *)
+  val atomically_mutable_data : why:History.value_creation_reason -> 'd Types.jkind
+
   (** This is suitable for records or variants with mutable fields. *)
   val mutable_data : why:History.value_creation_reason -> 'd Types.jkind