upstream-extra: add saturn.0.5.0 and kcas_data.0.7.0

And dependencies: * backoff.0.1.0 * containers.3.9 * domain-local-await.1.0.1 * domain-local-timeout.1.0.1 * domain_shims.0.1.0 * dscheck.0.5.0 * kcas.0.7.0 * mdx.2.4.1 * multicore-bench.0.1.5 * multicore-magic-dscheck.2.3.0 * multicore-magic.2.3.0 * oseq.0.5.1 * qcheck-multicoretest-util.0.4 * qcheck-stm-0.4 * saturn_lockfree.0.5.0 * thread-table.1.0.0 * tsort.2.1.0 This isn't used in the product yet, but having it in xs-opam allows us to start experimenting, and perhaps add some feature flagged code to XAPI that uses these. Signed-off-by: Edwin Török <[email protected]>
xapi-project · Sep 19, 2024 · e034b2d · e034b2d
1 parent 66cc829
commit e034b2d
Show file tree

Hide file tree

Showing 20 changed files with 822 additions and 1 deletion.
diff --git a/.github/unused-upstream.txt b/.github/unused-upstream.txt
@@ -2,7 +2,6 @@ either
 fix
 logs-syslog
 memtrace
-ocaml-version
 ocamlformat
 ocamlformat-lib
 ocp-indent

