Merge pull request #32 from ocaml-multicore/add-blocking

Add blocking

Author: polytypic

README.md

@@ -7,12 +7,13 @@
 (homepage "https://github.com/ocaml-multicore/kcas")
 (license "ISC")
 (package (name kcas)
- (synopsis "Multi-word compare-and-set library")
+ (synopsis "Software transactional memory based on lock-free multi-word compare-and-set")
  (depends 
   (ocaml (>= 5.0))
+  (domain-local-await (>= 0.1.0))
   (mdx (and (>= 1.10.0) :with-test))))
 (package (name kcas_data)
- (synopsis "Compositional lock-free data structures")
+ (synopsis "Compositional lock-free data structures and primitives for communication and synchronization")
  (depends
   (kcas (= :version))
   (mdx (and (>= 1.10.0) :with-test))))

dune-project

@@ -1,6 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Multi-word compare-and-set library"
+synopsis:
+  "Software transactional memory based on lock-free multi-word compare-and-set"
 maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
 authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
 license: "ISC"
@@ -9,6 +10,7 @@ bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
 depends: [
   "dune" {>= "3.3"}
   "ocaml" {>= "5.0"}
+  "domain-local-await" {>= "0.1.0"}
   "mdx" {>= "1.10.0" & with-test}
   "odoc" {with-doc}
 ]

kcas.opam

@@ -1,6 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Compositional lock-free data structures"
+synopsis:
+  "Compositional lock-free data structures and primitives for communication and synchronization"
 maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
 authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
 license: "ISC"

kcas_data.opam

@@ -16,6 +16,8 @@
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *)
 
+(** Randomized exponential backoff mechanism. *)
+
 type t
 (** Type of backoff values. *)
 

src/backoff.mli

@@ -1,3 +1,4 @@
 (library
  (name kcas)
- (public_name kcas))
+ (public_name kcas)
+ (libraries threads domain-local-await))