2024-10-11 07:57.42: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/queue-using-two-stacks (a06fc0994bad0727c536249c78948316afd7d63b) (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/kcas.git" -b "queue-using-two-stacks" && cd "kcas" && git reset --hard a06fc099
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 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.1 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-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 mdx.2.4.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 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 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-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-10-11 07:57.42: Using cache hint "ocaml-multicore/kcas-ocaml/opam:debian-12-ocaml-5.2@sha256:911840c25ece4d61721d8bf168925f34e033b3a7b0ca568dd94bc352e6ebeeb5-debian-12-5.2_arm32_opam-2.2-58a01dd3c437de2b10d7cacfc71fa06b"
2024-10-11 07:57.42: 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 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.1 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-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 mdx.2.4.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 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 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-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-10-11 07:57.42: Waiting for resource in pool OCluster
2024-10-11 07:57.42: Waiting for worker…
2024-10-11 08:33.21: Got resource from pool OCluster
Building on ocaml-2.osuosl.ci.dev
All commits already cached
HEAD is now at a06fc09 WIP
(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 08:33.21 ---> 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 08:33.21 ---> 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 08:33.21 ---> 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 08:33.21 ---> using "919a02e1208a548a2420c0a9e8cc3421e786ea7d9d900ea9b48787af773fb8ba" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-10-11 08:33.21 ---> 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 08:33.21 ---> using "88de65b4b0b961fdf9109f14b18850b4114427f2e8a0cb461eda8fe63507f1ac" from cache
/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2024-10-11 08:33.22 ---> saved as "a8db5cc52db831dd8469ea46e8242bee7e011a76adfc0dc6778badac58708b99"
/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-10-11 08:33.30 ---> saved as "ced980eaa23789111ec6e949834195cbe2bc8b6f582a33d05aab36275722007b"
/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 camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.16.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 mdx.2.4.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 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 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-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 "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 1s (461 kB/s)
- Reading package lists...
-
<><> 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-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 08:34.08 ---> saved as "aadae69917af8523d818a0632efcf657f2069b34b8406b0550bdfb9fec8a9f38"
/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 33 packages
- install alcotest 1.8.0
- install astring 0.8.5
- install backoff 0.1.1
- 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-local-timeout 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.6
- install multicore-magic 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 3.6.9
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- 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-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.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved cppo.1.7.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-local-timeout.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 mdx.2.4.1 (cached)
-> retrieved multicore-bench.0.1.6 (cached)
-> retrieved multicore-magic.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.3.6.9 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (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 dune.3.16.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved re.1.12.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved yojson.2.2.2 (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 backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed domain_shims.0.1.0
-> installed ocaml-version.3.6.9
-> installed psq.0.2.1
-> installed result.1.5
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed multicore-magic.2.3.0
-> installed domain-local-timeout.1.0.1
-> installed domain-local-await.1.0.1
-> installed re.1.12.0
-> installed qcheck-core.0.22
-> installed qcheck-multicoretests-util.0.4
-> installed cppo.1.7.0
-> installed qcheck-stm.0.4
-> installed yojson.2.2.2
-> installed multicore-bench.0.1.6
-> installed ocaml-syntax-shims.1.0.0
-> installed alcotest.1.8.0
-> installed mdx.2.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-10-11 08:36.05 ---> saved as "dfe3511c2ebf6be87fa61b33fea51ae04a337188608902ae6d79fcb5534fc7a0"
/src: (copy (src .) (dst /src))
2024-10-11 08:36.15 ---> saved as "41389a382673eeaa145eb4dac0035835f5cc81fd1ce6cb37e5896e90eeb2d98e"
/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 && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `PS6VMSF4'.
[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.020s. 4 tests run.
(cd _build/default/test/kcas_data && ./dllist_test.exe)
Testing `Dllist'.
This run has ID `PZHD2J1V'.
[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.002s. 3 tests run.
(cd _build/default/test/kcas && ./threads.exe)
Testing `Threads'.
This run has ID `HS1Y1AY6'.
[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 && ./mvar_test.exe)
Testing `Mvar'.
This run has ID `4U66STOM'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Mvar'.
Test Successful in 0.005s. 1 test run.
(cd _build/default/test/kcas_data && ./xt_test.exe)
Testing `Transactions'.
This run has ID `7UKG6PED'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Transactions'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas_data && ./stack_test.exe)
Testing `Stack'.
This run has ID `67PF0EGJ'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Stack'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas_data && ./queue_test.exe)
Testing `Queue'.
This run has ID `I4Q61G1X'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Queue'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `91S70PQX'.
[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.015s. 2 tests run.
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `BKP0IJJQ'.
[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
Full test results in `/src/_build/default/test/kcas/_build/_tests/Kcas'.
Test Successful in 0.917s. 17 tests run.
(cd _build/default/test/kcas_data && ./lru_cache_example.exe)
LRU Cache OK!
(cd _build/default/bench && ./main.exe -brief)
Kcas Loc:
ops over time/cas int:
4.12 M/s
ops over time/get:
9.68 M/s
ops over time/incr:
3.57 M/s
ops over time/push & pop:
3.32 M/s
ops over time/swap:
3.25 M/s
ops over time/xchg int:
4.63 M/s
time per op/cas int:
242.59 ns
time per op/get:
103.29 ns
time per op/incr:
280.15 ns
time per op/push & pop:
301.31 ns
time per op/swap:
307.44 ns
time per op/xchg int:
216.05 ns
Kcas Xt:
time per transaction/0 loc tx:
199.97 ns
time per transaction/1 loc tx:
692.30 ns
time per transaction/2 loc tx:
1939.55 ns
time per transaction/4 loc tx:
3490.21 ns
time per transaction/8 loc tx:
6995.51 ns
transactions over time/0 loc tx:
5.00 M/s
transactions over time/1 loc tx:
1.44 M/s
transactions over time/2 loc tx:
0.52 M/s
transactions over time/4 loc tx:
0.29 M/s
transactions over time/8 loc tx:
0.14 M/s
Kcas Xt read-only:
time per transaction/0 loc tx:
218.36 ns
time per transaction/1 loc tx:
725.94 ns
time per transaction/2 loc tx:
1676.75 ns
time per transaction/4 loc tx:
2678.06 ns
time per transaction/8 loc tx:
6077.24 ns
transactions over time/0 loc tx:
4.58 M/s
transactions over time/1 loc tx:
1.38 M/s
transactions over time/2 loc tx:
0.60 M/s
transactions over time/4 loc tx:
0.37 M/s
transactions over time/8 loc tx:
0.16 M/s
Kcas parallel CMP:
time per transaction/1 worker:
2774.50 ns
time per transaction/2 workers:
2422.53 ns
time per transaction/4 workers:
2793.72 ns
transactions over time/1 worker:
0.36 M/s
transactions over time/2 workers:
0.83 M/s
transactions over time/4 workers:
1.43 M/s
Kcas_data Accumulator:
operations over time/1 worker, 0% reads:
1.68 M/s
operations over time/2 workers, 0% reads:
4.05 M/s
operations over time/4 workers, 0% reads:
2.93 M/s
time per operation/1 worker, 0% reads:
596.29 ns
time per operation/2 workers, 0% reads:
493.89 ns
time per operation/4 workers, 0% reads:
1362.89 ns
Kcas_data Dllist:
messages over time/1 nb adder, 1 nb taker:
0.12 M/s
messages over time/1 nb adder, 2 nb takers:
0.23 M/s
messages over time/2 nb adders, 1 nb taker:
0.10 M/s
messages over time/2 nb adders, 2 nb takers:
0.24 M/s
messages over time/one domain:
0.13 M/s
time per message/1 nb adder, 1 nb taker:
17199.90 ns
time per message/1 nb adder, 2 nb takers:
13009.87 ns
time per message/2 nb adders, 1 nb taker:
29600.76 ns
time per message/2 nb adders, 2 nb takers:
16756.49 ns
time per message/one domain:
7925.91 ns
Kcas_data Hashtbl:
operations over time/1 worker, 10% reads:
0.25 M/s
operations over time/1 worker, 50% reads:
0.31 M/s
operations over time/1 worker, 90% reads:
0.61 M/s
operations over time/2 workers, 10% reads:
0.56 M/s
operations over time/2 workers, 50% reads:
0.56 M/s
operations over time/2 workers, 90% reads:
0.98 M/s
operations over time/4 workers, 10% reads:
0.51 M/s
operations over time/4 workers, 50% reads:
0.69 M/s
operations over time/4 workers, 90% reads:
1.51 M/s
time per operation/1 worker, 10% reads:
4044.39 ns
time per operation/1 worker, 50% reads:
3278.09 ns
time per operation/1 worker, 90% reads:
1651.32 ns
time per operation/2 workers, 10% reads:
3591.75 ns
time per operation/2 workers, 50% reads:
3567.65 ns
time per operation/2 workers, 90% reads:
2044.93 ns
time per operation/4 workers, 10% reads:
7811.25 ns
time per operation/4 workers, 50% reads:
5803.70 ns
time per operation/4 workers, 90% reads:
2656.36 ns
Kcas_data Mvar:
messages over time/1 adder, 1 nb taker:
0.16 M/s
messages over time/1 adder, 1 taker:
0.05 M/s
messages over time/1 adder, 2 nb takers:
0.18 M/s
messages over time/1 adder, 2 takers:
0.11 M/s
messages over time/1 nb adder, 1 nb taker:
0.97 M/s
messages over time/1 nb adder, 1 taker:
0.10 M/s
messages over time/1 nb adder, 2 nb takers:
0.31 M/s
messages over time/1 nb adder, 2 takers:
0.01 M/s
messages over time/2 adders, 1 nb taker:
0.18 M/s
messages over time/2 adders, 1 taker:
0.03 M/s
messages over time/2 adders, 2 nb takers:
0.49 M/s
messages over time/2 adders, 2 takers:
0.24 M/s
messages over time/2 nb adders, 1 nb taker:
0.31 M/s
messages over time/2 nb adders, 1 taker:
0.24 M/s
messages over time/2 nb adders, 2 nb takers:
0.76 M/s
messages over time/2 nb adders, 2 takers:
0.42 M/s
time per message/1 adder, 1 nb taker:
12236.10 ns
time per message/1 adder, 1 taker:
37116.20 ns
time per message/1 adder, 2 nb takers:
16394.15 ns
time per message/1 adder, 2 takers:
28550.20 ns
time per message/1 nb adder, 1 nb taker:
2068.00 ns
time per message/1 nb adder, 1 taker:
19164.10 ns
time per message/1 nb adder, 2 nb takers:
9564.00 ns
time per message/1 nb adder, 2 takers:
563199.10 ns
time per message/2 adders, 1 nb taker:
16632.10 ns
time per message/2 adders, 1 taker:
100400.50 ns
time per message/2 adders, 2 nb takers:
8092.10 ns
time per message/2 adders, 2 takers:
16984.15 ns
time per message/2 nb adders, 1 nb taker:
9602.00 ns
time per message/2 nb adders, 1 taker:
12686.10 ns
time per message/2 nb adders, 2 nb takers:
5272.00 ns
time per message/2 nb adders, 2 takers:
9602.00 ns
Kcas_data Queue:
messages over time/1 nb adder, 1 nb taker:
0.56 M/s
messages over time/1 nb adder, 1 taker:
1.00 M/s
messages over time/1 nb adder, 2 nb takers:
1.20 M/s
messages over time/1 nb adder, 2 takers:
1.38 M/s
messages over time/2 nb adders, 1 nb taker:
1.52 M/s
messages over time/2 nb adders, 1 taker:
1.30 M/s
messages over time/2 nb adders, 2 nb takers:
1.51 M/s
messages over time/2 nb adders, 2 takers:
1.69 M/s
messages over time/one domain:
0.81 M/s
time per message/1 nb adder, 1 nb taker:
3554.66 ns
time per message/1 nb adder, 1 taker:
2002.01 ns
time per message/1 nb adder, 2 nb takers:
2490.09 ns
time per message/1 nb adder, 2 takers:
2180.41 ns
time per message/2 nb adders, 1 nb taker:
1967.45 ns
time per message/2 nb adders, 1 taker:
2305.85 ns
time per message/2 nb adders, 2 nb takers:
2657.29 ns
time per message/2 nb adders, 2 takers:
2370.73 ns
time per message/one domain:
1241.77 ns
Kcas_data Stack:
messages over time/1 nb adder, 1 nb taker:
0.83 M/s
messages over time/1 nb adder, 1 taker:
1.08 M/s
messages over time/1 nb adder, 2 nb takers:
1.22 M/s
messages over time/1 nb adder, 2 takers:
1.14 M/s
messages over time/2 nb adders, 1 nb taker:
1.07 M/s
messages over time/2 nb adders, 1 taker:
1.62 M/s
messages over time/2 nb adders, 2 nb takers:
1.81 M/s
messages over time/2 nb adders, 2 takers:
1.05 M/s
messages over time/one domain:
1.37 M/s
time per message/1 nb adder, 1 nb taker:
2403.37 ns
time per message/1 nb adder, 1 taker:
1853.69 ns
time per message/1 nb adder, 2 nb takers:
2458.57 ns
time per message/1 nb adder, 2 takers:
2631.05 ns
time per message/2 nb adders, 1 nb taker:
2793.22 ns
time per message/2 nb adders, 1 taker:
1847.93 ns
time per message/2 nb adders, 2 nb takers:
2212.09 ns
time per message/2 nb adders, 2 takers:
3804.18 ns
time per message/one domain:
731.92 ns
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 526213976
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.0s Stack sequential
[✓] 1000 0 0 1000 / 1000 139.7s Stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 280253697
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Accumulator sequential
[✓] 1000 0 0 1000 / 1000 145.9s Accumulator parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 425145441
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Hashtbl sequential
[ ] 4 0 [✓] 1000 0 0 1000 / 1000 190.5s Hashtbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 320981764
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Queue sequential
[✓] 1000 0 0 1000 / 1000 192.6s Queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 27248985
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Dllist sequential
[✓] 1000 0 0 1000 / 1000 217.4s Dllist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 463199190
generated error fail pass / total time test name
[✓] 1000 0 0 1000 / 1000 0.1s Hashtbl_with_order sequential
[ ] 54 0 0 54 / 1000 11.2s Hasht[✓] 1000 0 0 1000 / 1000 279.3s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
2024-10-11 08:41.06 ---> saved as "49342dd69ee240a56101320ad88fb0d792c922fbc0fc507120d78e591082c97b"
Job succeeded
2024-10-11 08:41.07: Job succeeded