diff --git a/packages/upstream-extra/backoff.0.1.0/opam b/packages/upstream-extra/backoff.0.1.0/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis: "Exponential backoff mechanism for OCaml"
+maintainer: ["Carine Morel <[email protected]>"]
+authors: ["KC Sivaramakrishnan <[email protected]>"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/backoff"
+bug-reports: "https://github.com/ocaml-multicore/backoff/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "ocaml" {>= "4.13"}
+  "alcotest" {>= "1.7.0" & with-test}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/backoff.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/backoff/releases/download/0.1.0/backoff-0.1.0.tbz"
+  checksum: [
+    "sha256=11a4ac78229e90d134de068d8aa879635d6bf1317d5ee951f4065ba0f58c2300"
+    "sha512=a506acb27b91810ece757f79c203a8d25bb7cd8ba0d7f61bc2cd85eb27916b6f1c87d02343f8974672f40c823b61544c7f42f8dad9351d73a20b8ef2ca145b72"
+  ]
+}
+x-commit-hash: "2ffac8ca51a822234b1e47af0430443b9c86cb13"
diff --git a/packages/upstream-extra/containers.3.9/opam b/packages/upstream-extra/containers.3.9/opam
@@ -0,0 +1,44 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+license: "BSD-2-Clause"
+synopsis: "A modular, clean and powerful extension of the OCaml standard library"
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name ] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "x86_32" & arch != "arm32"}
+]
+depends: [
+  "ocaml" { >= "4.03.0" }
+  "dune" { >= "2.0" }
+  "dune-configurator"
+  "seq" # compat
+  "either" # compat
+  (("ocaml" {with-test & < "4.08"} & "qcheck-core" {>= "0.17" & with-test})
+  | ("ocaml" {with-test & >= "4.08"} & "qcheck-core" {>= "0.18" & with-test}))
+  "yojson" { with-test }
+  "iter" { with-test }
+  "gen" { with-test }
+  "csexp" { with-test }
+  "uutf" { with-test }
+  "odoc" { with-doc }
+]
+depopts: [
+  "base-unix"
+  "base-threads"
+]
+conflicts: [
+  "ocaml-option-bytecode-only"
+]
+tags: [ "stdlib" "containers" "iterators" "list" "heap" "queue" ]
+homepage: "https://github.com/c-cube/ocaml-containers/"
+doc: "https://c-cube.github.io/ocaml-containers"
+dev-repo: "git+https://github.com/c-cube/ocaml-containers.git"
+bug-reports: "https://github.com/c-cube/ocaml-containers/issues/"
+authors: "Simon Cruanes"
+url {
+  src: "https://github.com/c-cube/ocaml-containers/archive/v3.9.tar.gz"
+  checksum: [
+    "md5=c54431781906065ead3a089883f94726"
+    "sha512=8c954cb5ff01dc73a4e04ce2ef8fb5ad5162f16b2e4b2463501dd60c428d388c03c5b641c62b5876cd0d5ac5dc244d6a44d4d92a18525a03bdbf9cca82321272"
+  ]
+}
diff --git a/packages/upstream-extra/domain-local-await.1.0.1/opam b/packages/upstream-extra/domain-local-await.1.0.1/opam
@@ -0,0 +1,43 @@
+opam-version: "2.0"
+synopsis: "A scheduler independent blocking mechanism"
+description:
+  "A low level mechanism intended for writing higher level libraries that need to block in a scheduler friendly manner."
+maintainer: ["Vesa Karvonen <[email protected]>"]
+authors: ["Vesa Karvonen <[email protected]>"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/domain-local-await"
+bug-reports: "https://github.com/ocaml-multicore/domain-local-await/issues"
+depends: [
+  "dune" {>= "3.8"}
+  "ocaml" {>= "4.12.0"}
+  "thread-table" {>= "1.0.0"}
+  "alcotest" {>= "1.7.0" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "ocaml-version" {>= "3.6.1" & with-test}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test & os != "macos"}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/domain-local-await.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/domain-local-await/releases/download/1.0.1/domain-local-await-1.0.1.tbz"
+  checksum: [
+    "sha256=2952113c53cb07e2b054b2dc86ce72939131dab8207c8f3139adb23e64cdfa6f"
+    "sha512=6f9805fc032f8afcfba2b0df11b48482c6af14d63f825b09e49e31f9cfc1b196c74981a5b4682ca862e300f9a931b16c6396bd7921513add586df98ba9958ec5"
+  ]
+}
+x-commit-hash: "2028ac338517b91fa93072486d03769d56b3f4df"
diff --git a/packages/upstream-extra/domain-local-timeout.1.0.1/opam b/packages/upstream-extra/domain-local-timeout.1.0.1/opam
@@ -0,0 +1,44 @@
+opam-version: "2.0"
+synopsis: "A scheduler independent timeout mechanism"
+description:
+  "A low level mechanism intended for writing higher level libraries that need to be able to have scheduler friendly timeouts."
+maintainer: ["Vesa Karvonen <[email protected]>"]
+authors: ["Vesa Karvonen <[email protected]>"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/domain-local-timeout"
+bug-reports: "https://github.com/ocaml-multicore/domain-local-timeout/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "ocaml" {>= "4.12.0"}
+  "psq" {>= "0.2.1"}
+  "mtime" {>= "2.0.0"}
+  "thread-table" {>= "1.0.0"}
+  "domain-local-await" {>= "1.0.0" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "alcotest" {>= "1.7.0" & with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/domain-local-timeout.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/domain-local-timeout/releases/download/1.0.1/domain-local-timeout-1.0.1.tbz"
+  checksum: [
+    "sha256=eac0aa5243a337c13eece2d4c15427b64bf4beb4039060d5f0a36a0e1566d1df"
+    "sha512=32ecb0c41a10e3a68f5a8774c48d6b8598cbc81494dd1fb716c7d2d97ca14cbe2b59a02aa64d2ee6d53aa57b4e16c8992b6a592938bb3c70a2517273bde340f3"
+  ]
+}
+x-commit-hash: "70847fb897f52d7ede023058bb53be9e167f5e45"
diff --git a/packages/upstream-extra/domain_shims.0.1.0/opam b/packages/upstream-extra/domain_shims.0.1.0/opam
@@ -0,0 +1,22 @@
+opam-version: "2.0"
+maintainer: "Gabriel Scherer <[email protected]>"
+authors: ["Gabriel Scherer <[email protected]>"]
+homepage: "https://gitlab.com/gasche/domain-shims"
+doc: "https://gitlab.com/gasche/domain-shims"
+synopsis: "A non-parallel implementation of Domains compatible with OCaml 4"
+license: "MIT"
+dev-repo: "git+https://gitlab.com/gasche/domain-shims.git"
+bug-reports: "https://gitlab.com/gasche/domain-shims/issues"
+depends: [
+  "ocaml" {>= "4.12"}
+  "dune" {>= "3.0"}
+]
+build: ["dune" "build" "-p" name "-j" jobs]
+url {
+  src:
+    "https://gitlab.com/gasche/domain-shims/-/archive/0.1.0/domain-shims-0.1.0.tar.gz"
+  checksum: [
+    "sha256=0867711591fa72a56a26a471a864f09f607212571ea0851cb4c07ee7f1304d31"
+    "sha512=aef52e40ce48623a4679116d4f1008e333ef28ed4dee81a30dd3e5858745bde2d5045b89add71090282c281578b9b90cc7730253490e0fef00074ee78d36dbef"
+  ]
+}
diff --git a/packages/upstream-extra/dscheck.0.5.0/opam b/packages/upstream-extra/dscheck.0.5.0/opam
@@ -0,0 +1,41 @@
+opam-version: "2.0"
+synopsis: "Traced Atomics"
+maintainer: ["Sadiq Jaffer"]
+authors: ["Sadiq Jaffer"]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/dscheck"
+bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
+depends: [
+  "ocaml" {>= "4.12.0"}
+  "dune" {>= "3.9"}
+  "containers"
+  "tsort"
+  "oseq"
+  "alcotest" {>= "1.6.0" & with-test}
+  "cmdliner"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
+url {
+  src:
+    "https://github.com/ocaml-multicore/dscheck/releases/download/0.5.0/dscheck-0.5.0.tbz"
+  checksum: [
+    "sha256=f519b60e676f55e0a4800582be461d4138fde30994ec9918f142377d1788686d"
+    "sha512=08a4e5ac7a74dace04e1f146b23e5e270d1bc6b72d297155cf578ad3fcd6554bddc780353d9deef14334da5b98467332a57b4888b8cbf99f4b5ab814f97b53a6"
+  ]
+}
+x-commit-hash: "eabfa49a6572a2cef3745a6796da347d2e1e3579"
diff --git a/packages/upstream-extra/kcas.0.7.0/opam b/packages/upstream-extra/kcas.0.7.0/opam
@@ -0,0 +1,54 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+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."
+maintainer: [
+  "Vesa Karvonen <[email protected]>"
+  "KC Sivaramakrishnan <[email protected]>"
+]
+authors: [
+  "KC Sivaramakrishnan <[email protected]>"
+  "Vesa Karvonen <[email protected]>"
+]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.14"}
+  "ocaml" {>= "4.13.0"}
+  "backoff" {>= "0.1.0"}
+  "domain-local-await" {>= "1.0.1"}
+  "domain-local-timeout" {>= "1.0.1"}
+  "multicore-magic" {>= "2.1.0"}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "alcotest" {>= "1.7.0" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "sherlodoc" {>= "0.2" & with-doc}
+  "odoc" {>= "2.4.1" & with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+doc: "https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
+  checksum: [
+    "md5=f1dc3178e99f1af4680d6046b6449481"
+    "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
+  ]
+}
diff --git a/packages/upstream-extra/kcas_data.0.7.0/opam b/packages/upstream-extra/kcas_data.0.7.0/opam
@@ -0,0 +1,56 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Compositional lock-free data structures and primitives for communication and synchronization"
+description:
+  "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas."
+maintainer: [
+  "Vesa Karvonen <[email protected]>"
+  "KC Sivaramakrishnan <[email protected]>"
+]
+authors: [
+  "KC Sivaramakrishnan <[email protected]>"
+  "Vesa Karvonen <[email protected]>"
+]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.14"}
+  "kcas" {= version}
+  "multicore-magic" {>= "2.1.0"}
+  "backoff" {>= "0.1.0" & with-test}
+  "domain-local-await" {>= "1.0.1" & with-test}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "multicore-bench" {>= "0.1.1" & with-test}
+  "alcotest" {>= "1.7.0" & with-test}
+  "qcheck-core" {>= "0.21.2" & with-test}
+  "qcheck-stm" {>= "0.3" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "sherlodoc" {>= "0.2" & with-doc}
+  "odoc" {>= "2.4.1" & with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+doc: "https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
+  checksum: [
+    "md5=f1dc3178e99f1af4680d6046b6449481"
+    "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
+  ]
+}