Organisationsocaml-multicorekcasb77e4d ()alpine-3.20-5.2_opam-2.2

alpine-3.20-5.2_opam-2.2

Link Copied
Code Copied

Logs

2024-09-19 12:56.08: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/port-to-picos (b77e4d316f7db91d4c4a0eeb2ca2360d79b712bd) (linux-x86_64:alpine-3.20-5.2_opam-2.2)
Base: ocaml/opam:alpine-3.20-ocaml-5.2@sha256:438c72033b20ee374a28968b3219bffa87e179d8d1e3fb1eb4f9b60379eb0db3
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/kcas.git" -b "port-to-picos" && cd "kcas" && git reset --hard b77e4d31
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.20-ocaml-5.2@sha256:438c72033b20ee374a28968b3219bffa87e179d8d1e3fb1eb4f9b60379eb0db3
# alpine-3.20-5.2_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 kcas_data.opam kcas.opam ./
RUN opam pin add -yn kcas_data.dev './' && \
    opam pin add -yn kcas.dev './'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.5 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 picos.0.5.0 picos_aux.0.5.0 picos_io.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 psq.0.2.1 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y kcas_data.dev kcas.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-09-19 12:56.08: Using cache hint "ocaml-multicore/kcas-ocaml/opam:alpine-3.20-ocaml-5.2@sha256:438c72033b20ee374a28968b3219bffa87e179d8d1e3fb1eb4f9b60379eb0db3-alpine-3.20-5.2_opam-2.2-aaa83b2e7b0303d6c8e45ba7356fa33f"
