2024-10-11 08:13.00: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/optimize-michael-scott-queue (93ff3f7952b4e59b488a4087b28728dca309e61b) (linux-arm64:debian-12-5.2_arm32_opam-2.2)
Base: ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "optimize-michael-scott-queue" && cd "saturn" && git reset --hard 93ff3f79
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5
# debian-12-5.2_arm32_opam-2.2
USER 1000:1000
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
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 82ebbd52a07bc65404a2443fc4804bd36e534c83 || git fetch origin master) && git reset -q --hard 82ebbd52a07bc65404a2443fc4804bd36e534c83 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn_lockfree.opam saturn.opam ./
RUN opam pin add -yn saturn_lockfree.dev './' && \
opam pin add -yn saturn.dev './'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.6 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 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 saturn_lockfree.dev saturn.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-10-11 08:13.00: Using cache hint "ocaml-multicore/saturn-ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5-debian-12-5.2_arm32_opam-2.2-24b7ef1f5904c766b98130af6925f98c"
2024-10-11 08:13.00: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5)
(comment debian-12-5.2_arm32_opam-2.2)
(user (uid 1000) (gid 1000))
(shell /usr/bin/linux32 /bin/sh -c)
(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 82ebbd52a07bc65404a2443fc4804bd36e534c83 || git fetch origin master) && git reset -q --hard 82ebbd52a07bc65404a2443fc4804bd36e534c83 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn_lockfree.opam saturn.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.6 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 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 saturn_lockfree.dev saturn.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-10-11 08:13.00: Waiting for resource in pool OCluster
2024-10-11 10:23.12: Waiting for worker…
2024-10-11 11:26.19: Got resource from pool OCluster
Building on ocaml-2.osuosl.ci.dev
All commits already cached
HEAD is now at 93ff3f7 No need to `fix_tail` at this point
(from ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5' locally
docker.io/ocaml/opam@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5: Pulling from ocaml/opam
40a80c95f31d: Already exists
7da9b0370692: Already exists
c81e42f8e448: Already exists
90d989588383: Already exists
8348515e0f27: Already exists
9106bc6bf6a4: Already exists
1d3e6da76781: Already exists
8f04d288f1b1: Already exists
f3f279e4cf83: Already exists
a1f5c3c8acf4: Already exists
0c3cd48ffaa7: Pulling fs layer
62eb650af69e: Pulling fs layer
7f807f7242bc: Pulling fs layer
29bcb39f38b0: Pulling fs layer
29bcb39f38b0: Waiting
e575c24840b3: Pulling fs layer
a49b015a9865: Pulling fs layer
e575c24840b3: Waiting
11732b4d585a: Pulling fs layer
f7ddb149bf06: Pulling fs layer
11732b4d585a: Waiting
f7ddb149bf06: Waiting
4f4fb700ef54: Pulling fs layer
8d65a71c7d4c: Pulling fs layer
3362ac4dc388: Pulling fs layer
b65987dd3bf1: Pulling fs layer
4f4fb700ef54: Waiting
8d65a71c7d4c: Waiting
3362ac4dc388: Waiting
b65987dd3bf1: Waiting
088d9e348192: Pulling fs layer
690d3921b246: Pulling fs layer
088d9e348192: Waiting
690d3921b246: Waiting
f78e9423b754: Pulling fs layer
ce2a0d6f398a: Pulling fs layer
ce2a0d6f398a: Waiting
d1779863a0b7: Pulling fs layer
a46ee749d21c: Pulling fs layer
d1779863a0b7: Waiting
f78e9423b754: Waiting
a46ee749d21c: Waiting
f963d1bcca28: Pulling fs layer
d97cb69ae249: Pulling fs layer
d97cb69ae249: Waiting
e66fe7b26767: Pulling fs layer
e66fe7b26767: Waiting
ec80df7cc796: Pulling fs layer
ec80df7cc796: Waiting
ca4ac4e06954: Pulling fs layer
0e8f07ef043c: Pulling fs layer
a8ac426989f6: Pulling fs layer
ca4ac4e06954: Waiting
0e8f07ef043c: Waiting
22366a2f8fd4: Pulling fs layer
5d48ee5851cf: Pulling fs layer
22366a2f8fd4: Waiting
02290bf3c68e: Pulling fs layer
4c3990d33e22: Pulling fs layer
a8ac426989f6: Waiting
4c3990d33e22: Waiting
a3c694e8a045: Pulling fs layer
a3c694e8a045: Waiting
5d48ee5851cf: Waiting
02290bf3c68e: Waiting
9b19b640d48c: Pulling fs layer
4fae74aa3eff: Pulling fs layer
9b19b640d48c: Waiting
1f2297ef34af: Pulling fs layer
7f807f7242bc: Verifying Checksum
7f807f7242bc: Download complete
62eb650af69e: Verifying Checksum
62eb650af69e: Download complete
0c3cd48ffaa7: Verifying Checksum
0c3cd48ffaa7: Download complete
29bcb39f38b0: Verifying Checksum
29bcb39f38b0: Download complete
e575c24840b3: Verifying Checksum
e575c24840b3: Download complete
a49b015a9865: Verifying Checksum
a49b015a9865: Download complete
11732b4d585a: Verifying Checksum
11732b4d585a: Download complete
f7ddb149bf06: Verifying Checksum
f7ddb149bf06: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
8d65a71c7d4c: Verifying Checksum
8d65a71c7d4c: Download complete
b65987dd3bf1: Verifying Checksum
b65987dd3bf1: Download complete
3362ac4dc388: Verifying Checksum
3362ac4dc388: Download complete
088d9e348192: Download complete
690d3921b246: Verifying Checksum
690d3921b246: Download complete
f78e9423b754: Download complete
a46ee749d21c: Verifying Checksum
a46ee749d21c: Download complete
d1779863a0b7: Verifying Checksum
d1779863a0b7: Download complete
d97cb69ae249: Download complete
f963d1bcca28: Verifying Checksum
f963d1bcca28: Download complete
e66fe7b26767: Verifying Checksum
e66fe7b26767: Download complete
ca4ac4e06954: Verifying Checksum
ca4ac4e06954: Download complete
a8ac426989f6: Download complete
22366a2f8fd4: Verifying Checksum
5d48ee5851cf: Verifying Checksum
5d48ee5851cf: Download complete
02290bf3c68e: Verifying Checksum
02290bf3c68e: Download complete
4c3990d33e22: Verifying Checksum
4c3990d33e22: Download complete
0c3cd48ffaa7: Pull complete
a3c694e8a045: Verifying Checksum
a3c694e8a045: Download complete
ec80df7cc796: Verifying Checksum
ec80df7cc796: Download complete
9b19b640d48c: Verifying Checksum
9b19b640d48c: Download complete
1f2297ef34af: Verifying Checksum
1f2297ef34af: Download complete
4fae74aa3eff: Download complete
0e8f07ef043c: Verifying Checksum
0e8f07ef043c: Download complete
62eb650af69e: Pull complete
7f807f7242bc: Pull complete
29bcb39f38b0: Pull complete
e575c24840b3: Pull complete
a49b015a9865: Pull complete
11732b4d585a: Pull complete
f7ddb149bf06: Pull complete
4f4fb700ef54: Pull complete
8d65a71c7d4c: Pull complete
3362ac4dc388: Pull complete
b65987dd3bf1: Pull complete
088d9e348192: Pull complete
690d3921b246: Pull complete
f78e9423b754: Pull complete
ce2a0d6f398a: Pull complete
d1779863a0b7: Pull complete
a46ee749d21c: Pull complete
f963d1bcca28: Pull complete
d97cb69ae249: Pull complete
e66fe7b26767: Pull complete
ec80df7cc796: Pull complete
ca4ac4e06954: Pull complete
0e8f07ef043c: Pull complete
a8ac426989f6: Pull complete
22366a2f8fd4: Pull complete
5d48ee5851cf: Pull complete
02290bf3c68e: Pull complete
4c3990d33e22: Pull complete
a3c694e8a045: Pull complete
9b19b640d48c: Pull complete
4fae74aa3eff: Pull complete
1f2297ef34af: Pull complete
Digest: sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5
Status: Downloaded newer image for ocaml/opam@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5
2024-10-11 11:26.20 ---> using "4c4465aab33f9888834b2dd37deea229474588f5a475382d868413f14d4dd22a" from cache
/: (comment debian-12-5.2_arm32_opam-2.2)
/: (user (uid 1000) (gid 1000))
/: (shell /usr/bin/linux32 /bin/sh -c)
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-10-11 11:26.20 ---> using "076179d838aa29c37a0a290ecad29fa2a38a672b84dc8af594877c46527d1bd8" 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.
Continue? [y/n] y
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.
[NOTE] The 'jobs' option was reset, its value was 79 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=79 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-10-11 11:26.20 ---> using "09a5ef09629c77e13ceb1a3fe00cbeccd6d2cbc6eeb1e81ca19fb987c1ada21e" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-45-generic
The OCaml toplevel, version 5.2.0
2.2.1
2024-10-11 11:26.20 ---> using "919a02e1208a548a2420c0a9e8cc3421e786ea7d9d900ea9b48787af773fb8ba" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-10-11 11:26.20 ---> using "4007ee679e01bb10edc16de237ca52171ff0cef929470bc5ab6fa0185668a3e6" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 82ebbd52a07bc65404a2443fc4804bd36e534c83 || git fetch origin master) && git reset -q --hard 82ebbd52a07bc65404a2443fc4804bd36e534c83 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
75006f8c5e..1a07d7f3b0 master -> origin/master
82ebbd52a0 Merge pull request #26721 from polytypic/release-multicore-bench-0.1.6
<><> 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-10-11 11:26.20 ---> using "88de65b4b0b961fdf9109f14b18850b4114427f2e8a0cb461eda8fe63507f1ac" from cache
/src: (copy (src saturn_lockfree.opam saturn.opam) (dst ./))
2024-10-11 11:26.41 ---> saved as "98047ef9e31dc7edcee768646a3283beea1c769a92290010f10d9a1881061366"
/src: (run (network host)
(shell "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
[saturn_lockfree.dev] synchronised (file:///src)
saturn_lockfree is now pinned to file:///src (version dev)
[saturn.dev] synchronised (file:///src)
saturn is now pinned to file:///src (version dev)
2024-10-11 11:27.25 ---> saved as "6fc6c5e8f0da53e1f44c0a9f17a6bec6b99fb6d8808e2b4c7a206c24491b000f"
/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.6 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 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 saturn_lockfree.dev saturn.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main armhf Packages [181 kB]
- Fetched 285 kB in 2s (138 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (no changes)
[saturn_lockfree.dev] synchronised (no changes)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-option-bytecode-only 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-arm32 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-10-11 11:28.19 ---> saved as "ab2a06e2a54f4ce4a3d938fe0d487a2112ec2cbb5a9ee85985b67225891c35ea"
/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-option-bytecode-only 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-arm32 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 35 packages
- install alcotest 1.8.0
- install astring 0.8.5
- install backoff 0.1.1
- install cmdliner 1.3.0
- install containers 3.14
- install csexp 1.5.2
- install domain-local-await 1.0.1
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.16.0
- install dune-configurator 3.16.0
- install either 1.0.0
- install fmt 0.9.0
- install mtime 2.1.0
- install multicore-bench 0.1.6
- install multicore-magic 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- install oseq 0.5.1
- install ounit2 2.2.7
- install qcheck 0.22
- install qcheck-alcotest 0.22
- install qcheck-core 0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-ounit 0.22
- install qcheck-stm 0.4
- install re 1.12.0
- install seq base
- install stdlib-shims 0.3.0
- install thread-table 1.0.0
- install topkg 1.0.7
- install tsort 2.1.0
- install uutf 1.0.3
- install yojson 2.2.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved containers.3.14 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.6 (cached)
-> retrieved multicore-magic.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.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 stdlib-shims.0.3.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved tsort.2.1.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved yojson.2.2.2 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.15.0
-> installed ocamlfind.1.9.6
-> installed dune.3.16.0
-> installed backoff.0.1.1
-> installed csexp.1.5.2
-> installed domain_shims.0.1.0
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed oseq.0.5.1
-> installed qcheck-core.0.22
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed domain-local-await.1.0.1
-> installed ocaml-syntax-shims.1.0.0
-> installed qcheck-multicoretests-util.0.4
-> installed qcheck-stm.0.4
-> installed yojson.2.2.2
-> installed ounit2.2.2.7
-> installed topkg.1.0.7
-> installed dune-configurator.3.16.0
-> installed qcheck-ounit.0.22
-> installed fmt.0.9.0
-> installed qcheck.0.22
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed multicore-bench.0.1.6
-> installed containers.3.14
-> installed astring.0.8.5
-> installed dscheck.0.5.0
-> installed alcotest.1.8.0
-> installed qcheck-alcotest.0.22
Done.
# Run eval $(opam env) to update the current shell environment
2024-10-11 11:32.50 ---> saved as "048f812de05a8a1176845f67a2ef112a4c7cd369324f470fc2ea15ad02fdcee9"
/src: (copy (src .) (dst /src))
2024-10-11 11:32.55 ---> saved as "f361cafc8caa60c0b941c13a80baff747c1822cadf974d67d4fe30aa60c40461"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/ws_deque && ./test_ws_deque.exe)
test_exit: ok
test_push_and_pop: ok
test_push_and_steal: ok
test_concurrent_workload: ok (pushed = 100000, popped = 93744, stolen = 6256)
(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
test_Spsc_queue_empty: ok
test_Spsc_queue_full: ok
test_Spsc_queue_parallel: ok (transferred = 100000)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100000)
(cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)
Testing `mpsc_queue_dscheck'.
This run has ID `RFOA21PI'.
[OK] basic 0 1-producer-1-consumer.
[OK] basic 1 1-producer-1-consumer-peek.
[OK] basic 2 2-producers.
Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/mpsc_queue_dscheck'.
Test Successful in 0.102s. 3 tests run.
(cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)
Testing `ws_deque_dscheck'.
This run has ID `YY2QK6YB'.
[OK] basic 0 1-owner-1-stealer.
[OK] basic 1 1-pusher-2-stealers.
Full test results in `/src/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'.
Test Successful in 0.009s. 2 tests run.
(cd _build/default/test/size && ./dscheck_size.exe)
Testing `dscheck_size'.
This run has ID `CXV4Q8LS'.
[OK] basic 0 underflow and overflow.
[OK] basic 1 2-mem.
[OK] basic 2 2-add-same.
[OK] basic 3 2-add.
[OK] basic 4 2-remove-same.
[OK] basic 5 2-remove.
Full test results in `/src/_build/default/test/size/_build/_tests/dscheck_size'.
Test Successful in 0.182s. 6 tests run.
(cd _build/default/test/skiplist && ./dscheck_skiplist.exe)
Testing `DSCheck Skiplist'.
This run has ID `5CASEV4E'.
[OK] basic 0 max_height_of.
[OK] basic 1 2-mem.
[OK] basic 2 2-add-same.
[OK] basic 3 2-add.
[OK] basic 4 2-remove-same.
[OK] basic 5 2-remove.
Full test results in `/src/_build/default/test/skiplist/_build/_tests/DSCheck Skiplist'.
Test Successful in 0.227s. 6 tests run.
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 616502974
Testing `Treiber_stack'.
This run has ID `TZBYZP2Z'.
[OK] test_sequential 0 push.
[OK] test_sequential 1 push_pop_until_empty.
[OK] test_sequential 2 lifo.
[OK] one_cons_one_prod 0 parallel.
[OK] two_domains 0 parallel_pop_push.
[OK] two_domains 1 parallel_pop_push_random.
Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'.
Test Successful in 0.421s. 6 tests run.
(cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)
Testing `spsc_queue_dscheck'.
This run has ID `QYDA8F0A'.
[OK] basic_safe 0 simple-test.
[OK] wrap-arounds_safe 0 shift-by-1.
[OK] wrap-arounds_safe 1 shift-by-6.
[OK] wrap-arounds_safe 2 shift-by-11.
[OK] size_safe 0 linearizes-with-1-thr.
[OK] basic_unsafe 0 simple-test.
[OK] wrap-arounds_unsafe 0 shift-by-1.
[OK] wrap-arounds_unsafe 1 shift-by-6.
[OK] wrap-arounds_unsafe 2 shift-by-11.
[OK] size_unsafe 0 linearizes-with-1-thr.
Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/spsc_queue_dscheck'.
Test Successful in 0.579s. 10 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 323051637
Testing `Michael_scott_queue'.
This run has ID `1D7IPK2Q'.
[OK] test_sequential 0 push.
[OK] test_sequential 1 push_pop_opt_until_empty.
[OK] test_sequential 2 fifo.
[OK] test_sequential 3 fifo_peek_opt.
[OK] one_cons_one_prod 0 parallel_fifo.
[OK] one_cons_one_prod 1 parallel_peek.
[OK] two_domains 0 parallel_pop_opt_push.
[OK] two_domains 1 parallel_pop_opt_push_random.
Full test results in `/src/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'.
Test Successful in 0.519s. 8 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 777265113
Testing `Spsc_queues'.
This run has ID `UDJ4DVCH'.
[OK] Spsc_queue 0 seq_pop_opt_push.
[OK] Spsc_queue 1 seq_pop_push.
[OK] Spsc_queue 2 seq_pop_try_push.
[OK] Spsc_queue 3 par_pop_push.
[OK] Spsc_queue 4 push_full.
[OK] Spsc_queue 5 seq_peek_opt.
[OK] Spsc_queue 6 seq_peek.
[OK] Spsc_queue 7 par_peek_opt.
[OK] Spsc_queue_unsafe 0 seq_pop_opt_push.
[OK] Spsc_queue_unsafe 1 seq_pop_push.
[OK] Spsc_queue_unsafe 2 seq_pop_try_push.
[OK] Spsc_queue_unsafe 3 par_pop_push.
[OK] Spsc_queue_unsafe 4 push_full.
[OK] Spsc_queue_unsafe 5 seq_peek_opt.
[OK] Spsc_queue_unsafe 6 seq_peek.
[OK] Spsc_queue_unsafe 7 par_peek_opt.
Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/Spsc_queues'.
Test Successful in 1.485s. 16 tests run.
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 333805679
Testing `QCheck Skiplist'.
This run has ID `JOJDOU3P'.
[OK] test_sequential 0 add.
[OK] test_sequential 1 add_remove.
[OK] test_sequential 2 add_find.
[OK] test_sequential 3 add_remove_find.
[OK] tests_two_domains 0 parallel_add.
[OK] tests_two_domains 1 parallel_add_remove.
[OK] tests_two_domains 2 parallel_add_remove_same_list.
Full test results in `/src/_build/default/test/skiplist/_build/_tests/QCheck Skiplist'.
Test Successful in 10.880s. 7 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 596331322
Testing `Mpsc_queue'.
This run has ID `OWWJQNGY'.
[OK] one_consumer 0 push_head_pop_opt.
[OK] one_consumer 1 push_head_pop.
[OK] one_consumer 2 push_head_peek_opt.
[OK] one_consumer 3 push_head_peek.
[OK] one_consumer 4 pop_opt_empty.
[OK] one_consumer 5 pop_empty.
[OK] one_consumer 6 peek_opt_empty.
[OK] one_consumer 7 peek_empty.
[OK] one_consumer 8 push_head_not_empty.
[OK] one_consumer 9 close_push_head.
[OK] one_consumer 10 close_is_empty.
[OK] one_consumer 11 close_pop_opt.
[OK] one_consumer 12 pop_opt_order.
[OK] one_consumer 13 seq_push_pop_opt.
[OK] one_producer 0 push_not_empty.
[OK] one_producer 1 closing_prevents_pushing.
[OK] one_cons_one_prod 0 seq_push_pop_opt_peek_opt.
[OK] one_cons_one_prod 1 par_push_pop.
[OK] one_cons_one_prod 2 par_push_push_head.
[OK] one_cons_one_prod 3 par_pop_opt_push2.
[OK] one_cons_two_prod 0 par_push.
[OK] one_cons_two_prod 1 par_push_close_pop_opt.
Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 15.011s. 22 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
messages over time/1 adder, 1 taker (cas):
0.47 M/s
messages over time/1 adder, 1 taker (not lf):
2.60 M/s
messages over time/1 adder, 1 taker (spin):
1.59 M/s
messages over time/1 adder, 2 takers (cas):
0.70 M/s
messages over time/1 adder, 2 takers (not lf):
2.27 M/s
messages over time/1 adder, 2 takers (spin):
3.62 M/s
messages over time/2 adders, 1 taker (cas):
1.60 M/s
messages over time/2 adders, 1 taker (not lf):
2.90 M/s
messages over time/2 adders, 1 taker (spin):
4.21 M/s
messages over time/2 adders, 2 takers (cas):
1.24 M/s
messages over time/2 adders, 2 takers (not lf):
2.42 M/s
messages over time/2 adders, 2 takers (spin):
6.86 M/s
time per message/1 adder, 1 taker (cas):
4223.30 ns
time per message/1 adder, 1 taker (not lf):
769.28 ns
time per message/1 adder, 1 taker (spin):
1257.88 ns
time per message/1 adder, 2 takers (cas):
4308.90 ns
time per message/1 adder, 2 takers (not lf):
1320.01 ns
time per message/1 adder, 2 takers (spin):
829.49 ns
time per message/2 adders, 1 taker (cas):
1879.13 ns
time per message/2 adders, 1 taker (not lf):
1033.29 ns
time per message/2 adders, 1 taker (spin):
712.56 ns
time per message/2 adders, 2 takers (cas):
3217.06 ns
time per message/2 adders, 2 takers (not lf):
1655.21 ns
time per message/2 adders, 2 takers (spin):
583.36 ns
Saturn_lockfree Queue:
messages over time/1 nb adder, 1 nb taker:
2.49 M/s
messages over time/1 nb adder, 2 nb takers:
3.77 M/s
messages over time/2 nb adders, 1 nb taker:
3.00 M/s
messages over time/2 nb adders, 2 nb takers:
7.37 M/s
messages over time/one domain:
2.59 M/s
time per message/1 nb adder, 1 nb taker:
802.40 ns
time per message/1 nb adder, 2 nb takers:
796.00 ns
time per message/2 nb adders, 1 nb taker:
1000.64 ns
time per message/2 nb adders, 2 nb takers:
542.40 ns
time per message/one domain:
386.00 ns
Saturn_lockfree Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
0.29 M/s
messages over time/2 workers, capacity 1 (unsafe):
0.06 M/s
messages over time/2 workers, capacity 32768:
4.21 M/s
messages over time/2 workers, capacity 32768 (unsafe):
0.70 M/s
messages over time/2 workers, capacity 4096:
4.41 M/s
messages over time/2 workers, capacity 4096 (unsafe):
0.71 M/s
messages over time/2 workers, capacity 512:
4.20 M/s
messages over time/2 workers, capacity 512 (unsafe):
0.70 M/s
messages over time/2 workers, capacity 64:
2.74 M/s
messages over time/2 workers, capacity 64 (unsafe):
0.71 M/s
messages over time/2 workers, capacity 8:
0.98 M/s
messages over time/2 workers, capacity 8 (unsafe):
0.15 M/s
time per message/2 workers, capacity 1:
6882.53 ns
time per message/2 workers, capacity 1 (unsafe):
31987.16 ns
time per message/2 workers, capacity 32768:
475.55 ns
time per message/2 workers, capacity 32768 (unsafe):
2874.66 ns
time per message/2 workers, capacity 4096:
453.15 ns
time per message/2 workers, capacity 4096 (unsafe):
2809.06 ns
time per message/2 workers, capacity 512:
476.10 ns
time per message/2 workers, capacity 512 (unsafe):
2838.16 ns
time per message/2 workers, capacity 64:
730.20 ns
time per message/2 workers, capacity 64 (unsafe):
2801.56 ns
time per message/2 workers, capacity 8:
2038.86 ns
time per message/2 workers, capacity 8 (unsafe):
13569.07 ns
Saturn_lockfree Size:
operations over time/1 worker:
1.90 M/s
operations over time/2 workers:
1.62 M/s
operations over time/4 workers:
2.04 M/s
time per operation/1 worker:
525.20 ns
time per operation/2 workers:
1233.26 ns
time per operation/4 workers:
1962.39 ns
Saturn_lockfree Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.20 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
0.20 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
0.31 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
0.36 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
0.43 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
0.53 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
0.62 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
0.84 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
1.02 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
5059.48 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
4894.29 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
3230.86 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
5558.66 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
4614.36 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
3792.54 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
6464.71 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
4778.46 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
3922.81 ns
Saturn_lockfree Stack:
messages over time/1 adder, 1 taker:
3.61 M/s
messages over time/1 adder, 2 takers:
2.92 M/s
messages over time/2 adders, 1 taker:
4.09 M/s
messages over time/2 adders, 2 takers:
5.59 M/s
messages over time/one domain:
3.63 M/s
time per message/1 adder, 1 taker:
554.00 ns
time per message/1 adder, 2 takers:
1027.37 ns
time per message/2 adders, 1 taker:
733.44 ns
time per message/2 adders, 2 takers:
715.04 ns
time per message/one domain:
275.84 ns
Saturn_lockfree Work_stealing_deque:
messages over time/1 adder, 1 taker:
2.04 M/s
messages over time/1 adder, 2 takers:
1.39 M/s
messages over time/1 adder, 4 takers:
3.13 M/s
messages over time/one domain (FIFO):
1.88 M/s
messages over time/one domain (LIFO):
1.67 M/s
spawns over time/1 worker:
1.45 M/s
spawns over time/2 workers:
2.38 M/s
spawns over time/4 workers:
3.94 M/s
spawns over time/8 workers:
5.00 M/s
time per message/1 adder, 1 taker:
982.26 ns
time per message/1 adder, 2 takers:
2162.75 ns
time per message/1 adder, 4 takers:
1599.32 ns
time per message/one domain (FIFO):
533.26 ns
time per message/one domain (LIFO):
598.16 ns
time per spawn/1 worker:
691.66 ns
time per spawn/2 workers:
841.48 ns
time per spawn/4 workers:
1015.20 ns
time per spawn/8 workers:
1599.62 ns
(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
Testing `Mpmc_queue'.
This run has ID `9ZU43JS7'.
[OK] single-thread 0 is it a queue.
[OK] validate items 0 1 prod. 1 cons.
[OK] validate indices under load 0 4 prod. 4 cons.
[OK] validate indices under load 1 8 prod. 1 cons.
[OK] validate indices under load 2 1 prod. 8 cons.
[OK] single-thread-CAS-intf 0 is it a queue.
[OK] validate items-CAS-intf 0 1 prod. 1 cons.
[OK] single-thread-spinning 0 is it a queue.
[OK] validate-items-spinning 0 1 prod. 1 cons.
Full test results in `/src/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.
Test Successful in 78.072s. 9 tests run.
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 165996706
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Lockfree.Skiplist sequential
[✓] 1000 0 0 1000 / 1000 273.0s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 520582317
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Saturn_lockfree.Size sequential
[ ] 759 0 0 759 / 1000 225.4s Sa[✓] 1000 0 0 1000 / 1000 289.1s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
2024-10-11 11:38.06 ---> saved as "ff94b0c893c5d6263df84d712293f6959354a44b61da268d54c65a3199f0d853"
Job succeeded
2024-10-11 11:38.07: Job succeeded