Upgrade dependencies and use (implicit_transitive_deps false)

Author: polytypic

bench/dune

@@ -3,8 +3,9 @@
  (package kcas_data)
  (libraries
   kcas_data
+  domain-local-await
+  multicore-magic
   yojson
   domain_shims
   mtime
-  mtime.clock.os
-  multicore-magic))
+  mtime.clock.os))

dune-project

@@ -1,20 +1,21 @@
-(lang dune 3.3)
+(lang dune 3.8)
 (name kcas)
 (generate_opam_files true)
 (source (github ocaml-multicore/kcas))
 (authors "KC Sivaramakrishnan <[email protected]>")
 (maintainers "Vesa Karvonen <[email protected]>" "KC Sivaramakrishnan <[email protected]>")
 (homepage "https://github.com/ocaml-multicore/kcas")
 (license ISC)
+(implicit_transitive_deps false)
 (package (name kcas)
  (synopsis "Software transactional memory based on lock-free multi-word compare-and-set")
  (description "A software transactional memory (STM) implementation based on an atomic lock-free multi-word compare-and-set (MCAS) algorithm enhanced with read-only compare operations and ability to block awaiting for changes.")
  (depends
   (ocaml (>= 4.13.0))
   (backoff (>= 0.1.0))
-  (domain-local-await (>= 0.2.0))
-  (domain-local-timeout (>= 0.1.0))
-  (multicore-magic (>= 1.0.0))
+  (domain-local-await (>= 1.0.0))
+  (domain-local-timeout (>= 1.0.0))
+  (multicore-magic (>= 2.0.0))
   (domain_shims (and (>= 0.1.0) :with-test))
   (alcotest (and (>= 1.7.0) :with-test))
   (mdx (and (>= 2.3.0) :with-test))
@@ -24,11 +25,12 @@
  (description "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.")
  (depends
   (kcas (= :version))
-  (multicore-magic (>= 1.0.0))
+  (multicore-magic (>= 2.0.0))
+  (domain-local-await (and (>= 1.0.0) :with-test))
   (domain_shims (and (>= 0.1.0) :with-test))
   (mtime (and (>= 2.0.0) :with-test))
   (alcotest (and (>= 1.7.0) :with-test))
   (mdx (and (>= 2.3.0) :with-test))
   (yojson (and (>= 2.1.0) :with-test))
   (odoc (and (>= 2.2.0) :with-doc))))
-(using mdx 0.2)
+(using mdx 0.4)

kcas.opam

@@ -13,12 +13,12 @@ license: "ISC"
 homepage: "https://github.com/ocaml-multicore/kcas"
 bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
 depends: [
-  "dune" {>= "3.3"}
+  "dune" {>= "3.8"}
   "ocaml" {>= "4.13.0"}
   "backoff" {>= "0.1.0"}
-  "domain-local-await" {>= "0.2.0"}
-  "domain-local-timeout" {>= "0.1.0"}
-  "multicore-magic" {>= "1.0.0"}
+  "domain-local-await" {>= "1.0.0"}
+  "domain-local-timeout" {>= "1.0.0"}
+  "multicore-magic" {>= "2.0.0"}
   "domain_shims" {>= "0.1.0" & with-test}
   "alcotest" {>= "1.7.0" & with-test}
   "mdx" {>= "2.3.0" & with-test}

kcas_data.opam

@@ -13,9 +13,10 @@ license: "ISC"
 homepage: "https://github.com/ocaml-multicore/kcas"
 bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
 depends: [
-  "dune" {>= "3.3"}
+  "dune" {>= "3.8"}
   "kcas" {= version}
-  "multicore-magic" {>= "1.0.0"}
+  "multicore-magic" {>= "2.0.0"}
+  "domain-local-await" {>= "1.0.0" & with-test}
   "domain_shims" {>= "0.1.0" & with-test}
   "mtime" {>= "2.0.0" & with-test}
   "alcotest" {>= "1.7.0" & with-test}

src/kcas/dune

@@ -7,6 +7,5 @@
  (package kcas)
  (deps
   (package kcas))
- (preludes kcas.prelude.ml)
  (libraries kcas backoff domain_shims)
  (files kcas.mli))

src/kcas/kcas.mli

@@ -33,7 +33,13 @@
 
     {1 A quick tour}
 
-    To use the library one first creates shared memory locations:
+    Let's first open the library for convenience:
+
+    {[
+      open Kcas
+    ]}
+
+    To use the library one creates shared memory locations:
 
     {[
       # let a = Loc.make 0
@@ -166,7 +172,7 @@ end
     module except that some of the operations take additional optional
     arguments:
 
-    - [backoff] specifies the configuration for the {!Backoff} mechanism.  In
+    - [backoff] specifies the configuration for the [Backoff] mechanism.  In
       special cases, having more detailed knowledge of the application, one
       might adjust the configuration to improve performance.
 

src/kcas/kcas.prelude.ml

@@ -1,7 +1,9 @@
 (library
  (name kcas_data)
  (public_name kcas_data)
- (libraries kcas multicore-magic))
+ (libraries
+  (re_export kcas)
+  multicore-magic))
 
 (rule
  (targets domain.ml)
@@ -17,6 +19,5 @@
  (deps
   (package kcas)
   (package kcas_data))
- (preludes kcas_data.prelude.ml)
  (libraries kcas kcas_data)
  (files kcas_data.mli))

src/kcas_data/dune

@@ -29,9 +29,16 @@
     But why should you care about composability?
 
     As an example, consider the implementation of a least-recently-used (LRU)
-    cache or a bounded associative map. A simple sequential approach to
-    implement a LRU cache is to use a hash table and a doubly-linked list and
-    keep track of the amount of space in the cache:
+    cache or a bounded associative map, but first, let's open the libraries
+    for convenience:
+
+    {[
+      open Kcas
+      open Kcas_data
+    ]}
+
+    A simple sequential approach to implement a LRU cache is to use a hash table
+    and a doubly-linked list and keep track of the amount of space in the cache:
 
     {[
       type ('k, 'v) cache =