Organisationsocaml-multicorekcas955575 ()fedora-39-4.14_opam-2.2

fedora-39-4.14_opam-2.2

Link Copied
Code Copied

Logs

2024-09-19 18:24.14: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/port-to-picos (955575bff5e8bb4f0147d4e87efd93eac38c83ec) (linux-x86_64:fedora-39-4.14_opam-2.2)
Base: ocaml/opam:fedora-39-ocaml-4.14@sha256:1eb0044f55fe265dfd6b825466cbe882fbd4e223648aa172ce0f1df9540fea4e
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 955575bf
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-39-ocaml-4.14@sha256:1eb0044f55fe265dfd6b825466cbe882fbd4e223648aa172ce0f1df9540fea4e
# fedora-39-4.14_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo dnf install -y findutils
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-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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 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 18:24.14: Using cache hint "ocaml-multicore/kcas-ocaml/opam:fedora-39-ocaml-4.14@sha256:1eb0044f55fe265dfd6b825466cbe882fbd4e223648aa172ce0f1df9540fea4e-fedora-39-4.14_opam-2.2-a2299a8fd566e8347fd869cda5285cd0"
2024-09-19 18:24.14: Using OBuilder spec:
((from ocaml/opam:fedora-39-ocaml-4.14@sha256:1eb0044f55fe265dfd6b825466cbe882fbd4e223648aa172ce0f1df9540fea4e)
 (comment fedora-39-4.14_opam-2.2)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (network host)
      (shell "sudo dnf install -y findutils"))
 (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-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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 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 18:24.14: Waiting for resource in pool OCluster
2024-09-19 18:24.15: Waiting for worker…
2024-09-19 18:24.15: Got resource from pool OCluster
Building on x86-bm-c14.sw.ocaml.org
All commits already cached
HEAD is now at 955575b Beyond mystery


(from ocaml/opam:fedora-39-ocaml-4.14@sha256:1eb0044f55fe265dfd6b825466cbe882fbd4e223648aa172ce0f1df9540fea4e)
2024-09-19 18:24.50 ---> saved as "39e5ddc8fc616b8b4893dbc0062d91989319c294efe60e75830cba3f336be183"


/: (comment fedora-39-4.14_opam-2.2)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (network host)
           (shell "sudo dnf install -y findutils"))
Fedora 39 - x86_64                              268 kB/s |  28 kB     00:00    
Fedora 39 openh264 (From Cisco) - x86_64         16 kB/s | 989  B     00:00    
Fedora 39 - x86_64 - Updates                    296 kB/s |  23 kB     00:00    
Fedora 39 - x86_64 - Updates                    5.3 MB/s | 8.9 MB     00:01    
Package findutils-1:4.9.0-6.fc39.x86_64 is already installed.
Dependencies resolved.
Nothing to do.
Complete!
2024-09-19 18:25.14 ---> saved as "899ad86fb03d0933c8fe5c57a4478c21ed3f822ce9f935a5d4d24f8f20878e19"


/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-09-19 18:25.14 ---> saved as "d3553587ce888158864badd7738b6991d0b226af08a789c18ed598b1f136022d"


/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 18:27.00 ---> saved as "d40ec543ec1860e6f151eaea1e98cd4fcc2fb6cb5465908b83f29575116f7ded"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-121-generic
The OCaml toplevel, version 4.14.2
2.2.1
2024-09-19 18:27.00 ---> saved as "8b4548afcfaa39afc61a6920b7eefcebd8abcf30cee27a99f958e74225563b81"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-09-19 18:27.01 ---> saved as "f1d07aa64b4d22c1c6279690d2d9d4ea2586cdbd81ee4cfdbd730b84085623d4"


/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..164c8ecdbe  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 18:28.20 ---> saved as "e4de30e54ce0f73f3ea104c72c7f9c8a21e87d0fc1c92a7d1fe5557f99886f56"


/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2024-09-19 18:28.20 ---> saved as "9bb62e1ff24135e046ffb5b43c6cace5be5df1debd5f171b5ef2b0b819aed011"