2024-09-19 12:56.08: Using OBuilder spec:
((from ocaml/opam:alpine-3.20-ocaml-5.2@sha256:438c72033b20ee374a28968b3219bffa87e179d8d1e3fb1eb4f9b60379eb0db3)
 (comment alpine-3.20-5.2_opam-2.2)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src kcas_data.opam kcas.opam) (dst ./))
 (run (network host)
      (shell  "opam pin add -yn kcas_data.dev './' && \
             \nopam pin add -yn kcas.dev './'"))
 (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.5 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 picos.0.5.0 picos_aux.0.5.0 picos_io.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 psq.0.2.1 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y kcas_data.dev kcas.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-09-19 12:56.08: Waiting for resource in pool OCluster
2024-09-19 12:56.08: Waiting for worker…
2024-09-19 12:57.09: Got resource from pool OCluster
Building on x86-bm-c14.sw.ocaml.org
All commits already cached
HEAD is now at b77e4d3 The `Effect.Unhandled` mystery


(from ocaml/opam:alpine-3.20-ocaml-5.2@sha256:438c72033b20ee374a28968b3219bffa87e179d8d1e3fb1eb4f9b60379eb0db3)
2024-09-19 12:57.10 ---> using "8e594ddbc61b89628a9846d83a9ca2102edaa54a0b33a1a8f60d33d7e563aba3" from cache


/: (comment alpine-3.20-5.2_opam-2.2)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-09-19 12:57.10 ---> using "db42240efdd64d1140f19f795a951353ee20bcabb192df48dc5b5f85a2a46eff" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 255 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=255 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-19 12:57.10 ---> using "3fcdda3d723c21a06e251e4f492eb01b73e1a69601de11316f45d3ae7a8e9e0a" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-121-generic
The OCaml toplevel, version 5.2.0
2.2.1
2024-09-19 12:57.10 ---> using "d451fdaa0671d87012506f44049e42bd5f8a784f2ae6babf911c6de2b8f77212" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-09-19 12:57.10 ---> using "8a72c1416b83bb643624a10ed458e18c125e0903bdf75c3cd575a9b8f1ed367f" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   e89899ac28..45f961713f  master     -> origin/master
45f961713f Merge pull request #26585 from dra27/trunk-tweaks


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-09-19 12:57.10 ---> using "7c65877ccaa67f0e01677a8f6a25caf6bb9d87b634d81c80917c6a436f392556" from cache


/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2024-09-19 12:57.10 ---> saved as "612d5e669dbca5a46361c34bc941d0045567a5bcba064e006a784fb76b60d89b"


/src: (run (network host)
           (shell  "opam pin add -yn kcas_data.dev './' && \
                  \nopam pin add -yn kcas.dev './'"))
[kcas_data.dev] synchronised (file:///src)
kcas_data is now pinned to file:///src (version dev)
[kcas.dev] synchronised (file:///src)
kcas is now pinned to file:///src (version dev)
2024-09-19 12:57.16 ---> saved as "c22d1fd56f779a572fd19ffe88927f01700255deab2076ce264c03d5f284f1f0"


/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.5 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 picos.0.5.0 picos_aux.0.5.0 picos_io.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 psq.0.2.1 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y kcas_data.dev kcas.dev $DEPS"))
+ /usr/bin/sudo "apk" "update"
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
- v3.20.3-58-g5129f0b26c4 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
- v3.20.3-58-g5129f0b26c4 [https://dl-cdn.alpinelinux.org/alpine/v3.20/community]
- v20240807-2579-gfae84808f6c [https://dl-cdn.alpinelinux.org/alpine/edge/main]
- v20240807-2591-g2052fe80315 [https://dl-cdn.alpinelinux.org/alpine/edge/community]
- v20240807-2589-gcbf7a5b6a10 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]
- OK: 55176 distinct packages available


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[kcas.dev] synchronised (no changes)
[kcas_data.dev] synchronised (no changes)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-09-19 12:57.38 ---> saved as "8e65a07bc38772bb1d3ea715190af94710b19f0f81c3b6d91267e4ce7ae6c818"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 38 packages
  - install alcotest                   1.8.0
  - install astring                    0.8.5
  - install backoff                    0.1.0
  - install camlp-streams              5.0.1
  - install cmdliner                   1.3.0
  - install cppo                       1.7.0
  - install csexp                      1.5.2
  - install domain-local-await         1.0.1
  - install domain_shims               0.1.0
  - install dune                       3.16.0
  - install fmt                        0.9.0
  - install logs                       0.7.0
  - install mdx                        2.4.1
  - install mtime                      2.1.0
  - install multicore-bench            0.1.5
  - install multicore-magic            2.3.0
  - install ocaml-syntax-shims         1.0.0
  - install ocaml-version              3.6.8
  - install ocamlbuild                 0.15.0
  - install ocamlfind                  1.9.6
  - install picos                      0.5.0
  - install picos_aux                  0.5.0
  - install picos_io                   0.5.0
  - install picos_mux                  0.5.0
  - install picos_std                  0.5.0
  - install psq                        0.2.1
  - install qcheck-core                0.22
  - install qcheck-multicoretests-util 0.4
  - install qcheck-stm                 0.4
  - install re                         1.12.0
  - install result                     1.5
  - install seq                        base
  - install stdlib-shims               0.3.0
  - install thread-local-storage       0.2
  - install thread-table               1.0.0
  - install topkg                      1.0.7
  - install uutf                       1.0.3
  - install yojson                     2.2.2


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved backoff.0.1.0  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved cppo.1.7.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.5  (cached)
-> retrieved multicore-magic.2.3.0  (cached)
-> retrieved mdx.2.4.1  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.3.6.8  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved picos.0.5.0, picos_aux.0.5.0, picos_io.0.5.0, picos_mux.0.5.0, picos_std.0.5.0  (cached)
-> retrieved psq.0.2.1  (cached)
-> retrieved qcheck-core.0.22  (cached)
-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved result.1.5  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved thread-local-storage.0.2  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved dune.3.16.0  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed mtime.2.1.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed dune.3.16.0
-> installed domain_shims.0.1.0
-> installed backoff.0.1.0
-> installed csexp.1.5.2
-> installed result.1.5
-> installed stdlib-shims.0.3.0
-> installed ocaml-version.3.6.8
-> installed multicore-magic.2.3.0
-> installed psq.0.2.1
-> installed camlp-streams.5.0.1
-> installed thread-table.1.0.0
-> installed thread-local-storage.0.2
-> installed picos_aux.0.5.0
-> installed domain-local-await.1.0.1
-> installed picos.0.5.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.12.0
-> installed cppo.1.7.0
-> installed picos_std.0.5.0
-> installed yojson.2.2.2
-> installed qcheck-core.0.22
-> installed picos_io.0.5.0
-> installed qcheck-multicoretests-util.0.4
-> installed multicore-bench.0.1.5
-> installed alcotest.1.8.0
-> installed picos_mux.0.5.0
-> installed qcheck-stm.0.4
-> installed mdx.2.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-19 12:58.50 ---> saved as "136a7e8d51a3654b2879a811dc260c256ac4c9f09904da2746bec76ec1f00be6"


/src: (copy (src .) (dst /src))
2024-09-19 12:58.50 ---> saved as "d3899d653fc9fe64c6c211daae599dc7fc8384ba426bbe133e083625fc21f909"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/kcas && ./loc_modes.exe)
Loc modes OK!
(cd _build/default/test/kcas_data && ./lru_cache_example.exe)
LRU Cache OK!
(cd _build/default/test/kcas_data && ./stack_test.exe)
Testing `Stack'.
This run has ID `COGBAAQB'.


  [OK]          basics          0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Stack'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./xt_test.exe)
Testing `Transactions'.
This run has ID `H2Y2A94J'.


  [OK]          basics          0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Transactions'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./dllist_test.exe)
Testing `Dllist'.
This run has ID `R63TN5YH'.


  [OK]          basics          0   
  [OK]          add             0   
  [OK]          move            0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Dllist'.
Test Successful in 0.001s. 3 tests run.
(cd _build/default/test/kcas && ./threads.exe)
Testing `Threads'.
This run has ID `SE7DBCOV'.


  [OK]          await between threads          0   


Full test results in `/src/_build/default/test/kcas/_build/_tests/Threads'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas_data && ./queue_test.exe)
Testing `Queue'.
This run has ID `O6HP63FM'.


  [OK]          basics          0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Queue'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./mvar_test.exe)
Testing `Mvar'.
This run has ID `0MTKT58B'.


  [OK]          basics          0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Mvar'.
Test Successful in 0.010s. 1 test run.
(cd _build/default/test/kcas_data && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `EM4TVRE6'.


  [OK]          replace and remove          0   
  [OK]          large tx                    0   
  [OK]          large ops                   0   
  [OK]          basics                      0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Hashtbl'.
Test Successful in 0.067s. 4 tests run.
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `9K4YVOZ5'.


  [OK]          write skew          0   
  [OK]          tail leak           0   


Full test results in `/src/_build/default/test/kcas/_build/_tests/MS queue'.
Test Successful in 0.355s. 2 tests run.
File "README.md", line 1, characters 0-0:
/usr/bin/git --no-pager diff --no-index --color=always -u _build/default/README.md _build/default/.mdx/README.md.corrected
diff --git a/_build/default/README.md b/_build/default/.mdx/README.md.corrected
index a6ae0df..2a6a2e6 100644
--- a/_build/default/README.md
+++ b/_build/default/.mdx/README.md.corrected
@@ -164,7 +164,7 @@ And now we have it:
 
 ```ocaml
 # Domain.join a_domain
-- : string = "The answer is 42!"
+Exception: Stdlib.Effect.Unhandled(Picos_ocaml.Trigger.Await(_))
 ```
 
 ## Introduction
(cd _build/default/bench && ./main.exe -brief)
Kcas Loc:
  time per op/get:
    19.29 ns
  ops over time/get:
    51.84 M/s
  time per op/incr:
    55.42 ns
  ops over time/incr:
    18.04 M/s
  time per op/push & pop:
    94.96 ns
  ops over time/push & pop:
    10.53 M/s
  time per op/cas int:
    54.42 ns
  ops over time/cas int:
    18.37 M/s
  time per op/xchg int:
    40.57 ns
  ops over time/xchg int:
    24.65 M/s
  time per op/swap:
    52.98 ns
  ops over time/swap:
    18.88 M/s
Kcas Xt:
  time per transaction/0 loc tx:
    25.49 ns
  transactions over time/0 loc tx:
    39.22 M/s
  time per transaction/1 loc tx:
    213.15 ns
  transactions over time/1 loc tx:
    4.69 M/s
  time per transaction/2 loc tx:
    309.63 ns
  transactions over time/2 loc tx:
    3.23 M/s
  time per transaction/4 loc tx:
    468.87 ns
  transactions over time/4 loc tx:
    2.13 M/s
  time per transaction/8 loc tx:
    2803.46 ns
  transactions over time/8 loc tx:
    0.36 M/s
Kcas Xt read-only:
  time per transaction/0 loc tx:
    18.51 ns
  transactions over time/0 loc tx:
    54.03 M/s
  time per transaction/1 loc tx:
    47.97 ns
  transactions over time/1 loc tx:
    20.85 M/s
  time per transaction/2 loc tx:
    144.03 ns
  transactions over time/2 loc tx:
    6.94 M/s
  time per transaction/4 loc tx:
    251.92 ns
  transactions over time/4 loc tx:
    3.97 M/s
  time per transaction/8 loc tx:
    385.63 ns
  transactions over time/8 loc tx:
    2.59 M/s
Kcas parallel CMP:
  time per transaction/1 worker:
    326.98 ns
  transactions over time/1 worker:
    3.06 M/s
  time per transaction/2 workers:
    325.36 ns
  transactions over time/2 workers:
    6.15 M/s
  time per transaction/4 workers:
    1025.93 ns
  transactions over time/4 workers:
    3.90 M/s
Kcas_data Accumulator:
  time per operation/1 worker, 0% reads:
    120.77 ns
  operations over time/1 worker, 0% reads:
    8.28 M/s
  time per operation/2 workers, 0% reads:
    109.83 ns
  operations over time/2 workers, 0% reads:
    18.21 M/s
  time per operation/4 workers, 0% reads:
    128.81 ns
  operations over time/4 workers, 0% reads:
    31.05 M/s
Kcas_data Dllist:
  time per message/one domain:
    1084.08 ns
  messages over time/one domain:
    0.92 M/s
  time per message/1 nb adder, 1 nb taker:
    3494.19 ns
  messages over time/1 nb adder, 1 nb taker:
    0.57 M/s
  time per message/1 nb adder, 2 nb takers:
    2440.95 ns
  messages over time/1 nb adder, 2 nb takers:
    1.23 M/s
  time per message/2 nb adders, 1 nb taker:
    2242.60 ns
  messages over time/2 nb adders, 1 nb taker:
    1.34 M/s
  time per message/2 nb adders, 2 nb takers:
    3332.14 ns
  messages over time/2 nb adders, 2 nb takers:
    1.20 M/s
Kcas_data Hashtbl:
  time per operation/1 worker, 90% reads:
    640.20 ns
  operations over time/1 worker, 90% reads:
    1.56 M/s
  time per operation/2 workers, 90% reads:
    627.55 ns
  operations over time/2 workers, 90% reads:
    3.19 M/s
  time per operation/4 workers, 90% reads:
    1182.47 ns
  operations over time/4 workers, 90% reads:
    3.38 M/s
  time per operation/1 worker, 50% reads:
    973.54 ns
  operations over time/1 worker, 50% reads:
    1.03 M/s
  time per operation/2 workers, 50% reads:
    760.11 ns
  operations over time/2 workers, 50% reads:
    2.63 M/s
  time per operation/4 workers, 50% reads:
    2605.21 ns
  operations over time/4 workers, 50% reads:
    1.54 M/s
  time per operation/1 worker, 10% reads:
    1318.59 ns
  operations over time/1 worker, 10% reads:
    0.76 M/s
  time per operation/2 workers, 10% reads:
    1183.43 ns
  operations over time/2 workers, 10% reads:
    1.69 M/s
  time per operation/4 workers, 10% reads:
    1587.24 ns
  operations over time/4 workers, 10% reads:
    2.52 M/s
Kcas_data Mvar:
  time per message/1 nb adder, 1 nb taker:
    762.12 ns
  messages over time/1 nb adder, 1 nb taker:
    2.62 M/s
  time per message/1 nb adder, 1 taker:
    4464.61 ns
  messages over time/1 nb adder, 1 taker:
    0.45 M/s
  time per message/1 nb adder, 2 nb takers:
    1119.79 ns
  messages over time/1 nb adder, 2 nb takers:
    2.68 M/s
  time per message/1 nb adder, 2 takers:
    19857.00 ns
  messages over time/1 nb adder, 2 takers:
    0.15 M/s
  time per message/1 adder, 1 nb taker:
    221.63 ns
  messages over time/1 adder, 1 nb taker:
    9.02 M/s
  time per message/1 adder, 1 taker:
    30968.97 ns
  messages over time/1 adder, 1 taker:
    0.06 M/s
  time per message/1 adder, 2 nb takers:
    4879.90 ns
  messages over time/1 adder, 2 nb takers:
    0.61 M/s
  time per message/1 adder, 2 takers:
    56917.08 ns
  messages over time/1 adder, 2 takers:
    0.05 M/s
  time per message/2 nb adders, 1 nb taker:
    1070.66 ns
  messages over time/2 nb adders, 1 nb taker:
    2.80 M/s
  time per message/2 nb adders, 1 taker:
    2579.07 ns
  messages over time/2 nb adders, 1 taker:
    1.16 M/s
  time per message/2 nb adders, 2 nb takers:
    1369.30 ns
  messages over time/2 nb adders, 2 nb takers:
    2.92 M/s
  time per message/2 nb adders, 2 takers:
    20984.60 ns
  messages over time/2 nb adders, 2 takers:
    0.19 M/s
  time per message/2 adders, 1 nb taker:
    3760.79 ns
  messages over time/2 adders, 1 nb taker:
    0.80 M/s
  time per message/2 adders, 1 taker:
    79976.55 ns
  messages over time/2 adders, 1 taker:
    0.04 M/s
  time per message/2 adders, 2 nb takers:
    2191.05 ns
  messages over time/2 adders, 2 nb takers:
    1.83 M/s
  time per message/2 adders, 2 takers:
    50628.51 ns
  messages over time/2 adders, 2 takers:
    0.08 M/s
Kcas_data Queue:
  time per message/one domain:
    193.71 ns
  messages over time/one domain:
    5.16 M/s
  time per message/1 nb adder, 1 nb taker:
    443.64 ns
  messages over time/1 nb adder, 1 nb taker:
    4.51 M/s
  time per message/1 nb adder, 1 taker:
    381.42 ns
  messages over time/1 nb adder, 1 taker:
    5.24 M/s
  time per message/1 nb adder, 2 nb takers:
    1217.78 ns
  messages over time/1 nb adder, 2 nb takers:
    2.46 M/s
  time per message/1 nb adder, 2 takers:
    835.21 ns
  messages over time/1 nb adder, 2 takers:
    3.59 M/s
  time per message/2 nb adders, 1 nb taker:
    571.46 ns
  messages over time/2 nb adders, 1 nb taker:
    5.25 M/s
  time per message/2 nb adders, 1 taker:
    704.30 ns
  messages over time/2 nb adders, 1 taker:
    4.26 M/s
  time per message/2 nb adders, 2 nb takers:
    960.88 ns
  messages over time/2 nb adders, 2 nb takers:
    4.16 M/s
  time per message/2 nb adders, 2 takers:
    1135.43 ns
  messages over time/2 nb adders, 2 takers:
    3.52 M/s
Kcas_data Stack:
  time per message/one domain:
    648.04 ns
  messages over time/one domain:
    1.54 M/s
  time per message/1 nb adder, 1 nb taker:
    358.14 ns
  messages over time/1 nb adder, 1 nb taker:
    5.58 M/s
  time per message/1 nb adder, 1 taker:
    332.14 ns
  messages over time/1 nb adder, 1 taker:
    6.02 M/s
  time per message/1 nb adder, 2 nb takers:
    603.94 ns
  messages over time/1 nb adder, 2 nb takers:
    4.97 M/s
  time per message/1 nb adder, 2 takers:
    1205.58 ns
  messages over time/1 nb adder, 2 takers:
    2.49 M/s
  time per message/2 nb adders, 1 nb taker:
    588.08 ns
  messages over time/2 nb adders, 1 nb taker:
    5.10 M/s
  time per message/2 nb adders, 1 taker:
    1001.63 ns
  messages over time/2 nb adders, 1 taker:
    3.00 M/s
  time per message/2 nb adders, 2 nb takers:
    1080.15 ns
  messages over time/2 nb adders, 2 nb takers:
    3.70 M/s
  time per message/2 nb adders, 2 takers:
    1806.69 ns
  messages over time/2 nb adders, 2 takers:
    2.21 M/s
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `UDNDF5OB'.


  [OK]          non linearizable xt                  0   
  [OK]          set                                  0   
  [OK]          no skew xt                           0   
  [OK]          get seq xt                           0   
  [OK]          stress xt                            0   
  [OK]          is_in_log                            0   
  [OK]          updates                              0   
  [OK]          post commit                          0   
  [OK]          blocking                             0   
  [OK]          no unnecessary wakeups               0   
  [OK]          pediodic validation                  0   
  [OK]          explicit validation                  0   
  [OK]          rollback                             0   
  [OK]          call                                 0   
  [OK]          mode                                 0   
  [OK]          xt                                   0   
  [OK]          timeout (non-deterministic)          0   
  [OK]          readme_starter                       0   


Full test results in `/src/_build/default/test/kcas/_build/_tests/Kcas'.
Test Successful in 53.913s. 18 tests run.
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 232087336223679908
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32    10.4s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 2580549941794015111
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Dllist sequential
[]   64    0    0   64 /   64    16.5s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 616146541054615675
generated error fail pass / total     time test name
[]  117    0    0  117 /  117     0.0s Dllist sequential
[]  117    0    0  117 /  117    14.5s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 2777624018929295652
generated error fail pass / total     time test name
[]   95    0    0   95 /   95     0.0s Dllist sequential
[]   95    0    0   95 /   95    12.1s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 2646860377984140883
generated error fail pass / total     time test name
[]   36    0    0   36 /   36     0.0s Dllist sequential
[]   36    0    0   36 /   36     1.3s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 3678916104168341824
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32     1.3s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 776301103335515128
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32     2.3s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 499784899858675977
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32     1.7s Dllist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 2200986500617599376
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32    11.6s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 2166130136576411947
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Queue sequential
[]   64    0    0   64 /   64    17.0s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1768259149766555913
generated error fail pass / total     time test name
[]  105    0    0  105 /  105     0.0s Queue sequential
[]  105    0    0  105 /  105    15.2s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1482390089247098773
generated error fail pass / total     time test name
[]   74    0    0   74 /   74     0.0s Queue sequential
[]   74    0    0   74 /   74     5.6s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 734397699389514680
generated error fail pass / total     time test name
[]   58    0    0   58 /   58     0.0s Queue sequential
[]   58    0    0   58 /   58     3.9s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3497033771530482122
generated error fail pass / total     time test name
[]   41    0    0   41 /   41     0.0s Queue sequential
[]   41    0    0   41 /   41     4.1s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1336593860902729972
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32     1.2s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3201241362978157852
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32     1.6s Queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 3932251507300406524
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     9.9s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2179190674763146554
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Hashtbl sequential
[]   64    0    0   64 /   64    19.6s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1852425103409684928
generated error fail pass / total     time test name
[]   99    0    0   99 /   99     0.0s Hashtbl sequential
[]   99    0    0   99 /   99    12.2s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 4583665450856891960
generated error fail pass / total     time test name
[]   85    0    0   85 /   85     0.0s Hashtbl sequential
[]   85    0    0   85 /   85     9.3s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2254667669616123107
generated error fail pass / total     time test name
[]   49    0    0   49 /   49     0.0s Hashtbl sequential
[]   49    0    0   49 /   49     5.4s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2052594652296870675
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     2.2s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1821774483230537165
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     2.0s Hashtbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 461121745163784440
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     9.6s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 2208040430258673359
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Stack sequential
[]   64    0    0   64 /   64    17.8s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 888587387544478959
generated error fail pass / total     time test name
[]  114    0    0  114 /  114     0.0s Stack sequential
[]  114    0    0  114 /  114    16.9s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 3380879782375646083
generated error fail pass / total     time test name
[]   74    0    0   74 /   74     0.0s Stack sequential
[]   74    0    0   74 /   74     5.1s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 325466823068913559
generated error fail pass / total     time test name
[]   60    0    0   60 /   60     0.0s Stack sequential
[]   60    0    0   60 /   60     4.4s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 1427353838471968185
generated error fail pass / total     time test name
[]   39    0    0   39 /   39     0.0s Stack sequential
[]   39    0    0   39 /   39     2.1s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 1078452122318553818
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     1.1s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 2134556936305629592
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     1.1s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 4286348074841595331
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     1.5s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 4351457727102959472
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     1.4s Stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 3877854045436408382
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  []   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32    12.0s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 2516060157786859940
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Hashtbl_with_order sequential
[]   64    0    0   64 /   64    17.9s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 232921609987136796
generated error fail pass / total     time test name
[]   96    0    0   96 /   96     0.0s Hashtbl_with_order sequential
[]   96    0    0   96 /   96    17.3s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3985230581312333084
generated error fail pass / total     time test name
[]   51    0    0   51 /   51     0.0s Hashtbl_with_order sequential
[]   51    0    0   51 /   51     5.1s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 750625267147650820
generated error fail pass / total     time test name
[]   35    0    0   35 /   35     0.0s Hashtbl_with_order sequential
[]   35    0    0   35 /   35     1.6s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 314350967370440326
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     1.2s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 2443602046940402403
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     1.3s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3598460747414430758
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     1.7s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3310438830126401400
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     3.0s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 4240580673403463383
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32    11.2s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 1828002439985665639
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Accumulator sequential
[]   64    0    0   64 /   64    18.9s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 743236964564762436
generated error fail pass / total     time test name
[]   95    0    0   95 /   95     0.0s Accumulator sequential
[]   95    0    0   95 /   95    12.7s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 2413610198432612164
generated error fail pass / total     time test name
[]   77    0    0   77 /   77     0.0s Accumulator sequential
[]   77    0    0   77 /   77     5.4s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 3344727711635978253
generated error fail pass / total     time test name
[]   66    0    0   66 /   66     0.0s Accumulator sequential
[]   66    0    0   66 /   66     5.1s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 1786437954371943970
generated error fail pass / total     time test name
[]   42    0    0   42 /   42     0.0s Accumulator sequential
[]   42    0    0   42 /   42     3.8s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 760105654494598460
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32     1.5s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 2627317105718858991
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32     1.4s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 1666765287182850841
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32     1.3s Accumulator parallel
================================================================================
success (ran 2 tests)
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2024-09-19 12:59.56: Job failed: Failed: Build failed