2024-09-19 13:05.52: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/port-to-picos (e78ba9d50684080937cbdacf8a7e234aeb9bc587) (linux-x86_64:ubuntu-20.04-5.2_opam-2.2)
Base: ocaml/opam:ubuntu-20.04-ocaml-5.2@sha256:3cb224d0c4191527facab6ef0e1fd6e70dbccb45b3c172785e97975e2921f529
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 e78ba9d5
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-20.04-ocaml-5.2@sha256:3cb224d0c4191527facab6ef0e1fd6e70dbccb45b3c172785e97975e2921f529
# ubuntu-20.04-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 13:05.52: Using cache hint "ocaml-multicore/kcas-ocaml/opam:ubuntu-20.04-ocaml-5.2@sha256:3cb224d0c4191527facab6ef0e1fd6e70dbccb45b3c172785e97975e2921f529-ubuntu-20.04-5.2_opam-2.2-aaa83b2e7b0303d6c8e45ba7356fa33f"
2024-09-19 13:05.52: Using OBuilder spec:
((from ocaml/opam:ubuntu-20.04-ocaml-5.2@sha256:3cb224d0c4191527facab6ef0e1fd6e70dbccb45b3c172785e97975e2921f529)
(comment ubuntu-20.04-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 13:05.52: Waiting for resource in pool OCluster
2024-09-19 13:05.52: Waiting for worker…
2024-09-19 13:06.01: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at e78ba9d The `Effect.Unhandled` mystery
(from ocaml/opam:ubuntu-20.04-ocaml-5.2@sha256:3cb224d0c4191527facab6ef0e1fd6e70dbccb45b3c172785e97975e2921f529)
2024-09-19 13:06.03 ---> using "39367f9505917995f9eaff72c8f1d1ce0d11606421d94b0d83720370dbefbf28" from cache
/: (comment ubuntu-20.04-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 13:06.03 ---> using "c2a28c12f1ea91b4310f48b1cf9124539226240f1f7da99eaf1abfbf31087f6a" 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 31 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=31 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-09-19 13:06.03 ---> using "22ddbf4574ac6824a51143d28f872bae296c7675b8179b749a1e70f8a80ab715" 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 13:06.03 ---> using "63e9c38447539f3ee7f853a010016292a5ff598b7ce59b8a3f5f3bce3c89a087" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-19 13:06.03 ---> using "d8cc961303e9079d36b84b6562761396eb80a34d6c87ba203a9c5bd93ec659a3" 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 13:06.03 ---> using "b799a5324ad08961e977a40024f6baaa2bc0d32b77d22fab737e0b4599f1b2b9" from cache
/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2024-09-19 13:06.03 ---> using "f899410db807c59c4bd28842d734c9b0be5e1bb13f92c1579e06bc083a195815" from cache
/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 13:06.03 ---> using "2288a2a4ee55650ad5a695c7509a03ccd6b0f844f9b64e1b80a28dafa5cddeab" from cache
/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 "apt-get" "update"
- Get:1 http://security.ubuntu.com/ubuntu focal-security InRelease [128 kB]
- Hit:2 http://archive.ubuntu.com/ubuntu focal InRelease
- Get:3 http://security.ubuntu.com/ubuntu focal-security/multiverse amd64 Packages [30.9 kB]
- Get:4 http://security.ubuntu.com/ubuntu focal-security/universe amd64 Packages [1273 kB]
- Get:5 http://security.ubuntu.com/ubuntu focal-security/main amd64 Packages [4013 kB]
- Get:6 http://archive.ubuntu.com/ubuntu focal-updates InRelease [128 kB]
- Get:7 http://security.ubuntu.com/ubuntu focal-security/restricted amd64 Packages [4021 kB]
- Hit:8 http://archive.ubuntu.com/ubuntu focal-backports InRelease
- Get:9 http://archive.ubuntu.com/ubuntu focal-updates/restricted amd64 Packages [4183 kB]
- Get:10 http://archive.ubuntu.com/ubuntu focal-updates/universe amd64 Packages [1559 kB]
- Get:11 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 Packages [4482 kB]
- Get:12 http://archive.ubuntu.com/ubuntu focal-updates/multiverse amd64 Packages [33.5 kB]
- Fetched 19.9 MB in 2s (10.3 MB/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-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 13:06.03 ---> using "6cb51dedfcbbdfdcababf141a76a23a463a997cafe74c3b760cad7cac5622605" from cache
/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 astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cppo.1.7.0 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved cmdliner.1.3.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 mdx.2.4.1 (cached)
-> retrieved multicore-magic.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.3.6.8 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved dune.3.16.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 seq.base (cached)
-> retrieved re.1.12.0 (cached)
-> installed cmdliner.1.3.0
-> installed seq.base
-> retrieved result.1.5 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved thread-local-storage.0.2 (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 ocamlfind.1.9.6
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> 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 ocaml-version.3.6.8
-> installed psq.0.2.1
-> installed stdlib-shims.0.3.0
-> installed camlp-streams.5.0.1
-> installed result.1.5
-> installed multicore-magic.2.3.0
-> installed thread-table.1.0.0
-> installed thread-local-storage.0.2
-> installed domain-local-await.1.0.1
-> installed picos_aux.0.5.0
-> installed ocaml-syntax-shims.1.0.0
-> installed cppo.1.7.0
-> installed re.1.12.0
-> installed picos.0.5.0
-> installed qcheck-core.0.22
-> installed yojson.2.2.2
-> installed qcheck-multicoretests-util.0.4
-> installed picos_std.0.5.0
-> installed multicore-bench.0.1.5
-> installed alcotest.1.8.0
-> installed qcheck-stm.0.4
-> installed picos_io.0.5.0
-> installed picos_mux.0.5.0
-> installed mdx.2.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-19 13:06.03 ---> using "5a6cbf38939b9ed94e181a72f7d226a7ab12e153a9c4cb913e4cba3f2fd23303" from cache
/src: (copy (src .) (dst /src))
2024-09-19 13:06.03 ---> saved as "df3cd2bc044de9da93f5cccc84c49940a5524a7c6d9163dbc020e36d79859dbd"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/kcas_data && ./lru_cache_example.exe)
LRU Cache OK!
(cd _build/default/test/kcas && ./loc_modes.exe)
Loc modes OK!
(cd _build/default/test/kcas_data && ./xt_test.exe)
Testing `Transactions'.
This run has ID `BDKU9D76'.
[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 `UAX8FN9F'.
[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.000s. 3 tests run.
(cd _build/default/test/kcas_data && ./queue_test.exe)
Testing `Queue'.
This run has ID `EUTBGRFA'.
[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 && ./stack_test.exe)
Testing `Stack'.
This run has ID `VS9MNY6R'.
[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 && ./threads.exe)
Testing `Threads'.
This run has ID `ZMAYZAHI'.
[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 `Q8G4W5AQ'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Mvar'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test/kcas_data && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `ZT7PV484'.
[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.016s. 4 tests run.
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `9XEA67TK'.
[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.038s. 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 f5f08b9..f8d750b 100644
--- a/_build/default/README.md
+++ b/_build/default/.mdx/README.md.corrected
@@ -193,7 +193,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:
3.56 ns
ops over time/get:
280.75 M/s
time per op/incr:
12.07 ns
ops over time/incr:
82.88 M/s
time per op/push & pop:
12.57 ns
ops over time/push & pop:
79.57 M/s
time per op/cas int:
11.54 ns
ops over time/cas int:
86.67 M/s
time per op/xchg int:
12.27 ns
ops over time/xchg int:
81.51 M/s
time per op/swap:
17.90 ns
ops over time/swap:
55.87 M/s
Kcas Xt:
time per transaction/0 loc tx:
8.10 ns
transactions over time/0 loc tx:
123.53 M/s
time per transaction/1 loc tx:
47.15 ns
transactions over time/1 loc tx:
21.21 M/s
time per transaction/2 loc tx:
89.93 ns
transactions over time/2 loc tx:
11.12 M/s
time per transaction/4 loc tx:
166.89 ns
transactions over time/4 loc tx:
5.99 M/s
time per transaction/8 loc tx:
331.40 ns
transactions over time/8 loc tx:
3.02 M/s
Kcas Xt read-only:
time per transaction/0 loc tx:
10.59 ns
transactions over time/0 loc tx:
94.48 M/s
time per transaction/1 loc tx:
32.16 ns
transactions over time/1 loc tx:
31.10 M/s
time per transaction/2 loc tx:
44.58 ns
transactions over time/2 loc tx:
22.43 M/s
time per transaction/4 loc tx:
79.25 ns
transactions over time/4 loc tx:
12.62 M/s
time per transaction/8 loc tx:
155.54 ns
transactions over time/8 loc tx:
6.43 M/s
Kcas parallel CMP:
time per transaction/1 worker:
105.05 ns
transactions over time/1 worker:
9.52 M/s
time per transaction/2 workers:
84.40 ns
transactions over time/2 workers:
23.70 M/s
time per transaction/4 workers:
96.53 ns
transactions over time/4 workers:
41.44 M/s
Kcas_data Accumulator:
time per operation/1 worker, 0% reads:
21.62 ns
operations over time/1 worker, 0% reads:
46.26 M/s
time per operation/2 workers, 0% reads:
20.73 ns
operations over time/2 workers, 0% reads:
96.50 M/s
time per operation/4 workers, 0% reads:
21.98 ns
operations over time/4 workers, 0% reads:
182.00 M/s
Kcas_data Dllist:
time per message/one domain:
400.02 ns
messages over time/one domain:
2.50 M/s
time per message/1 nb adder, 1 nb taker:
1379.02 ns
messages over time/1 nb adder, 1 nb taker:
1.45 M/s
time per message/1 nb adder, 2 nb takers:
3061.44 ns
messages over time/1 nb adder, 2 nb takers:
0.98 M/s
time per message/2 nb adders, 1 nb taker:
3511.35 ns
messages over time/2 nb adders, 1 nb taker:
0.85 M/s
time per message/2 nb adders, 2 nb takers:
2850.89 ns
messages over time/2 nb adders, 2 nb takers:
1.40 M/s
Kcas_data Hashtbl:
time per operation/1 worker, 90% reads:
76.85 ns
operations over time/1 worker, 90% reads:
13.01 M/s
time per operation/2 workers, 90% reads:
149.91 ns
operations over time/2 workers, 90% reads:
13.34 M/s
time per operation/4 workers, 90% reads:
233.79 ns
operations over time/4 workers, 90% reads:
17.11 M/s
time per operation/1 worker, 50% reads:
172.66 ns
operations over time/1 worker, 50% reads:
5.79 M/s
time per operation/2 workers, 50% reads:
270.01 ns
operations over time/2 workers, 50% reads:
7.41 M/s
time per operation/4 workers, 50% reads:
347.96 ns
operations over time/4 workers, 50% reads:
11.50 M/s
time per operation/1 worker, 10% reads:
223.87 ns
operations over time/1 worker, 10% reads:
4.47 M/s
time per operation/2 workers, 10% reads:
341.34 ns
operations over time/2 workers, 10% reads:
5.86 M/s
time per operation/4 workers, 10% reads:
302.29 ns
operations over time/4 workers, 10% reads:
13.23 M/s
Kcas_data Mvar:
time per message/1 nb adder, 1 nb taker:
1698.44 ns
messages over time/1 nb adder, 1 nb taker:
1.18 M/s
time per message/1 nb adder, 1 taker:
2252.19 ns
messages over time/1 nb adder, 1 taker:
0.89 M/s
time per message/1 nb adder, 2 nb takers:
2928.66 ns
messages over time/1 nb adder, 2 nb takers:
1.02 M/s
time per message/1 nb adder, 2 takers:
9270.09 ns
messages over time/1 nb adder, 2 takers:
0.32 M/s
time per message/1 adder, 1 nb taker:
3372.68 ns
messages over time/1 adder, 1 nb taker:
0.59 M/s
time per message/1 adder, 1 taker:
25198.37 ns
messages over time/1 adder, 1 taker:
0.08 M/s
time per message/1 adder, 2 nb takers:
3626.17 ns
messages over time/1 adder, 2 nb takers:
0.83 M/s
time per message/1 adder, 2 takers:
30424.74 ns
messages over time/1 adder, 2 takers:
0.10 M/s
time per message/2 nb adders, 1 nb taker:
1649.50 ns
messages over time/2 nb adders, 1 nb taker:
1.82 M/s
time per message/2 nb adders, 1 taker:
6082.97 ns
messages over time/2 nb adders, 1 taker:
0.49 M/s
time per message/2 nb adders, 2 nb takers:
4019.45 ns
messages over time/2 nb adders, 2 nb takers:
1.00 M/s
time per message/2 nb adders, 2 takers:
16614.79 ns
messages over time/2 nb adders, 2 takers:
0.24 M/s
time per message/2 adders, 1 nb taker:
8689.48 ns
messages over time/2 adders, 1 nb taker:
0.35 M/s
time per message/2 adders, 1 taker:
32466.72 ns
messages over time/2 adders, 1 taker:
0.09 M/s
time per message/2 adders, 2 nb takers:
9181.57 ns
messages over time/2 adders, 2 nb takers:
0.44 M/s
time per message/2 adders, 2 takers:
39535.68 ns
messages over time/2 adders, 2 takers:
0.10 M/s
Kcas_data Queue:
time per message/one domain:
62.29 ns
messages over time/one domain:
16.06 M/s
time per message/1 nb adder, 1 nb taker:
275.11 ns
messages over time/1 nb adder, 1 nb taker:
7.27 M/s
time per message/1 nb adder, 1 taker:
365.48 ns
messages over time/1 nb adder, 1 taker:
5.47 M/s
time per message/1 nb adder, 2 nb takers:
460.04 ns
messages over time/1 nb adder, 2 nb takers:
6.52 M/s
time per message/1 nb adder, 2 takers:
684.79 ns
messages over time/1 nb adder, 2 takers:
4.38 M/s
time per message/2 nb adders, 1 nb taker:
585.06 ns
messages over time/2 nb adders, 1 nb taker:
5.13 M/s
time per message/2 nb adders, 1 taker:
507.51 ns
messages over time/2 nb adders, 1 taker:
5.91 M/s
time per message/2 nb adders, 2 nb takers:
643.04 ns
messages over time/2 nb adders, 2 nb takers:
6.22 M/s
time per message/2 nb adders, 2 takers:
522.84 ns
messages over time/2 nb adders, 2 takers:
7.65 M/s
Kcas_data Stack:
time per message/one domain:
49.09 ns
messages over time/one domain:
20.37 M/s
time per message/1 nb adder, 1 nb taker:
91.95 ns
messages over time/1 nb adder, 1 nb taker:
21.75 M/s
time per message/1 nb adder, 1 taker:
99.31 ns
messages over time/1 nb adder, 1 taker:
20.14 M/s
time per message/1 nb adder, 2 nb takers:
365.05 ns
messages over time/1 nb adder, 2 nb takers:
8.22 M/s
time per message/1 nb adder, 2 takers:
399.54 ns
messages over time/1 nb adder, 2 takers:
7.51 M/s
time per message/2 nb adders, 1 nb taker:
368.09 ns
messages over time/2 nb adders, 1 nb taker:
8.15 M/s
time per message/2 nb adders, 1 taker:
326.71 ns
messages over time/2 nb adders, 1 taker:
9.18 M/s
time per message/2 nb adders, 2 nb takers:
611.45 ns
messages over time/2 nb adders, 2 nb takers:
6.54 M/s
time per message/2 nb adders, 2 takers:
500.31 ns
messages over time/2 nb adders, 2 takers:
8.00 M/s
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 453476474136407148
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Accumulator sequential
[✓] 32 0 0 32 / 32 1.0s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 4469273515374355522
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Accumulator sequential
[✓] 64 0 0 64 / 64 1.8s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 3343605282258188943
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Accumulator sequential
[✓] 128 0 0 128 / 128 3.6s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 1288211508400109203
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Accumulator sequential
[✓] 256 0 0 256 / 256 6.2s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 290240977681363050
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Accumulator sequential
[✓] 512 0 0 512 / 512 15.0s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 3844675698666968824
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Accumulator sequential
[✓] 32 0 0 32 / 32 0.9s Accumulator parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 4354946250642843004
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Hashtbl sequential
[✓] 32 0 0 32 / 32 1.1s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2618632697533367658
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Hashtbl sequential
[✓] 64 0 0 64 / 64 1.9s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1715371923801125242
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Hashtbl sequential
[✓] 128 0 0 128 / 128 3.3s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 4550687643574656587
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Hashtbl sequential
[✓] 256 0 0 256 / 256 6.8s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 4192455084330967878
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Hashtbl sequential
[✓] 512 0 0 512 / 512 14.6s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1843572529018208672
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Hashtbl sequential
[✓] 32 0 0 32 / 32 1.0s Hashtbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 3635569923052677458
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Stack sequential
[✓] 32 0 0 32 / 32 0.7s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 3389117518285868328
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Stack sequential
[✓] 64 0 0 64 / 64 1.8s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 3734851708365851751
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Stack sequential
[✓] 128 0 0 128 / 128 3.5s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 1420938091433622082
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Stack sequential
[✓] 256 0 0 256 / 256 7.3s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 3474131705112615653
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Stack sequential
[✓] 512 0 0 512 / 512 14.9s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 3718009919026586479
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Stack sequential
[✓] 32 0 0 32 / 32 0.8s Stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 3767868012690497419
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Dllist sequential
[✓] 32 0 0 32 / 32 1.1s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 3663052940570873722
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Dllist sequential
[✓] 64 0 0 64 / 64 1.7s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 1980837594518215521
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Dllist sequential
[✓] 128 0 0 128 / 128 3.7s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 2801886001281707622
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Dllist sequential
[✓] 256 0 0 256 / 256 6.7s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 3990602723620316515
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Dllist sequential
[✓] 512 0 0 512 / 512 15.6s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 3951577440326772060
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Dllist sequential
[✓] 32 0 0 32 / 32 0.7s Dllist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 101842896051097274
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Queue sequential
[✓] 32 0 0 32 / 32 0.9s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1416285297834732475
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Queue sequential
[✓] 64 0 0 64 / 64 1.8s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 624370441056616723
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Queue sequential
[✓] 128 0 0 128 / 128 4.0s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3728618242125152382
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Queue sequential
[ ] 125 0 0 125 / 256 3.3s Queue paral
[✓] 256 0 0 256 / 256 7.4s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3475669514281192808
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Queue sequential
[✓] 512 0 0 512 / 512 16.0s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1687378402785399658
generated error fail pass / total time test name
[✓] 32 0 0 32 / 32 0.0s Queue sequential
[✓] 32 0 0 32 / 32 1.0s Queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 1337077564371350962
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.4s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 1146311662056216972
generated error fail pass / total time test name
[✓] 64 0 0 64 / 64 0.0s Hashtbl_with_order sequential
[✓] 64 0 0 64 / 64 2.2s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 2682687265753148723
generated error fail pass / total time test name
[✓] 128 0 0 128 / 128 0.0s Hashtbl_with_order sequential
[✓] 128 0 0 128 / 128 3.6s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3685822817423654268
generated error fail pass / total time test name
[✓] 256 0 0 256 / 256 0.0s Hashtbl_with_order sequential
[✓] 256 0 0 256 / 256 8.9s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3216238786528477844
generated error fail pass / total time test name
[✓] 512 0 0 512 / 512 0.0s Hashtbl_with_order sequential
[✓] 512 0 0 512 / 512 19.2s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 2253607620532313847
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.4s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `7T3RIFI4'.
[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 37.499s. 18 tests run.
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2024-09-19 13:06.45: Job failed: Failed: Build failed