/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 18:28.22 ---> saved as "7b8583719adedcb8e1b8cd79538e77fd5c673b91494fb7dbe8d5610caf71cc86"


/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.0 base-bigarray.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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 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 "yum" "makecache"
- Fedora 39 - x86_64                              255 kB/s |  28 kB     00:00    
- Fedora 39 openh264 (From Cisco) - x86_64         15 kB/s | 989  B     00:00    
- Fedora 39 - x86_64 - Updates                    289 kB/s |  23 kB     00:00    
- Metadata cache created.


<><> 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 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[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-bigarray is already installed (current version is base).
2024-09-19 18:28.44 ---> saved as "022e9651c6087f8de0ebdd1081f02fa35fe65a8a556a3cf2ca8dc57f6c845966"


/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 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[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-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 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_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 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 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-local-storage.0.2  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved topkg.1.0.7  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed mtime.2.1.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed dune.3.16.0
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed camlp-streams.5.0.1
-> installed ocaml-version.3.6.8
-> installed result.1.5
-> installed psq.0.2.1
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed backoff.0.1.0
-> installed multicore-magic.2.3.0
-> installed thread-local-storage.0.2
-> installed domain-local-await.1.0.1
-> installed picos_aux.0.5.0
-> installed picos.0.5.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.12.0
-> installed cppo.1.7.0
-> installed picos_std.0.5.0
-> installed yojson.2.2.2
-> installed qcheck-core.0.22
-> installed qcheck-multicoretests-util.0.4
-> installed picos_io.0.5.0
-> installed multicore-bench.0.1.5
-> installed qcheck-stm.0.4
-> installed alcotest.1.8.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 18:29.51 ---> saved as "aaacff46cbfc3cc6489ee0d9052f90d5ea9148f4a9b3740928e4203db5a6e121"


/src: (copy (src .) (dst /src))
2024-09-19 18:29.52 ---> saved as "1f8c85f967d6cf77336fe85e0852bfba3e44708436fb78bd1d4e370047799039"


/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_data && ./mvar_test.exe)
Testing `Mvar'.
This run has ID `U866KCFK'.


  [OK]          basics          0   


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Mvar'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas && ./loc_modes.exe)
Loc modes OK!
(cd _build/default/test/kcas_data && ./queue_test.exe)
Testing `Queue'.
This run has ID `4PV3ZE85'.


  [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 && ./xt_test.exe)
Testing `Transactions'.
This run has ID `LE32J9SE'.


  [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 `4QUW7899'.


  [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 && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `ZVBCNI9B'.


  [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_data && ./stack_test.exe)
Testing `Stack'.
This run has ID `HPNUZST3'.


  [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 `NIRTTEPA'.


  [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/bench && ./main.exe -brief)
Kcas Loc:
  time per op/get:
    4.93 ns
  ops over time/get:
    202.70 M/s
  time per op/incr:
    18.99 ns
  ops over time/incr:
    52.66 M/s
  time per op/push & pop:
    35.46 ns
  ops over time/push & pop:
    28.20 M/s
  time per op/cas int:
    19.91 ns
  ops over time/cas int:
    50.22 M/s
  time per op/xchg int:
    20.08 ns
  ops over time/xchg int:
    49.80 M/s
  time per op/swap:
    26.77 ns
  ops over time/swap:
    37.36 M/s
Kcas Xt:
  time per transaction/0 loc tx:
    22.94 ns
  transactions over time/0 loc tx:
    43.59 M/s
  time per transaction/1 loc tx:
    76.58 ns
  transactions over time/1 loc tx:
    13.06 M/s
  time per transaction/2 loc tx:
    199.48 ns
  transactions over time/2 loc tx:
    5.01 M/s
  time per transaction/4 loc tx:
    656.14 ns
  transactions over time/4 loc tx:
    1.52 M/s
  time per transaction/8 loc tx:
    1135.60 ns
  transactions over time/8 loc tx:
    0.88 M/s
Kcas Xt read-only:
  time per transaction/0 loc tx:
    24.17 ns
  transactions over time/0 loc tx:
    41.37 M/s
  time per transaction/1 loc tx:
    59.16 ns
  transactions over time/1 loc tx:
    16.90 M/s
  time per transaction/2 loc tx:
    117.89 ns
  transactions over time/2 loc tx:
    8.48 M/s
  time per transaction/4 loc tx:
    205.55 ns
  transactions over time/4 loc tx:
    4.87 M/s
  time per transaction/8 loc tx:
    404.16 ns
  transactions over time/8 loc tx:
    2.47 M/s
Kcas parallel CMP:
  time per transaction/1 worker:
    220.45 ns
  transactions over time/1 worker:
    4.54 M/s
  time per transaction/2 workers:
    443.79 ns
  transactions over time/2 workers:
    4.51 M/s
  time per transaction/4 workers:
    882.59 ns
  transactions over time/4 workers:
    4.53 M/s
Kcas_data Accumulator:
  time per operation/1 worker, 0% reads:
    45.06 ns
  operations over time/1 worker, 0% reads:
    22.19 M/s
  time per operation/2 workers, 0% reads:
    91.47 ns
  operations over time/2 workers, 0% reads:
    21.87 M/s
  time per operation/4 workers, 0% reads:
    255.27 ns
  operations over time/4 workers, 0% reads:
    15.67 M/s
Kcas_data Dllist:
  time per message/one domain:
    1162.12 ns
  messages over time/one domain:
    0.86 M/s
  time per message/1 nb adder, 1 nb taker:
    1602.43 ns
  messages over time/1 nb adder, 1 nb taker:
    1.25 M/s
  time per message/1 nb adder, 2 nb takers:
    2064.13 ns
  messages over time/1 nb adder, 2 nb takers:
    1.45 M/s
  time per message/2 nb adders, 1 nb taker:
    2238.50 ns
  messages over time/2 nb adders, 1 nb taker:
    1.34 M/s
  time per message/2 nb adders, 2 nb takers:
    3468.94 ns
  messages over time/2 nb adders, 2 nb takers:
    1.15 M/s
Kcas_data Hashtbl:
  time per operation/1 worker, 90% reads:
    222.71 ns
  operations over time/1 worker, 90% reads:
    4.49 M/s
  time per operation/2 workers, 90% reads:
    502.35 ns
  operations over time/2 workers, 90% reads:
    3.98 M/s
  time per operation/4 workers, 90% reads:
    1091.99 ns
  operations over time/4 workers, 90% reads:
    3.66 M/s
  time per operation/1 worker, 50% reads:
    464.47 ns
  operations over time/1 worker, 50% reads:
    2.15 M/s
  time per operation/2 workers, 50% reads:
    1052.20 ns
  operations over time/2 workers, 50% reads:
    1.90 M/s
  time per operation/4 workers, 50% reads:
    2137.72 ns
  operations over time/4 workers, 50% reads:
    1.87 M/s
  time per operation/1 worker, 10% reads:
    607.53 ns
  operations over time/1 worker, 10% reads:
    1.65 M/s
  time per operation/2 workers, 10% reads:
    1369.11 ns
  operations over time/2 workers, 10% reads:
    1.46 M/s
  time per operation/4 workers, 10% reads:
    1928.07 ns
  operations over time/4 workers, 10% reads:
    2.07 M/s
Kcas_data Mvar:
  time per message/1 nb adder, 1 nb taker:
    49611.38 ns
  messages over time/1 nb adder, 1 nb taker:
    0.04 M/s
  time per message/1 nb adder, 1 taker:
    217247.55 ns
  messages over time/1 nb adder, 1 taker:
    0.01 M/s
  time per message/1 nb adder, 2 nb takers:
    152207.79 ns
  messages over time/1 nb adder, 2 nb takers:
    0.02 M/s
  time per message/1 nb adder, 2 takers:
    166115.24 ns
  messages over time/1 nb adder, 2 takers:
    0.02 M/s
  time per message/1 adder, 1 nb taker:
    182189.18 ns
  messages over time/1 adder, 1 nb taker:
    0.01 M/s
  time per message/1 adder, 1 taker:
    71598.49 ns
  messages over time/1 adder, 1 taker:
    0.03 M/s
  time per message/1 adder, 2 nb takers:
    84227.14 ns
  messages over time/1 adder, 2 nb takers:
    0.04 M/s
  time per message/1 adder, 2 takers:
    153184.37 ns
  messages over time/1 adder, 2 takers:
    0.02 M/s
  time per message/2 nb adders, 1 nb taker:
    82861.64 ns
  messages over time/2 nb adders, 1 nb taker:
    0.04 M/s
  time per message/2 nb adders, 1 taker:
    94384.56 ns
  messages over time/2 nb adders, 1 taker:
    0.03 M/s
  time per message/2 nb adders, 2 nb takers:
    212387.63 ns
  messages over time/2 nb adders, 2 nb takers:
    0.02 M/s
  time per message/2 nb adders, 2 takers:
    151904.76 ns
  messages over time/2 nb adders, 2 takers:
    0.03 M/s
  time per message/2 adders, 1 nb taker:
    98967.30 ns
  messages over time/2 adders, 1 nb taker:
    0.03 M/s
  time per message/2 adders, 1 taker:
    156782.58 ns
  messages over time/2 adders, 1 taker:
    0.02 M/s
  time per message/2 adders, 2 nb takers:
    138703.20 ns
  messages over time/2 adders, 2 nb takers:
    0.03 M/s
  time per message/2 adders, 2 takers:
    224766.09 ns
  messages over time/2 adders, 2 takers:
    0.02 M/s
Kcas_data Queue:
  time per message/one domain:
    201.17 ns
  messages over time/one domain:
    4.97 M/s
  time per message/1 nb adder, 1 nb taker:
    155.70 ns
  messages over time/1 nb adder, 1 nb taker:
    12.85 M/s
  time per message/1 nb adder, 1 taker:
    155.71 ns
  messages over time/1 nb adder, 1 taker:
    12.84 M/s
  time per message/1 nb adder, 2 nb takers:
    270.14 ns
  messages over time/1 nb adder, 2 nb takers:
    11.11 M/s
  time per message/1 nb adder, 2 takers:
    1188.14 ns
  messages over time/1 nb adder, 2 takers:
    2.52 M/s
  time per message/2 nb adders, 1 nb taker:
    215.26 ns
  messages over time/2 nb adders, 1 nb taker:
    13.94 M/s
  time per message/2 nb adders, 1 taker:
    262.12 ns
  messages over time/2 nb adders, 1 taker:
    11.45 M/s
  time per message/2 nb adders, 2 nb takers:
    311.89 ns
  messages over time/2 nb adders, 2 nb takers:
    12.83 M/s
  time per message/2 nb adders, 2 takers:
    356.92 ns
  messages over time/2 nb adders, 2 takers:
    11.21 M/s
Kcas_data Stack:
  time per message/one domain:
    129.71 ns
  messages over time/one domain:
    7.71 M/s
  time per message/1 nb adder, 1 nb taker:
    134.88 ns
  messages over time/1 nb adder, 1 nb taker:
    14.83 M/s
  time per message/1 nb adder, 1 taker:
    130.17 ns
  messages over time/1 nb adder, 1 taker:
    15.36 M/s
  time per message/1 nb adder, 2 nb takers:
    226.57 ns
  messages over time/1 nb adder, 2 nb takers:
    13.24 M/s
  time per message/1 nb adder, 2 takers:
    137.63 ns
  messages over time/1 nb adder, 2 takers:
    21.80 M/s
  time per message/2 nb adders, 1 nb taker:
    191.79 ns
  messages over time/2 nb adders, 1 nb taker:
    15.64 M/s
  time per message/2 nb adders, 1 taker:
    181.67 ns
  messages over time/2 nb adders, 1 taker:
    16.51 M/s
  time per message/2 nb adders, 2 nb takers:
    316.81 ns
  messages over time/2 nb adders, 2 nb takers:
    12.63 M/s
  time per message/2 nb adders, 2 takers:
    305.99 ns
  messages over time/2 nb adders, 2 takers:
    13.07 M/s
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `6C610R0V'.


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


Full test results in `/src/_build/default/test/kcas/_build/_tests/MS queue'.
Test Successful in 10.323s. 2 tests run.
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `HH73XLRC'.


  [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 22.676s. 17 tests run.
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 4408489560507589901
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     7.6s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2258627763890357730
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Stack sequential
[]   64    0    0   64 /   64    13.6s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 603631238386797886
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Stack sequential
[]  128    0    0  128 /  128    11.2s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 4114569450190552842
generated error fail pass / total     time test name
[]  190    0    0  190 /  190     0.0s Stack sequential
[]  190    0    0  190 /  190    13.8s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3282060176207710290
generated error fail pass / total     time test name
[]  123    0    0  123 /  123     0.0s Stack sequential
[]  123    0    0  123 /  123     5.3s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1172452216768822582
generated error fail pass / total     time test name
[]   88    0    0   88 /   88     0.0s Stack sequential
[]   88    0    0   88 /   88     3.7s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2987129438171342709
generated error fail pass / total     time test name
[]   55    0    0   55 /   55     0.0s Stack sequential
[]   55    0    0   55 /   55     2.7s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 149647165914585696
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Stack sequential
[]   32    0    0   32 /   32     1.4s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3644333947766116662
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 concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 1901680931775856612
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32     6.7s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 777362302557619038
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Accumulator sequential
[]   64    0    0   64 /   64    11.4s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 4042502705180942459
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Accumulator sequential
[]  128    0    0  128 /  128    10.3s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 510623611781829759
generated error fail pass / total     time test name
[]  247    0    0  247 /  247     0.0s Accumulator sequential
[]  247    0    0  247 /  247    17.1s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 3776070160980805922
generated error fail pass / total     time test name
[]  148    0    0  148 /  148     0.0s Accumulator sequential
[]  148    0    0  148 /  148     5.9s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 64488804741575841
generated error fail pass / total     time test name
[]  102    0    0  102 /  102     0.0s Accumulator sequential
[]  102    0    0  102 /  102     3.9s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 2977172324300556448
generated error fail pass / total     time test name
[]   59    0    0   59 /   59     0.0s Accumulator sequential
[]   59    0    0   59 /   59     2.6s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 2962890102246319836
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 concurrent
================================================================================
success (ran 2 tests)
random seed: 4265279165490962432
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Accumulator sequential
[]   32    0    0   32 /   32     1.2s Accumulator concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 4384636247872231374
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     7.7s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2268896722792716398
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Hashtbl sequential
[]   64    0    0   64 /   64    12.3s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3131744872468443976
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Hashtbl sequential
[]  128    0    0  128 /  128    10.2s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1827131572721852057
generated error fail pass / total     time test name
[]  220    0    0  220 /  220     0.0s Hashtbl sequential
[]  220    0    0  220 /  220    16.4s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4104706344103556401
generated error fail pass / total     time test name
[]  127    0    0  127 /  127     0.0s Hashtbl sequential
[]  127    0    0  127 /  127     5.0s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3040775184619355270
generated error fail pass / total     time test name
[]   92    0    0   92 /   92     0.0s Hashtbl sequential
[]   92    0    0   92 /   92     3.8s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4325905726910259679
generated error fail pass / total     time test name
[]   54    0    0   54 /   54     0.0s Hashtbl sequential
[]   54    0    0   54 /   54     2.1s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1218922032231783733
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     1.2s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1245528053837993522
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl sequential
[]   32    0    0   32 /   32     1.3s Hashtbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 1766661102594382820
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     9.6s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 3153105864223825564
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Hashtbl_with_order sequential
[ ]   10    0    0   10 /   64     2.7s Hashtbl_with_order conc[]   64    0    0   64 /   64    14.0s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 58082447613689113
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Hashtbl_with_order sequential
[]  128    0    0  128 /  128     7.6s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 2927923063862892165
generated error fail pass / total     time test name
[]  206    0    0  206 /  206     0.0s Hashtbl_with_order sequential
[]  206    0    0  206 /  206     9.6s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 3651869799400008975
generated error fail pass / total     time test name
[]  202    0    0  202 /  202     0.0s Hashtbl_with_order sequential
[]  202    0    0  202 /  202    10.2s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 1593201042185397702
generated error fail pass / total     time test name
[]  110    0    0  110 /  110     0.0s Hashtbl_with_order sequential
[]  110    0    0  110 /  110     4.9s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 3475261530982340783
generated error fail pass / total     time test name
[]   53    0    0   53 /   53     0.0s Hashtbl_with_order sequential
[]   53    0    0   53 /   53     3.1s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 2214248788109541644
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[]   32    0    0   32 /   32     2.0s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 1504585722357687045
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32     7.1s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2658754259894129584
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Dllist sequential
[]   64    0    0   64 /   64    13.4s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 4016986070940631640
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Dllist sequential
[]  128    0    0  128 /  128    10.7s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2459156901258983380
generated error fail pass / total     time test name
[]  207    0    0  207 /  207     0.0s Dllist sequential
[]  207    0    0  207 /  207     8.8s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2087073171220115895
generated error fail pass / total     time test name
[]  215    0    0  215 /  215     0.0s Dllist sequential
[]  215    0    0  215 /  215     9.8s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 306903515842541867
generated error fail pass / total     time test name
[]  132    0    0  132 /  132     0.0s Dllist sequential
[]  132    0    0  132 /  132     5.1s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2129492121484965341
generated error fail pass / total     time test name
[]   73    0    0   73 /   73     0.0s Dllist sequential
[]   73    0    0   73 /   73     2.4s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 627481900178523236
generated error fail pass / total     time test name
[]   40    0    0   40 /   40     0.0s Dllist sequential
[]   40    0    0   40 /   40     1.2s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2298074093254357392
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Dllist sequential
[]   32    0    0   32 /   32     1.5s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 1186631103266725154
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 concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 2410938796419832020
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32     8.0s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 3118493110999561883
generated error fail pass / total     time test name
[]   64    0    0   64 /   64     0.0s Queue sequential
[]   64    0    0   64 /   64    12.2s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 319304243044242508
generated error fail pass / total     time test name
[]  128    0    0  128 /  128     0.0s Queue sequential
[]  128    0    0  128 /  128    10.3s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 749208225426854374
generated error fail pass / total     time test name
[]  214    0    0  214 /  214     0.0s Queue sequential
[]  214    0    0  214 /  214    15.9s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 356484168347048122
generated error fail pass / total     time test name
[]  126    0    0  126 /  126     0.0s Queue sequential
[]  126    0    0  126 /  126     5.1s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 2092496335209986894
generated error fail pass / total     time test name
[]   90    0    0   90 /   90     0.0s Queue sequential
[]   90    0    0   90 /   90     3.0s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 582256104230990637
generated error fail pass / total     time test name
[]   63    0    0   63 /   63     0.0s Queue sequential
[]   63    0    0   63 /   63     2.9s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1544452091138419946
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32     2.1s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 157309657347788833
generated error fail pass / total     time test name
[]   32    0    0   32 /   32     0.0s Queue sequential
[]   32    0    0   32 /   32     1.1s Queue concurrent
================================================================================
success (ran 2 tests)
2024-09-19 18:30.56 ---> saved as "6352d9916a1995f4bd85e261040d7c46bdcc7550ddb47894e0a022b3f890b4b5"
Job succeeded
2024-09-19 18:30.57: Job succeeded