2025-11-05 15:28.30: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/main (7a83eb3d1900aeefde42a27c2af60e6d8b7b360e) (linux-x86_64:fedora-43-5.4_opam-2.4)
Base: ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/kcas.git" -b "main" && cd "kcas" && git reset --hard 7a83eb3d
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115
# fedora-43-5.4_opam-2.4
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.4 /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 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 || git fetch origin master) && git reset -q --hard 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 && 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 './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.0.0 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.20.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 psq.0.2.1 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --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
2025-11-05 15:28.30: Using cache hint "ocaml-multicore/kcas-ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115-fedora-43-5.4_opam-2.4-e3ca5af658ef66f4de5dff8ad48290a6"
2025-11-05 15:28.30: Using OBuilder spec:
((from ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115)
(comment fedora-43-5.4_opam-2.4)
(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.4 /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 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 || git fetch origin master) && git reset -q --hard 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 && 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 './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.0.0 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.20.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 psq.0.2.1 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0")
(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.4 --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"))
)
2025-11-05 15:28.30: Waiting for resource in pool OCluster
2025-11-05 16:12.17: Waiting for worker…
2025-11-05 16:20.18: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 7a83eb3 Inline `Loc` ops and unroll
(from ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115)
Unable to find image 'ocaml/opam:fedora-43-ocaml-5.4@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115' locally
docker.io/ocaml/opam@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115: Pulling from ocaml/opam
3a6ccf50917d: Pulling fs layer
698b8d1610af: Pulling fs layer
7e5b745a56a4: Pulling fs layer
e8859609bfb8: Pulling fs layer
51242d36b3fd: Pulling fs layer
61958fadfb74: Pulling fs layer
04578677ff3f: Pulling fs layer
01b19b859bd1: Pulling fs layer
47b008c442e7: Pulling fs layer
434ff16e8a1b: Pulling fs layer
e2e8d2ec1110: Pulling fs layer
bb8f1dbb2acd: Pulling fs layer
c914fb01d9b0: Pulling fs layer
acbc7d112060: Pulling fs layer
e8859609bfb8: Waiting
7b0ca93f3f54: Pulling fs layer
51242d36b3fd: Waiting
5a223856338a: Pulling fs layer
ace6a731f305: Pulling fs layer
61958fadfb74: Waiting
a6230b7fafa0: Pulling fs layer
917f9b8155b5: Pulling fs layer
8f7a3b7d908f: Pulling fs layer
434ff16e8a1b: Waiting
4f4fb700ef54: Pulling fs layer
01b19b859bd1: Waiting
7af8a72dec52: Pulling fs layer
917f9b8155b5: Waiting
9565a36b4e3a: Pulling fs layer
a1ba7d9452a1: Pulling fs layer
7b0ca93f3f54: Waiting
24a9095bda75: Pulling fs layer
ace6a731f305: Waiting
5a223856338a: Waiting
47b008c442e7: Waiting
16c026bd2ca7: Pulling fs layer
8f7a3b7d908f: Waiting
e2e8d2ec1110: Waiting
bb8f1dbb2acd: Waiting
6b821f07d597: Pulling fs layer
4f4fb700ef54: Waiting
7af8a72dec52: Waiting
afd0175f27f4: Pulling fs layer
acbc7d112060: Waiting
88ab18f654c7: Pulling fs layer
be69a91a3ef7: Pulling fs layer
24a9095bda75: Waiting
ce8a4e53f5e3: Pulling fs layer
a6230b7fafa0: Waiting
88ab18f654c7: Waiting
be69a91a3ef7: Waiting
3e2bdc6df5e4: Pulling fs layer
ff986d64677f: Pulling fs layer
9c9f7117b120: Pulling fs layer
8bc6797e23fc: Pulling fs layer
ff986d64677f: Waiting
9c9f7117b120: Waiting
07b81fe7312a: Pulling fs layer
43fc65bb52eb: Pulling fs layer
8bc6797e23fc: Waiting
a5d75845130a: Pulling fs layer
1eec13083f65: Pulling fs layer
a5d75845130a: Waiting
aab9ec9135e1: Pulling fs layer
07b81fe7312a: Waiting
cc2ed799adba: Pulling fs layer
b808f888e100: Pulling fs layer
aab9ec9135e1: Waiting
43fc65bb52eb: Waiting
3e2bdc6df5e4: Waiting
e51d6b85f31b: Pulling fs layer
8c8cec09df68: Pulling fs layer
b808f888e100: Waiting
8c8cec09df68: Waiting
e51d6b85f31b: Waiting
698b8d1610af: Verifying Checksum
698b8d1610af: Download complete
7e5b745a56a4: Verifying Checksum
7e5b745a56a4: Download complete
e8859609bfb8: Verifying Checksum
e8859609bfb8: Download complete
61958fadfb74: Verifying Checksum
61958fadfb74: Download complete
04578677ff3f: Verifying Checksum
04578677ff3f: Download complete
51242d36b3fd: Verifying Checksum
51242d36b3fd: Download complete
3a6ccf50917d: Verifying Checksum
3a6ccf50917d: Download complete
01b19b859bd1: Verifying Checksum
01b19b859bd1: Download complete
47b008c442e7: Verifying Checksum
47b008c442e7: Download complete
434ff16e8a1b: Verifying Checksum
434ff16e8a1b: Download complete
c914fb01d9b0: Download complete
e2e8d2ec1110: Verifying Checksum
e2e8d2ec1110: Download complete
bb8f1dbb2acd: Verifying Checksum
bb8f1dbb2acd: Download complete
acbc7d112060: Verifying Checksum
acbc7d112060: Download complete
7b0ca93f3f54: Verifying Checksum
7b0ca93f3f54: Download complete
5a223856338a: Verifying Checksum
5a223856338a: Download complete
ace6a731f305: Verifying Checksum
ace6a731f305: Download complete
a6230b7fafa0: Download complete
917f9b8155b5: Verifying Checksum
917f9b8155b5: Download complete
8f7a3b7d908f: Verifying Checksum
8f7a3b7d908f: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
7af8a72dec52: Verifying Checksum
7af8a72dec52: Download complete
9565a36b4e3a: Verifying Checksum
9565a36b4e3a: Download complete
a1ba7d9452a1: Download complete
24a9095bda75: Download complete
16c026bd2ca7: Verifying Checksum
16c026bd2ca7: Download complete
6b821f07d597: Download complete
afd0175f27f4: Download complete
88ab18f654c7: Verifying Checksum
88ab18f654c7: Download complete
be69a91a3ef7: Verifying Checksum
be69a91a3ef7: Download complete
3a6ccf50917d: Pull complete
698b8d1610af: Pull complete
ce8a4e53f5e3: Verifying Checksum
ce8a4e53f5e3: Download complete
3e2bdc6df5e4: Verifying Checksum
3e2bdc6df5e4: Download complete
ff986d64677f: Verifying Checksum
ff986d64677f: Download complete
8bc6797e23fc: Download complete
43fc65bb52eb: Download complete
a5d75845130a: Download complete
7e5b745a56a4: Pull complete
1eec13083f65: Verifying Checksum
1eec13083f65: Download complete
aab9ec9135e1: Verifying Checksum
aab9ec9135e1: Download complete
9c9f7117b120: Verifying Checksum
9c9f7117b120: Download complete
b808f888e100: Verifying Checksum
b808f888e100: Download complete
cc2ed799adba: Verifying Checksum
cc2ed799adba: Download complete
e51d6b85f31b: Verifying Checksum
e51d6b85f31b: Download complete
8c8cec09df68: Verifying Checksum
8c8cec09df68: Download complete
e8859609bfb8: Pull complete
07b81fe7312a: Verifying Checksum
07b81fe7312a: Download complete
51242d36b3fd: Pull complete
61958fadfb74: Pull complete
04578677ff3f: Pull complete
01b19b859bd1: Pull complete
47b008c442e7: Pull complete
434ff16e8a1b: Pull complete
e2e8d2ec1110: Pull complete
bb8f1dbb2acd: Pull complete
c914fb01d9b0: Pull complete
acbc7d112060: Pull complete
7b0ca93f3f54: Pull complete
5a223856338a: Pull complete
ace6a731f305: Pull complete
a6230b7fafa0: Pull complete
917f9b8155b5: Pull complete
8f7a3b7d908f: Pull complete
4f4fb700ef54: Pull complete
7af8a72dec52: Pull complete
9565a36b4e3a: Pull complete
a1ba7d9452a1: Pull complete
24a9095bda75: Pull complete
16c026bd2ca7: Pull complete
6b821f07d597: Pull complete
afd0175f27f4: Pull complete
88ab18f654c7: Pull complete
be69a91a3ef7: Pull complete
ce8a4e53f5e3: Pull complete
3e2bdc6df5e4: Pull complete
ff986d64677f: Pull complete
9c9f7117b120: Pull complete
8bc6797e23fc: Pull complete
07b81fe7312a: Pull complete
43fc65bb52eb: Pull complete
a5d75845130a: Pull complete
1eec13083f65: Pull complete
aab9ec9135e1: Pull complete
cc2ed799adba: Pull complete
b808f888e100: Pull complete
e51d6b85f31b: Pull complete
8c8cec09df68: Pull complete
Digest: sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115
Status: Downloaded newer image for ocaml/opam@sha256:a83928a1fedec013a7db3d3190a3cc3eb72142ca95e7bb20dbb4f9954be28115
2025-11-05 16:21.43 ---> saved as "f59e28d75de4defeed40ec3fa81afaa110217cd20c2dafcaea2c76301015f0df"
/: (comment fedora-43-5.4_opam-2.4)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (network host)
(shell "sudo dnf install -y findutils"))
Updating and loading repositories:
Fedora 43 - x86_64 100% | 36.8 KiB/s | 17.9 KiB | 00m00s
Fedora 43 - x86_64 - Updates 100% | 99.0 KiB/s | 20.1 KiB | 00m00s
Fedora 43 openh264 (From Cisco) - x86_ 100% | 10.5 KiB/s | 986.0 B | 00m00s
Repositories loaded.
Package "findutils-1:4.10.0-6.fc43.x86_64" is already installed.
Nothing to do.
2025-11-05 16:21.53 ---> saved as "e25babefb49a419232868acca712bf630a0bbefc96e0c275ad3155252e7c1ac2"
/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-11-05 16:21.53 ---> saved as "d407c2ab0d230b08eef2673d99115ee74748a180b52018e5e71e83495eb23ecf"
/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 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 71 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=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-11-05 16:22.16 ---> saved as "f34f2508f7317e9caeecee1fbf9e7a46c3e2d84a14300c4e852b3aa03e573a96"
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-157-generic
The OCaml toplevel, version 5.4.0
2.4.1
2025-11-05 16:22.17 ---> saved as "052d523dd0b77d418e636d4c186443eff0092857ea0c0fcc93c67ed113744989"
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2025-11-05 16:22.18 ---> saved as "62c8f17a78b1cdcc51dbd6e1fa6a54730935888b6313593e943e96a268786b45"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 || git fetch origin master) && git reset -q --hard 70d1dfb3b86d9aa841c74aa97359dc7639d3a8c6 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
5bf570252b..70d1dfb3b8 master -> origin/master
70d1dfb3b8 Merge pull request #28838 from dbuenzli/b0-publish-logs.0.10.0
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
Already up-to-date.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-11-05 16:22.38 ---> saved as "7c5c025955a33d8637105ae2dd08fe16e3d17976a11475dae0f9716b75ce42c4"
/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2025-11-05 16:22.38 ---> saved as "ec4b5b7d8f241846377fae34d38d75b55b6bfb7402d99c45b81ad6e24fd1dd74"
/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)
2025-11-05 16:22.40 ---> saved as "54f648124d7ccd283cb53486928ade162e32278793b361730ac908d8f8fba1e6"
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-11-05 16:22.42 ---> saved as "3a6d3f1fc2a654141443c32395ee621f6395d700d48078e72ec8724e2b4c03d3"
/src: (env DEPS "alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.0.0 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dune.3.20.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 psq.0.2.1 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0")
/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.4 --depext-only -y kcas_data.dev kcas.dev $DEPS"))
+ /usr/sbin/sudo "yum" "makecache"
- Updating and loading repositories:
- Repositories loaded.
- Metadata cache created.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[kcas.dev] synchronised (file:///src)
[kcas_data.dev] synchronised (file:///src)
[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-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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-effects 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).
2025-11-05 16:22.49 ---> saved as "90e3f8d7639544fa0a168c096cad4fd38ddc72f8e1adf59b50ef69bcf53dc7c4"
/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-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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-effects 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.9.1
- install astring 0.8.5
- install backoff 0.1.1
- install camlp-streams 5.0.1
- install cmdliner 2.0.0
- install cppo 1.8.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.20.2
- install fmt 0.11.0
- install logs 0.10.0
- install mdx 2.5.1
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.1
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install psq 0.2.1
- install qcheck-core 0.27
- install qcheck-multicoretests-util 0.10
- install qcheck-stm 0.10
- install re 1.14.0
- install result 1.5
- install seq base
- install stdlib-shims 0.3.0
- install thread-table 1.0.0
- install topkg 1.1.1
- install uutf 1.0.4
- install yojson 3.0.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cmdliner.2.0.0 (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.11.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved mdx.2.5.1 (cached)
-> retrieved multicore-magic.2.3.1 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved qcheck-core.0.27 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved result.1.5 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved dune.3.20.2 (cached)
-> installed cmdliner.2.0.0
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed mtime.2.1.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed dune.3.20.2
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed backoff.0.1.1
-> installed stdlib-shims.0.3.0
-> installed result.1.5
-> installed ocaml-version.4.0.3
-> installed camlp-streams.5.0.1
-> installed multicore-magic.2.3.1
-> installed psq.0.2.1
-> installed thread-table.1.0.0
-> installed domain-local-timeout.1.0.1
-> installed domain-local-await.1.0.1
-> installed ocaml-syntax-shims.1.0.0
-> installed cppo.1.8.0
-> installed re.1.14.0
-> installed yojson.3.0.0
-> installed qcheck-core.0.27
-> installed multicore-bench.0.1.7
-> installed qcheck-multicoretests-util.0.10
-> installed alcotest.1.9.1
-> installed qcheck-stm.0.10
-> installed mdx.2.5.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-05 16:23.20 ---> saved as "35989c35a166f5f3a34de55a74361952ccaf33a4c38207b095868275e008d8f4"
/src: (copy (src .) (dst /src))
2025-11-05 16:23.20 ---> saved as "8d01f6fb7eadfb3354aeec98311ae8887be5e664f8ce3d1c9ab32fb482dd2c76"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/kcas && ./loc_modes.exe)
Loc modes OK!
(cd _build/default/test/kcas_data && ./lru_cache_example.exe)
LRU Cache OK!
(cd _build/default/test/kcas && ./threads.exe)
Testing `Threads'.
This run has ID `DKE2C2JO'.
[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 && ./dllist_test.exe)
Testing `Dllist'.
This run has ID `211WDHRX'.
[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 `3E5V076D'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Queue'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./mvar_test.exe)
Testing `Mvar'.
This run has ID `FMQB77XJ'.
[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_data && ./xt_test.exe)
Testing `Transactions'.
This run has ID `KIGIGLRP'.
[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 && ./stack_test.exe)
Testing `Stack'.
This run has ID `K0FJBFSJ'.
[OK] basics 0
Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Stack'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `72VM3O1V'.
[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.013s. 4 tests run.
(cd _build/default/bench && ./main.exe -brief 'Kcas Loc')
Kcas Loc:
ops over time/cas int:
113.96 M/s
ops over time/get:
463.19 M/s
ops over time/incr:
79.28 M/s
ops over time/push & pop:
74.75 M/s
ops over time/swap:
75.40 M/s
ops over time/xchg int:
114.69 M/s
time per op/cas int:
8.78 ns
time per op/get:
2.16 ns
time per op/incr:
12.61 ns
time per op/push & pop:
13.38 ns
time per op/swap:
13.26 ns
time per op/xchg int:
8.72 ns
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `YHTQBNFM'.
[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.173s. 2 tests run.
(cd _build/default/bench && ./main.exe -brief 'Kcas Xt')
Kcas Xt:
time per transaction/0 loc tx:
11.94 ns
time per transaction/1 loc tx:
39.48 ns
time per transaction/2 loc tx:
94.99 ns
time per transaction/4 loc tx:
136.25 ns
time per transaction/8 loc tx:
245.42 ns
transactions over time/0 loc tx:
83.75 M/s
transactions over time/1 loc tx:
25.33 M/s
transactions over time/2 loc tx:
10.53 M/s
transactions over time/4 loc tx:
7.34 M/s
transactions over time/8 loc tx:
4.07 M/s
Kcas Xt read-only:
time per transaction/0 loc tx:
9.16 ns
time per transaction/1 loc tx:
20.43 ns
time per transaction/2 loc tx:
46.19 ns
time per transaction/4 loc tx:
72.86 ns
time per transaction/8 loc tx:
155.17 ns
transactions over time/0 loc tx:
109.20 M/s
transactions over time/1 loc tx:
48.96 M/s
transactions over time/2 loc tx:
21.65 M/s
transactions over time/4 loc tx:
13.72 M/s
transactions over time/8 loc tx:
6.44 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas Xt read-only')
Kcas Xt read-only:
time per transaction/0 loc tx:
9.30 ns
time per transaction/1 loc tx:
20.29 ns
time per transaction/2 loc tx:
46.29 ns
time per transaction/4 loc tx:
72.06 ns
time per transaction/8 loc tx:
124.35 ns
transactions over time/0 loc tx:
107.55 M/s
transactions over time/1 loc tx:
49.29 M/s
transactions over time/2 loc tx:
21.60 M/s
transactions over time/4 loc tx:
13.88 M/s
transactions over time/8 loc tx:
8.04 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas parallel CMP')
Kcas parallel CMP:
time per transaction/1 worker:
88.50 ns
time per transaction/2 workers:
87.85 ns
time per transaction/4 workers:
88.63 ns
transactions over time/1 worker:
11.30 M/s
transactions over time/2 workers:
22.77 M/s
transactions over time/4 workers:
45.13 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Accumulator')
Kcas_data Accumulator:
operations over time/1 worker, 0% reads:
43.37 M/s
operations over time/2 workers, 0% reads:
86.62 M/s
operations over time/4 workers, 0% reads:
171.26 M/s
operations over time/8 workers, 0% reads:
345.38 M/s
time per operation/1 worker, 0% reads:
23.06 ns
time per operation/2 workers, 0% reads:
23.09 ns
time per operation/4 workers, 0% reads:
23.36 ns
time per operation/8 workers, 0% reads:
23.16 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Dllist')
Kcas_data Dllist:
messages over time/1 nb adder, 1 nb taker:
1.49 M/s
messages over time/1 nb adder, 2 nb takers:
2.34 M/s
messages over time/2 nb adders, 1 nb taker:
2.25 M/s
messages over time/2 nb adders, 2 nb takers:
1.26 M/s
messages over time/one domain:
2.68 M/s
time per message/1 nb adder, 1 nb taker:
1342.74 ns
time per message/1 nb adder, 2 nb takers:
1282.85 ns
time per message/2 nb adders, 1 nb taker:
1335.89 ns
time per message/2 nb adders, 2 nb takers:
3184.40 ns
time per message/one domain:
373.29 ns
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `22I6B3QP'.
[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 2.037s. 17 tests run.
File "doc/scheduler-interop.md", line 1, characters 0-0:
/usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/doc/scheduler-interop.md _build/default/doc/.mdx/scheduler-interop.md.corrected
diff --git a/_build/default/doc/scheduler-interop.md b/_build/default/doc/.mdx/scheduler-interop.md.corrected
index 39bb662..a4af124 100644
--- a/_build/default/doc/scheduler-interop.md
+++ b/_build/default/doc/.mdx/scheduler-interop.md.corrected
@@ -131,7 +131,7 @@ state in between, and then returns their sum:
```ocaml
# let state = Loc.make 0
-val state : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val state : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
# let sync_to target =
state
|> Loc.get_as @@ fun current ->
File "src/kcas/kcas.mli", line 1, characters 0-0:
/usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/src/kcas/kcas.mli _build/default/src/kcas/.mdx/kcas.mli.corrected
diff --git a/_build/default/src/kcas/kcas.mli b/_build/default/src/kcas/.mdx/kcas.mli.corrected
index 855a832..018310c 100644
--- a/_build/default/src/kcas/kcas.mli
+++ b/_build/default/src/kcas/.mdx/kcas.mli.corrected
@@ -48,9 +48,9 @@
# let a = Loc.make 0
and b = Loc.make 0
and x = Loc.make 0
- val a : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
- val b : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
- val x : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+ val a : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+ val b : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+ val x : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
]}
One can then manipulate the locations individually:
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Hashtbl')
Kcas_data Hashtbl:
operations over time/1 worker, 10% reads:
5.29 M/s
operations over time/1 worker, 50% reads:
7.91 M/s
operations over time/1 worker, 90% reads:
16.73 M/s
operations over time/2 workers, 10% reads:
7.36 M/s
operations over time/2 workers, 50% reads:
14.98 M/s
operations over time/2 workers, 90% reads:
15.62 M/s
operations over time/4 workers, 10% reads:
13.56 M/s
operations over time/4 workers, 50% reads:
15.08 M/s
operations over time/4 workers, 90% reads:
26.16 M/s
operations over time/8 workers, 10% reads:
22.98 M/s
operations over time/8 workers, 50% reads:
24.17 M/s
operations over time/8 workers, 90% reads:
50.58 M/s
time per operation/1 worker, 10% reads:
188.87 ns
time per operation/1 worker, 50% reads:
126.37 ns
time per operation/1 worker, 90% reads:
59.78 ns
time per operation/2 workers, 10% reads:
271.72 ns
time per operation/2 workers, 50% reads:
133.48 ns
time per operation/2 workers, 90% reads:
128.06 ns
time per operation/4 workers, 10% reads:
294.94 ns
time per operation/4 workers, 50% reads:
265.19 ns
time per operation/4 workers, 90% reads:
152.88 ns
time per operation/8 workers, 10% reads:
348.15 ns
time per operation/8 workers, 50% reads:
330.93 ns
time per operation/8 workers, 90% reads:
158.16 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Mvar')
Kcas_data Mvar:
messages over time/1 adder, 1 nb taker:
2.45 M/s
messages over time/1 adder, 1 taker:
2.11 M/s
messages over time/1 adder, 2 nb takers:
1.19 M/s
messages over time/1 adder, 2 takers:
1.01 M/s
messages over time/1 nb adder, 1 nb taker:
1.01 M/s
messages over time/1 nb adder, 1 taker:
0.76 M/s
messages over time/1 nb adder, 2 nb takers:
1.52 M/s
messages over time/1 nb adder, 2 takers:
2.12 M/s
messages over time/2 adders, 1 nb taker:
1.00 M/s
messages over time/2 adders, 1 taker:
1.06 M/s
messages over time/2 adders, 2 nb takers:
1.07 M/s
messages over time/2 adders, 2 takers:
0.81 M/s
messages over time/2 nb adders, 1 nb taker:
1.38 M/s
messages over time/2 nb adders, 1 taker:
0.64 M/s
messages over time/2 nb adders, 2 nb takers:
1.28 M/s
messages over time/2 nb adders, 2 takers:
0.88 M/s
time per message/1 adder, 1 nb taker:
816.49 ns
time per message/1 adder, 1 taker:
949.20 ns
time per message/1 adder, 2 nb takers:
2514.64 ns
time per message/1 adder, 2 takers:
2972.78 ns
time per message/1 nb adder, 1 nb taker:
1981.06 ns
time per message/1 nb adder, 1 taker:
2630.72 ns
time per message/1 nb adder, 2 nb takers:
1972.01 ns
time per message/1 nb adder, 2 takers:
1417.52 ns
time per message/2 adders, 1 nb taker:
2987.02 ns
time per message/2 adders, 1 taker:
2832.96 ns
time per message/2 adders, 2 nb takers:
3736.64 ns
time per message/2 adders, 2 takers:
4929.64 ns
time per message/2 nb adders, 1 nb taker:
2175.09 ns
time per message/2 nb adders, 1 taker:
4706.65 ns
time per message/2 nb adders, 2 nb takers:
3129.48 ns
time per message/2 nb adders, 2 takers:
4543.80 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Queue')
Kcas_data Queue:
messages over time/1 nb adder, 1 nb taker:
10.48 M/s
messages over time/1 nb adder, 1 taker:
32.92 M/s
messages over time/1 nb adder, 2 nb takers:
23.10 M/s
messages over time/1 nb adder, 2 takers:
11.23 M/s
messages over time/1 nb adder, 4 nb takers:
12.74 M/s
messages over time/1 nb adder, 4 takers:
9.13 M/s
messages over time/2 nb adders, 1 nb taker:
10.16 M/s
messages over time/2 nb adders, 1 taker:
13.30 M/s
messages over time/2 nb adders, 2 nb takers:
10.98 M/s
messages over time/2 nb adders, 2 takers:
13.67 M/s
messages over time/2 nb adders, 4 nb takers:
6.24 M/s
messages over time/2 nb adders, 4 takers:
9.55 M/s
messages over time/4 nb adders, 1 nb taker:
10.32 M/s
messages over time/4 nb adders, 1 taker:
8.05 M/s
messages over time/4 nb adders, 2 nb takers:
7.09 M/s
messages over time/4 nb adders, 2 takers:
5.29 M/s
messages over time/4 nb adders, 4 nb takers:
9.44 M/s
messages over time/4 nb adders, 4 takers:
8.52 M/s
messages over time/one domain:
16.22 M/s
time per message/1 nb adder, 1 nb taker:
190.80 ns
time per message/1 nb adder, 1 taker:
60.76 ns
time per message/1 nb adder, 2 nb takers:
129.87 ns
time per message/1 nb adder, 2 takers:
267.24 ns
time per message/1 nb adder, 4 nb takers:
392.57 ns
time per message/1 nb adder, 4 takers:
547.73 ns
time per message/2 nb adders, 1 nb taker:
295.39 ns
time per message/2 nb adders, 1 taker:
225.59 ns
time per message/2 nb adders, 2 nb takers:
364.25 ns
time per message/2 nb adders, 2 takers:
292.55 ns
time per message/2 nb adders, 4 nb takers:
961.70 ns
time per message/2 nb adders, 4 takers:
628.20 ns
time per message/4 nb adders, 1 nb taker:
484.47 ns
time per message/4 nb adders, 1 taker:
621.49 ns
time per message/4 nb adders, 2 nb takers:
846.56 ns
time per message/4 nb adders, 2 takers:
1133.20 ns
time per message/4 nb adders, 4 nb takers:
847.21 ns
time per message/4 nb adders, 4 takers:
938.49 ns
time per message/one domain:
61.65 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Stack')
Kcas_data Stack:
messages over time/1 nb adder, 1 nb taker:
16.53 M/s
messages over time/1 nb adder, 1 taker:
23.09 M/s
messages over time/1 nb adder, 2 nb takers:
15.11 M/s
messages over time/1 nb adder, 2 takers:
10.22 M/s
messages over time/1 nb adder, 4 nb takers:
8.67 M/s
messages over time/1 nb adder, 4 takers:
11.02 M/s
messages over time/2 nb adders, 1 nb taker:
9.85 M/s
messages over time/2 nb adders, 1 taker:
21.79 M/s
messages over time/2 nb adders, 2 nb takers:
8.28 M/s
messages over time/2 nb adders, 2 takers:
9.53 M/s
messages over time/2 nb adders, 4 nb takers:
9.22 M/s
messages over time/2 nb adders, 4 takers:
9.30 M/s
messages over time/4 nb adders, 1 nb taker:
9.03 M/s
messages over time/4 nb adders, 1 taker:
6.82 M/s
messages over time/4 nb adders, 2 nb takers:
6.21 M/s
messages over time/4 nb adders, 2 takers:
10.62 M/s
messages over time/4 nb adders, 4 nb takers:
7.72 M/s
messages over time/4 nb adders, 4 takers:
3.68 M/s
messages over time/one domain:
21.40 M/s
time per message/1 nb adder, 1 nb taker:
120.97 ns
time per message/1 nb adder, 1 taker:
86.60 ns
time per message/1 nb adder, 2 nb takers:
198.59 ns
time per message/1 nb adder, 2 takers:
293.63 ns
time per message/1 nb adder, 4 nb takers:
576.61 ns
time per message/1 nb adder, 4 takers:
453.60 ns
time per message/2 nb adders, 1 nb taker:
304.43 ns
time per message/2 nb adders, 1 taker:
137.69 ns
time per message/2 nb adders, 2 nb takers:
483.30 ns
time per message/2 nb adders, 2 takers:
419.54 ns
time per message/2 nb adders, 4 nb takers:
650.98 ns
time per message/2 nb adders, 4 takers:
645.16 ns
time per message/4 nb adders, 1 nb taker:
553.91 ns
time per message/4 nb adders, 1 taker:
732.72 ns
time per message/4 nb adders, 2 nb takers:
966.50 ns
time per message/4 nb adders, 2 takers:
564.87 ns
time per message/4 nb adders, 4 nb takers:
1035.87 ns
time per message/4 nb adders, 4 takers:
2174.36 ns
time per message/one domain:
46.73 ns
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 4521112929350969536
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Stack sequential
[✓] 32 0 0 32 / 32 0.0s Stack sequential
[ ] 0 0 0 0 / 32 0.0s Stack parallel
[ ] 6 0 0 6 / 32 0.1s Stack parallel
[ ] 14 0 0 14 / 32 0.2s Stack parallel
[ ] 21 0 0 21 / 32 0.4s Stack parallel
[ ] 25 0 0 25 / 32 0.6s Stack parallel
[ ] 30 0 0 30 / 32 0.7s Stack parallel
[✓] 32 0 0 32 / 32 0.7s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 2646291368533622118
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Stack sequential
[✓] 64 0 0 64 / 64 0.0s Stack sequential
[ ] 0 0 0 0 / 64 0.0s Stack parallel
[ ] 6 0 0 6 / 64 0.1s Stack parallel
[ ] 9 0 0 9 / 64 0.2s Stack parallel
[ ] 15 0 0 15 / 64 0.3s Stack parallel
[ ] 22 0 0 22 / 64 0.4s Stack parallel
[ ] 27 0 0 27 / 64 0.5s Stack parallel
[ ] 36 0 0 36 / 64 0.6s Stack parallel
[ ] 45 0 0 45 / 64 0.8s Stack parallel
[ ] 52 0 0 52 / 64 0.9s Stack parallel
[ ] 57 0 0 57 / 64 1.1s Stack parallel
[✓] 64 0 0 64 / 64 1.2s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 579286143769755297
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Stack sequential
[✓] 128 0 0 128 / 128 0.0s Stack sequential
[ ] 0 0 0 0 / 128 0.0s Stack parallel
[ ] 8 0 0 8 / 128 0.1s Stack parallel
[ ] 11 0 0 11 / 128 0.3s Stack parallel
[ ] 17 0 0 17 / 128 0.5s Stack parallel
[ ] 19 0 0 19 / 128 0.6s Stack parallel
[ ] 22 0 0 22 / 128 0.8s Stack parallel
[ ] 27 0 0 27 / 128 0.9s Stack parallel
[ ] 32 0 0 32 / 128 1.0s Stack parallel
[ ] 36 0 0 36 / 128 1.2s Stack parallel
[ ] 42 0 0 42 / 128 1.3s Stack parallel
[ ] 50 0 0 50 / 128 1.4s Stack parallel
[ ] 59 0 0 59 / 128 1.6s Stack parallel
[ ] 60 0 0 60 / 128 1.7s Stack parallel
[ ] 67 0 0 67 / 128 1.9s Stack parallel
[ ] 75 0 0 75 / 128 2.0s Stack parallel
[ ] 77 0 0 77 / 128 2.1s Stack parallel
[ ] 86 0 0 86 / 128 2.2s Stack parallel
[ ] 94 0 0 94 / 128 2.3s Stack parallel
[ ] 103 0 0 103 / 128 2.4s Stack parallel
[ ] 108 0 0 108 / 128 2.6s Stack parallel
[ ] 110 0 0 110 / 128 2.7s Stack parallel
[ ] 119 0 0 119 / 128 2.8s Stack parallel
[ ] 127 0 0 127 / 128 2.9s Stack parallel
[✓] 128 0 0 128 / 128 2.9s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 1414108350115727063
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Stack sequential
[✓] 256 0 0 256 / 256 0.0s Stack sequential
[ ] 0 0 0 0 / 256 0.0s Stack parallel
[ ] 7 0 0 7 / 256 0.2s Stack parallel
[ ] 16 0 0 16 / 256 0.3s Stack parallel
[ ] 23 0 0 23 / 256 0.4s Stack parallel
[ ] 31 0 0 31 / 256 0.5s Stack parallel
[ ] 37 0 0 37 / 256 0.6s Stack parallel
[ ] 42 0 0 42 / 256 0.8s Stack parallel
[ ] 51 0 0 51 / 256 0.9s Stack parallel
[ ] 58 0 0 58 / 256 1.0s Stack parallel
[ ] 65 0 0 65 / 256 1.1s Stack parallel
[ ] 68 0 0 68 / 256 1.3s Stack parallel
[ ] 74 0 0 74 / 256 1.4s Stack parallel
[ ] 80 0 0 80 / 256 1.6s Stack parallel
[ ] 88 0 0 88 / 256 1.7s Stack parallel
[ ] 92 0 0 92 / 256 1.9s Stack parallel
[ ] 102 0 0 102 / 256 2.0s Stack parallel
[ ] 105 0 0 105 / 256 2.1s Stack parallel
[ ] 111 0 0 111 / 256 2.2s Stack parallel
[ ] 119 0 0 119 / 256 2.4s Stack parallel
[ ] 125 0 0 125 / 256 2.5s Stack parallel
[ ] 126 0 0 126 / 256 2.6s Stack parallel
[ ] 127 0 0 127 / 256 2.7s Stack parallel
[ ] 130 0 0 130 / 256 2.9s Stack parallel
[ ] 135 0 0 135 / 256 3.0s Stack parallel
[ ] 142 0 0 142 / 256 3.2s Stack parallel
[ ] 151 0 0 151 / 256 3.3s Stack parallel
[ ] 160 0 0 160 / 256 3.4s Stack parallel
[ ] 163 0 0 163 / 256 3.5s Stack parallel
[ ] 169 0 0 169 / 256 3.6s Stack parallel
[ ] 172 0 0 172 / 256 3.7s Stack parallel
[ ] 178 0 0 178 / 256 3.9s Stack parallel
[ ] 187 0 0 187 / 256 4.0s Stack parallel
[ ] 190 0 0 190 / 256 4.1s Stack parallel
[ ] 192 0 0 192 / 256 4.2s Stack parallel
[ ] 195 0 0 195 / 256 4.4s Stack parallel
[ ] 201 0 0 201 / 256 4.5s Stack parallel
[ ] 206 0 0 206 / 256 4.6s Stack parallel
[ ] 216 0 0 216 / 256 4.7s Stack parallel
[ ] 221 0 0 221 / 256 4.8s Stack parallel
[ ] 227 0 0 227 / 256 5.0s Stack parallel
[ ] 236 0 0 236 / 256 5.1s Stack parallel
[ ] 245 0 0 245 / 256 5.2s Stack parallel
[ ] 254 0 0 254 / 256 5.3s Stack parallel
[✓] 256 0 0 256 / 256 5.4s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 4275995070316027346
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Stack sequential
[✓] 512 0 0 512 / 512 0.0s Stack sequential
[ ] 0 0 0 0 / 512 0.0s Stack parallel
[ ] 5 0 0 5 / 512 0.1s Stack parallel
[ ] 14 0 0 14 / 512 0.2s Stack parallel
[ ] 19 0 0 19 / 512 0.3s Stack parallel
[ ] 27 0 0 27 / 512 0.5s Stack parallel
[ ] 32 0 0 32 / 512 0.6s Stack parallel
[ ] 41 0 0 41 / 512 0.7s Stack parallel
[ ] 44 0 0 44 / 512 0.9s Stack parallel
[ ] 53 0 0 53 / 512 1.0s Stack parallel
[ ] 56 0 0 56 / 512 1.2s Stack parallel
[ ] 63 0 0 63 / 512 1.3s Stack parallel
[ ] 71 0 0 71 / 512 1.5s Stack parallel
[ ] 79 0 0 79 / 512 1.6s Stack parallel
[ ] 85 0 0 85 / 512 1.7s Stack parallel
[ ] 89 0 0 89 / 512 1.8s Stack parallel
[ ] 97 0 0 97 / 512 1.9s Stack parallel
[ ] 102 0 0 102 / 512 2.0s Stack parallel
[ ] 104 0 0 104 / 512 2.1s Stack parallel
[ ] 109 0 0 109 / 512 2.2s Stack parallel
[ ] 113 0 0 113 / 512 2.3s Stack parallel
[ ] 122 0 0 122 / 512 2.4s Stack parallel
[ ] 126 0 0 126 / 512 2.5s Stack parallel
[ ] 131 0 0 131 / 512 2.7s Stack parallel
[ ] 139 0 0 139 / 512 2.8s Stack parallel
[ ] 149 0 0 149 / 512 2.9s Stack parallel
[ ] 154 0 0 154 / 512 3.0s Stack parallel
[ ] 159 0 0 159 / 512 3.1s Stack parallel
[ ] 166 0 0 166 / 512 3.2s Stack parallel
[ ] 174 0 0 174 / 512 3.3s Stack parallel
[ ] 175 0 0 175 / 512 3.4s Stack parallel
[ ] 178 0 0 178 / 512 3.5s Stack parallel
[ ] 182 0 0 182 / 512 3.7s Stack parallel
[ ] 188 0 0 188 / 512 3.8s Stack parallel
[ ] 193 0 0 193 / 512 3.9s Stack parallel
[ ] 201 0 0 201 / 512 4.0s Stack parallel
[ ] 209 0 0 209 / 512 4.1s Stack parallel
[ ] 212 0 0 212 / 512 4.3s Stack parallel
[ ] 221 0 0 221 / 512 4.4s Stack parallel
[ ] 230 0 0 230 / 512 4.5s Stack parallel
[ ] 237 0 0 237 / 512 4.6s Stack parallel
[ ] 247 0 0 247 / 512 4.7s Stack parallel
[ ] 251 0 0 251 / 512 4.8s Stack parallel
[ ] 261 0 0 261 / 512 4.9s Stack parallel
[ ] 266 0 0 266 / 512 5.0s Stack parallel
[ ] 275 0 0 275 / 512 5.1s Stack parallel
[ ] 282 0 0 282 / 512 5.2s Stack parallel
[ ] 288 0 0 288 / 512 5.4s Stack parallel
[ ] 295 0 0 295 / 512 5.5s Stack parallel
[ ] 298 0 0 298 / 512 5.7s Stack parallel
[ ] 304 0 0 304 / 512 5.8s Stack parallel
[ ] 309 0 0 309 / 512 6.0s Stack parallel
[ ] 316 0 0 316 / 512 6.1s Stack parallel
[ ] 319 0 0 319 / 512 6.2s Stack parallel
[ ] 327 0 0 327 / 512 6.3s Stack parallel
[ ] 334 0 0 334 / 512 6.4s Stack parallel
[ ] 343 0 0 343 / 512 6.5s Stack parallel
[ ] 348 0 0 348 / 512 6.6s Stack parallel
[ ] 354 0 0 354 / 512 6.7s Stack parallel
[ ] 359 0 0 359 / 512 6.8s Stack parallel
[ ] 360 0 0 360 / 512 6.9s Stack parallel
[ ] 370 0 0 370 / 512 7.0s Stack parallel
[ ] 376 0 0 376 / 512 7.2s Stack parallel
[ ] 383 0 0 383 / 512 7.4s Stack parallel
[ ] 390 0 0 390 / 512 7.5s Stack parallel
[ ] 395 0 0 395 / 512 7.7s Stack parallel
[ ] 402 0 0 402 / 512 7.8s Stack parallel
[ ] 410 0 0 410 / 512 7.9s Stack parallel
[ ] 414 0 0 414 / 512 8.0s Stack parallel
[ ] 422 0 0 422 / 512 8.1s Stack parallel
[ ] 430 0 0 430 / 512 8.2s Stack parallel
[ ] 433 0 0 433 / 512 8.3s Stack parallel
[ ] 443 0 0 443 / 512 8.4s Stack parallel
[ ] 449 0 0 449 / 512 8.5s Stack parallel
[ ] 457 0 0 457 / 512 8.6s Stack parallel
[ ] 461 0 0 461 / 512 8.7s Stack parallel
[ ] 465 0 0 465 / 512 8.8s Stack parallel
[ ] 470 0 0 470 / 512 8.9s Stack parallel
[ ] 479 0 0 479 / 512 9.1s Stack parallel
[ ] 487 0 0 487 / 512 9.2s Stack parallel
[ ] 494 0 0 494 / 512 9.3s Stack parallel
[ ] 496 0 0 496 / 512 9.4s Stack parallel
[ ] 504 0 0 504 / 512 9.5s Stack parallel
[ ] 507 0 0 507 / 512 9.6s Stack parallel
[✓] 512 0 0 512 / 512 9.7s Stack parallel
================================================================================
success (ran 2 tests)
random seed: 150253684365776175
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Stack sequential
[✓] 32 0 0 32 / 32 0.0s Stack sequential
[ ] 0 0 0 0 / 32 0.0s Stack parallel
[ ] 3 0 0 3 / 32 0.2s Stack parallel
[ ] 11 0 0 11 / 32 0.3s Stack parallel
[ ] 19 0 0 19 / 32 0.4s Stack parallel
[ ] 24 0 0 24 / 32 0.5s Stack parallel
[ ] 31 0 0 31 / 32 0.6s Stack parallel
[✓] 32 0 0 32 / 32 0.6s Stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 3085744130185953856
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Accumulator sequential
[✓] 32 0 0 32 / 32 0.0s Accumulator sequential
[ ] 0 0 0 0 / 32 0.0s Accumulator parallel
[ ] 4 0 0 4 / 32 0.1s Accumulator parallel
[ ] 11 0 0 11 / 32 0.2s Accumulator parallel
[ ] 17 0 0 17 / 32 0.3s Accumulator parallel
[ ] 22 0 0 22 / 32 0.4s Accumulator parallel
[ ] 25 0 0 25 / 32 0.6s Accumulator parallel
[ ] 30 0 0 30 / 32 0.7s Accumulator parallel
[✓] 32 0 0 32 / 32 0.7s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 2850069708705050411
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Accumulator sequential
[✓] 64 0 0 64 / 64 0.0s Accumulator sequential
[ ] 0 0 0 0 / 64 0.0s Accumulator parallel
[ ] 7 0 0 7 / 64 0.1s Accumulator parallel
[ ] 16 0 0 16 / 64 0.2s Accumulator parallel
[ ] 23 0 0 23 / 64 0.3s Accumulator parallel
[ ] 27 0 0 27 / 64 0.4s Accumulator parallel
[ ] 33 0 0 33 / 64 0.6s Accumulator parallel
[ ] 35 0 0 35 / 64 0.7s Accumulator parallel
[ ] 44 0 0 44 / 64 0.8s Accumulator parallel
[ ] 50 0 0 50 / 64 0.9s Accumulator parallel
[ ] 52 0 0 52 / 64 1.0s Accumulator parallel
[ ] 61 0 0 61 / 64 1.1s Accumulator parallel
[ ] 64 0 0 64 / 64 1.3s Accumulator parallel
[✓] 64 0 0 64 / 64 1.3s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 423086481445859237
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Accumulator sequential
[✓] 128 0 0 128 / 128 0.0s Accumulator sequential
[ ] 0 0 0 0 / 128 0.0s Accumulator parallel
[ ] 4 0 0 4 / 128 0.1s Accumulator parallel
[ ] 7 0 0 7 / 128 0.2s Accumulator parallel
[ ] 14 0 0 14 / 128 0.3s Accumulator parallel
[ ] 19 0 0 19 / 128 0.5s Accumulator parallel
[ ] 20 0 0 20 / 128 0.6s Accumulator parallel
[ ] 27 0 0 27 / 128 0.7s Accumulator parallel
[ ] 28 0 0 28 / 128 0.8s Accumulator parallel
[ ] 36 0 0 36 / 128 0.9s Accumulator parallel
[ ] 41 0 0 41 / 128 1.1s Accumulator parallel
[ ] 50 0 0 50 / 128 1.2s Accumulator parallel
[ ] 56 0 0 56 / 128 1.3s Accumulator parallel
[ ] 63 0 0 63 / 128 1.4s Accumulator parallel
[ ] 67 0 0 67 / 128 1.5s Accumulator parallel
[ ] 72 0 0 72 / 128 1.7s Accumulator parallel
[ ] 81 0 0 81 / 128 1.8s Accumulator parallel
[ ] 82 0 0 82 / 128 1.9s Accumulator parallel
[ ] 88 0 0 88 / 128 2.0s Accumulator parallel
[ ] 97 0 0 97 / 128 2.1s Accumulator parallel
[ ] 103 0 0 103 / 128 2.2s Accumulator parallel
[ ] 110 0 0 110 / 128 2.3s Accumulator parallel
[ ] 116 0 0 116 / 128 2.5s Accumulator parallel
[ ] 121 0 0 121 / 128 2.6s Accumulator parallel
[ ] 126 0 0 126 / 128 2.8s Accumulator parallel
[✓] 128 0 0 128 / 128 2.8s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 1775504148342445161
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Accumulator sequential
[✓] 256 0 0 256 / 256 0.0s Accumulator sequential
[ ] 0 0 0 0 / 256 0.0s Accumulator parallel
[ ] 9 0 0 9 / 256 0.1s Accumulator parallel
[ ] 16 0 0 16 / 256 0.3s Accumulator parallel
[ ] 26 0 0 26 / 256 0.4s Accumulator parallel
[ ] 30 0 0 30 / 256 0.6s Accumulator parallel
[ ] 39 0 0 39 / 256 0.7s Accumulator parallel
[ ] 49 0 0 49 / 256 0.8s Accumulator parallel
[ ] 58 0 0 58 / 256 0.9s Accumulator parallel
[ ] 64 0 0 64 / 256 1.0s Accumulator parallel
[ ] 71 0 0 71 / 256 1.1s Accumulator parallel
[ ] 80 0 0 80 / 256 1.2s Accumulator parallel
[ ] 88 0 0 88 / 256 1.4s Accumulator parallel
[ ] 95 0 0 95 / 256 1.6s Accumulator parallel
[ ] 101 0 0 101 / 256 1.7s Accumulator parallel
[ ] 106 0 0 106 / 256 1.9s Accumulator parallel
[ ] 112 0 0 112 / 256 2.0s Accumulator parallel
[ ] 120 0 0 120 / 256 2.1s Accumulator parallel
[ ] 126 0 0 126 / 256 2.2s Accumulator parallel
[ ] 133 0 0 133 / 256 2.4s Accumulator parallel
[ ] 141 0 0 141 / 256 2.5s Accumulator parallel
[ ] 149 0 0 149 / 256 2.7s Accumulator parallel
[ ] 155 0 0 155 / 256 2.9s Accumulator parallel
[ ] 162 0 0 162 / 256 3.0s Accumulator parallel
[ ] 169 0 0 169 / 256 3.1s Accumulator parallel
[ ] 171 0 0 171 / 256 3.2s Accumulator parallel
[ ] 180 0 0 180 / 256 3.3s Accumulator parallel
[ ] 188 0 0 188 / 256 3.4s Accumulator parallel
[ ] 194 0 0 194 / 256 3.5s Accumulator parallel
[ ] 199 0 0 199 / 256 3.6s Accumulator parallel
[ ] 206 0 0 206 / 256 3.7s Accumulator parallel
[ ] 214 0 0 214 / 256 3.8s Accumulator parallel
[ ] 217 0 0 217 / 256 4.0s Accumulator parallel
[ ] 224 0 0 224 / 256 4.1s Accumulator parallel
[ ] 232 0 0 232 / 256 4.3s Accumulator parallel
[ ] 240 0 0 240 / 256 4.4s Accumulator parallel
[ ] 248 0 0 248 / 256 4.5s Accumulator parallel
[ ] 255 0 0 255 / 256 4.6s Accumulator parallel
[✓] 256 0 0 256 / 256 4.6s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 2078395864233129078
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Accumulator sequential
[✓] 512 0 0 512 / 512 0.0s Accumulator sequential
[ ] 0 0 0 0 / 512 0.0s Accumulator parallel
[ ] 5 0 0 5 / 512 0.1s Accumulator parallel
[ ] 13 0 0 13 / 512 0.2s Accumulator parallel
[ ] 18 0 0 18 / 512 0.3s Accumulator parallel
[ ] 28 0 0 28 / 512 0.4s Accumulator parallel
[ ] 36 0 0 36 / 512 0.6s Accumulator parallel
[ ] 43 0 0 43 / 512 0.7s Accumulator parallel
[ ] 51 0 0 51 / 512 0.8s Accumulator parallel
[ ] 58 0 0 58 / 512 0.9s Accumulator parallel
[ ] 64 0 0 64 / 512 1.1s Accumulator parallel
[ ] 73 0 0 73 / 512 1.3s Accumulator parallel
[ ] 82 0 0 82 / 512 1.4s Accumulator parallel
[ ] 84 0 0 84 / 512 1.5s Accumulator parallel
[ ] 89 0 0 89 / 512 1.6s Accumulator parallel
[ ] 90 0 0 90 / 512 1.7s Accumulator parallel
[ ] 98 0 0 98 / 512 1.9s Accumulator parallel
[ ] 101 0 0 101 / 512 2.0s Accumulator parallel
[ ] 106 0 0 106 / 512 2.1s Accumulator parallel
[ ] 111 0 0 111 / 512 2.2s Accumulator parallel
[ ] 117 0 0 117 / 512 2.3s Accumulator parallel
[ ] 122 0 0 122 / 512 2.4s Accumulator parallel
[ ] 128 0 0 128 / 512 2.5s Accumulator parallel
[ ] 135 0 0 135 / 512 2.6s Accumulator parallel
[ ] 143 0 0 143 / 512 2.7s Accumulator parallel
[ ] 145 0 0 145 / 512 2.8s Accumulator parallel
[ ] 149 0 0 149 / 512 3.0s Accumulator parallel
[ ] 151 0 0 151 / 512 3.1s Accumulator parallel
[ ] 160 0 0 160 / 512 3.2s Accumulator parallel
[ ] 161 0 0 161 / 512 3.3s Accumulator parallel
[ ] 168 0 0 168 / 512 3.4s Accumulator parallel
[ ] 178 0 0 178 / 512 3.5s Accumulator parallel
[ ] 185 0 0 185 / 512 3.7s Accumulator parallel
[ ] 191 0 0 191 / 512 3.8s Accumulator parallel
[ ] 193 0 0 193 / 512 3.9s Accumulator parallel
[ ] 198 0 0 198 / 512 4.1s Accumulator parallel
[ ] 206 0 0 206 / 512 4.2s Accumulator parallel
[ ] 212 0 0 212 / 512 4.3s Accumulator parallel
[ ] 219 0 0 219 / 512 4.4s Accumulator parallel
[ ] 228 0 0 228 / 512 4.5s Accumulator parallel
[ ] 233 0 0 233 / 512 4.6s Accumulator parallel
[ ] 237 0 0 237 / 512 4.8s Accumulator parallel
[ ] 245 0 0 245 / 512 4.9s Accumulator parallel
[ ] 253 0 0 253 / 512 5.1s Accumulator parallel
[ ] 254 0 0 254 / 512 5.2s Accumulator parallel
[ ] 262 0 0 262 / 512 5.3s Accumulator parallel
[ ] 271 0 0 271 / 512 5.4s Accumulator parallel
[ ] 281 0 0 281 / 512 5.5s Accumulator parallel
[ ] 289 0 0 289 / 512 5.6s Accumulator parallel
[ ] 295 0 0 295 / 512 5.7s Accumulator parallel
[ ] 303 0 0 303 / 512 5.9s Accumulator parallel
[ ] 312 0 0 312 / 512 6.0s Accumulator parallel
[ ] 317 0 0 317 / 512 6.2s Accumulator parallel
[ ] 324 0 0 324 / 512 6.3s Accumulator parallel
[ ] 330 0 0 330 / 512 6.5s Accumulator parallel
[ ] 333 0 0 333 / 512 6.6s Accumulator parallel
[ ] 338 0 0 338 / 512 6.7s Accumulator parallel
[ ] 344 0 0 344 / 512 6.9s Accumulator parallel
[ ] 348 0 0 348 / 512 7.0s Accumulator parallel
[ ] 356 0 0 356 / 512 7.1s Accumulator parallel
[ ] 365 0 0 365 / 512 7.3s Accumulator parallel
[ ] 371 0 0 371 / 512 7.4s Accumulator parallel
[ ] 380 0 0 380 / 512 7.5s Accumulator parallel
[ ] 389 0 0 389 / 512 7.6s Accumulator parallel
[ ] 394 0 0 394 / 512 7.8s Accumulator parallel
[ ] 400 0 0 400 / 512 7.9s Accumulator parallel
[ ] 407 0 0 407 / 512 8.0s Accumulator parallel
[ ] 416 0 0 416 / 512 8.1s Accumulator parallel
[ ] 423 0 0 423 / 512 8.2s Accumulator parallel
[ ] 428 0 0 428 / 512 8.4s Accumulator parallel
[ ] 434 0 0 434 / 512 8.5s Accumulator parallel
[ ] 437 0 0 437 / 512 8.6s Accumulator parallel
[ ] 441 0 0 441 / 512 8.8s Accumulator parallel
[ ] 449 0 0 449 / 512 8.9s Accumulator parallel
[ ] 450 0 0 450 / 512 9.0s Accumulator parallel
[ ] 456 0 0 456 / 512 9.2s Accumulator parallel
[ ] 462 0 0 462 / 512 9.3s Accumulator parallel
[ ] 468 0 0 468 / 512 9.4s Accumulator parallel
[ ] 473 0 0 473 / 512 9.6s Accumulator parallel
[ ] 476 0 0 476 / 512 9.7s Accumulator parallel
[ ] 480 0 0 480 / 512 9.9s Accumulator parallel
[ ] 488 0 0 488 / 512 10.0s Accumulator parallel
[ ] 495 0 0 495 / 512 10.1s Accumulator parallel
[ ] 497 0 0 497 / 512 10.2s Accumulator parallel
[ ] 503 0 0 503 / 512 10.3s Accumulator parallel
[ ] 510 0 0 510 / 512 10.5s Accumulator parallel
[✓] 512 0 0 512 / 512 10.5s Accumulator parallel
================================================================================
success (ran 2 tests)
random seed: 803358281791364446
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Accumulator sequential
[✓] 32 0 0 32 / 32 0.0s Accumulator sequential
[ ] 0 0 0 0 / 32 0.0s Accumulator parallel
[ ] 4 0 0 4 / 32 0.1s Accumulator parallel
[ ] 5 0 0 5 / 32 0.3s Accumulator parallel
[ ] 11 0 0 11 / 32 0.4s Accumulator parallel
[ ] 20 0 0 20 / 32 0.5s Accumulator parallel
[ ] 30 0 0 30 / 32 0.6s Accumulator parallel
[✓] 32 0 0 32 / 32 0.6s Accumulator parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 1550264098258165850
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Dllist sequential
[✓] 32 0 0 32 / 32 0.0s Dllist sequential
[ ] 0 0 0 0 / 32 0.0s Dllist parallel
[ ] 1 0 0 1 / 32 0.1s Dllist parallel
[ ] 6 0 0 6 / 32 0.3s Dllist parallel
[ ] 12 0 0 12 / 32 0.4s Dllist parallel
[ ] 14 0 0 14 / 32 0.5s Dllist parallel
[ ] 19 0 0 19 / 32 0.6s Dllist parallel
[ ] 24 0 0 24 / 32 0.7s Dllist parallel
[ ] 26 0 0 26 / 32 0.8s Dllist parallel
[✓] 32 0 0 32 / 32 0.9s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 1210098453303416358
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Dllist sequential
[✓] 64 0 0 64 / 64 0.0s Dllist sequential
[ ] 0 0 0 0 / 64 0.0s Dllist parallel
[ ] 8 0 0 8 / 64 0.1s Dllist parallel
[ ] 11 0 0 11 / 64 0.2s Dllist parallel
[ ] 21 0 0 21 / 64 0.4s Dllist parallel
[ ] 30 0 0 30 / 64 0.6s Dllist parallel
[ ] 35 0 0 35 / 64 0.8s Dllist parallel
[ ] 43 0 0 43 / 64 0.9s Dllist parallel
[ ] 44 0 0 44 / 64 1.1s Dllist parallel
[ ] 51 0 0 51 / 64 1.2s Dllist parallel
[ ] 56 0 0 56 / 64 1.3s Dllist parallel
[ ] 60 0 0 60 / 64 1.5s Dllist parallel
[✓] 64 0 0 64 / 64 1.6s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 4434267748390722123
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Dllist sequential
[✓] 128 0 0 128 / 128 0.0s Dllist sequential
[ ] 0 0 0 0 / 128 0.0s Dllist parallel
[ ] 6 0 0 6 / 128 0.1s Dllist parallel
[ ] 11 0 0 11 / 128 0.2s Dllist parallel
[ ] 17 0 0 17 / 128 0.3s Dllist parallel
[ ] 23 0 0 23 / 128 0.4s Dllist parallel
[ ] 28 0 0 28 / 128 0.5s Dllist parallel
[ ] 34 0 0 34 / 128 0.6s Dllist parallel
[ ] 42 0 0 42 / 128 0.8s Dllist parallel
[ ] 45 0 0 45 / 128 0.9s Dllist parallel
[ ] 52 0 0 52 / 128 1.0s Dllist parallel
[ ] 53 0 0 53 / 128 1.1s Dllist parallel
[ ] 59 0 0 59 / 128 1.2s Dllist parallel
[ ] 63 0 0 63 / 128 1.4s Dllist parallel
[ ] 70 0 0 70 / 128 1.6s Dllist parallel
[ ] 76 0 0 76 / 128 1.8s Dllist parallel
[ ] 84 0 0 84 / 128 1.9s Dllist parallel
[ ] 91 0 0 91 / 128 2.0s Dllist parallel
[ ] 95 0 0 95 / 128 2.2s Dllist parallel
[ ] 102 0 0 102 / 128 2.3s Dllist parallel
[ ] 109 0 0 109 / 128 2.4s Dllist parallel
[ ] 117 0 0 117 / 128 2.6s Dllist parallel
[ ] 125 0 0 125 / 128 2.7s Dllist parallel
[✓] 128 0 0 128 / 128 2.7s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 420768871010235066
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Dllist sequential
[✓] 256 0 0 256 / 256 0.0s Dllist sequential
[ ] 0 0 0 0 / 256 0.0s Dllist parallel
[ ] 6 0 0 6 / 256 0.2s Dllist parallel
[ ] 12 0 0 12 / 256 0.3s Dllist parallel
[ ] 20 0 0 20 / 256 0.4s Dllist parallel
[ ] 27 0 0 27 / 256 0.5s Dllist parallel
[ ] 33 0 0 33 / 256 0.7s Dllist parallel
[ ] 42 0 0 42 / 256 0.8s Dllist parallel
[ ] 44 0 0 44 / 256 1.0s Dllist parallel
[ ] 48 0 0 48 / 256 1.1s Dllist parallel
[ ] 58 0 0 58 / 256 1.3s Dllist parallel
[ ] 68 0 0 68 / 256 1.4s Dllist parallel
[ ] 74 0 0 74 / 256 1.5s Dllist parallel
[ ] 78 0 0 78 / 256 1.6s Dllist parallel
[ ] 84 0 0 84 / 256 1.7s Dllist parallel
[ ] 88 0 0 88 / 256 1.9s Dllist parallel
[ ] 95 0 0 95 / 256 2.0s Dllist parallel
[ ] 104 0 0 104 / 256 2.1s Dllist parallel
[ ] 111 0 0 111 / 256 2.2s Dllist parallel
[ ] 117 0 0 117 / 256 2.3s Dllist parallel
[ ] 122 0 0 122 / 256 2.5s Dllist parallel
[ ] 127 0 0 127 / 256 2.7s Dllist parallel
[ ] 129 0 0 129 / 256 2.8s Dllist parallel
[ ] 137 0 0 137 / 256 2.9s Dllist parallel
[ ] 143 0 0 143 / 256 3.1s Dllist parallel
[ ] 151 0 0 151 / 256 3.2s Dllist parallel
[ ] 159 0 0 159 / 256 3.3s Dllist parallel
[ ] 168 0 0 168 / 256 3.4s Dllist parallel
[ ] 176 0 0 176 / 256 3.5s Dllist parallel
[ ] 183 0 0 183 / 256 3.7s Dllist parallel
[ ] 188 0 0 188 / 256 3.8s Dllist parallel
[ ] 197 0 0 197 / 256 3.9s Dllist parallel
[ ] 202 0 0 202 / 256 4.1s Dllist parallel
[ ] 210 0 0 210 / 256 4.3s Dllist parallel
[ ] 216 0 0 216 / 256 4.4s Dllist parallel
[ ] 224 0 0 224 / 256 4.5s Dllist parallel
[ ] 232 0 0 232 / 256 4.6s Dllist parallel
[ ] 233 0 0 233 / 256 4.8s Dllist parallel
[ ] 239 0 0 239 / 256 4.9s Dllist parallel
[ ] 243 0 0 243 / 256 5.0s Dllist parallel
[ ] 252 0 0 252 / 256 5.1s Dllist parallel
[✓] 256 0 0 256 / 256 5.2s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 2769507162844295427
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Dllist sequential
[✓] 512 0 0 512 / 512 0.0s Dllist sequential
[ ] 0 0 0 0 / 512 0.0s Dllist parallel
[ ] 9 0 0 9 / 512 0.2s Dllist parallel
[ ] 15 0 0 15 / 512 0.3s Dllist parallel
[ ] 21 0 0 21 / 512 0.4s Dllist parallel
[ ] 28 0 0 28 / 512 0.5s Dllist parallel
[ ] 32 0 0 32 / 512 0.6s Dllist parallel
[ ] 38 0 0 38 / 512 0.7s Dllist parallel
[ ] 47 0 0 47 / 512 0.8s Dllist parallel
[ ] 54 0 0 54 / 512 0.9s Dllist parallel
[ ] 58 0 0 58 / 512 1.0s Dllist parallel
[ ] 64 0 0 64 / 512 1.2s Dllist parallel
[ ] 69 0 0 69 / 512 1.4s Dllist parallel
[ ] 78 0 0 78 / 512 1.5s Dllist parallel
[ ] 83 0 0 83 / 512 1.7s Dllist parallel
[ ] 89 0 0 89 / 512 1.8s Dllist parallel
[ ] 96 0 0 96 / 512 2.0s Dllist parallel
[ ] 103 0 0 103 / 512 2.1s Dllist parallel
[ ] 110 0 0 110 / 512 2.3s Dllist parallel
[ ] 117 0 0 117 / 512 2.4s Dllist parallel
[ ] 121 0 0 121 / 512 2.6s Dllist parallel
[ ] 128 0 0 128 / 512 2.7s Dllist parallel
[ ] 136 0 0 136 / 512 2.8s Dllist parallel
[ ] 140 0 0 140 / 512 2.9s Dllist parallel
[ ] 148 0 0 148 / 512 3.0s Dllist parallel
[ ] 149 0 0 149 / 512 3.2s Dllist parallel
[ ] 156 0 0 156 / 512 3.3s Dllist parallel
[ ] 165 0 0 165 / 512 3.4s Dllist parallel
[ ] 173 0 0 173 / 512 3.5s Dllist parallel
[ ] 181 0 0 181 / 512 3.7s Dllist parallel
[ ] 186 0 0 186 / 512 3.8s Dllist parallel
[ ] 193 0 0 193 / 512 3.9s Dllist parallel
[ ] 199 0 0 199 / 512 4.1s Dllist parallel
[ ] 204 0 0 204 / 512 4.2s Dllist parallel
[ ] 208 0 0 208 / 512 4.3s Dllist parallel
[ ] 215 0 0 215 / 512 4.4s Dllist parallel
[ ] 221 0 0 221 / 512 4.6s Dllist parallel
[ ] 225 0 0 225 / 512 4.7s Dllist parallel
[ ] 232 0 0 232 / 512 4.8s Dllist parallel
[ ] 234 0 0 234 / 512 4.9s Dllist parallel
[ ] 243 0 0 243 / 512 5.1s Dllist parallel
[ ] 246 0 0 246 / 512 5.2s Dllist parallel
[ ] 251 0 0 251 / 512 5.3s Dllist parallel
[ ] 259 0 0 259 / 512 5.5s Dllist parallel
[ ] 265 0 0 265 / 512 5.6s Dllist parallel
[ ] 272 0 0 272 / 512 5.7s Dllist parallel
[ ] 280 0 0 280 / 512 5.8s Dllist parallel
[ ] 287 0 0 287 / 512 5.9s Dllist parallel
[ ] 293 0 0 293 / 512 6.0s Dllist parallel
[ ] 302 0 0 302 / 512 6.1s Dllist parallel
[ ] 308 0 0 308 / 512 6.3s Dllist parallel
[ ] 314 0 0 314 / 512 6.5s Dllist parallel
[ ] 318 0 0 318 / 512 6.6s Dllist parallel
[ ] 319 0 0 319 / 512 6.7s Dllist parallel
[ ] 328 0 0 328 / 512 6.8s Dllist parallel
[ ] 329 0 0 329 / 512 7.0s Dllist parallel
[ ] 335 0 0 335 / 512 7.2s Dllist parallel
[ ] 338 0 0 338 / 512 7.3s Dllist parallel
[ ] 347 0 0 347 / 512 7.4s Dllist parallel
[ ] 355 0 0 355 / 512 7.6s Dllist parallel
[ ] 358 0 0 358 / 512 7.8s Dllist parallel
[ ] 367 0 0 367 / 512 7.9s Dllist parallel
[ ] 374 0 0 374 / 512 8.0s Dllist parallel
[ ] 381 0 0 381 / 512 8.2s Dllist parallel
[ ] 385 0 0 385 / 512 8.3s Dllist parallel
[ ] 392 0 0 392 / 512 8.4s Dllist parallel
[ ] 400 0 0 400 / 512 8.5s Dllist parallel
[ ] 406 0 0 406 / 512 8.6s Dllist parallel
[ ] 412 0 0 412 / 512 8.8s Dllist parallel
[ ] 418 0 0 418 / 512 8.9s Dllist parallel
[ ] 425 0 0 425 / 512 9.0s Dllist parallel
[ ] 428 0 0 428 / 512 9.1s Dllist parallel
[ ] 433 0 0 433 / 512 9.3s Dllist parallel
[ ] 435 0 0 435 / 512 9.4s Dllist parallel
[ ] 440 0 0 440 / 512 9.6s Dllist parallel
[ ] 442 0 0 442 / 512 9.7s Dllist parallel
[ ] 451 0 0 451 / 512 9.8s Dllist parallel
[ ] 459 0 0 459 / 512 10.0s Dllist parallel
[ ] 465 0 0 465 / 512 10.1s Dllist parallel
[ ] 474 0 0 474 / 512 10.2s Dllist parallel
[ ] 477 0 0 477 / 512 10.3s Dllist parallel
[ ] 480 0 0 480 / 512 10.5s Dllist parallel
[ ] 486 0 0 486 / 512 10.6s Dllist parallel
[ ] 493 0 0 493 / 512 10.7s Dllist parallel
[ ] 496 0 0 496 / 512 10.8s Dllist parallel
[ ] 499 0 0 499 / 512 11.1s Dllist parallel
[ ] 507 0 0 507 / 512 11.3s Dllist parallel
[✓] 512 0 0 512 / 512 11.3s Dllist parallel
================================================================================
success (ran 2 tests)
random seed: 1307855193346847657
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Dllist sequential
[✓] 32 0 0 32 / 32 0.0s Dllist sequential
[ ] 0 0 0 0 / 32 0.0s Dllist parallel
[ ] 6 0 0 6 / 32 0.1s Dllist parallel
[ ] 11 0 0 11 / 32 0.3s Dllist parallel
[ ] 17 0 0 17 / 32 0.5s Dllist parallel
[ ] 23 0 0 23 / 32 0.6s Dllist parallel
[ ] 28 0 0 28 / 32 0.7s Dllist parallel
[✓] 32 0 0 32 / 32 0.8s Dllist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 4295807886041516899
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Queue sequential
[✓] 32 0 0 32 / 32 0.0s Queue sequential
[ ] 0 0 0 0 / 32 0.0s Queue parallel
[ ] 7 0 0 7 / 32 0.1s Queue parallel
[ ] 10 0 0 10 / 32 0.3s Queue parallel
[ ] 11 0 0 11 / 32 0.4s Queue parallel
[ ] 13 0 0 13 / 32 0.5s Queue parallel
[ ] 20 0 0 20 / 32 0.6s Queue parallel
[ ] 25 0 0 25 / 32 0.7s Queue parallel
[ ] 30 0 0 30 / 32 0.9s Queue parallel
[✓] 32 0 0 32 / 32 0.9s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3778140453654379377
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Queue sequential
[✓] 64 0 0 64 / 64 0.0s Queue sequential
[ ] 0 0 0 0 / 64 0.0s Queue parallel
[ ] 6 0 0 6 / 64 0.2s Queue parallel
[ ] 9 0 0 9 / 64 0.4s Queue parallel
[ ] 13 0 0 13 / 64 0.5s Queue parallel
[ ] 22 0 0 22 / 64 0.6s Queue parallel
[ ] 28 0 0 28 / 64 0.7s Queue parallel
[ ] 33 0 0 33 / 64 0.8s Queue parallel
[ ] 43 0 0 43 / 64 0.9s Queue parallel
[ ] 50 0 0 50 / 64 1.0s Queue parallel
[ ] 58 0 0 58 / 64 1.1s Queue parallel
[ ] 62 0 0 62 / 64 1.3s Queue parallel
[ ] 63 0 0 63 / 64 1.4s Queue parallel
[✓] 64 0 0 64 / 64 1.4s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3702536320302694741
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Queue sequential
[✓] 128 0 0 128 / 128 0.0s Queue sequential
[ ] 0 0 0 0 / 128 0.0s Queue parallel
[ ] 8 0 0 8 / 128 0.1s Queue parallel
[ ] 12 0 0 12 / 128 0.3s Queue parallel
[ ] 16 0 0 16 / 128 0.4s Queue parallel
[ ] 26 0 0 26 / 128 0.5s Queue parallel
[ ] 34 0 0 34 / 128 0.6s Queue parallel
[ ] 38 0 0 38 / 128 0.7s Queue parallel
[ ] 45 0 0 45 / 128 0.9s Queue parallel
[ ] 48 0 0 48 / 128 1.0s Queue parallel
[ ] 56 0 0 56 / 128 1.1s Queue parallel
[ ] 58 0 0 58 / 128 1.2s Queue parallel
[ ] 65 0 0 65 / 128 1.4s Queue parallel
[ ] 71 0 0 71 / 128 1.5s Queue parallel
[ ] 77 0 0 77 / 128 1.6s Queue parallel
[ ] 81 0 0 81 / 128 1.7s Queue parallel
[ ] 89 0 0 89 / 128 1.8s Queue parallel
[ ] 94 0 0 94 / 128 2.0s Queue parallel
[ ] 100 0 0 100 / 128 2.2s Queue parallel
[ ] 108 0 0 108 / 128 2.3s Queue parallel
[ ] 115 0 0 115 / 128 2.5s Queue parallel
[ ] 122 0 0 122 / 128 2.6s Queue parallel
[ ] 126 0 0 126 / 128 2.8s Queue parallel
[✓] 128 0 0 128 / 128 2.9s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1559463297728961975
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Queue sequential
[✓] 256 0 0 256 / 256 0.0s Queue sequential
[ ] 0 0 0 0 / 256 0.0s Queue parallel
[ ] 2 0 0 2 / 256 0.1s Queue parallel
[ ] 11 0 0 11 / 256 0.2s Queue parallel
[ ] 14 0 0 14 / 256 0.4s Queue parallel
[ ] 15 0 0 15 / 256 0.5s Queue parallel
[ ] 24 0 0 24 / 256 0.6s Queue parallel
[ ] 27 0 0 27 / 256 0.7s Queue parallel
[ ] 31 0 0 31 / 256 0.8s Queue parallel
[ ] 36 0 0 36 / 256 0.9s Queue parallel
[ ] 45 0 0 45 / 256 1.0s Queue parallel
[ ] 52 0 0 52 / 256 1.2s Queue parallel
[ ] 62 0 0 62 / 256 1.3s Queue parallel
[ ] 69 0 0 69 / 256 1.4s Queue parallel
[ ] 72 0 0 72 / 256 1.5s Queue parallel
[ ] 77 0 0 77 / 256 1.6s Queue parallel
[ ] 83 0 0 83 / 256 1.8s Queue parallel
[ ] 88 0 0 88 / 256 1.9s Queue parallel
[ ] 95 0 0 95 / 256 2.1s Queue parallel
[ ] 96 0 0 96 / 256 2.2s Queue parallel
[ ] 102 0 0 102 / 256 2.3s Queue parallel
[ ] 107 0 0 107 / 256 2.4s Queue parallel
[ ] 114 0 0 114 / 256 2.5s Queue parallel
[ ] 118 0 0 118 / 256 2.6s Queue parallel
[ ] 119 0 0 119 / 256 2.7s Queue parallel
[ ] 125 0 0 125 / 256 2.9s Queue parallel
[ ] 128 0 0 128 / 256 3.0s Queue parallel
[ ] 130 0 0 130 / 256 3.1s Queue parallel
[ ] 136 0 0 136 / 256 3.3s Queue parallel
[ ] 143 0 0 143 / 256 3.4s Queue parallel
[ ] 151 0 0 151 / 256 3.5s Queue parallel
[ ] 157 0 0 157 / 256 3.7s Queue parallel
[ ] 165 0 0 165 / 256 3.8s Queue parallel
[ ] 173 0 0 173 / 256 3.9s Queue parallel
[ ] 176 0 0 176 / 256 4.0s Queue parallel
[ ] 183 0 0 183 / 256 4.2s Queue parallel
[ ] 191 0 0 191 / 256 4.3s Queue parallel
[ ] 200 0 0 200 / 256 4.4s Queue parallel
[ ] 204 0 0 204 / 256 4.5s Queue parallel
[ ] 213 0 0 213 / 256 4.6s Queue parallel
[ ] 221 0 0 221 / 256 4.7s Queue parallel
[ ] 228 0 0 228 / 256 4.8s Queue parallel
[ ] 229 0 0 229 / 256 4.9s Queue parallel
[ ] 238 0 0 238 / 256 5.0s Queue parallel
[ ] 240 0 0 240 / 256 5.2s Queue parallel
[ ] 250 0 0 250 / 256 5.3s Queue parallel
[✓] 256 0 0 256 / 256 5.4s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 3213192678242574553
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Queue sequential
[✓] 512 0 0 512 / 512 0.0s Queue sequential
[ ] 0 0 0 0 / 512 0.0s Queue parallel
[ ] 4 0 0 4 / 512 0.1s Queue parallel
[ ] 11 0 0 11 / 512 0.2s Queue parallel
[ ] 19 0 0 19 / 512 0.3s Queue parallel
[ ] 28 0 0 28 / 512 0.4s Queue parallel
[ ] 35 0 0 35 / 512 0.5s Queue parallel
[ ] 42 0 0 42 / 512 0.6s Queue parallel
[ ] 49 0 0 49 / 512 0.8s Queue parallel
[ ] 54 0 0 54 / 512 0.9s Queue parallel
[ ] 57 0 0 57 / 512 1.0s Queue parallel
[ ] 64 0 0 64 / 512 1.2s Queue parallel
[ ] 71 0 0 71 / 512 1.3s Queue parallel
[ ] 78 0 0 78 / 512 1.5s Queue parallel
[ ] 87 0 0 87 / 512 1.6s Queue parallel
[ ] 96 0 0 96 / 512 1.7s Queue parallel
[ ] 104 0 0 104 / 512 1.8s Queue parallel
[ ] 111 0 0 111 / 512 1.9s Queue parallel
[ ] 117 0 0 117 / 512 2.0s Queue parallel
[ ] 123 0 0 123 / 512 2.2s Queue parallel
[ ] 130 0 0 130 / 512 2.3s Queue parallel
[ ] 133 0 0 133 / 512 2.5s Queue parallel
[ ] 137 0 0 137 / 512 2.6s Queue parallel
[ ] 142 0 0 142 / 512 2.8s Queue parallel
[ ] 150 0 0 150 / 512 2.9s Queue parallel
[ ] 157 0 0 157 / 512 3.0s Queue parallel
[ ] 159 0 0 159 / 512 3.1s Queue parallel
[ ] 167 0 0 167 / 512 3.2s Queue parallel
[ ] 174 0 0 174 / 512 3.4s Queue parallel
[ ] 177 0 0 177 / 512 3.5s Queue parallel
[ ] 181 0 0 181 / 512 3.6s Queue parallel
[ ] 185 0 0 185 / 512 3.8s Queue parallel
[ ] 191 0 0 191 / 512 3.9s Queue parallel
[ ] 201 0 0 201 / 512 4.0s Queue parallel
[ ] 208 0 0 208 / 512 4.2s Queue parallel
[ ] 214 0 0 214 / 512 4.4s Queue parallel
[ ] 223 0 0 223 / 512 4.5s Queue parallel
[ ] 228 0 0 228 / 512 4.6s Queue parallel
[ ] 232 0 0 232 / 512 4.7s Queue parallel
[ ] 233 0 0 233 / 512 4.8s Queue parallel
[ ] 240 0 0 240 / 512 5.0s Queue parallel
[ ] 242 0 0 242 / 512 5.1s Queue parallel
[ ] 250 0 0 250 / 512 5.2s Queue parallel
[ ] 256 0 0 256 / 512 5.3s Queue parallel
[ ] 265 0 0 265 / 512 5.5s Queue parallel
[ ] 274 0 0 274 / 512 5.7s Queue parallel
[ ] 283 0 0 283 / 512 5.8s Queue parallel
[ ] 292 0 0 292 / 512 5.9s Queue parallel
[ ] 302 0 0 302 / 512 6.0s Queue parallel
[ ] 308 0 0 308 / 512 6.1s Queue parallel
[ ] 313 0 0 313 / 512 6.3s Queue parallel
[ ] 318 0 0 318 / 512 6.5s Queue parallel
[ ] 327 0 0 327 / 512 6.6s Queue parallel
[ ] 332 0 0 332 / 512 6.7s Queue parallel
[ ] 333 0 0 333 / 512 6.8s Queue parallel
[ ] 340 0 0 340 / 512 6.9s Queue parallel
[ ] 346 0 0 346 / 512 7.1s Queue parallel
[ ] 351 0 0 351 / 512 7.2s Queue parallel
[ ] 357 0 0 357 / 512 7.3s Queue parallel
[ ] 364 0 0 364 / 512 7.5s Queue parallel
[ ] 368 0 0 368 / 512 7.7s Queue parallel
[ ] 376 0 0 376 / 512 7.8s Queue parallel
[ ] 383 0 0 383 / 512 7.9s Queue parallel
[ ] 389 0 0 389 / 512 8.1s Queue parallel
[ ] 392 0 0 392 / 512 8.2s Queue parallel
[ ] 400 0 0 400 / 512 8.3s Queue parallel
[ ] 401 0 0 401 / 512 8.5s Queue parallel
[ ] 402 0 0 402 / 512 8.6s Queue parallel
[ ] 408 0 0 408 / 512 8.7s Queue parallel
[ ] 409 0 0 409 / 512 8.8s Queue parallel
[ ] 415 0 0 415 / 512 9.0s Queue parallel
[ ] 420 0 0 420 / 512 9.1s Queue parallel
[ ] 429 0 0 429 / 512 9.3s Queue parallel
[ ] 438 0 0 438 / 512 9.4s Queue parallel
[ ] 447 0 0 447 / 512 9.5s Queue parallel
[ ] 453 0 0 453 / 512 9.6s Queue parallel
[ ] 459 0 0 459 / 512 9.7s Queue parallel
[ ] 465 0 0 465 / 512 9.8s Queue parallel
[ ] 469 0 0 469 / 512 10.0s Queue parallel
[ ] 474 0 0 474 / 512 10.1s Queue parallel
[ ] 479 0 0 479 / 512 10.3s Queue parallel
[ ] 480 0 0 480 / 512 10.4s Queue parallel
[ ] 487 0 0 487 / 512 10.5s Queue parallel
[ ] 491 0 0 491 / 512 10.6s Queue parallel
[ ] 499 0 0 499 / 512 10.8s Queue parallel
[ ] 508 0 0 508 / 512 10.9s Queue parallel
[ ] 511 0 0 511 / 512 11.0s Queue parallel
[✓] 512 0 0 512 / 512 11.0s Queue parallel
================================================================================
success (ran 2 tests)
random seed: 1888449341737937241
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Queue sequential
[✓] 32 0 0 32 / 32 0.0s Queue sequential
[ ] 0 0 0 0 / 32 0.0s Queue parallel
[ ] 5 0 0 5 / 32 0.1s Queue parallel
[ ] 11 0 0 11 / 32 0.3s Queue parallel
[ ] 16 0 0 16 / 32 0.4s Queue parallel
[ ] 21 0 0 21 / 32 0.6s Queue parallel
[ ] 28 0 0 28 / 32 0.7s Queue parallel
[ ] 32 0 0 32 / 32 0.9s Queue parallel
[✓] 32 0 0 32 / 32 0.9s Queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 489633751716990603
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Hashtbl sequential
[✓] 32 0 0 32 / 32 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 32 0.0s Hashtbl parallel
[ ] 4 0 0 4 / 32 0.1s Hashtbl parallel
[ ] 8 0 0 8 / 32 0.2s Hashtbl parallel
[ ] 14 0 0 14 / 32 0.3s Hashtbl parallel
[ ] 20 0 0 20 / 32 0.5s Hashtbl parallel
[ ] 23 0 0 23 / 32 0.6s Hashtbl parallel
[ ] 29 0 0 29 / 32 0.7s Hashtbl parallel
[✓] 32 0 0 32 / 32 0.7s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1638313108490962010
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Hashtbl sequential
[✓] 64 0 0 64 / 64 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 64 0.0s Hashtbl parallel
[ ] 7 0 0 7 / 64 0.2s Hashtbl parallel
[ ] 13 0 0 13 / 64 0.3s Hashtbl parallel
[ ] 22 0 0 22 / 64 0.4s Hashtbl parallel
[ ] 28 0 0 28 / 64 0.5s Hashtbl parallel
[ ] 36 0 0 36 / 64 0.6s Hashtbl parallel
[ ] 42 0 0 42 / 64 0.7s Hashtbl parallel
[ ] 46 0 0 46 / 64 0.9s Hashtbl parallel
[ ] 55 0 0 55 / 64 1.0s Hashtbl parallel
[ ] 59 0 0 59 / 64 1.2s Hashtbl parallel
[ ] 64 0 0 64 / 64 1.3s Hashtbl parallel
[✓] 64 0 0 64 / 64 1.3s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 684672844981656497
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Hashtbl sequential
[✓] 128 0 0 128 / 128 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 128 0.0s Hashtbl parallel
[ ] 10 0 0 10 / 128 0.1s Hashtbl parallel
[ ] 18 0 0 18 / 128 0.3s Hashtbl parallel
[ ] 25 0 0 25 / 128 0.5s Hashtbl parallel
[ ] 29 0 0 29 / 128 0.6s Hashtbl parallel
[ ] 35 0 0 35 / 128 0.7s Hashtbl parallel
[ ] 42 0 0 42 / 128 0.9s Hashtbl parallel
[ ] 47 0 0 47 / 128 1.1s Hashtbl parallel
[ ] 53 0 0 53 / 128 1.2s Hashtbl parallel
[ ] 55 0 0 55 / 128 1.4s Hashtbl parallel
[ ] 62 0 0 62 / 128 1.7s Hashtbl parallel
[ ] 68 0 0 68 / 128 1.8s Hashtbl parallel
[ ] 75 0 0 75 / 128 1.9s Hashtbl parallel
[ ] 81 0 0 81 / 128 2.1s Hashtbl parallel
[ ] 82 0 0 82 / 128 2.2s Hashtbl parallel
[ ] 90 0 0 90 / 128 2.4s Hashtbl parallel
[ ] 99 0 0 99 / 128 2.5s Hashtbl parallel
[ ] 107 0 0 107 / 128 2.6s Hashtbl parallel
[ ] 113 0 0 113 / 128 2.8s Hashtbl parallel
[ ] 117 0 0 117 / 128 3.0s Hashtbl parallel
[ ] 123 0 0 123 / 128 3.1s Hashtbl parallel
[✓] 128 0 0 128 / 128 3.2s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 3003048002576352941
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Hashtbl sequential
[✓] 256 0 0 256 / 256 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 256 0.0s Hashtbl parallel
[ ] 7 0 0 7 / 256 0.2s Hashtbl parallel
[ ] 14 0 0 14 / 256 0.3s Hashtbl parallel
[ ] 17 0 0 17 / 256 0.5s Hashtbl parallel
[ ] 24 0 0 24 / 256 0.6s Hashtbl parallel
[ ] 29 0 0 29 / 256 0.7s Hashtbl parallel
[ ] 34 0 0 34 / 256 0.8s Hashtbl parallel
[ ] 39 0 0 39 / 256 0.9s Hashtbl parallel
[ ] 45 0 0 45 / 256 1.1s Hashtbl parallel
[ ] 47 0 0 47 / 256 1.3s Hashtbl parallel
[ ] 54 0 0 54 / 256 1.4s Hashtbl parallel
[ ] 58 0 0 58 / 256 1.5s Hashtbl parallel
[ ] 63 0 0 63 / 256 1.7s Hashtbl parallel
[ ] 66 0 0 66 / 256 1.8s Hashtbl parallel
[ ] 73 0 0 73 / 256 1.9s Hashtbl parallel
[ ] 79 0 0 79 / 256 2.0s Hashtbl parallel
[ ] 84 0 0 84 / 256 2.1s Hashtbl parallel
[ ] 86 0 0 86 / 256 2.3s Hashtbl parallel
[ ] 95 0 0 95 / 256 2.4s Hashtbl parallel
[ ] 99 0 0 99 / 256 2.5s Hashtbl parallel
[ ] 107 0 0 107 / 256 2.7s Hashtbl parallel
[ ] 111 0 0 111 / 256 2.8s Hashtbl parallel
[ ] 118 0 0 118 / 256 2.9s Hashtbl parallel
[ ] 123 0 0 123 / 256 3.0s Hashtbl parallel
[ ] 124 0 0 124 / 256 3.2s Hashtbl parallel
[ ] 129 0 0 129 / 256 3.3s Hashtbl parallel
[ ] 138 0 0 138 / 256 3.4s Hashtbl parallel
[ ] 144 0 0 144 / 256 3.6s Hashtbl parallel
[ ] 149 0 0 149 / 256 3.7s Hashtbl parallel
[ ] 157 0 0 157 / 256 3.8s Hashtbl parallel
[ ] 165 0 0 165 / 256 3.9s Hashtbl parallel
[ ] 170 0 0 170 / 256 4.0s Hashtbl parallel
[ ] 178 0 0 178 / 256 4.1s Hashtbl parallel
[ ] 185 0 0 185 / 256 4.2s Hashtbl parallel
[ ] 194 0 0 194 / 256 4.3s Hashtbl parallel
[ ] 196 0 0 196 / 256 4.5s Hashtbl parallel
[ ] 205 0 0 205 / 256 4.6s Hashtbl parallel
[ ] 212 0 0 212 / 256 4.7s Hashtbl parallel
[ ] 218 0 0 218 / 256 4.8s Hashtbl parallel
[ ] 226 0 0 226 / 256 4.9s Hashtbl parallel
[ ] 235 0 0 235 / 256 5.0s Hashtbl parallel
[ ] 240 0 0 240 / 256 5.1s Hashtbl parallel
[ ] 247 0 0 247 / 256 5.2s Hashtbl parallel
[ ] 248 0 0 248 / 256 5.4s Hashtbl parallel
[ ] 256 0 0 256 / 256 5.5s Hashtbl parallel
[✓] 256 0 0 256 / 256 5.5s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1818562287185301175
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Hashtbl sequential
[✓] 512 0 0 512 / 512 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 512 0.0s Hashtbl parallel
[ ] 4 0 0 4 / 512 0.2s Hashtbl parallel
[ ] 13 0 0 13 / 512 0.3s Hashtbl parallel
[ ] 21 0 0 21 / 512 0.5s Hashtbl parallel
[ ] 26 0 0 26 / 512 0.6s Hashtbl parallel
[ ] 34 0 0 34 / 512 0.7s Hashtbl parallel
[ ] 40 0 0 40 / 512 0.8s Hashtbl parallel
[ ] 50 0 0 50 / 512 1.1s Hashtbl parallel
[ ] 54 0 0 54 / 512 1.2s Hashtbl parallel
[ ] 60 0 0 60 / 512 1.4s Hashtbl parallel
[ ] 68 0 0 68 / 512 1.5s Hashtbl parallel
[ ] 77 0 0 77 / 512 1.6s Hashtbl parallel
[ ] 83 0 0 83 / 512 1.7s Hashtbl parallel
[ ] 87 0 0 87 / 512 1.8s Hashtbl parallel
[ ] 90 0 0 90 / 512 1.9s Hashtbl parallel
[ ] 96 0 0 96 / 512 2.1s Hashtbl parallel
[ ] 104 0 0 104 / 512 2.2s Hashtbl parallel
[ ] 106 0 0 106 / 512 2.3s Hashtbl parallel
[ ] 115 0 0 115 / 512 2.4s Hashtbl parallel
[ ] 122 0 0 122 / 512 2.5s Hashtbl parallel
[ ] 126 0 0 126 / 512 2.7s Hashtbl parallel
[ ] 132 0 0 132 / 512 2.8s Hashtbl parallel
[ ] 136 0 0 136 / 512 3.0s Hashtbl parallel
[ ] 144 0 0 144 / 512 3.1s Hashtbl parallel
[ ] 150 0 0 150 / 512 3.2s Hashtbl parallel
[ ] 156 0 0 156 / 512 3.4s Hashtbl parallel
[ ] 159 0 0159 / 512 3.5s Hashtbl parallel
[ ] 163 0 0 163 / 512 3.7s Hashtbl parallel
[ ] 169 0 0 169 / 512 3.9s Hashtbl parallel
[ ] 174 0 0 174 / 512 4.0s Hashtbl parallel
[ ] 178 0 0 178 / 512 4.2s Hashtbl parallel
[ ] 183 0 0 183 / 512 4.3s Hashtbl parallel
[ ] 189 0 0 189 / 512 4.4s Hashtbl parallel
[ ] 192 0 0 192 / 512 4.5s Hashtbl parallel
[ ] 199 0 0 199 / 512 4.7s Hashtbl parallel
[ ] 203 0 0 203 / 512 4.8s Hashtbl parallel
[ ] 210 0 0 210 / 512 4.9s Hashtbl parallel
[ ] 218 0 0 218 / 512 5.0s Hashtbl parallel
[ ] 222 0 0 222 / 512 5.1s Hashtbl parallel
[ ] 225 0 0 225 / 512 5.2s Hashtbl parallel
[ ] 226 0 0 226 / 512 5.3s Hashtbl parallel
[ ] 232 0 0 232 / 512 5.4s Hashtbl parallel
[ ] 239 0 0 239 / 512 5.5s Hashtbl parallel
[ ] 244 0 0 244 / 512 5.7s Hashtbl parallel
[ ] 248 0 0 248 / 512 5.9s Hashtbl parallel
[ ] 252 0 0 252 / 512 6.0s Hashtbl parallel
[ ] 257 0 0 257 / 512 6.2s Hashtbl parallel
[ ] 260 0 0 260 / 512 6.4s Hashtbl parallel
[ ] 269 0 0 269 / 512 6.5s Hashtbl parallel
[ ] 278 0 0 278 / 512 6.6s Hashtbl parallel
[ ] 285 0 0 285 / 512 6.7s Hashtbl parallel
[ ] 292 0 0 292 / 512 6.9s Hashtbl parallel
[ ] 300 0 0 300 / 512 7.0s Hashtbl parallel
[ ] 307 0 0 307 / 512 7.1s Hashtbl parallel
[ ] 316 0 0 316 / 512 7.4s Hashtbl parallel
[ ] 320 0 0 320 / 512 7.5s Hashtbl parallel
[ ] 329 0 0 329 / 512 7.6s Hashtbl parallel
[ ] 335 0 0 335 / 512 7.8s Hashtbl parallel
[ ] 340 0 0 340 / 512 7.9s Hashtbl parallel
[ ] 345 0 0 345 / 512 8.1s Hashtbl parallel
[ ] 349 0 0 349 / 512 8.2s Hashtbl parallel
[ ] 358 0 0 358 / 512 8.3s Hashtbl parallel
[ ] 366 0 0 366 / 512 8.4s Hashtbl parallel
[ ] 373 0 0 373 / 512 8.5s Hashtbl parallel
[ ] 375 0 0 375 / 512 8.6s Hashtbl parallel
[ ] 381 0 0 381 / 512 8.7s Hashtbl parallel
[ ] 386 0 0 386 / 512 8.8s Hashtbl parallel
[ ] 390 0 0 390 / 512 9.0s Hashtbl parallel
[ ] 397 0 0 397 / 512 9.1s Hashtbl parallel
[ ] 401 0 0 401 / 512 9.3s Hashtbl parallel
[ ] 404 0 0 404 / 512 9.4s Hashtbl parallel
[ ] 405 0 0 405 / 512 9.6s Hashtbl parallel
[ ] 414 0 0 414 / 512 9.8s Hashtbl parallel
[ ] 420 0 0 420 / 512 9.9s Hashtbl parallel
[ ] 427 0 0 427 / 512 10.1s Hashtbl parallel
[ ] 434 0 0 434 / 512 10.3s Hashtbl parallel
[ ] 435 0 0 435 / 512 10.4s Hashtbl parallel
[ ] 437 0 0 437 / 512 10.5s Hashtbl parallel
[ ] 446 0 0 446 / 512 10.6s Hashtbl parallel
[ ] 455 0 0 455 / 512 10.7s Hashtbl parallel
[ ] 461 0 0 461 / 512 10.9s Hashtbl parallel
[ ] 468 0 0 468 / 512 11.0s Hashtbl parallel
[ ] 474 0 0 474 / 512 11.1s Hashtbl parallel
[ ] 479 0 0 479 / 512 11.2s Hashtbl parallel
[ ] 486 0 0 486 / 512 11.4s Hashtbl parallel
[ ] 494 0 0 494 / 512 11.5s Hashtbl parallel
[ ] 499 0 0 499 / 512 11.6s Hashtbl parallel
[ ] 501 0 0 501 / 512 11.8s Hashtbl parallel
[ ] 510 0 0 510 / 512 11.9s Hashtbl parallel
[✓] 512 0 0 512 / 512 11.9s Hashtbl parallel
================================================================================
success (ran 2 tests)
random seed: 1025967801829017500
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Hashtbl sequential
[✓] 32 0 0 32 / 32 0.0s Hashtbl sequential
[ ] 0 0 0 0 / 32 0.0s Hashtbl parallel
[ ] 6 0 0 6 / 32 0.1s Hashtbl parallel
[ ] 11 0 0 11 / 32 0.2s Hashtbl parallel
[ ] 18 0 0 18 / 32 0.3s Hashtbl parallel
[ ] 23 0 0 23 / 32 0.5s Hashtbl parallel
[ ] 30 0 0 30 / 32 0.7s Hashtbl parallel
[✓] 32 0 0 32 / 32 0.7s Hashtbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 3365514803338936045
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Hashtbl_with_order sequential
[✓] 32 0 0 32 / 32 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 32 0.0s Hashtbl_with_order parallel
[ ] 4 0 0 4 / 32 0.2s Hashtbl_with_order parallel
[ ] 10 0 0 10 / 32 0.4s Hashtbl_with_order parallel
[ ] 18 0 0 18 / 32 0.7s Hashtbl_with_order parallel
[ ] 25 0 0 25 / 32 0.8s Hashtbl_with_order parallel
[ ] 28 0 0 28 / 32 0.9s Hashtbl_with_order parallel
[✓] 32 0 0 32 / 32 1.0s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 2387886741387674140
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Hashtbl_with_order sequential
[✓] 64 0 0 64 / 64 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 64 0.0s Hashtbl_with_order parallel
[ ] 4 0 0 4 / 64 0.1s Hashtbl_with_order parallel
[ ] 8 0 0 8 / 64 0.2s Hashtbl_with_order parallel
[ ] 11 0 0 11 / 64 0.3s Hashtbl_with_order parallel
[ ] 15 0 0 15 / 64 0.5s Hashtbl_with_order parallel
[ ] 23 0 0 23 / 64 0.6s Hashtbl_with_order parallel
[ ] 29 0 0 29 / 64 0.7s Hashtbl_with_order parallel
[ ] 31 0 0 31 / 64 0.9s Hashtbl_with_order parallel
[ ] 38 0 0 38 / 64 1.1s Hashtbl_with_order parallel
[ ] 39 0 0 39 / 64 1.3s Hashtbl_with_order parallel
[ ] 45 0 0 45 / 64 1.5s Hashtbl_with_order parallel
[ ] 46 0 0 46 / 64 1.6s Hashtbl_with_order parallel
[ ] 52 0 0 52 / 64 1.7s Hashtbl_with_order parallel
[ ] 57 0 0 57 / 64 1.9s Hashtbl_with_order parallel
[ ] 60 0 0 60 / 64 2.0s Hashtbl_with_order parallel
[✓] 64 0 0 64 / 64 2.0s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3466118135007639682
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Hashtbl_with_order sequential
[✓] 128 0 0 128 / 128 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 128 0.0s Hashtbl_with_order parallel
[ ] 8 0 0 8 / 128 0.1s Hashtbl_with_order parallel
[ ] 11 0 0 11 / 128 0.2s Hashtbl_with_order parallel
[ ] 12 0 0 12 / 128 0.3s Hashtbl_with_order parallel
[ ] 18 0 0 18 / 128 0.4s Hashtbl_with_order parallel
[ ] 24 0 0 24 / 128 0.5s Hashtbl_with_order parallel
[ ] 25 0 0 25 / 128 0.7s Hashtbl_with_order parallel
[ ] 34 0 0 34 / 128 0.8s Hashtbl_with_order parallel
[ ] 43 0 0 43 / 128 0.9s Hashtbl_with_order parallel
[ ] 46 0 0 46 / 128 1.1s Hashtbl_with_order parallel
[ ] 54 0 0 54 / 128 1.2s Hashtbl_with_order parallel
[ ] 59 0 0 59 / 128 1.3s Hashtbl_with_order parallel
[ ] 60 0 0 60 / 128 1.4s Hashtbl_with_order parallel
[ ] 63 0 0 63 / 128 1.7s Hashtbl_with_order parallel
[ ] 65 0 0 65 / 128 1.9s Hashtbl_with_order parallel
[ ] 66 0 0 66 / 128 2.0s Hashtbl_with_order parallel
[ ] 73 0 0 73 / 128 2.2s Hashtbl_with_order parallel
[ ] 74 0 0 74 / 128 2.5s Hashtbl_with_order parallel
[ ] 79 0 0 79 / 128 2.6s Hashtbl_with_order parallel
[ ] 87 0 0 87 / 128 2.7s Hashtbl_with_order parallel
[ ] 92 0 0 92 / 128 2.8s Hashtbl_with_order parallel
[ ] 100 0 0 100 / 128 3.0s Hashtbl_with_order parallel
[ ] 101 0 0 101 / 128 3.1s Hashtbl_with_order parallel
[ ] 106 0 0 106 / 128 3.4s Hashtbl_with_order parallel
[ ] 109 0 0 109 / 128 3.5s Hashtbl_with_order parallel
[ ] 112 0 0 112 / 128 3.6s Hashtbl_with_order parallel
[ ] 114 0 0 114 / 128 3.7s Hashtbl_with_order parallel
[ ] 120 0 0 120 / 128 3.8s Hashtbl_with_order parallel
[ ] 126 0 0 126 / 128 3.9s Hashtbl_with_order parallel
[✓] 128 0 0 128 / 128 4.0s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 936361884422345971
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Hashtbl_with_order sequential
[✓] 256 0 0 256 / 256 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 256 0.0s Hashtbl_with_order parallel
[ ] 4 0 0 4 / 256 0.3s Hashtbl_with_order parallel
[ ] 9 0 0 9 / 256 0.5s Hashtbl_with_order parallel
[ ] 16 0 0 16 / 256 0.8s Hashtbl_with_order parallel
[ ] 19 0 0 19 / 256 1.1s Hashtbl_with_order parallel
[ ] 26 0 0 26 / 256 1.3s Hashtbl_with_order parallel
[ ] 35 0 0 35 / 256 1.4s Hashtbl_with_order parallel
[ ] 37 0 0 37 / 256 1.5s Hashtbl_with_order parallel
[ ] 42 0 0 42 / 256 1.6s Hashtbl_with_order parallel
[ ] 50 0 0 50 / 256 1.7s Hashtbl_with_order parallel
[ ] 53 0 0 53 / 256 1.9s Hashtbl_with_order parallel
[ ] 57 0 0 57 / 256 2.0s Hashtbl_with_order parallel
[ ] 63 0 0 63 / 256 2.1s Hashtbl_with_order parallel
[ ] 67 0 0 67 / 256 2.3s Hashtbl_with_order parallel
[ ] 72 0 0 72 / 256 2.6s Hashtbl_with_order parallel
[ ] 79 0 0 79 / 256 2.7s Hashtbl_with_order parallel
[ ] 87 0 0 87 / 256 2.8s Hashtbl_with_order parallel
[ ] 95 0 0 95 / 256 2.9s Hashtbl_with_order parallel
[ ] 96 0 0 96 / 256 3.1s Hashtbl_with_order parallel
[ ] 103 0 0 103 / 256 3.2s Hashtbl_with_order parallel
[ ] 108 0 0 108 / 256 3.3s Hashtbl_with_order parallel
[ ] 115 0 0 115 / 256 3.4s Hashtbl_with_order parallel
[ ] 120 0 0 120 / 256 3.5s Hashtbl_with_order parallel
[ ] 127 0 0 127 / 256 3.6s Hashtbl_with_order parallel
[ ] 133 0 0 133 / 256 3.7s Hashtbl_with_order parallel
[ ] 138 0 0 138 / 256 4.0s Hashtbl_with_order parallel
[ ] 141 0 0 141 / 256 4.1s Hashtbl_with_order parallel
[ ] 149 0 0 149 / 256 4.4s Hashtbl_with_order parallel
[ ] 157 0 0 157 / 256 4.5s Hashtbl_with_order parallel
[ ] 162 0 0 162 / 256 4.7s Hashtbl_with_order parallel
[ ] 165 0 0 165 / 256 5.0s Hashtbl_with_order parallel
[ ] 172 0 0 172 / 256 5.1s Hashtbl_with_order parallel
[ ] 177 0 0 177 / 256 5.2s Hashtbl_with_order parallel
[ ] 184 0 0 184 / 256 5.3s Hashtbl_with_order parallel
[ ] 191 0 0 191 / 256 5.5s Hashtbl_with_order parallel
[ ] 196 0 0 196 / 256 5.6s Hashtbl_with_order parallel
[ ] 199 0 0 199 / 256 5.8s Hashtbl_with_order parallel
[ ] 207 0 0 207 / 256 5.9s Hashtbl_with_order parallel
[ ] 209 0 0 209 / 256 6.1s Hashtbl_with_order parallel
[ ] 215 0 0 215 / 256 6.2s Hashtbl_with_order parallel
[ ] 216 0 0 216 / 256 6.4s Hashtbl_with_order parallel
[ ] 219 0 0 219 / 256 6.5s Hashtbl_with_order parallel
[ ] 225 0 0 225 / 256 6.7s Hashtbl_with_order parallel
[ ] 231 0 0 231 / 256 6.8s Hashtbl_with_order parallel
[ ] 232 0 0 232 / 256 6.9s Hashtbl_with_order parallel
[ ] 240 0 0 240 / 256 7.0s Hashtbl_with_order parallel
[ ] 243 0 0 243 / 256 7.1s Hashtbl_with_order parallel
[ ] 250 0 0 250 / 256 7.3s Hashtbl_with_order parallel
[✓] 256 0 0 256 / 256 7.3s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 3192811248206269733
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Hashtbl_with_order sequential
[✓] 512 0 0 512 / 512 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 512 0.0s Hashtbl_with_order parallel
[ ] 6 0 0 6 / 512 0.1s Hashtbl_with_order parallel
[ ] 15 0 0 15 / 512 0.3s Hashtbl_with_order parallel
[ ] 19 0 0 19 / 512 0.4s Hashtbl_with_order parallel
[ ] 25 0 0 25 / 512 0.7s Hashtbl_with_order parallel
[ ] 30 0 0 30 / 512 0.8s Hashtbl_with_order parallel
[ ] 35 0 0 35 / 512 1.0s Hashtbl_with_order parallel
[ ] 39 0 0 39 / 512 1.1s Hashtbl_with_order parallel
[ ] 48 0 0 48 / 512 1.3s Hashtbl_with_order parallel
[ ] 49 0 0 49 / 512 1.4s Hashtbl_with_order parallel
[ ] 56 0 0 56 / 512 1.5s Hashtbl_with_order parallel
[ ] 62 0 0 62 / 512 1.8s Hashtbl_with_order parallel
[ ] 70 0 0 70 / 512 1.9s Hashtbl_with_order parallel
[ ] 77 0 0 77 / 512 2.0s Hashtbl_with_order parallel
[ ] 81 0 0 81 / 512 2.1s Hashtbl_with_order parallel
[ ] 87 0 0 87 / 512 2.4s Hashtbl_with_order parallel
[ ] 88 0 0 88 / 512 2.5s Hashtbl_with_order parallel
[ ] 95 0 0 95 / 512 2.7s Hashtbl_with_order parallel
[ ] 104 0 0 104 / 512 2.8s Hashtbl_with_order parallel
[ ] 106 0 0 106 / 512 2.9s Hashtbl_with_order parallel
[ ] 107 0 0 107 / 512 3.1s Hashtbl_with_order parallel
[ ] 110 0 0 110 / 512 3.2s Hashtbl_with_order parallel
[ ] 119 0 0 119 / 512 3.5s Hashtbl_with_order parallel
[ ] 120 0 0 120 / 512 3.7s Hashtbl_with_order parallel
[ ] 127 0 0 127 / 512 3.8s Hashtbl_with_order parallel
[ ] 131 0 0 131 / 512 3.9s Hashtbl_with_order parallel
[ ] 137 0 0 137 / 512 4.0s Hashtbl_with_order parallel
[ ] 141 0 0 141 / 512 4.2s Hashtbl_with_order parallel
[ ] 150 0 0 150 / 512 4.3s Hashtbl_with_order parallel
[ ] 154 0 0 154 / 512 4.5s Hashtbl_with_order parallel
[ ] 160 0 0 160 / 512 4.6s Hashtbl_with_order parallel
[ ] 164 0 0 164 / 512 4.8s Hashtbl_with_order parallel
[ ] 165 0 0 165 / 512 5.0s Hashtbl_with_order parallel
[ ] 172 0 0 172 / 512 5.1s Hashtbl_with_order parallel
[ ] 180 0 0 180 / 512 5.2s Hashtbl_with_order parallel
[ ] 186 0 0 186 / 512 5.3s Hashtbl_with_order parallel
[ ] 187 0 0 187 / 512 5.5s Hashtbl_with_order parallel
[ ] 189 0 0 189 / 512 5.7s Hashtbl_with_order parallel
[ ] 191 0 0 191 / 512 5.9s Hashtbl_with_order parallel
[ ] 196 0 0 196 / 512 6.0s Hashtbl_with_order parallel
[ ] 201 0 0 201 / 512 6.1s Hashtbl_with_order parallel
[ ] 204 0 0 204 / 512 6.3s Hashtbl_with_order parallel
[ ] 211 0 0 211 / 512 6.4s Hashtbl_with_order parallel
[ ] 219 0 0 219 / 512 6.5s Hashtbl_with_order parallel
[ ] 223 0 0 223 / 512 6.6s Hashtbl_with_order parallel
[ ] 230 0 0 230 / 512 6.7s Hashtbl_with_order parallel
[ ] 233 0 0 233 / 512 6.9s Hashtbl_with_order parallel
[ ] 240 0 0 240 / 512 7.0s Hashtbl_with_order parallel
[ ] 247 0 0 247 / 512 7.2s Hashtbl_with_order parallel
[ ] 253 0 0 253 / 512 7.4s Hashtbl_with_order parallel
[ ] 255 0 0 255 / 512 7.5s Hashtbl_with_order parallel
[ ] 261 0 0 261 / 512 7.6s Hashtbl_with_order parallel
[ ] 264 0 0 264 / 512 7.7s Hashtbl_with_order parallel
[ ] 273 0 0 273 / 512 7.9s Hashtbl_with_order parallel
[ ] 279 0 0 279 / 512 8.0s Hashtbl_with_order parallel
[ ] 280 0 0 280 / 512 8.1s Hashtbl_with_order parallel
[ ] 287 0 0 287 / 512 8.2s Hashtbl_with_order parallel
[ ] 294 0 0 294 / 512 8.3s Hashtbl_with_order parallel
[ ] 295 0 0 295 / 512 8.4s Hashtbl_with_order parallel
[ ] 300 0 0 300 / 512 8.6s Hashtbl_with_order parallel
[ ] 305 0 0 305 / 512 8.7s Hashtbl_with_order parallel
[ ] 307 0 0 307 / 512 8.9s Hashtbl_with_order parallel
[ ] 314 0 0 314 / 512 9.0s Hashtbl_with_order parallel
[ ] 315 0 0 315 / 512 9.1s Hashtbl_with_order parallel
[ ] 320 0 0 320 / 512 9.3s Hashtbl_with_order parallel
[ ] 328 0 0 328 / 512 9.5s Hashtbl_with_order parallel
[ ] 335 0 0 335 / 512 9.7s Hashtbl_with_order parallel
[ ] 339 0 0 339 / 512 9.8s Hashtbl_with_order parallel
[ ] 345 0 0 345 / 512 9.9s Hashtbl_with_order parallel
[ ] 349 0 0 349 / 512 10.0s Hashtbl_with_order parallel
[ ] 352 0 0 352 / 512 10.1s Hashtbl_with_order parallel
[ ] 358 0 0 358 / 512 10.2s Hashtbl_with_order parallel
[ ] 367 0 0 367 / 512 10.3s Hashtbl_with_order parallel
[ ] 373 0 0 373 / 512 10.4s Hashtbl_with_order parallel
[ ] 380 0 0 380 / 512 10.5s Hashtbl_with_order parallel
[ ] 381 0 0 381 / 512 10.7s Hashtbl_with_order parallel
[ ] 387 0 0 387 / 512 10.8s Hashtbl_with_order parallel
[ ] 395 0 0 395 / 512 11.1s Hashtbl_with_order parallel
[ ] 402 0 0 402 / 512 11.3s Hashtbl_with_order parallel
[ ] 407 0 0 407 / 512 11.4s Hashtbl_with_order parallel
[ ] 412 0 0 412 / 512 11.6s Hashtbl_with_order parallel
[ ] 421 0 0 421 / 512 11.7s Hashtbl_with_order parallel
[ ] 429 0 0 429 / 512 11.8s Hashtbl_with_order parallel
[ ] 432 0 0 432 / 512 11.9s Hashtbl_with_order parallel
[ ] 436 0 0 436 / 512 12.0s Hashtbl_with_order parallel
[ ] 441 0 0 441 / 512 12.1s Hashtbl_with_order parallel
[ ] 447 0 0 447 / 512 12.2s Hashtbl_with_order parallel
[ ] 453 0 0 453 / 512 12.3s Hashtbl_with_order parallel
[ ] 457 0 0 457 / 512 12.4s Hashtbl_with_order parallel
[ ] 463 0 0 463 / 512 12.6s Hashtbl_with_order parallel
[ ] 469 0 0 469 / 512 12.9s Hashtbl_with_order parallel
[ ] 476 0 0 476 / 512 13.1s Hashtbl_with_order parallel
[ ] 484 0 0 484 / 512 13.2s Hashtbl_with_order parallel
[ ] 488 0 0 488 / 512 13.4s Hashtbl_with_order parallel
[ ] 491 0 0 491 / 512 13.5s Hashtbl_with_order parallel
[ ] 500 0 0 500 / 512 13.6s Hashtbl_with_order parallel
[ ] 507 0 0 507 / 512 13.7s Hashtbl_with_order parallel
[ ] 510 0 0 510 / 512 13.9s Hashtbl_with_order parallel
[✓] 512 0 0 512 / 512 13.9s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
random seed: 1081352532648605117
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Hashtbl_with_order sequential
[✓] 32 0 0 32 / 32 0.0s Hashtbl_with_order sequential
[ ] 0 0 0 0 / 32 0.0s Hashtbl_with_order parallel
[ ] 8 0 0 8 / 32 0.1s Hashtbl_with_order parallel
[ ] 15 0 0 15 / 32 0.2s Hashtbl_with_order parallel
[ ] 23 0 0 23 / 32 0.4s Hashtbl_with_order parallel
[ ] 29 0 0 29 / 32 0.5s Hashtbl_with_order parallel
[✓] 32 0 0 32 / 32 0.5s Hashtbl_with_order parallel
================================================================================
success (ran 2 tests)
File "README.md", line 1, characters 0-0:
/usr/sbin/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 1efa71b..b6dac9a 100644
--- a/_build/default/README.md
+++ b/_build/default/.mdx/README.md.corrected
@@ -118,9 +118,9 @@ one first creates shared memory locations:
# let a = Loc.make 0
and b = Loc.make 0
and x = Loc.make 0
-val a : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
-val b : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
-val x : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val a : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val b : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val x : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
```
One can then manipulate the locations individually:
@@ -304,7 +304,7 @@ transactions to `push` and `try_pop` elements:
```ocaml
# let a_stack : int stack = stack ()
-val a_stack : int stack = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val a_stack : int stack = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
# Xt.commit { tx = push a_stack 101 }
- : unit = ()
@@ -423,8 +423,8 @@ transactions to `enqueue` and `try_dequeue` elements:
```ocaml
# let a_queue : int queue = queue ()
val a_queue : int queue =
- {front = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- back = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
+ {front = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
+ back = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
# Xt.commit { tx = enqueue a_queue 76 }
- : unit = ()
@@ -539,12 +539,12 @@ To test them out, let's create a fresh stack and a queue
```ocaml
# let a_stack : int stack = stack ()
-val a_stack : int stack = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val a_stack : int stack = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
# let a_queue : int queue = queue ()
val a_queue : int queue =
- {front = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- back = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
+ {front = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
+ back = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
```
and then spawn a domain that tries to atomically both pop and dequeue:
@@ -768,7 +768,7 @@ and create a leftist heap:
```ocaml
# let a_heap : int leftist Loc.t = leftist ()
val a_heap : int leftist Loc.t =
- Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+ Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
```
To populate the heap we need to define a transaction passing function and pass
@@ -1027,8 +1027,8 @@ We can then test that the cache works as expected:
```ocaml
# let a_cache : (int, string) cache = cache 2
val a_cache : (int, string) cache =
- {space = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- table = <abstr>; order = <abstr>}
+ {space = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}; table = <abstr>;
+ order = <abstr>}
# Xt.commit { tx = set_blocking a_cache 101 "basics" }
- : unit = ()
@@ -1276,8 +1276,7 @@ Consider the following example of computing the size of a stack:
```ocaml
# let a_stack = Loc.make [2; 3]
-val a_stack : int list Loc.t =
- Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val a_stack : int list Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
# let n_elems =
let tx ~xt =
@@ -1444,8 +1443,7 @@ Using the Michael-Scott style queue is as easy as any other transactional queue:
```ocaml
# let a_queue : int queue = queue ()
val a_queue : int queue =
- {head = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- tail = <abstr>}
+ {head = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}; tail = <abstr>}
# Xt.commit { tx = enqueue a_queue 19 }
- : unit = ()
@@ -1897,10 +1895,10 @@ for hash tables, we are ready to take it out for a spin:
```ocaml
# let a_hashtbl : (string, int) hashtbl = hashtbl ()
val a_hashtbl : (string, int) hashtbl =
- {pending = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
+ {pending = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
basic =
- {size = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- data = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}}
+ {size = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
+ data = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}}
# let assoc = [
("Intro", 101);
@@ -2016,8 +2014,8 @@ in the earlier example:
```ocaml
# let a_queue : int queue = queue ()
val a_queue : int queue =
- {head = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
- tail = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
+ {head = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>};
+ tail = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}}
# let counter = ref 1_000
val counter : int ref = {contents = 1000}
@@ -2072,8 +2070,8 @@ locations. Let's just create two locations `a` and `b`:
```ocaml
# let a = Loc.make 0 and b = Loc.make 0
-val a : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
-val b : int Loc.t = Kcas.Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val a : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
+val b : int Loc.t = Loc.Loc {Kcas.Loc.state = <poly>; id = <poly>}
```
And create a helper that spawns a domain that repeatedly increments `a` and
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2025-11-05 16:24.00: Job failed: Failed: Build failed