2025-06-15 09:24.43: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/main (cd68168145df9b3b78eb1db6ecaa2e6634264c05) (openbsd-amd64:openbsd-76-amd64-5.3_opam-2.3)
Base: openbsd-76-amd64-ocaml-5.3
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "main" && cd "picos" && git reset --hard cd681681
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM openbsd-76-amd64-ocaml-5.3
# openbsd-76-amd64-5.3_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN doas ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 || git fetch origin master) && git reset -q --hard 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam /home/opam/src/./
RUN opam pin add -yn picos_std.dev '/home/opam/src/./' && \
opam pin add -yn picos_mux.dev '/home/opam/src/./' && \
opam pin add -yn picos_meta.dev '/home/opam/src/./' && \
opam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
opam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
opam pin add -yn picos_io.dev '/home/opam/src/./' && \
opam pin add -yn picos_aux.dev '/home/opam/src/./' && \
opam pin add -yn picos.dev '/home/opam/src/./'
RUN echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'
ENV DEPS="alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.6.0.1 js_of_ocaml-compiler.6.0.1 kdf.1.0.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.35.0 ppxlib_jane.v0.17.2 psq.0.2.1 ptime.1.2.0 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-stm.0.8 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.6 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /home/opam/src
RUN cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-06-15 09:24.43: Using cache hint "ocaml-multicore/picos-openbsd-76-amd64-ocaml-5.3-openbsd-76-amd64-5.3_opam-2.3-4e1841dd3f4157d1ea3bf252a3a19a17"
2025-06-15 09:24.43: Using OBuilder spec:
((from openbsd-76-amd64-ocaml-5.3)
(comment openbsd-76-amd64-5.3_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "doas ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 || git fetch origin master) && git reset -q --hard 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst /home/opam/src/./))
(run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
(env DEPS "alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.6.0.1 js_of_ocaml-compiler.6.0.1 kdf.1.0.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.35.0 ppxlib_jane.v0.17.2 psq.0.2.1 ptime.1.2.0 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-stm.0.8 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.6 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
(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.3 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /home/opam/src))
(run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2025-06-15 09:24.43: Waiting for resource in pool OCluster
2025-06-15 09:24.43: Waiting for worker…
2025-06-15 09:24.43: Got resource from pool OCluster
Building on oregano
HEAD is now at 1b98cd9 Inline operations in ref lock benchmark
HEAD is now at cd68168 Inline operations in ref lock benchmark
(from openbsd-76-amd64-ocaml-5.3)
2025-06-15 09:24.44 ---> using "753f998be4709b35e38a93b7272dee818f697255d5b48fadd1c23cb92a82f244" from cache
/: (comment openbsd-76-amd64-5.3_opam-2.3)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "doas ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-06-15 09:24.44 ---> using "b8621e22ceef6e45a2b70edd0350b6ec56c4cb2588ea75f8c24bf97f9bb8e3c1" from cache
/: (run (shell "opam init --reinit -ni"))
No configuration file found, using 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.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2025-06-15 09:24.44 ---> using "caa4033b0f51d691107e536d025405bc96e59134e192afef776a8bfd43aac5e1" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
OpenBSD 7.6
The OCaml toplevel, version 5.3.0
2.3.0
2025-06-15 09:24.44 ---> using "7116693f695a70fbcc11fcbf90bc7fd32f30a6c20aabff3b1e1c926faaad9b01" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 || git fetch origin master) && git reset -q --hard 59e7a58f9d7d6cc1f4da2e23f40e7e0ac1426f77 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
f93eb7cb02..59e7a58f9d master -> origin/master
59e7a58f9d Merge pull request #28012 from dkalinichenko-js/opam-publish-base.v0.17.3
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-06-15 09:24.44 ---> using "09b042b8f4c4e09165579364246080dff54fecda2e28268114b6eca7b686a928" from cache
/: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst /home/opam/src/./))
2025-06-15 09:24.44 ---> using "c8bbb216fb52aebde5026b3e8240aa03f4689b0944da2af53cbc99718c26e807" from cache
/: (run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
[picos_std.dev] synchronised (file:///home/opam/src)
picos_std is now pinned to file:///home/opam/src (version dev)
[picos_mux.dev] synchronised (file:///home/opam/src)
picos_mux is now pinned to file:///home/opam/src (version dev)
[picos_meta.dev] synchronised (file:///home/opam/src)
picos_meta is now pinned to file:///home/opam/src (version dev)
[picos_lwt.dev] synchronised (file:///home/opam/src)
picos_lwt is now pinned to file:///home/opam/src (version dev)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
picos_io_cohttp is now pinned to file:///home/opam/src (version dev)
[picos_io.dev] synchronised (file:///home/opam/src)
picos_io is now pinned to file:///home/opam/src (version dev)
[picos_aux.dev] synchronised (file:///home/opam/src)
picos_aux is now pinned to file:///home/opam/src (version dev)
[picos.dev] synchronised (file:///home/opam/src)
picos is now pinned to file:///home/opam/src (version dev)
2025-06-15 09:24.44 ---> using "8c49207774c3d771d858de479af130b2a9831d6a87bdb9bfc8b00a7c9ac8e481" from cache
/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
2025-06-15 09:24.44 ---> using "b7ebcdf826a3fc48aa37a3782795e869c2a1346148729a3cb57daed032620b50" from cache
/: (env DEPS "alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.6.0.1 js_of_ocaml-compiler.6.0.1 kdf.1.0.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.35.0 ppxlib_jane.v0.17.2 psq.0.2.1 ptime.1.2.0 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-stm.0.8 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.6 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
/: (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.3 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
[WARNING] Unknown update command for bsd, skipping system update
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos_io.dev] synchronised (file:///home/opam/src)
[picos_aux.dev] synchronised (file:///home/opam/src)
[picos.dev] synchronised (file:///home/opam/src)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
[picos_lwt.dev] synchronised (file:///home/opam/src)
[picos_meta.dev] synchronised (file:///home/opam/src)
[picos_mux.dev] synchronised (file:///home/opam/src)
[picos_std.dev] synchronised (file:///home/opam/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.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.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 system packages will first need to be installed:
gmp node
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/doas "pkg_add" "-I" "gmp" "node"
- quirks-7.50 signed on 2025-04-20T09:56:12Z
- --- +node-20.18.2v0 -------------------
- You may wish to add /usr/local/lib/node_modules/npm/man to /etc/man.conf
- --- +openssl-3.2.4v0 -------------------
- You may wish to add /usr/local/lib/eopenssl32/man to /etc/man.conf
2025-06-15 09:24.44 ---> using "f6ddcb75fe7ead817d057a13cc685a6a02285db726657ed8fc84e20709ca552f" from cache
/: (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.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.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 99 packages
- install alcotest 1.9.0
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.17.3
- install base-bytes base
- install base64 3.5.1
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 1.3.0
- install cohttp 6.1.1
- install cohttp-lwt 6.1.1
- install cohttp-lwt-unix 6.1.1
- install conduit 8.0.0
- install conduit-lwt 8.0.0
- install conduit-lwt-unix 8.0.0
- install conf-gmp 5
- install conf-gmp-powm-sec 4
- install conf-npm 1
- install conf-pkg-config 4
- install containers 3.16
- install cppo 1.8.0
- install csexp 1.5.2
- install digestif 1.3.0
- install domain-local-await 1.0.1
- install domain-name 0.4.1
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.19.1
- install dune-configurator 3.19.1
- install duration 0.2.1
- install either 1.0.0
- install eqaf 0.10
- install fmt 0.10.0
- install fpath 0.7.3
- install gen 1.1
- install gmap 0.3.0
- install http 6.1.1
- install ipaddr 5.6.0
- install ipaddr-sexp 5.6.0
- install js_of_ocaml 6.0.1
- install js_of_ocaml-compiler 6.0.1
- install kdf 1.0.0
- install logs 0.8.0
- install lwt 5.9.1
- install macaddr 5.6.0
- install magic-mime 1.3.1
- install mdx 2.5.0
- install menhir 20240715
- install menhirCST 20240715
- install menhirLib 20240715
- install menhirSdk 20240715
- install mirage-crypto 2.0.1
- install mirage-crypto-ec 2.0.1
- install mirage-crypto-pk 2.0.1
- install mirage-crypto-rng 2.0.1
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.1
- install multicore-magic-dscheck 2.3.1
- install ocaml-compiler-libs v0.17.0
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.1
- install ocaml_intrinsics_kernel v0.17.1
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install ocplib-endian 1.2
- install ohex 0.2.0
- install oseq 0.5.1
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.17.0
- install ppxlib 0.35.0
- install ppxlib_jane v0.17.2
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.25
- install qcheck-multicoretests-util 0.8
- install qcheck-stm 0.8
- install re 1.12.0
- install result 1.5
- install rresult 0.7.0
- install sedlex 3.6
- install seq base
- install sexplib0 v0.17.0
- install stdlib-shims 0.3.0
- install stringext 1.6.0
- install thread-local-storage 0.2
- install thread-table 1.0.0
- install topkg 1.0.8
- install tsort 2.2.0
- install uri 4.4.0
- install uri-sexp 4.4.0
- install uutf 1.0.4
- install x509 1.0.6
- install yojson 3.0.0
- install zarith 1.14
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved alcotest.1.9.0 (cached)
-> retrieved base64.3.5.1 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base.v0.17.3 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (cached)
-> retrieved containers.3.16 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.4.1 (cached)
-> retrieved digestif.1.3.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved ipaddr.5.6.0, ipaddr-sexp.5.6.0, macaddr.5.6.0 (cached)
-> retrieved kdf.1.0.0 (cached)
-> retrieved logs.0.8.0 (cached)
-> retrieved lwt.5.9.1 (cached)
-> retrieved magic-mime.1.3.1 (cached)
-> retrieved mdx.2.5.0 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> retrieved js_of_ocaml.6.0.1, js_of_ocaml-compiler.6.0.1 (cached)
-> retrieved mirage-crypto.2.0.1, mirage-crypto-ec.2.0.1, mirage-crypto-pk.2.0.1, mirage-crypto-rng.2.0.1 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved dune.3.19.1, dune-configurator.3.19.1 (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.1 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed cmdliner.1.3.0
-> installed conf-gmp.5
-> retrieved ppxlib_jane.v0.17.2 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved qcheck-core.0.25 (cached)
-> retrieved qcheck-multicoretests-util.0.8, qcheck-stm.0.8 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved sedlex.3.6 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved thread-local-storage.0.2 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed conf-npm.1
-> installed conf-gmp-powm-sec.4
-> installed conf-pkg-config.4
-> installed dune.3.19.1
-> installed ocamlbuild.0.16.1
-> installed backoff.0.1.1
-> installed base64.3.5.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed domain-name.0.4.1
-> installed domain_shims.0.1.0
-> installed dune-configurator.3.19.1
-> installed duration.0.2.1
-> installed bigstringaf.0.10.0
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed containers.3.16
-> installed digestif.1.3.0
-> installed gmap.0.3.0
-> installed http.6.1.1
-> installed macaddr.5.6.0
-> installed magic-mime.1.3.1
-> installed ipaddr.5.6.0
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed mirage-crypto.2.0.1
-> installed menhir.20240715
-> installed kdf.1.0.0
-> installed multicore-magic.2.3.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.1
-> installed angstrom.0.16.1
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ocplib-endian.1.2
-> installed ppx_derivers.1.2.1
-> installed lwt.5.9.1
-> installed qcheck-core.0.25
-> installed result.1.5
-> installed qcheck-multicoretests-util.0.8
-> installed seq.base
-> installed sexplib0.v0.17.0
-> installed gen.1.1
-> installed base.v0.17.3
-> installed psq.0.2.1
-> installed qcheck-stm.0.8
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed ppxlib.0.35.0
-> installed thread-local-storage.0.2
-> installed ppxlib_jane.v0.17.2
-> installed sedlex.3.6
-> installed ppx_sexp_conv.v0.17.0
-> installed thread-table.1.0.0
-> installed ipaddr-sexp.5.6.0
-> installed domain-local-await.1.0.1
-> installed topkg.1.0.8
-> installed tsort.2.2.0
-> installed astring.0.8.5
-> installed dscheck.0.5.0
-> installed fmt.0.10.0
-> installed fpath.0.7.3
-> installed mtime.2.1.0
-> installed multicore-magic-dscheck.2.3.1
-> installed ptime.1.2.0
-> installed rresult.0.7.0
-> installed asn1-combinators.0.3.2
-> installed uri.4.4.0
-> installed uutf.1.0.4
-> installed uri-sexp.4.4.0
-> installed alcotest.1.9.0
-> installed yojson.3.0.0
-> installed zarith.1.14
-> installed js_of_ocaml-compiler.6.0.1
-> installed multicore-bench.0.1.7
-> installed js_of_ocaml.6.0.1
-> installed logs.0.8.0
-> installed bos.0.2.1
-> installed cohttp.6.1.1
-> installed conduit.8.0.0
-> installed cohttp-lwt.6.1.1
-> installed conduit-lwt.8.0.0
-> installed mdx.2.5.0
-> installed mirage-crypto-rng.2.0.1
-> installed mirage-crypto-ec.2.0.1
-> installed mirage-crypto-pk.2.0.1
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-15 09:24.44 ---> using "418115b2ea95af07a6e06eeff9e527a66cd5d70e68e55fc2953a38bb27b385f9" from cache
/: (copy (src .) (dst /home/opam/src))
2025-06-15 09:24.44 ---> using "9c65ceff7017715637e46371e21e9951ce06cc0c1c8c1e71e8dbc5c7d005374c" from cache
/: (run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpmcq_dscheck.exe)
Testing `Picos_mpmcq DSCheck'.
This run has ID `4BG82GOC'.
[OK] Multiple pushes and pops 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_mpmcq DSCheck'.
Test Successful in 1.277s. 1 test run.
(cd _build/default/test && ./test_picos_dscheck.exe)
Testing `Picos DSCheck'.
This run has ID `ZYE37WZS'.
[OK] Trigger 0 basic contract.
[OK] Computation 0 basic contract.
[OK] Computation 1 removes triggers.
Full test results in `~/src/_build/default/test/_build/_tests/Picos DSCheck'.
Test Successful in 0.389s. 3 tests run.
(cd _build/default/test && /usr/local/bin/node test_js_of_ocaml.bc.js)
Hello, from js_of_ocaml with Picos!
(cd _build/default/test && ./test_mpscq.exe)
random seed: 2553358581474080340
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
[ ] 0 0 0 0 / 32 0.0s Mpscq parallel
[ ] 5 0 0 5 / 32 0.1s Mpscq parallel
[ ] 9 0 0 9 / 32 0.2s Mpscq parallel
[ ] 13 0 0 13 / 32 0.3s Mpscq parallel
[ ] 15 0 0 15 / 32 0.5s Mpscq parallel
[ ] 17 0 0 17 / 32 0.6s Mpscq parallel
[ ] 19 0 0 19 / 32 1.4s Mpscq parallel
[ ] 20 0 0 20 / 32 1.5s Mpscq parallel
[ ] 21 0 0 21 / 32 1.9s Mpscq parallel
[ ] 22 0 0 22 / 32 2.2s Mpscq parallel
[ ] 23 0 0 23 / 32 2.7s Mpscq parallel
[ ] 24 0 0 24 / 32 3.0s Mpscq parallel
[ ] 29 0 0 29 / 32 3.2s Mpscq parallel
[✓] 32 0 0 32 / 32 3.3s Mpscq parallel
================================================================================
success (ran 2 tests)
random seed: 4084152682858362413
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpscq sequential
[✓] 64 0 0 64 / 64 0.0s Mpscq sequential
[ ] 0 0 0 0 / 64 0.0s Mpscq parallel
[ ] 1 0 0 1 / 64 0.0s Mpscq parallel
[ ] 2 0 0 2 / 64 0.2s Mpscq parallel
[ ] 4 0 0 4 / 64 0.4s Mpscq parallel
[ ] 6 0 0 6 / 64 0.8s Mpscq parallel
[ ] 7 0 0 7 / 64 1.0s Mpscq parallel
[ ] 8 0 0 8 / 64 1.3s Mpscq parallel
[ ] 9 0 0 9 / 64 1.6s Mpscq parallel
[ ] 10 0 0 10 / 64 2.3s Mpscq parallel
[ ] 11 0 0 11 / 64 2.7s Mpscq parallel
[ ] 12 0 0 12 / 64 3.0s Mpscq parallel
[ ] 13 0 0 13 / 64 4.0s Mpscq parallel
[ ] 14 0 0 14 / 64 4.3s Mpscq parallel
[ ] 15 0 0 15 / 64 4.6s Mpscq parallel
[ ] 16 0 0 16 / 64 5.2s Mpscq parallel
[ ] 17 0 0 17 / 64 5.9s Mpscq parallel
[ ] 18 0 0 18 / 64 6.4s Mpscq parallel
[ ] 19 0 0 19 / 64 6.7s Mpscq parallel
[ ] 20 0 0 20 / 64 7.1s Mpscq parallel
[ ] 21 0 0 21 / 64 7.3s Mpscq parallel
[ ] 22 0 0 22 / 64 7.6s Mpscq parallel
[ ] 23 0 0 23 / 64 8.1s Mpscq parallel
[ ] 24 0 0 24 / 64 8.5s Mpscq parallel
[ ] 26 0 0 26 / 64 8.7s Mpscq parallel
[ ] 27 0 0 27 / 64 9.0s Mpscq parallel
[ ] 28 0 0 28 / 64 9.2s Mpscq parallel
[ ] 29 0 0 29 / 64 9.6s Mpscq parallel
[ ] 30 0 0 30 / 64 10.0s Mpscq parallel
[ ] 31 0 0 31 / 64 10.5s Mpscq parallel
[ ] 32 0 0 32 / 64 10.9s Mpscq parallel
[ ] 33 0 0 33 / 64 11.1s Mpscq parallel
[ ] 34 0 0 34 / 64 11.2s Mpscq parallel
[ ] 35 0 0 35 / 64 11.6s Mpscq parallel
[ ] 36 0 0 36 / 64 11.7s Mpscq parallel
[ ] 37 0 0 37 / 64 11.9s Mpscq parallel
[ ] 38 0 0 38 / 64 12.7s Mpscq parallel
[ ] 39 0 0 39 / 64 13.0s Mpscq parallel
[ ] 40 0 0 40 / 64 13.4s Mpscq parallel
[ ] 41 0 0 41 / 64 13.8s Mpscq parallel
[ ] 42 0 0 42 / 64 14.1s Mpscq parallel
[ ] 43 0 0 43 / 64 14.5s Mpscq parallel
[ ] 44 0 0 44 / 64 14.8s Mpscq parallel
[ ] 45 0 0 45 / 64 15.1s Mpscq parallel
[ ] 46 0 0 46 / 64 15.2s Mpscq parallel
[ ] 47 0 0 47 / 64 15.4s Mpscq parallel
[ ] 48 0 0 48 / 64 15.6s Mpscq parallel
[ ] 49 0 0 49 / 64 15.9s Mpscq parallel
[ ] 50 0 0 50 / 64 16.2s Mpscq parallel
[ ] 51 0 0 51 / 64 16.6s Mpscq parallel
[ ] 52 0 0 52 / 64 17.0s Mpscq parallel
[ ] 53 0 0 53 / 64 17.3s Mpscq parallel
[ ] 54 0 0 54 / 64 17.5s Mpscq parallel
[ ] 55 0 0 55 / 64 17.8s Mpscq parallel
[ ] 56 0 0 56 / 64 18.2s Mpscq parallel
[ ] 57 0 0 57 / 64 18.5s Mpscq parallel
[ ] 58 0 0 58 / 64 18.7s Mpscq parallel
[ ] 59 0 0 59 / 64 18.9s Mpscq parallel
[ ] 60 0 0 60 / 64 19.2s Mpscq parallel
[ ] 61 0 0 61 / 64 19.4s Mpscq parallel
[ ] 62 0 0 62 / 64 19.6s Mpscq parallel
[ ] 63 0 0 63 / 64 19.8s Mpscq parallel
[ ] 64 0 0 64 / 64 20.1s Mpscq parallel
[✓] 64 0 0 64 / 64 20.1s Mpscq parallel
================================================================================
success (ran 2 tests)
random seed: 4164248559340300696
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpscq sequential
[✓] 128 0 0 128 / 128 0.0s Mpscq sequential
[ ] 0 0 0 0 / 128 0.0s Mpscq parallel
[ ] 1 0 0 1 / 128 0.3s Mpscq parallel
[ ] 2 0 0 2 / 128 0.5s Mpscq parallel
[ ] 3 0 0 3 / 128 0.7s Mpscq parallel
[ ] 4 0 0 4 / 128 0.8s Mpscq parallel
[ ] 5 0 0 5 / 128 1.0s Mpscq parallel
[ ] 6 0 0 6 / 128 1.2s Mpscq parallel
[ ] 7 0 0 7 / 128 1.4s Mpscq parallel
[ ] 8 0 0 8 / 128 1.6s Mpscq parallel
[ ] 9 0 0 9 / 128 1.8s Mpscq parallel
[ ] 10 0 0 10 / 128 2.1s Mpscq parallel
[ ] 11 0 0 11 / 128 2.5s Mpscq parallel
[ ] 12 0 0 12 / 128 2.7s Mpscq parallel
[ ] 13 0 0 13 / 128 2.9s Mpscq parallel
[ ] 14 0 0 14 / 128 3.1s Mpscq parallel
[ ] 15 0 0 15 / 128 3.9s Mpscq parallel
[ ] 16 0 0 16 / 128 4.2s Mpscq parallel
[ ] 17 0 0 17 / 128 4.5s Mpscq parallel
[ ] 18 0 0 18 / 128 4.8s Mpscq parallel
[ ] 19 0 0 19 / 128 5.0s Mpscq parallel
[ ] 20 0 0 20 / 128 5.3s Mpscq parallel
[ ] 21 0 0 21 / 128 5.6s Mpscq parallel
[ ] 22 0 0 22 / 128 5.7s Mpscq parallel
[ ] 23 0 0 23 / 128 6.4s Mpscq parallel
[ ] 24 0 0 24 / 128 6.8s Mpscq parallel
[ ] 25 0 0 25 / 128 7.2s Mpscq parallel
[ ] 26 0 0 26 / 128 7.5s Mpscq parallel
[ ] 27 0 0 27 / 128 7.7s Mpscq parallel
[ ] 28 0 0 28 / 128 8.3s Mpscq parallel
[ ] 29 0 0 29 / 128 8.5s Mpscq parallel
[ ] 30 0 0 30 / 128 8.8s Mpscq parallel
[ ] 31 0 0 31 / 128 9.0s Mpscq parallel
[ ] 32 0 0 32 / 128 9.2s Mpscq parallel
[ ] 33 0 0 33 / 128 9.5s Mpscq parallel
[ ] 34 0 0 34 / 128 10.6s Mpscq parallel
[ ] 35 0 0 35 / 128 10.9s Mpscq parallel
[ ] 36 0 0 36 / 128 11.0s Mpscq parallel
[ ] 37 0 0 37 / 128 11.6s Mpscq parallel
[ ] 38 0 0 38 / 128 12.1s Mpscq parallel
[ ] 39 0 0 39 / 128 12.6s Mpscq parallel
[ ] 40 0 0 40 / 128 12.8s Mpscq parallel
[ ] 41 0 0 41 / 128 13.1s Mpscq parallel
[ ] 42 0 0 42 / 128 13.3s Mpscq parallel
[ ] 43 0 0 43 / 128 13.6s Mpscq parallel
[ ] 44 0 0 44 / 128 13.8s Mpscq parallel
[ ] 45 0 0 45 / 128 14.2s Mpscq parallel
[ ] 46 0 0 46 / 128 14.4s Mpscq parallel
[ ] 47 0 0 47 / 128 14.5s Mpscq parallel
[ ] 48 0 0 48 / 128 14.7s Mpscq parallel
[ ] 49 0 0 49 / 128 14.9s Mpscq parallel
[ ] 51 0 0 51 / 128 15.3s Mpscq parallel
[ ] 53 0 0 53 / 128 15.5s Mpscq parallel
[ ] 54 0 0 54 / 128 15.8s Mpscq parallel
[ ] 55 0 0 55 / 128 16.1s Mpscq parallel
[ ] 56 0 0 56 / 128 17.6s Mpscq parallel
[ ] 57 0 0 57 / 128 17.9s Mpscq parallel
[ ] 58 0 0 58 / 128 18.2s Mpscq parallel
[ ] 59 0 0 59 / 128 19.5s Mpscq parallel
[ ] 60 0 0 60 / 128 19.7s Mpscq parallel
[ ] 61 0 0 61 / 128 20.1s Mpscq parallel
[ ] 62 0 0 62 / 128 20.2s Mpscq parallel
[ ] 64 0 0 64 / 128 20.5s Mpscq parallel
[ ] 66 0 0 66 / 128 20.9s Mpscq parallel
[ ] 67 0 0 67 / 128 21.2s Mpscq parallel
[ ] 68 0 0 68 / 128 21.6s Mpscq parallel
[ ] 69 0 0 69 / 128 21.7s Mpscq parallel
[ ] 70 0 0 70 / 128 21.9s Mpscq parallel
[ ] 71 0 0 71 / 128 22.3s Mpscq parallel
[ ] 72 0 0 72 / 128 22.5s Mpscq parallel
[ ] 73 0 0 73 / 128 22.7s Mpscq parallel
[ ] 74 0 0 74 / 128 23.1s Mpscq parallel
[ ] 75 0 0 75 / 128 24.4s Mpscq parallel
[ ] 76 0 0 76 / 128 24.6s Mpscq parallel
[ ] 77 0 0 77 / 128 24.9s Mpscq parallel
[ ] 78 0 0 78 / 128 25.2s Mpscq parallel
[ ] 79 0 0 79 / 128 25.4s Mpscq parallel
[ ] 80 0 0 80 / 128 25.6s Mpscq parallel
[ ] 81 0 0 81 / 128 25.8s Mpscq parallel
[ ] 82 0 0 82 / 128 25.9s Mpscq parallel
[ ] 83 0 0 83 / 128 26.0s Mpscq parallel
[ ] 84 0 0 84 / 128 26.2s Mpscq parallel
[ ] 85 0 0 85 / 128 26.3s Mpscq parallel
[ ] 86 0 0 86 / 128 26.4s Mpscq parallel
[ ] 87 0 0 87 / 128 26.6s Mpscq parallel
[ ] 88 0 0 88 / 128 26.8s Mpscq parallel
[ ] 89 0 0 89 / 128 27.0s Mpscq parallel
[ ] 90 0 0 90 / 128 27.4s Mpscq parallel
[ ] 92 0 0 92 / 128 27.6s Mpscq parallel
[ ] 93 0 0 93 / 128 27.9s Mpscq parallel
[ ] 94 0 0 94 / 128 28.4s Mpscq parallel
[ ] 95 0 0 95 / 128 28.6s Mpscq parallel
[ ] 96 0 0 96 / 128 28.8s Mpscq parallel
[ ] 97 0 0 97 / 128 29.2s Mpscq parallel
[ ] 98 0 0 98 / 128 29.4s Mpscq parallel
[ ] 99 0 0 99 / 128 29.8s Mpscq parallel
[ ] 100 0 0 100 / 128 31.4s Mpscq parallel
[ ] 101 0 0 101 / 128 31.6s Mpscq parallel
[ ] 102 0 0 102 / 128 31.7s Mpscq parallel
[ ] 103 0 0 103 / 128 32.0s Mpscq parallel
[ ] 104 0 0 104 / 128 32.1s Mpscq parallel
[ ] 105 0 0 105 / 128 32.4s Mpscq parallel
[ ] 106 0 0 106 / 128 32.6s Mpscq parallel
[ ] 107 0 0 107 / 128 32.9s Mpscq parallel
[ ] 108 0 0 108 / 128 33.0s Mpscq parallel
[ ] 109 0 0 109 / 128 33.3s Mpscq parallel
[ ] 110 0 0 110 / 128 33.6s Mpscq parallel
[ ] 111 0 0 111 / 128 33.9s Mpscq parallel
[ ] 113 0 0 113 / 128 34.0s Mpscq parallel
[ ] 114 0 0 114 / 128 34.3s Mpscq parallel
[ ] 115 0 0 115 / 128 34.4s Mpscq parallel (generating)
[ ] 116 0 0 116 / 128 34.8s Mpscq parallel
[ ] 117 0 0 117 / 128 35.1s Mpscq parallel
[ ] 118 0 0 118 / 128 35.5s Mpscq parallel
[ ] 119 0 0 119 / 128 35.6s Mpscq parallel
[ ] 121 0 0 121 / 128 35.9s Mpscq parallel
[ ] 122 0 0 122 / 128 36.1s Mpscq parallel
[ ] 123 0 0 123 / 128 36.4s Mpscq parallel
[ ] 124 0 0 124 / 128 37.0s Mpscq parallel
[ ] 125 0 0 125 / 128 37.3s Mpscq parallel
[ ] 126 0 0 126 / 128 37.9s Mpscq parallel
[ ] 127 0 0 127 / 128 39.3s Mpscq parallel
[ ] 128 0 0 128 / 128 39.5s Mpscq parallel
[✓] 128 0 0 128 / 128 39.5s Mpscq parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 1300349365640601263
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq parallel
[ ] 2 0 0 2 / 32 0.2s Mpmcq parallel
[ ] 4 0 0 4 / 32 0.4s Mpmcq parallel
[ ] 6 0 0 6 / 32 0.5s Mpmcq parallel
[ ] 8 0 0 8 / 32 0.7s Mpmcq parallel
[ ] 9 0 0 9 / 32 0.9s Mpmcq parallel
[ ] 10 0 0 10 / 32 1.1s Mpmcq parallel
[ ] 13 0 0 13 / 32 1.3s Mpmcq parallel
[ ] 15 0 0 15 / 32 1.6s Mpmcq parallel
[ ] 16 0 0 16 / 32 1.7s Mpmcq parallel
[ ] 17 0 0 17 / 32 1.8s Mpmcq parallel
[ ] 18 0 0 18 / 32 2.0s Mpmcq parallel
[ ] 20 0 0 20 / 32 2.2s Mpmcq parallel
[ ] 21 0 0 21 / 32 2.4s Mpmcq parallel
[ ] 23 0 0 23 / 32 2.7s Mpmcq parallel
[ ] 25 0 0 25 / 32 2.8s Mpmcq parallel
[ ] 28 0 0 28 / 32 2.9s Mpmcq parallel
[✓] 32 0 0 32 / 32 3.0s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 528023910039430769
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpmcq sequential
[✓] 64 0 0 64 / 64 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 64 0.0s Mpmcq parallel
[ ] 2 0 0 2 / 64 0.2s Mpmcq parallel
[ ] 9 0 0 9 / 64 0.3s Mpmcq parallel
[ ] 12 0 0 12 / 64 0.4s Mpmcq parallel
[ ] 14 0 0 14 / 64 0.6s Mpmcq parallel
[ ] 16 0 0 16 / 64 0.8s Mpmcq parallel
[ ] 17 0 0 17 / 64 1.1s Mpmcq parallel
[ ] 18 0 0 18 / 64 1.2s Mpmcq parallel
[ ] 20 0 0 20 / 64 1.5s Mpmcq parallel
[ ] 21 0 0 21 / 64 1.6s Mpmcq parallel
[ ] 23 0 0 23 / 64 1.8s Mpmcq parallel
[ ] 24 0 0 24 / 64 1.9s Mpmcq parallel
[ ] 26 0 0 26 / 64 2.2s Mpmcq parallel
[ ] 28 0 0 28 / 64 2.5s Mpmcq parallel
[ ] 29 0 0 29 / 64 2.6s Mpmcq parallel
[ ] 30 0 0 30 / 64 2.7s Mpmcq parallel
[ ] 31 0 0 31 / 64 2.9s Mpmcq parallel
[ ] 32 0 0 32 / 64 3.0s Mpmcq parallel
[ ] 33 0 0 33 / 64 3.1s Mpmcq parallel
[ ] 34 0 0 34 / 64 3.3s Mpmcq parallel
[ ] 35 0 0 35 / 64 3.7s Mpmcq parallel
[ ] 36 0 0 36 / 64 4.1s Mpmcq parallel
[ ] 37 0 0 37 / 64 4.4s Mpmcq parallel
[ ] 40 0 0 40 / 64 4.6s Mpmcq parallel
[ ] 41 0 0 41 / 64 4.7s Mpmcq parallel
[ ] 43 0 0 43 / 64 5.1s Mpmcq parallel
[ ] 44 0 0 44 / 64 5.2s Mpmcq parallel
[ ] 45 0 0 45 / 64 5.4s Mpmcq parallel
[ ] 46 0 0 46 / 64 5.6s Mpmcq parallel
[ ] 47 0 0 47 / 64 5.8s Mpmcq parallel
[ ] 48 0 0 48 / 64 6.0s Mpmcq parallel
[ ] 49 0 0 49 / 64 6.1s Mpmcq parallel
[ ] 50 0 0 50 / 64 6.3s Mpmcq parallel
[ ] 51 0 0 51 / 64 6.5s Mpmcq parallel
[ ] 53 0 0 53 / 64 6.7s Mpmcq parallel
[ ] 55 0 0 55 / 64 6.9s Mpmcq parallel
[ ] 56 0 0 56 / 64 7.1s Mpmcq parallel
[ ] 58 0 0 58 / 64 7.3s Mpmcq parallel
[ ] 60 0 0 60 / 64 7.4s Mpmcq parallel
[ ] 63 0 0 63 / 64 7.6s Mpmcq parallel
[ ] 64 0 0 64 / 64 7.7s Mpmcq parallel
[✓] 64 0 0 64 / 64 7.7s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 1903679435826818787
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpmcq sequential
[✓] 128 0 0 128 / 128 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 128 0.0s Mpmcq parallel
[ ] 2 0 0 2 / 128 0.2s Mpmcq parallel
[ ] 3 0 0 3 / 128 0.4s Mpmcq parallel
[ ] 4 0 0 4 / 128 0.5s Mpmcq parallel
[ ] 7 0 0 7 / 128 0.6s Mpmcq parallel
[ ] 9 0 0 9 / 128 0.9s Mpmcq parallel
[ ] 12 0 0 12 / 128 1.0s Mpmcq parallel
[ ] 14 0 0 14 / 128 1.1s Mpmcq parallel
[ ] 16 0 0 16 / 128 1.4s Mpmcq parallel
[ ] 19 0 0 19 / 128 1.5s Mpmcq parallel
[ ] 22 0 0 22 / 128 1.7s Mpmcq parallel
[ ] 23 0 0 23 / 128 1.9s Mpmcq parallel
[ ] 24 0 0 24 / 128 2.0s Mpmcq parallel
[ ] 25 0 0 25 / 128 2.2s Mpmcq parallel
[ ] 26 0 0 26 / 128 2.3s Mpmcq parallel
[ ] 28 0 0 28 / 128 2.4s Mpmcq parallel
[ ] 29 0 0 29 / 128 2.5s Mpmcq parallel
[ ] 30 0 0 30 / 128 2.7s Mpmcq parallel
[ ] 31 0 0 31 / 128 2.8s Mpmcq parallel
[ ] 34 0 0 34 / 128 3.1s Mpmcq parallel
[ ] 37 0 0 37 / 128 3.4s Mpmcq parallel
[ ] 40 0 0 40 / 128 3.5s Mpmcq parallel
[ ] 43 0 0 43 / 128 3.6s Mpmcq parallel
[ ] 46 0 0 46 / 128 3.7s Mpmcq parallel
[ ] 47 0 0 47 / 128 3.9s Mpmcq parallel
[ ] 48 0 0 48 / 128 4.0s Mpmcq parallel
[ ] 52 0 0 52 / 128 4.2s Mpmcq parallel
[ ] 54 0 0 54 / 128 4.3s Mpmcq parallel
[ ] 56 0 0 56 / 128 4.4s Mpmcq parallel
[ ] 57 0 0 57 / 128 4.5s Mpmcq parallel
[ ] 58 0 0 58 / 128 4.7s Mpmcq parallel
[ ] 60 0 0 60 / 128 4.8s Mpmcq parallel
[ ] 62 0 0 62 / 128 5.0s Mpmcq parallel
[ ] 64 0 0 64 / 128 5.1s Mpmcq parallel
[ ] 66 0 0 66 / 128 5.4s Mpmcq parallel
[ ] 67 0 0 67 / 128 5.5s Mpmcq parallel
[ ] 68 0 0 68 / 128 5.7s Mpmcq parallel
[ ] 69 0 0 69 / 128 5.9s Mpmcq parallel
[ ] 70 0 0 70 / 128 6.0s Mpmcq parallel
[ ] 71 0 0 71 / 128 6.2s Mpmcq parallel
[ ] 72 0 0 72 / 128 6.3s Mpmcq parallel
[ ] 73 0 0 73 / 128 6.4s Mpmcq parallel
[ ] 74 0 0 74 / 128 6.6s Mpmcq parallel
[ ] 76 0 0 76 / 128 6.7s Mpmcq parallel
[ ] 77 0 0 77 / 128 6.8s Mpmcq parallel
[ ] 78 0 0 78 / 128 6.9s Mpmcq parallel
[ ] 80 0 0 80 / 128 7.1s Mpmcq parallel
[ ] 82 0 0 82 / 128 7.5s Mpmcq parallel
[ ] 84 0 0 84 / 128 7.6s Mpmcq parallel
[ ] 86 0 0 86 / 128 7.8s Mpmcq parallel
[ ] 88 0 0 88 / 128 7.9s Mpmcq parallel
[ ] 90 0 0 90 / 128 8.0s Mpmcq parallel
[ ] 92 0 0 92 / 128 8.2s Mpmcq parallel
[ ] 94 0 0 94 / 128 8.4s Mpmcq parallel
[ ] 95 0 0 95 / 128 8.5s Mpmcq parallel
[ ] 97 0 0 97 / 128 8.7s Mpmcq parallel
[ ] 99 0 0 99 / 128 8.9s Mpmcq parallel
[ ] 101 0 0 101 / 128 9.1s Mpmcq parallel
[ ] 102 0 0 102 / 128 9.3s Mpmcq parallel
[ ] 104 0 0 104 / 128 9.4s Mpmcq parallel
[ ] 106 0 0 106 / 128 9.6s Mpmcq parallel
[ ] 108 0 0 108 / 128 9.7s Mpmcq parallel
[ ] 109 0 0 109 / 128 9.9s Mpmcq parallel
[ ] 111 0 0 111 / 128 10.3s Mpmcq parallel
[ ] 112 0 0 112 / 128 10.5s Mpmcq parallel
[ ] 113 0 0 113 / 128 10.7s Mpmcq parallel
[ ] 115 0 0 115 / 128 10.8s Mpmcq parallel
[ ] 117 0 0 117 / 128 10.9s Mpmcq parallel
[ ] 119 0 0 119 / 128 11.1s Mpmcq parallel
[ ] 120 0 0 120 / 128 11.2s Mpmcq parallel
[ ] 121 0 0 121 / 128 11.4s Mpmcq parallel
[ ] 123 0 0 123 / 128 11.5s Mpmcq parallel
[ ] 124 0 0 124 / 128 11.6s Mpmcq parallel
[ ] 127 0 0 127 / 128 11.8s Mpmcq parallel
[✓] 128 0 0 128 / 128 11.8s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 3514547766822521463
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpmcq sequential
[✓] 256 0 0 256 / 256 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 256 0.0s Mpmcq parallel
[ ] 1 0 0 1 / 256 0.1s Mpmcq parallel
[ ] 2 0 0 2 / 256 0.2s Mpmcq parallel
[ ] 5 0 0 5 / 256 0.3s Mpmcq parallel
[ ] 7 0 0 7 / 256 0.5s Mpmcq parallel
[ ] 9 0 0 9 / 256 0.6s Mpmcq parallel
[ ] 11 0 0 11 / 256 0.8s Mpmcq parallel
[ ] 13 0 0 13 / 256 0.9s Mpmcq parallel
[ ] 15 0 0 15 / 256 1.0s Mpmcq parallel
[ ] 16 0 0 16 / 256 1.2s Mpmcq parallel
[ ] 18 0 0 18 / 256 1.4s Mpmcq parallel
[ ] 21 0 0 21 / 256 1.5s Mpmcq parallel
[ ] 23 0 0 23 / 256 1.7s Mpmcq parallel
[ ] 25 0 0 25 / 256 1.9s Mpmcq parallel
[ ] 29 0 0 29 / 256 2.0s Mpmcq parallel
[ ] 32 0 0 32 / 256 2.1s Mpmcq parallel
[ ] 34 0 0 34 / 256 2.3s Mpmcq parallel
[ ] 36 0 0 36 / 256 2.4s Mpmcq parallel
[ ] 39 0 0 39 / 256 2.5s Mpmcq parallel
[ ] 41 0 0 41 / 256 2.6s Mpmcq parallel
[ ] 44 0 0 44 / 256 2.7s Mpmcq parallel
[ ] 46 0 0 46 / 256 2.9s Mpmcq parallel
[ ] 48 0 0 48 / 256 3.2s Mpmcq parallel
[ ] 50 0 0 50 / 256 3.4s Mpmcq parallel
[ ] 51 0 0 51 / 256 3.5s Mpmcq parallel
[ ] 53 0 0 53 / 256 3.7s Mpmcq parallel
[ ] 54 0 0 54 / 256 3.9s Mpmcq parallel
[ ] 55 0 0 55 / 256 4.0s Mpmcq parallel
[ ] 56 0 0 56 / 256 4.2s Mpmcq parallel
[ ] 57 0 0 57 / 256 4.3s Mpmcq parallel
[ ] 58 0 0 58 / 256 4.4s Mpmcq parallel
[ ] 59 0 0 59 / 256 4.6s Mpmcq parallel
[ ] 60 0 0 60 / 256 4.7s Mpmcq parallel
[ ] 61 0 0 61 / 256 4.9s Mpmcq parallel
[ ] 62 0 0 62 / 256 5.0s Mpmcq parallel
[ ] 64 0 0 64 / 256 5.2s Mpmcq parallel
[ ] 65 0 0 65 / 256 5.3s Mpmcq parallel
[ ] 67 0 0 67 / 256 5.5s Mpmcq parallel
[ ] 68 0 0 68 / 256 5.6s Mpmcq parallel
[ ] 69 0 0 69 / 256 5.7s Mpmcq parallel
[ ] 70 0 0 70 / 256 5.8s Mpmcq parallel
[ ] 71 0 0 71 / 256 6.0s Mpmcq parallel
[ ] 73 0 0 73 / 256 6.1s Mpmcq parallel
[ ] 74 0 0 74 / 256 6.2s Mpmcq parallel
[ ] 77 0 0 77 / 256 6.4s Mpmcq parallel
[ ] 78 0 0 78 / 256 6.5s Mpmcq parallel
[ ] 79 0 0 79 / 256 6.6s Mpmcq parallel
[ ] 81 0 0 81 / 256 6.7s Mpmcq parallel
[ ] 83 0 0 83 / 256 6.9s Mpmcq parallel
[ ] 85 0 0 85 / 256 7.0s Mpmcq parallel
[ ] 86 0 0 86 / 256 7.1s Mpmcq parallel
[ ] 87 0 0 87 / 256 7.3s Mpmcq parallel
[ ] 89 0 0 89 / 256 7.4s Mpmcq parallel
[ ] 91 0 0 91 / 256 7.6s Mpmcq parallel
[ ] 93 0 0 93 / 256 7.8s Mpmcq parallel
[ ] 95 0 0 95 / 256 8.0s Mpmcq parallel
[ ] 96 0 0 96 / 256 8.1s Mpmcq parallel
[ ] 98 0 0 98 / 256 8.3s Mpmcq parallel
[ ] 100 0 0 100 / 256 8.5s Mpmcq parallel
[ ] 101 0 0 101 / 256 8.6s Mpmcq parallel
[ ] 102 0 0 102 / 256 8.8s Mpmcq parallel
[ ] 103 0 0 103 / 256 9.0s Mpmcq parallel
[ ] 104 0 0 104 / 256 9.1s Mpmcq parallel
[ ] 105 0 0 105 / 256 9.2s Mpmcq parallel
[ ] 107 0 0 107 / 256 9.3s Mpmcq parallel
[ ] 109 0 0 109 / 256 9.5s Mpmcq parallel
[ ] 111 0 0 111 / 256 9.7s Mpmcq parallel
[ ] 113 0 0 113 / 256 9.9s Mpmcq parallel
[ ] 117 0 0 117 / 256 10.0s Mpmcq parallel
[ ] 118 0 0 118 / 256 10.5s Mpmcq parallel
[ ] 119 0 0 119 / 256 11.1s Mpmcq parallel
[ ] 120 0 0 120 / 256 11.3s Mpmcq parallel
[ ] 124 0 0 124 / 256 11.6s Mpmcq parallel
[ ] 128 0 0 128 / 256 11.7s Mpmcq parallel
[ ] 131 0 0 131 / 256 11.9s Mpmcq parallel
[ ] 133 0 0 133 / 256 12.1s Mpmcq parallel
[ ] 134 0 0 134 / 256 12.3s Mpmcq parallel
[ ] 135 0 0 135 / 256 12.6s Mpmcq parallel
[ ] 137 0 0 137 / 256 12.8s Mpmcq parallel
[ ] 138 0 0 138 / 256 12.9s Mpmcq parallel
[ ] 139 0 0 139 / 256 13.1s Mpmcq parallel
[ ] 140 0 0 140 / 256 13.3s Mpmcq parallel
[ ] 142 0 0 142 / 256 13.5s Mpmcq parallel
[ ] 143 0 0 143 / 256 13.6s Mpmcq parallel
[ ] 144 0 0 144 / 256 13.7s Mpmcq parallel
[ ] 147 0 0 147 / 256 13.9s Mpmcq parallel
[ ] 148 0 0 148 / 256 14.0s Mpmcq parallel
[ ] 150 0 0 150 / 256 14.1s Mpmcq parallel
[ ] 151 0 0 151 / 256 14.3s Mpmcq parallel
[ ] 152 0 0 152 / 256 14.5s Mpmcq parallel
[ ] 154 0 0 154 / 256 14.6s Mpmcq parallel
[ ] 155 0 0 155 / 256 14.8s Mpmcq parallel
[ ] 158 0 0 158 / 256 15.1s Mpmcq parallel
[ ] 161 0 0 161 / 256 15.2s Mpmcq parallel
[ ] 164 0 0 164 / 256 15.3s Mpmcq parallel
[ ] 166 0 0 166 / 256 15.5s Mpmcq parallel
[ ] 167 0 0 167 / 256 15.6s Mpmcq parallel
[ ] 171 0 0 171 / 256 15.9s Mpmcq parallel
[ ] 172 0 0 172 / 256 16.0s Mpmcq parallel
[ ] 175 0 0 175 / 256 16.2s Mpmcq parallel
[ ] 177 0 0 177 / 256 16.5s Mpmcq parallel
[ ] 179 0 0 179 / 256 16.7s Mpmcq parallel
[ ] 181 0 0 181 / 256 16.9s Mpmcq parallel
[ ] 182 0 0 182 / 256 18.0s Mpmcq parallel
[ ] 183 0 0 183 / 256 18.2s Mpmcq parallel
[ ] 184 0 0 184 / 256 18.3s Mpmcq parallel
[ ] 186 0 0 186 / 256 18.5s Mpmcq parallel
[ ] 189 0 0 189 / 256 18.8s Mpmcq parallel
[ ] 190 0 0 190 / 256 18.9s Mpmcq parallel
[ ] 194 0 0 194 / 256 19.1s Mpmcq parallel
[ ] 196 0 0 196 / 256 19.4s Mpmcq parallel
[ ] 197 0 0 197 / 256 19.6s Mpmcq parallel
[ ] 198 0 0 198 / 256 19.8s Mpmcq parallel
[ ] 199 0 0 199 / 256 20.0s Mpmcq parallel
[ ] 201 0 0 201 / 256 20.2s Mpmcq parallel
[ ] 202 0 0 202 / 256 20.3s Mpmcq parallel
[ ] 204 0 0 204 / 256 20.4s Mpmcq parallel
[ ] 205 0 0 205 / 256 20.6s Mpmcq parallel
[ ] 207 0 0 207 / 256 20.8s Mpmcq parallel
[ ] 209 0 0 209 / 256 20.9s Mpmcq parallel
[ ] 214 0 0 214 / 256 21.1s Mpmcq parallel
[ ] 217 0 0 217 / 256 21.3s Mpmcq parallel
[ ] 219 0 0 219 / 256 21.4s Mpmcq parallel
[ ] 220 0 0 220 / 256 21.6s Mpmcq parallel
[ ] 221 0 0 221 / 256 21.8s Mpmcq parallel
[ ] 222 0 0 222 / 256 21.9s Mpmcq parallel
[ ] 224 0 0 224 / 256 22.2s Mpmcq parallel
[ ] 226 0 0 226 / 256 22.4s Mpmcq parallel
[ ] 228 0 0 228 / 256 22.5s Mpmcq parallel
[ ] 230 0 0 230 / 256 22.6s Mpmcq parallel
[ ] 231 0 0 231 / 256 22.9s Mpmcq parallel
[ ] 233 0 0 233 / 256 23.1s Mpmcq parallel
[ ] 234 0 0 234 / 256 23.3s Mpmcq parallel
[ ] 237 0 0 237 / 256 23.4s Mpmcq parallel
[ ] 238 0 0 238 / 256 23.7s Mpmcq parallel
[ ] 239 0 0 239 / 256 23.9s Mpmcq parallel
[ ] 240 0 0 240 / 256 24.7s Mpmcq parallel
[ ] 241 0 0 241 / 256 25.1s Mpmcq parallel
[ ] 245 0 0 245 / 256 25.3s Mpmcq parallel
[ ] 246 0 0 246 / 256 25.4s Mpmcq parallel
[ ] 247 0 0 247 / 256 25.6s Mpmcq parallel
[ ] 250 0 0 250 / 256 25.9s Mpmcq parallel
[ ] 251 0 0 251 / 256 26.0s Mpmcq parallel
[ ] 254 0 0 254 / 256 26.1s Mpmcq parallel
[ ] 256 0 0 256 / 256 26.3s Mpmcq parallel
[✓] 256 0 0 256 / 256 26.3s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 3228536290937848156
generated error fail pass / total time test name
[ ] 0 0 0 0 / 110 0.0s Mpmcq sequential
[✓] 110 0 0 110 / 110 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 110 0.0s Mpmcq parallel
[ ] 1 0 0 1 / 110 0.2s Mpmcq parallel
[ ] 3 0 0 3 / 110 0.3s Mpmcq parallel
[ ] 7 0 0 7 / 110 0.4s Mpmcq parallel
[ ] 9 0 0 9 / 110 0.6s Mpmcq parallel
[ ] 11 0 0 11 / 110 0.7s Mpmcq parallel
[ ] 13 0 0 13 / 110 0.8s Mpmcq parallel
[ ] 17 0 0 17 / 110 0.9s Mpmcq parallel
[ ] 20 0 0 20 / 110 1.1s Mpmcq parallel
[ ] 22 0 0 22 / 110 1.3s Mpmcq parallel
[ ] 24 0 0 24 / 110 1.7s Mpmcq parallel
[ ] 26 0 0 26 / 110 1.8s Mpmcq parallel
[ ] 29 0 0 29 / 110 2.0s Mpmcq parallel
[ ] 31 0 0 31 / 110 2.1s Mpmcq parallel
[ ] 32 0 0 32 / 110 2.3s Mpmcq parallel
[ ] 34 0 0 34 / 110 2.7s Mpmcq parallel
[ ] 35 0 0 35 / 110 2.8s Mpmcq parallel
[ ] 38 0 0 38 / 110 3.0s Mpmcq parallel
[ ] 41 0 0 41 / 110 3.2s Mpmcq parallel
[ ] 44 0 0 44 / 110 3.6s Mpmcq parallel
[ ] 45 0 0 45 / 110 3.7s Mpmcq parallel
[ ] 47 0 0 47 / 110 3.8s Mpmcq parallel
[ ] 49 0 0 49 / 110 4.0s Mpmcq parallel
[ ] 50 0 0 50 / 110 4.1s Mpmcq parallel
[ ] 51 0 0 51 / 110 4.3s Mpmcq parallel
[ ] 52 0 0 52 / 110 5.4s Mpmcq parallel
[ ] 54 0 0 54 / 110 5.8s Mpmcq parallel
[ ] 55 0 0 55 / 110 6.0s Mpmcq parallel
[ ] 58 0 0 58 / 110 6.1s Mpmcq parallel
[ ] 60 0 0 60 / 110 6.2s Mpmcq parallel
[ ] 61 0 0 61 / 110 6.4s Mpmcq parallel
[ ] 65 0 0 65 / 110 6.6s Mpmcq parallel
[ ] 67 0 0 67 / 110 6.8s Mpmcq parallel
[ ] 70 0 0 70 / 110 7.0s Mpmcq parallel
[ ] 72 0 0 72 / 110 7.2s Mpmcq parallel
[ ] 73 0 0 73 / 110 7.3s Mpmcq parallel
[ ] 74 0 0 74 / 110 7.4s Mpmcq parallel
[ ] 77 0 0 77 / 110 7.6s Mpmcq parallel
[ ] 78 0 0 78 / 110 7.7s Mpmcq parallel
[ ] 79 0 0 79 / 110 8.2s Mpmcq parallel
[ ] 81 0 0 81 / 110 8.4s Mpmcq parallel
[ ] 82 0 0 82 / 110 8.7s Mpmcq parallel
[ ] 83 0 0 83 / 110 8.8s Mpmcq parallel
[ ] 85 0 0 85 / 110 9.3s Mpmcq parallel
[ ] 86 0 0 86 / 110 9.5s Mpmcq parallel
[ ] 87 0 0 87 / 110 9.9s Mpmcq parallel
[ ] 89 0 0 89 / 110 10.1s Mpmcq parallel
[ ] 91 0 0 91 / 110 10.2s Mpmcq parallel
[ ] 92 0 0 92 / 110 10.3s Mpmcq parallel
[ ] 94 0 0 94 / 110 10.6s Mpmcq parallel
[ ] 95 0 0 95 / 110 10.8s Mpmcq parallel
[ ] 96 0 0 96 / 110 11.0s Mpmcq parallel
[ ] 97 0 0 97 / 110 11.3s Mpmcq parallel
[ ] 98 0 0 98 / 110 11.4s Mpmcq parallel
[ ] 100 0 0 100 / 110 11.8s Mpmcq parallel
[ ] 102 0 0 102 / 110 12.0s Mpmcq parallel
[ ] 103 0 0 103 / 110 12.1s Mpmcq parallel
[ ] 104 0 0 104 / 110 12.3s Mpmcq parallel
[ ] 105 0 0 105 / 110 13.5s Mpmcq parallel
[ ] 106 0 0 106 / 110 13.7s Mpmcq parallel
[ ] 108 0 0 108 / 110 15.0s Mpmcq parallel
[ ] 109 0 0 109 / 110 15.5s Mpmcq parallel
[✓] 110 0 0 110 / 110 15.5s Mpmcq parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 2300757235999623838
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl parallel
[ ] 1 0 0 1 / 32 0.3s Htbl parallel
[ ] 2 0 0 2 / 32 0.5s Htbl parallel
[ ] 5 0 0 5 / 32 0.6s Htbl parallel
[ ] 7 0 0 7 / 32 0.8s Htbl parallel
[ ] 8 0 0 8 / 32 0.9s Htbl parallel
[ ] 10 0 0 10 / 32 1.0s Htbl parallel
[ ] 12 0 0 12 / 32 1.2s Htbl parallel
[ ] 14 0 0 14 / 32 1.4s Htbl parallel
[ ] 16 0 0 16 / 32 1.7s Htbl parallel
[ ] 17 0 0 17 / 32 1.9s Htbl parallel
[ ] 18 0 0 18 / 32 2.0s Htbl parallel
[ ] 20 0 0 20 / 32 2.1s Htbl parallel
[ ] 23 0 0 23 / 32 2.3s Htbl parallel
[ ] 29 0 0 29 / 32 2.4s Htbl parallel
[✓] 32 0 0 32 / 32 2.4s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 3279689218607305554
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Htbl sequential
[✓] 64 0 0 64 / 64 0.0s Htbl sequential
[ ] 0 0 0 0 / 64 0.0s Htbl parallel
[ ] 3 0 0 3 / 64 0.2s Htbl parallel
[ ] 8 0 0 8 / 64 0.3s Htbl parallel
[ ] 11 0 0 11 / 64 0.4s Htbl parallel
[ ] 13 0 0 13 / 64 0.5s Htbl parallel
[ ] 14 0 0 14 / 64 0.6s Htbl parallel
[ ] 16 0 0 16 / 64 0.7s Htbl parallel
[ ] 18 0 0 18 / 64 0.9s Htbl parallel
[ ] 20 0 0 20 / 64 1.1s Htbl parallel
[ ] 22 0 0 22 / 64 1.2s Htbl parallel
[ ] 24 0 0 24 / 64 1.3s Htbl parallel
[ ] 25 0 0 25 / 64 1.5s Htbl parallel
[ ] 27 0 0 27 / 64 1.7s Htbl parallel
[ ] 28 0 0 28 / 64 1.8s Htbl parallel
[ ] 30 0 0 30 / 64 2.0s Htbl parallel
[ ] 32 0 0 32 / 64 2.1s Htbl parallel
[ ] 34 0 0 34 / 64 2.3s Htbl parallel
[ ] 36 0 0 36 / 64 2.4s Htbl parallel
[ ] 39 0 0 39 / 64 2.6s Htbl parallel
[ ] 41 0 0 41 / 64 2.8s Htbl parallel
[ ] 43 0 0 43 / 64 2.9s Htbl parallel
[ ] 44 0 0 44 / 64 3.0s Htbl parallel
[ ] 46 0 0 46 / 64 3.2s Htbl parallel
[ ] 47 0 0 47 / 64 3.5s Htbl parallel
[ ] 48 0 0 48 / 64 4.0s Htbl parallel
[ ] 50 0 0 50 / 64 4.1s Htbl parallel
[ ] 51 0 0 51 / 64 4.3s Htbl parallel
[ ] 54 0 0 54 / 64 4.4s Htbl parallel
[ ] 56 0 0 56 / 64 4.6s Htbl parallel
[ ] 59 0 0 59 / 64 4.8s Htbl parallel
[ ] 60 0 0 60 / 64 5.1s Htbl parallel
[ ] 61 0 0 61 / 64 5.2s Htbl parallel
[ ] 62 0 0 62 / 64 5.3s Htbl parallel
[ ] 63 0 0 63 / 64 5.5s Htbl parallel
[ ] 64 0 0 64 / 64 5.9s Htbl parallel
[✓] 64 0 0 64 / 64 5.9s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 2624092583845904442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Htbl sequential
[✓] 128 0 0 128 / 128 0.0s Htbl sequential
[ ] 0 0 0 0 / 128 0.0s Htbl parallel
[ ] 1 0 0 1 / 128 0.1s Htbl parallel
[ ] 2 0 0 2 / 128 0.3s Htbl parallel
[ ] 3 0 0 3 / 128 0.4s Htbl parallel
[ ] 4 0 0 4 / 128 0.5s Htbl parallel
[ ] 6 0 0 6 / 128 0.7s Htbl parallel
[ ] 7 0 0 7 / 128 0.8s Htbl parallel
[ ] 9 0 0 9 / 128 1.0s Htbl parallel
[ ] 10 0 0 10 / 128 1.1s Htbl parallel
[ ] 12 0 0 12 / 128 1.3s Htbl parallel
[ ] 14 0 0 14 / 128 1.5s Htbl parallel
[ ] 16 0 0 16 / 128 1.6s Htbl parallel
[ ] 17 0 0 17 / 128 1.7s Htbl parallel
[ ] 18 0 0 18 / 128 1.9s Htbl parallel
[ ] 19 0 0 19 / 128 2.1s Htbl parallel
[ ] 20 0 0 20 / 128 2.2s Htbl parallel
[ ] 22 0 0 22 / 128 2.4s Htbl parallel
[ ] 23 0 0 23 / 128 2.6s Htbl parallel
[ ] 26 0 0 26 / 128 2.8s Htbl parallel
[ ] 29 0 0 29 / 128 3.1s Htbl parallel
[ ] 33 0 0 33 / 128 3.2s Htbl parallel
[ ] 34 0 0 34 / 128 3.4s Htbl parallel
[ ] 36 0 0 36 / 128 3.6s Htbl parallel
[ ] 37 0 0 37 / 128 3.9s Htbl parallel
[ ] 38 0 0 38 / 128 4.0s Htbl parallel
[ ] 40 0 0 40 / 128 4.2s Htbl parallel
[ ] 41 0 0 41 / 128 4.4s Htbl parallel
[ ] 42 0 0 42 / 128 4.5s Htbl parallel
[ ] 43 0 0 43 / 128 4.8s Htbl parallel
[ ] 45 0 0 45 / 128 5.1s Htbl parallel
[ ] 47 0 0 47 / 128 5.2s Htbl parallel
[ ] 49 0 0 49 / 128 5.3s Htbl parallel
[ ] 50 0 0 50 / 128 5.4s Htbl parallel
[ ] 51 0 0 51 / 128 5.7s Htbl parallel
[ ] 54 0 0 54 / 128 5.8s Htbl parallel
[ ] 56 0 0 56 / 128 6.0s Htbl parallel
[ ] 58 0 0 58 / 128 6.2s Htbl parallel
[ ] 59 0 0 59 / 128 6.4s Htbl parallel
[ ] 61 0 0 61 / 128 6.5s Htbl parallel
[ ] 62 0 0 62 / 128 6.6s Htbl parallel
[ ] 63 0 0 63 / 128 6.8s Htbl parallel
[ ] 64 0 0 64 / 128 6.9s Htbl parallel
[ ] 65 0 0 65 / 128 7.1s Htbl parallel
[ ] 66 0 0 66 / 128 7.3s Htbl parallel
[ ] 67 0 0 67 / 128 7.6s Htbl parallel
[ ] 68 0 0 68 / 128 7.8s Htbl parallel
[ ] 70 0 0 70 / 128 8.0s Htbl parallel
[ ] 71 0 0 71 / 128 8.1s Htbl parallel
[ ] 72 0 0 72 / 128 8.3s Htbl parallel
[ ] 74 0 0 74 / 128 8.5s Htbl parallel
[ ] 75 0 0 75 / 128 8.7s Htbl parallel
[ ] 76 0 0 76 / 128 8.8s Htbl parallel
[ ] 77 0 0 77 / 128 8.9s Htbl parallel
[ ] 78 0 0 78 / 128 9.1s Htbl parallel
[ ] 80 0 0 80 / 128 9.2s Htbl parallel
[ ] 82 0 0 82 / 128 9.4s Htbl parallel
[ ] 83 0 0 83 / 128 9.5s Htbl parallel
[ ] 85 0 0 85 / 128 9.7s Htbl parallel
[ ] 86 0 0 86 / 128 9.8s Htbl parallel
[ ] 87 0 0 87 / 128 9.9s Htbl parallel
[ ] 88 0 0 88 / 128 10.1s Htbl parallel
[ ] 89 0 0 89 / 128 10.3s Htbl parallel
[ ] 91 0 0 91 / 128 10.6s Htbl parallel
[ ] 92 0 0 92 / 128 10.8s Htbl parallel
[ ] 96 0 0 96 / 128 11.1s Htbl parallel
[ ] 97 0 0 97 / 128 11.2s Htbl parallel
[ ] 98 0 0 98 / 128 11.3s Htbl parallel
[ ] 99 0 0 99 / 128 11.5s Htbl parallel
[ ] 101 0 0 101 / 128 11.6s Htbl parallel
[ ] 103 0 0 103 / 128 11.8s Htbl parallel
[ ] 105 0 0 105 / 128 12.0s Htbl parallel
[ ] 106 0 0 106 / 128 12.1s Htbl parallel
[ ] 107 0 0 107 / 128 12.4s Htbl parallel
[ ] 108 0 0 108 / 128 12.5s Htbl parallel
[ ] 110 0 0 110 / 128 12.7s Htbl parallel
[ ] 111 0 0 111 / 128 12.8s Htbl parallel
[ ] 112 0 0 112 / 128 12.9s Htbl parallel
[ ] 113 0 0 113 / 128 13.1s Htbl parallel
[ ] 115 0 0 115 / 128 13.4s Htbl parallel
[ ] 117 0 0 117 / 128 13.6s Htbl parallel
[ ] 118 0 0 118 / 128 13.7s Htbl parallel
[ ] 120 0 0 120 / 128 13.9s Htbl parallel
[ ] 122 0 0 122 / 128 14.1s Htbl parallel
[ ] 123 0 0 123 / 128 14.3s Htbl parallel
[ ] 124 0 0 124 / 128 14.4s Htbl parallel
[ ] 126 0 0 126 / 128 14.5s Htbl parallel
[ ] 128 0 0 128 / 128 14.7s Htbl parallel
[✓] 128 0 0 128 / 128 14.7s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 4442735811827257082
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Htbl sequential
[✓] 256 0 0 256 / 256 0.0s Htbl sequential
[ ] 0 0 0 0 / 256 0.0s Htbl parallel
[ ] 1 0 0 1 / 256 0.1s Htbl parallel
[ ] 2 0 0 2 / 256 0.2s Htbl parallel
[ ] 4 0 0 4 / 256 0.3s Htbl parallel
[ ] 6 0 0 6 / 256 0.5s Htbl parallel
[ ] 8 0 0 8 / 256 0.7s Htbl parallel
[ ] 11 0 0 11 / 256 0.8s Htbl parallel
[ ] 13 0 0 13 / 256 1.0s Htbl parallel
[ ] 14 0 0 14 / 256 1.1s Htbl parallel
[ ] 15 0 0 15 / 256 1.2s Htbl parallel
[ ] 17 0 0 17 / 256 1.3s Htbl parallel
[ ] 18 0 0 18 / 256 1.5s Htbl parallel
[ ] 20 0 0 20 / 256 1.6s Htbl parallel
[ ] 22 0 0 22 / 256 1.8s Htbl parallel
[ ] 23 0 0 23 / 256 2.0s Htbl parallel
[ ] 24 0 0 24 / 256 2.1s Htbl parallel
[ ] 26 0 0 26 / 256 2.2s Htbl parallel
[ ] 28 0 0 28 / 256 2.4s Htbl parallel
[ ] 30 0 0 30 / 256 2.5s Htbl parallel
[ ] 32 0 0 32 / 256 2.6s Htbl parallel
[ ] 34 0 0 34 / 256 2.8s Htbl parallel
[ ] 36 0 0 36 / 256 3.0s Htbl parallel
[ ] 38 0 0 38 / 256 3.2s Htbl parallel
[ ] 40 0 0 40 / 256 3.3s Htbl parallel
[ ] 41 0 0 41 / 256 3.5s Htbl parallel
[ ] 43 0 0 43 / 256 3.7s Htbl parallel
[ ] 45 0 0 45 / 256 4.1s Htbl parallel
[ ] 46 0 0 46 / 256 4.2s Htbl parallel
[ ] 48 0 0 48 / 256 4.3s Htbl parallel
[ ] 49 0 0 49 / 256 4.4s Htbl parallel
[ ] 50 0 0 50 / 256 4.5s Htbl parallel
[ ] 52 0 0 52 / 256 4.7s Htbl parallel
[ ] 53 0 0 53 / 256 5.0s Htbl parallel
[ ] 54 0 0 54 / 256 5.1s Htbl parallel
[ ] 56 0 0 56 / 256 5.4s Htbl parallel
[ ] 57 0 0 57 / 256 5.5s Htbl parallel
[ ] 58 0 0 58 / 256 5.7s Htbl parallel
[ ] 60 0 0 60 / 256 6.0s Htbl parallel
[ ] 61 0 0 61 / 256 6.2s Htbl parallel
[ ] 62 0 0 62 / 256 6.4s Htbl parallel
[ ] 63 0 0 63 / 256 6.5s Htbl parallel
[ ] 64 0 0 64 / 256 6.7s Htbl parallel
[ ] 65 0 0 65 / 256 6.8s Htbl parallel
[ ] 67 0 0 67 / 256 7.0s Htbl parallel
[ ] 68 0 0 68 / 256 7.2s Htbl parallel
[ ] 69 0 0 69 / 256 7.4s Htbl parallel
[ ] 70 0 0 70 / 256 7.6s Htbl parallel
[ ] 71 0 0 71 / 256 7.9s Htbl parallel
[ ] 72 0 0 72 / 256 8.0s Htbl parallel
[ ] 74 0 0 74 / 256 8.2s Htbl parallel
[ ] 76 0 0 76 / 256 8.4s Htbl parallel
[ ] 78 0 0 78 / 256 8.5s Htbl parallel
[ ] 80 0 0 80 / 256 8.7s Htbl parallel
[ ] 83 0 0 83 / 256 9.9s Htbl parallel
[ ] 84 0 0 84 / 256 10.1s Htbl parallel
[ ] 87 0 0 87 / 256 10.3s Htbl parallel
[ ] 88 0 0 88 / 256 10.4s Htbl parallel
[ ] 91 0 0 91 / 256 10.5s Htbl parallel
[ ] 92 0 0 92 / 256 10.7s Htbl parallel
[ ] 93 0 0 93 / 256 11.0s Htbl parallel
[ ] 94 0 0 94 / 256 11.1s Htbl parallel
[ ] 95 0 0 95 / 256 11.4s Htbl parallel
[ ] 97 0 0 97 / 256 11.7s Htbl parallel
[ ] 98 0 0 98 / 256 11.9s Htbl parallel
[ ] 99 0 0 99 / 256 12.0s Htbl parallel
[ ] 100 0 0 100 / 256 12.2s Htbl parallel
[ ] 104 0 0 104 / 256 12.3s Htbl parallel
[ ] 106 0 0 106 / 256 12.4s Htbl parallel
[ ] 107 0 0 107 / 256 12.5s Htbl parallel
[ ] 109 0 0 109 / 256 12.6s Htbl parallel
[ ] 112 0 0 112 / 256 12.8s Htbl parallel
[ ] 114 0 0 114 / 256 12.9s Htbl parallel
[ ] 116 0 0 116 / 256 13.2s Htbl parallel
[ ] 117 0 0 117 / 256 13.4s Htbl parallel
[ ] 119 0 0 119 / 256 13.7s Htbl parallel
[ ] 122 0 0 122 / 256 13.8s Htbl parallel
[ ] 123 0 0 123 / 256 14.0s Htbl parallel
[ ] 126 0 0 126 / 256 14.1s Htbl parallel
[ ] 129 0 0 129 / 256 14.3s Htbl parallel
[ ] 131 0 0 131 / 256 14.4s Htbl parallel
[ ] 136 0 0 136 / 256 14.7s Htbl parallel
[ ] 137 0 0 137 / 256 14.8s Htbl parallel
[ ] 142 0 0 142 / 256 14.9s Htbl parallel
[ ] 145 0 0 145 / 256 15.0s Htbl parallel
[ ] 147 0 0 147 / 256 15.3s Htbl parallel
[ ] 149 0 0 149 / 256 15.4s Htbl parallel
[ ] 150 0 0 150 / 256 15.5s Htbl parallel
[ ] 153 0 0 153 / 256 16.7s Htbl parallel
[ ] 154 0 0 154 / 256 17.0s Htbl parallel
[ ] 155 0 0 155 / 256 17.1s Htbl parallel
[ ] 158 0 0 158 / 256 17.3s Htbl parallel
[ ] 160 0 0 160 / 256 17.4s Htbl parallel
[ ] 162 0 0 162 / 256 17.7s Htbl parallel
[ ] 164 0 0 164 / 256 17.8s Htbl parallel
[ ] 166 0 0 166 / 256 17.9s Htbl parallel
[ ] 167 0 0 167 / 256 18.2s Htbl parallel
[ ] 168 0 0 168 / 256 18.4s Htbl parallel
[ ] 170 0 0 170 / 256 18.8s Htbl parallel
[ ] 173 0 0 173 / 256 18.9s Htbl parallel
[ ] 174 0 0 174 / 256 19.1s Htbl parallel
[ ] 175 0 0 175 / 256 19.2s Htbl parallel
[ ] 176 0 0 176 / 256 19.4s Htbl parallel
[ ] 177 0 0 177 / 256 19.6s Htbl parallel
[ ] 178 0 0 178 / 256 19.7s Htbl parallel
[ ] 181 0 0 181 / 256 19.9s Htbl parallel
[ ] 183 0 0 183 / 256 20.1s Htbl parallel
[ ] 186 0 0 186 / 256 20.2s Htbl parallel
[ ] 187 0 0 187 / 256 20.3s Htbl parallel
[ ] 188 0 0 188 / 256 20.5s Htbl parallel
[ ] 189 0 0 189 / 256 20.6s Htbl parallel
[ ] 191 0 0 191 / 256 20.7s Htbl parallel
[ ] 193 0 0 193 / 256 21.0s Htbl parallel
[ ] 194 0 0 194 / 256 21.1s Htbl parallel
[ ] 196 0 0 196 / 256 21.2s Htbl parallel
[ ] 199 0 0 199 / 256 21.3s Htbl parallel
[ ] 201 0 0 201 / 256 21.6s Htbl parallel
[ ] 202 0 0 202 / 256 21.7s Htbl parallel
[ ] 204 0 0 204 / 256 21.8s Htbl parallel
[ ] 206 0 0 206 / 256 21.9s Htbl parallel
[ ] 208 0 0 208 / 256 22.1s Htbl parallel
[ ] 211 0 0 211 / 256 22.5s Htbl parallel
[ ] 212 0 0 212 / 256 22.7s Htbl parallel
[ ] 213 0 0 213 / 256 23.3s Htbl parallel
[ ] 214 0 0 214 / 256 23.9s Htbl parallel
[ ] 217 0 0 217 / 256 24.0s Htbl parallel
[ ] 219 0 0 219 / 256 24.2s Htbl parallel
[ ] 221 0 0 221 / 256 24.4s Htbl parallel
[ ] 224 0 0 224 / 256 24.6s Htbl parallel
[ ] 226 0 0 226 / 256 24.7s Htbl parallel
[ ] 227 0 0 227 / 256 24.9s Htbl parallel
[ ] 231 0 0 231 / 256 25.0s Htbl parallel
[ ] 232 0 0 232 / 256 25.1s Htbl parallel
[ ] 234 0 0 234 / 256 25.3s Htbl parallel
[ ] 236 0 0 236 / 256 25.4s Htbl parallel
[ ] 239 0 0 239 / 256 25.5s Htbl parallel
[ ] 241 0 0 241 / 256 25.7s Htbl parallel
[ ] 243 0 0 243 / 256 25.8s Htbl parallel
[ ] 246 0 0 246 / 256 25.9s Htbl parallel
[ ] 249 0 0 249 / 256 26.0s Htbl parallel
[ ] 252 0 0 252 / 256 26.1s Htbl parallel
[ ] 254 0 0 254 / 256 26.3s Htbl parallel
[ ] 256 0 0 256 / 256 26.4s Htbl parallel
[✓] 256 0 0 256 / 256 26.4s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 1374834122639274996
generated error fail pass / total time test name
[ ] 0 0 0 0 / 103 0.0s Htbl sequential
[✓] 103 0 0 103 / 103 0.0s Htbl sequential
[ ] 0 0 0 0 / 103 0.0s Htbl parallel
[ ] 2 0 0 2 / 103 0.4s Htbl parallel
[ ] 4 0 0 4 / 103 0.5s Htbl parallel
[ ] 6 0 0 6 / 103 0.7s Htbl parallel
[ ] 8 0 0 8 / 103 0.8s Htbl parallel
[ ] 9 0 0 9 / 103 1.0s Htbl parallel
[ ] 11 0 0 11 / 103 1.4s Htbl parallel
[ ] 12 0 0 12 / 103 1.5s Htbl parallel
[ ] 13 0 0 13 / 103 1.7s Htbl parallel
[ ] 14 0 0 14 / 103 1.8s Htbl parallel
[ ] 16 0 0 16 / 103 2.0s Htbl parallel
[ ] 18 0 0 18 / 103 2.2s Htbl parallel
[ ] 20 0 0 20 / 103 2.4s Htbl parallel
[ ] 22 0 0 22 / 103 2.5s Htbl parallel
[ ] 25 0 0 25 / 103 2.6s Htbl parallel
[ ] 27 0 0 27 / 103 3.0s Htbl parallel
[ ] 28 0 0 28 / 103 4.1s Htbl parallel
[ ] 29 0 0 29 / 103 4.5s Htbl parallel
[ ] 30 0 0 30 / 103 4.7s Htbl parallel
[ ] 33 0 0 33 / 103 4.8s Htbl parallel
[ ] 35 0 0 35 / 103 5.0s Htbl parallel
[ ] 36 0 0 36 / 103 5.2s Htbl parallel
[ ] 38 0 0 38 / 103 5.3s Htbl parallel
[ ] 40 0 0 40 / 103 5.5s Htbl parallel
[ ] 43 0 0 43 / 103 5.7s Htbl parallel
[ ] 45 0 0 45 / 103 5.9s Htbl parallel
[ ] 46 0 0 46 / 103 6.1s Htbl parallel
[ ] 49 0 0 49 / 103 6.3s Htbl parallel
[ ] 50 0 0 50 / 103 6.5s Htbl parallel
[ ] 52 0 0 52 / 103 6.8s Htbl parallel
[ ] 53 0 0 53 / 103 6.9s Htbl parallel
[ ] 55 0 0 55 / 103 7.1s Htbl parallel
[ ] 57 0 0 57 / 103 7.2s Htbl parallel
[ ] 58 0 0 58 / 103 7.6s Htbl parallel
[ ] 59 0 0 59 / 103 8.0s Htbl parallel
[ ] 60 0 0 60 / 103 8.3s Htbl parallel
[ ] 61 0 0 61 / 103 8.7s Htbl parallel
[ ] 62 0 0 62 / 103 8.8s Htbl parallel
[ ] 64 0 0 64 / 103 9.0s Htbl parallel
[ ] 65 0 0 65 / 103 9.2s Htbl parallel
[ ] 66 0 0 66 / 103 9.4s Htbl parallel
[ ] 67 0 0 67 / 103 9.6s Htbl parallel
[ ] 68 0 0 68 / 103 9.8s Htbl parallel
[ ] 69 0 0 69 / 103 10.1s Htbl parallel
[ ] 70 0 0 70 / 103 10.2s Htbl parallel
[ ] 72 0 0 72 / 103 10.5s Htbl parallel
[ ] 74 0 0 74 / 103 10.6s Htbl parallel
[ ] 75 0 0 75 / 103 10.8s Htbl parallel
[ ] 77 0 0 77 / 103 10.9s Htbl parallel
[ ] 78 0 0 78 / 103 11.1s Htbl parallel
[ ] 79 0 0 79 / 103 12.2s Htbl parallel
[ ] 80 0 0 80 / 103 12.3s Htbl parallel
[ ] 81 0 0 81 / 103 12.4s Htbl parallel
[ ] 82 0 0 82 / 103 12.5s Htbl parallel
[ ] 83 0 0 83 / 103 12.6s Htbl parallel
[ ] 85 0 0 85 / 103 13.8s Htbl parallel
[ ] 86 0 0 86 / 103 14.1s Htbl parallel
[ ] 87 0 0 87 / 103 14.2s Htbl parallel
[ ] 88 0 0 88 / 103 15.4s Htbl parallel
[ ] 89 0 0 89 / 103 15.6s Htbl parallel
[ ] 91 0 0 91 / 103 15.8s Htbl parallel
[ ] 94 0 0 94 / 103 16.0s Htbl parallel
[ ] 95 0 0 95 / 103 16.1s Htbl parallel
[ ] 97 0 0 97 / 103 16.3s Htbl parallel
[ ] 99 0 0 99 / 103 16.6s Htbl parallel
[ ] 101 0 0 101 / 103 16.7s Htbl parallel
[ ] 102 0 0 102 / 103 16.9s Htbl parallel
[ ] 103 0 0 103 / 103 17.1s Htbl parallel
[✓] 103 0 0 103 / 103 17.1s Htbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_lwt_unix.exe)
Testing `Picos_lwt'.
This run has ID `LVZIK380'.
[OK] Basics 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_lwt'.
Test Successful in 0.061s. 1 test run.
(cd _build/default/test && ./test_picos_lwt_unix_with_cohttp.exe)
Uri: //127.0.0.1:8000/hello-lwt
Method: GET
host: 127.0.0.1:8000
user-agent: ocaml-cohttp/v6.1.1
content-length: 0
Body:
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `7LAOK848'.
[OK] Intr 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 5.103s. 1 test run.
(cd _build/default/test && ./test_lock.exe)
random seed: 2590463497336604873
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock parallel
[ ] 4 0 0 4 / 32 0.1s Lock parallel
[ ] 5 0 0 5 / 32 0.2s Lock parallel
[ ] 9 0 0 9 / 32 0.3s Lock parallel
[ ] 13 0 0 13 / 32 0.5s Lock parallel
[ ] 17 0 0 17 / 32 0.6s Lock parallel
[ ] 21 0 0 21 / 32 0.7s Lock parallel
[ ] 25 0 0 25 / 32 0.9s Lock parallel
[ ] 29 0 0 29 / 32 1.0s Lock parallel
[ ] 31 0 0 31 / 32 1.1s Lock parallel
[ ] 32 0 0 32 / 32 1.3s Lock parallel
[✓] 32 0 0 32 / 32 1.3s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 2613992139281620896
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lock sequential
[✓] 64 0 0 64 / 64 0.0s Lock sequential
[ ] 0 0 0 0 / 64 0.0s Lock parallel
[ ] 3 0 0 3 / 64 0.1s Lock parallel
[ ] 6 0 0 6 / 64 0.2s Lock parallel
[ ] 9 0 0 9 / 64 0.3s Lock parallel
[ ] 11 0 0 11 / 64 0.5s Lock parallel
[ ] 15 0 0 15 / 64 0.6s Lock parallel
[ ] 19 0 0 19 / 64 0.8s Lock parallel
[ ] 23 0 0 23 / 64 0.9s Lock parallel
[ ] 27 0 0 27 / 64 1.0s Lock parallel
[ ] 31 0 0 31 / 64 1.2s Lock parallel
[ ] 34 0 0 34 / 64 1.3s Lock parallel
[ ] 37 0 0 37 / 64 1.5s Lock parallel
[ ] 41 0 0 41 / 64 1.6s Lock parallel
[ ] 44 0 0 44 / 64 1.7s Lock parallel
[ ] 47 0 0 47 / 64 1.9s Lock parallel
[ ] 51 0 0 51 / 64 2.0s Lock parallel
[ ] 55 0 0 55 / 64 2.2s Lock parallel
[ ] 57 0 0 57 / 64 2.3s Lock parallel
[ ] 59 0 0 59 / 64 2.4s Lock parallel
[ ] 63 0 0 63 / 64 2.5s Lock parallel
[✓] 64 0 0 64 / 64 2.6s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 3037235541785435683
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Lock sequential
[✓] 128 0 0 128 / 128 0.0s Lock sequential
[ ] 0 0 0 0 / 128 0.0s Lock parallel
[ ] 2 0 0 2 / 128 0.1s Lock parallel
[ ] 5 0 0 5 / 128 0.2s Lock parallel
[ ] 9 0 0 9 / 128 0.3s Lock parallel
[ ] 13 0 0 13 / 128 0.4s Lock parallel
[ ] 18 0 0 18 / 128 0.6s Lock parallel
[ ] 22 0 0 22 / 128 0.7s Lock parallel
[ ] 24 0 0 24 / 128 1.0s Lock parallel
[ ] 27 0 0 27 / 128 1.3s Lock parallel
[ ] 28 0 0 28 / 128 1.4s Lock parallel
[ ] 29 0 0 29 / 128 1.6s Lock parallel
[ ] 30 0 0 30 / 128 2.0s Lock parallel
[ ] 31 0 0 31 / 128 2.2s Lock parallel
[ ] 32 0 0 32 / 128 2.3s Lock parallel
[ ] 34 0 0 34 / 128 2.5s Lock parallel
[ ] 36 0 0 36 / 128 2.6s Lock parallel
[ ] 37 0 0 37 / 128 2.8s Lock parallel
[ ] 38 0 0 38 / 128 3.2s Lock parallel
[ ] 40 0 0 40 / 128 3.4s Lock parallel
[ ] 42 0 0 42 / 128 3.5s Lock parallel
[ ] 43 0 0 43 / 128 3.7s Lock parallel
[ ] 44 0 0 44 / 128 3.8s Lock parallel
[ ] 47 0 0 47 / 128 4.0s Lock parallel
[ ] 48 0 0 48 / 128 4.2s Lock parallel
[ ] 49 0 0 49 / 128 4.5s Lock parallel
[ ] 50 0 0 50 / 128 4.8s Lock parallel
[ ] 51 0 0 51 / 128 5.0s Lock parallel
[ ] 52 0 0 52 / 128 5.4s Lock parallel
[ ] 53 0 0 53 / 128 5.7s Lock parallel
[ ] 54 0 0 54 / 128 5.8s Lock parallel
[ ] 56 0 0 56 / 128 6.0s Lock parallel
[ ] 57 0 0 57 / 128 6.4s Lock parallel
[ ] 58 0 0 58 / 128 6.6s Lock parallel
[ ] 59 0 0 59 / 128 7.2s Lock parallel
[ ] 60 0 0 60 / 128 7.4s Lock parallel
[ ] 61 0 0 61 / 128 7.6s Lock parallel
[ ] 62 0 0 62 / 128 8.0s Lock parallel
[ ] 63 0 0 63 / 128 8.1s Lock parallel
[ ] 64 0 0 64 / 128 8.2s Lock parallel
[ ] 65 0 0 65 / 128 8.3s Lock parallel
[ ] 66 0 0 66 / 128 8.6s Lock parallel
[ ] 67 0 0 67 / 128 8.8s Lock parallel
[ ] 68 0 0 68 / 128 9.0s Lock parallel
[ ] 69 0 0 69 / 128 9.2s Lock parallel
[ ] 70 0 0 70 / 128 9.4s Lock parallel
[ ] 71 0 0 71 / 128 9.7s Lock parallel
[ ] 72 0 0 72 / 128 9.8s Lock parallel
[ ] 73 0 0 73 / 128 10.0s Lock parallel
[ ] 74 0 0 74 / 128 10.1s Lock parallel
[ ] 75 0 0 75 / 128 10.2s Lock parallel
[ ] 76 0 0 76 / 128 10.3s Lock parallel
[ ] 77 0 0 77 / 128 10.4s Lock parallel
[ ] 78 0 0 78 / 128 10.7s Lock parallel
[ ] 79 0 0 79 / 128 10.9s Lock parallel
[ ] 80 0 0 80 / 128 11.2s Lock parallel
[ ] 81 0 0 81 / 128 11.3s Lock parallel
[ ] 82 0 0 82 / 128 11.5s Lock parallel
[ ] 84 0 0 84 / 128 11.7s Lock parallel
[ ] 85 0 0 85 / 128 11.8s Lock parallel
[ ] 87 0 0 87 / 128 12.2s Lock parallel
[ ] 88 0 0 88 / 128 12.4s Lock parallel
[ ] 89 0 0 89 / 128 12.5s Lock parallel
[ ] 90 0 0 90 / 128 12.7s Lock parallel
[ ] 91 0 0 91 / 128 12.9s Lock parallel
[ ] 92 0 0 92 / 128 13.1s Lock parallel
[ ] 93 0 0 93 / 128 13.3s Lock parallel
[ ] 94 0 0 94 / 128 13.4s Lock parallel
[ ] 95 0 0 95 / 128 13.6s Lock parallel
[ ] 96 0 0 96 / 128 13.7s Lock parallel
[ ] 98 0 0 98 / 128 13.9s Lock parallel
[ ] 99 0 0 99 / 128 14.0s Lock parallel
[ ] 101 0 0 101 / 128 14.2s Lock parallel
[ ] 102 0 0 102 / 128 14.3s Lock parallel
[ ] 103 0 0 103 / 128 14.5s Lock parallel
[ ] 105 0 0 105 / 128 14.6s Lock parallel
[ ] 106 0 0 106 / 128 14.7s Lock parallel
[ ] 107 0 0 107 / 128 14.8s Lock parallel
[ ] 108 0 0 108 / 128 15.0s Lock parallel
[ ] 110 0 0 110 / 128 15.3s Lock parallel
[ ] 111 0 0 111 / 128 15.4s Lock parallel
[ ] 112 0 0 112 / 128 15.8s Lock parallel
[ ] 113 0 0 113 / 128 15.9s Lock parallel
[ ] 114 0 0 114 / 128 16.2s Lock parallel
[ ] 115 0 0 115 / 128 16.7s Lock parallel
[ ] 117 0 0 117 / 128 16.9s Lock parallel
[ ] 119 0 0 119 / 128 17.3s Lock parallel
[ ] 121 0 0 121 / 128 17.6s Lock parallel
[ ] 123 0 0 123 / 128 17.8s Lock parallel
[ ] 125 0 0 125 / 128 17.9s Lock parallel
[ ] 126 0 0 126 / 128 18.1s Lock parallel
[ ] 127 0 0 127 / 128 18.3s Lock parallel
[✓] 128 0 0 128 / 128 18.3s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 4134899018137082270
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Lock sequential
[✓] 256 0 0 256 / 256 0.0s Lock sequential
[ ] 0 0 0 0 / 256 0.0s Lock parallel
[ ] 1 0 0 1 / 256 0.1s Lock parallel
[ ] 2 0 0 2 / 256 0.2s Lock parallel
[ ] 3 0 0 3 / 256 0.4s Lock parallel
[ ] 4 0 0 4 / 256 0.6s Lock parallel
[ ] 6 0 0 6 / 256 0.8s Lock parallel
[ ] 7 0 0 7 / 256 0.9s Lock parallel
[ ] 9 0 0 9 / 256 1.1s Lock parallel
[ ] 10 0 0 10 / 256 1.3s Lock parallel
[ ] 12 0 0 12 / 256 1.5s Lock parallel
[ ] 13 0 0 13 / 256 1.6s Lock parallel
[ ] 14 0 0 14 / 256 1.7s Lock parallel
[ ] 15 0 0 15 / 256 1.9s Lock parallel
[ ] 17 0 0 17 / 256 2.1s Lock parallel
[ ] 18 0 0 18 / 256 2.2s Lock parallel
[ ] 19 0 0 19 / 256 2.4s Lock parallel
[ ] 20 0 0 20 / 256 2.5s Lock parallel
[ ] 21 0 0 21 / 256 2.6s Lock parallel
[ ] 22 0 0 22 / 256 2.9s Lock parallel
[ ] 23 0 0 23 / 256 3.2s Lock parallel
[ ] 25 0 0 25 / 256 3.3s Lock parallel
[ ] 28 0 0 28 / 256 3.4s Lock parallel
[ ] 30 0 0 30 / 256 3.7s Lock parallel
[ ] 31 0 0 31 / 256 4.0s Lock parallel
[ ] 33 0 0 33 / 256 4.2s Lock parallel
[ ] 35 0 0 35 / 256 4.3s Lock parallel
[ ] 36 0 0 36 / 256 4.5s Lock parallel
[ ] 38 0 0 38 / 256 4.7s Lock parallel
[ ] 39 0 0 39 / 256 5.0s Lock parallel
[ ] 40 0 0 40 / 256 5.2s Lock parallel
[ ] 43 0 0 43 / 256 5.4s Lock parallel
[ ] 46 0 0 46 / 256 5.5s Lock parallel
[ ] 48 0 0 48 / 256 5.7s Lock parallel
[ ] 49 0 0 49 / 256 5.8s Lock parallel
[ ] 51 0 0 51 / 256 6.0s Lock parallel
[ ] 54 0 0 54 / 256 6.1s Lock parallel
[ ] 56 0 0 56 / 256 6.3s Lock parallel
[ ] 58 0 0 58 / 256 6.4s Lock parallel
[ ] 59 0 0 59 / 256 6.5s Lock parallel
[ ] 60 0 0 60 / 256 6.7s Lock parallel
[ ] 61 0 0 61 / 256 6.8s Lock parallel
[ ] 62 0 0 62 / 256 6.9s Lock parallel
[ ] 63 0 0 63 / 256 7.1s Lock parallel
[ ] 64 0 0 64 / 256 7.4s Lock parallel
[ ] 65 0 0 65 / 256 7.6s Lock parallel
[ ] 66 0 0 66 / 256 7.8s Lock parallel
[ ] 67 0 0 67 / 256 7.9s Lock parallel
[ ] 68 0 0 68 / 256 8.2s Lock parallel
[ ] 69 0 0 69 / 256 8.3s Lock parallel
[ ] 71 0 0 71 / 256 8.4s Lock parallel
[ ] 73 0 0 73 / 256 8.6s Lock parallel
[ ] 74 0 0 74 / 256 8.7s Lock parallel
[ ] 75 0 0 75 / 256 8.9s Lock parallel
[ ] 77 0 0 77 / 256 9.0s Lock parallel
[ ] 78 0 0 78 / 256 9.1s Lock parallel
[ ] 80 0 0 80 / 256 9.5s Lock parallel
[ ] 81 0 0 81 / 256 9.7s Lock parallel
[ ] 82 0 0 82 / 256 10.1s Lock parallel
[ ] 83 0 0 83 / 256 10.3s Lock parallel
[ ] 85 0 0 85 / 256 10.4s Lock parallel
[ ] 87 0 0 87 / 256 10.7s Lock parallel
[ ] 88 0 0 88 / 256 11.0s Lock parallel
[ ] 90 0 0 90 / 256 11.2s Lock parallel
[ ] 91 0 0 91 / 256 11.4s Lock parallel
[ ] 92 0 0 92 / 256 11.6s Lock parallel
[ ] 93 0 0 93 / 256 11.7s Lock parallel
[ ] 94 0 0 94 / 256 11.9s Lock parallel
[ ] 96 0 0 96 / 256 12.0s Lock parallel
[ ] 98 0 0 98 / 256 12.3s Lock parallel
[ ] 99 0 0 99 / 256 12.6s Lock parallel
[ ] 100 0 0 100 / 256 12.7s Lock parallel
[ ] 101 0 0 101 / 256 12.9s Lock parallel
[ ] 103 0 0 103 / 256 13.0s Lock parallel
[ ] 104 0 0 104 / 256 13.2s Lock parallel
[ ] 105 0 0 105 / 256 13.3s Lock parallel
[ ] 107 0 0 107 / 256 13.6s Lock parallel
[ ] 108 0 0 108 / 256 13.7s Lock parallel
[ ] 109 0 0 109 / 256 13.9s Lock parallel
[ ] 110 0 0 110 / 256 14.1s Lock parallel
[ ] 112 0 0 112 / 256 14.3s Lock parallel
[ ] 113 0 0 113 / 256 14.5s Lock parallel
[ ] 115 0 0 115 / 256 14.7s Lock parallel
[ ] 117 0 0 117 / 256 14.8s Lock parallel
[ ] 118 0 0 118 / 256 14.9s Lock parallel
[ ] 119 0 0 119 / 256 15.1s Lock parallel
[ ] 120 0 0120 / 256 15.3s Lock parallel
[ ] 121 0 0 121 / 256 15.6s Lock parallel
[ ] 122 0 0 122 / 256 15.7s Lock parallel
[ ] 124 0 0 124 / 256 16.1s Lock parallel
[ ] 125 0 0 125 / 256 16.3s Lock parallel
[ ] 126 0 0 126 / 256 16.5s Lock parallel
[ ] 128 0 0 128 / 256 16.7s Lock parallel
[ ] 129 0 0 129 / 256 16.9s Lock parallel
[ ] 131 0 0 131 / 256 17.2s Lock parallel
[ ] 134 0 0 134 / 256 17.3s Lock parallel
[ ] 136 0 0 136 / 256 17.6s Lock parallel
[ ] 137 0 0 137 / 256 17.8s Lock parallel
[ ] 138 0 0 138 / 256 18.0s Lock parallel
[ ] 139 0 0 139 / 256 18.2s Lock parallel
[ ] 140 0 0 140 / 256 18.6s Lock parallel
[ ] 141 0 0 141 / 256 18.8s Lock parallel
[ ] 143 0 0 143 / 256 19.0s Lock parallel
[ ] 144 0 0 144 / 256 19.2s Lock parallel
[ ] 146 0 0 146 / 256 19.4s Lock parallel
[ ] 148 0 0 148 / 256 19.6s Lock parallel
[ ] 149 0 0 149 / 256 19.7s Lock parallel
[ ] 151 0 0 151 / 256 20.0s Lock parallel
[ ] 152 0 0 152 / 256 20.3s Lock parallel
[ ] 153 0 0 153 / 256 20.5s Lock parallel
[ ] 154 0 0 154 / 256 20.7s Lock parallel
[ ] 156 0 0 156 / 256 20.9s Lock parallel
[ ] 157 0 0 157 / 256 21.1s Lock parallel
[ ] 159 0 0 159 / 256 21.3s Lock parallel
[ ] 160 0 0 160 / 256 21.5s Lock parallel
[ ] 162 0 0 162 / 256 21.8s Lock parallel
[ ] 163 0 0 163 / 256 22.0s Lock parallel
[ ] 165 0 0 165 / 256 22.3s Lock parallel
[ ] 166 0 0 166 / 256 22.4s Lock parallel
[ ] 167 0 0 167 / 256 22.6s Lock parallel
[ ] 169 0 0 169 / 256 22.8s Lock parallel
[ ] 170 0 0 170 / 256 22.9s Lock parallel
[ ] 172 0 0 172 / 256 23.0s Lock parallel
[ ] 174 0 0 174 / 256 23.2s Lock parallel
[ ] 176 0 0 176 / 256 23.3s Lock parallel
[ ] 177 0 0 177 / 256 23.5s Lock parallel
[ ] 179 0 0 179 / 256 23.7s Lock parallel
[ ] 180 0 0 180 / 256 23.8s Lock parallel
[ ] 181 0 0 181 / 256 24.0s Lock parallel
[ ] 184 0 0 184 / 256 24.2s Lock parallel
[ ] 185 0 0 185 / 256 24.4s Lock parallel
[ ] 187 0 0 187 / 256 24.6s Lock parallel
[ ] 188 0 0 188 / 256 24.8s Lock parallel
[ ] 189 0 0 189 / 256 25.0s Lock parallel
[ ] 191 0 0 191 / 256 25.2s Lock parallel
[ ] 192 0 0 192 / 256 25.4s Lock parallel
[ ] 193 0 0 193 / 256 25.6s Lock parallel
[ ] 194 0 0 194 / 256 25.8s Lock parallel
[ ] 195 0 0 195 / 256 26.1s Lock parallel
[ ] 196 0 0 196 / 256 26.3s Lock parallel
[ ] 197 0 0 197 / 256 26.4s Lock parallel
[ ] 198 0 0 198 / 256 26.5s Lock parallel
[ ] 200 0 0 200 / 256 26.7s Lock parallel
[ ] 201 0 0 201 / 256 27.0s Lock parallel
[ ] 202 0 0 202 / 256 27.2s Lock parallel
[ ] 203 0 0 203 / 256 27.3s Lock parallel
[ ] 205 0 0 205 / 256 27.4s Lock parallel
[ ] 206 0 0 206 / 256 27.6s Lock parallel
[ ] 207 0 0 207 / 256 27.7s Lock parallel
[ ] 208 0 0 208 / 256 27.8s Lock parallel
[ ] 209 0 0 209 / 256 28.0s Lock parallel
[ ] 211 0 0 211 / 256 28.2s Lock parallel
[ ] 212 0 0 212 / 256 28.3s Lock parallel
[ ] 213 0 0 213 / 256 28.6s Lock parallel
[ ] 214 0 0 214 / 256 28.8s Lock parallel
[ ] 215 0 0 215 / 256 29.1s Lock parallel
[ ] 216 0 0 216 / 256 29.2s Lock parallel
[ ] 218 0 0 218 / 256 29.4s Lock parallel
[ ] 219 0 0 219 / 256 29.6s Lock parallel
[ ] 222 0 0 222 / 256 29.8s Lock parallel
[ ] 224 0 0 224 / 256 29.9s Lock parallel
[ ] 225 0 0 225 / 256 30.2s Lock parallel
[ ] 226 0 0 226 / 256 30.4s Lock parallel
[ ] 227 0 0 227 / 256 30.5s Lock parallel
[ ] 228 0 0 228 / 256 30.6s Lock parallel
[ ] 230 0 0 230 / 256 30.7s Lock parallel
[ ] 231 0 0 231 / 256 30.9s Lock parallel
[ ] 233 0 0 233 / 256 31.0s Lock parallel
[ ] 234 0 0 234 / 256 31.1s Lock parallel
[ ] 235 0 0 235 / 256 31.3s Lock parallel
[ ] 236 0 0 236 / 256 31.4s Lock parallel
[ ] 238 0 0 238 / 256 31.5s Lock parallel
[ ] 240 0 0 240 / 256 31.7s Lock parallel
[ ] 242 0 0 242 / 256 31.8s Lock parallel
[ ] 243 0 0 243 / 256 31.9s Lock parallel
[ ] 245 0 0 245 / 256 32.1s Lock parallel
[ ] 247 0 0 247 / 256 32.2s Lock parallel
[ ] 248 0 0 248 / 256 32.4s Lock parallel
[ ] 250 0 0 250 / 256 32.5s Lock parallel
[ ] 252 0 0 252 / 256 32.6s Lock parallel
[ ] 254 0 0 254 / 256 32.7s Lock parallel
[ ] 255 0 0 255 / 256 33.0s Lock parallel
[ ] 256 0 0 256 / 256 33.2s Lock parallel
[✓] 256 0 0 256 / 256 33.2s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 1273677797091114572
generated error fail pass / total time test name
[ ] 0 0 0 0 / 39 0.0s Lock sequential
[✓] 39 0 0 39 / 39 0.0s Lock sequential
[ ] 0 0 0 0 / 39 0.0s Lock parallel
[ ] 1 0 0 1 / 39 0.1s Lock parallel
[ ] 3 0 0 3 / 39 0.2s Lock parallel
[ ] 5 0 0 5 / 39 0.4s Lock parallel
[ ] 8 0 0 8 / 39 0.5s Lock parallel
[ ] 10 0 0 10 / 39 0.7s Lock parallel
[ ] 11 0 0 11 / 39 0.8s Lock parallel
[ ] 13 0 0 13 / 39 1.1s Lock parallel
[ ] 17 0 0 17 / 39 1.2s Lock parallel
[ ] 18 0 0 18 / 39 1.5s Lock parallel
[ ] 19 0 0 19 / 39 1.6s Lock parallel
[ ] 20 0 0 20 / 39 1.8s Lock parallel
[ ] 22 0 0 22 / 39 2.1s Lock parallel
[ ] 23 0 0 23 / 39 2.3s Lock parallel
[ ] 24 0 0 24 / 39 2.6s Lock parallel
[ ] 25 0 0 25 / 39 2.7s Lock parallel
[ ] 26 0 0 26 / 39 2.9s Lock parallel
[ ] 27 0 0 27 / 39 3.2s Lock parallel
[ ] 28 0 0 28 / 39 3.4s Lock parallel
[ ] 30 0 0 30 / 39 3.7s Lock parallel
[ ] 32 0 0 32 / 39 4.0s Lock parallel
[ ] 34 0 0 34 / 39 4.3s Lock parallel
[ ] 35 0 0 35 / 39 4.5s Lock parallel
[ ] 37 0 0 37 / 39 4.8s Lock parallel
[ ] 39 0 0 39 / 39 5.0s Lock parallel
[✓] 39 0 0 39 / 39 5.0s Lock parallel
================================================================================
success (ran 2 tests)
(cd _build/default/example && ./guards.exe)
Testing with scheduler: multififos ~quota:84 ~n_domains:4
Ran guarded case statement examples.
(cd _build/default/test && ./test_server_and_client.exe)
Using non-blocking sockets and fibers on OCaml 5:
Recursive server running
Server listening
Client B running
Server accepting
Server accepted client
Client A running
Server accepting
Server accepted client
Client B connected
Client B wrote 100
Client A connected
Client A wrote 100
Server accepting
Server read 100
Server wrote 50
Server read 100
Server wrote 50
Client B read 50
Client A read 50
Server and Client test: OK
(cd _build/default/test && ./test_mutex.exe)
random seed: 595773792249923310
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mutex sequential
[ ] 0 0 0 0 / 32 0.0s Mutex sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Mutex sequential
[ ] 0 0 0 0 / 32 0.0s Mutex parallel
[ ] 3 0 0 3 / 32 0.1s Mutex parallel
[ ] 7 0 0 7 / 32 0.2s Mutex parallel
[ ] 10 0 0 10 / 32 0.3s Mutex parallel
[ ] 14 0 0 14 / 32 0.5s Mutex parallel
[ ] 18 0 0 18 / 32 0.6s Mutex parallel
[ ] 20 0 0 20 / 32 0.8s Mutex parallel
[ ] 23 0 0 23 / 32 0.9s Mutex parallel
[ ] 27 0 0 27 / 32 1.0s Mutex parallel
[ ] 31 0 0 31 / 32 1.1s Mutex parallel
[✓] 32 0 0 32 / 32 1.2s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 295657635051965419
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mutex sequential
[✓] 64 0 0 64 / 64 0.0s Mutex sequential
[ ] 0 0 0 0 / 64 0.0s Mutex parallel
[ ] 3 0 0 3 / 64 0.1s Mutex parallel
[ ] 7 0 0 7 / 64 0.2s Mutex parallel
[ ] 11 0 0 11 / 64 0.3s Mutex parallel
[ ] 15 0 0 15 / 64 0.4s Mutex parallel
[ ] 19 0 0 19 / 64 0.5s Mutex parallel
[ ] 23 0 0 23 / 64 0.7s Mutex parallel
[ ] 26 0 0 26 / 64 0.8s Mutex parallel
[ ] 30 0 0 30 / 64 1.0s Mutex parallel
[ ] 34 0 0 34 / 64 1.1s Mutex parallel
[ ] 38 0 0 38 / 64 1.2s Mutex parallel
[ ] 42 0 0 42 / 64 1.3s Mutex parallel
[ ] 46 0 0 46 / 64 1.4s Mutex parallel
[ ] 49 0 0 49 / 64 1.5s Mutex parallel
[ ] 51 0 0 51 / 64 1.7s Mutex parallel
[ ] 56 0 0 56 / 64 1.8s Mutex parallel
[ ] 59 0 0 59 / 64 1.9s Mutex parallel
[ ] 63 0 0 63 / 64 2.0s Mutex parallel
[✓] 64 0 0 64 / 64 2.0s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 2481842732066231711
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mutex sequential
[✓] 128 0 0 128 / 128 0.0s Mutex sequential
[ ] 0 0 0 0 / 128 0.0s Mutex parallel
[ ] 2 0 0 2 / 128 0.2s Mutex parallel
[ ] 6 0 0 6 / 128 0.3s Mutex parallel
[ ] 10 0 0 10 / 128 0.4s Mutex parallel
[ ] 12 0 0 12 / 128 0.5s Mutex parallel
[ ] 15 0 0 15 / 128 0.6s Mutex parallel
[ ] 18 0 0 18 / 128 0.7s Mutex parallel
[ ] 22 0 0 22 / 128 0.9s Mutex parallel
[ ] 26 0 0 26 / 128 1.0s Mutex parallel
[ ] 29 0 0 29 / 128 1.2s Mutex parallel
[ ] 33 0 0 33 / 128 1.3s Mutex parallel
[ ] 36 0 0 36 / 128 1.5s Mutex parallel
[ ] 37 0 0 37 / 128 1.6s Mutex parallel
[ ] 39 0 0 39 / 128 1.9s Mutex parallel
[ ] 41 0 0 41 / 128 2.2s Mutex parallel
[ ] 42 0 0 42 / 128 2.6s Mutex parallel
[ ] 43 0 0 43 / 128 2.9s Mutex parallel
[ ] 44 0 0 44 / 128 3.1s Mutex parallel
[ ] 45 0 0 45 / 128 3.2s Mutex parallel
[ ] 46 0 0 46 / 128 3.6s Mutex parallel
[ ] 47 0 0 47 / 128 3.9s Mutex parallel
[ ] 48 0 0 48 / 128 4.0s Mutex parallel
[ ] 49 0 0 49 / 128 4.2s Mutex parallel
[ ] 50 0 0 50 / 128 4.4s Mutex parallel
[ ] 51 0 0 51 / 128 4.5s Mutex parallel
[ ] 52 0 0 52 / 128 4.7s Mutex parallel
[ ] 53 0 0 53 / 128 5.2s Mutex parallel
[ ] 54 0 0 54 / 128 5.5s Mutex parallel
[ ] 55 0 0 55 / 128 5.6s Mutex parallel
[ ] 56 0 0 56 / 128 6.1s Mutex parallel
[ ] 57 0 0 57 / 128 6.3s Mutex parallel
[ ] 59 0 0 59 / 128 6.5s Mutex parallel
[ ] 60 0 0 60 / 128 6.6s Mutex parallel
[ ] 61 0 0 61 / 128 6.9s Mutex parallel
[ ] 63 0 0 63 / 128 7.2s Mutex parallel
[ ] 65 0 0 65 / 128 7.8s Mutex parallel
[ ] 66 0 0 66 / 128 8.0s Mutex parallel
[ ] 67 0 0 67 / 128 8.2s Mutex parallel
[ ] 68 0 0 68 / 128 8.4s Mutex parallel
[ ] 69 0 0 69 / 128 8.6s Mutex parallel
[ ] 70 0 0 70 / 128 8.8s Mutex parallel
[ ] 71 0 0 71 / 128 8.9s Mutex parallel
[ ] 72 0 0 72 / 128 9.1s Mutex parallel
[ ] 73 0 0 73 / 128 9.3s Mutex parallel
[ ] 74 0 0 74 / 128 9.4s Mutex parallel
[ ] 75 0 0 75 / 128 9.6s Mutex parallel
[ ] 76 0 0 76 / 128 9.8s Mutex parallel
[ ] 77 0 0 77 / 128 9.9s Mutex parallel
[ ] 79 0 0 79 / 128 10.2s Mutex parallel
[ ] 80 0 0 80 / 128 10.4s Mutex parallel
[ ] 81 0 0 81 / 128 10.6s Mutex parallel
[ ] 82 0 0 82 / 128 10.7s Mutex parallel
[ ] 84 0 0 84 / 128 10.9s Mutex parallel
[ ] 85 0 0 85 / 128 11.0s Mutex parallel
[ ] 87 0 0 87 / 128 11.2s Mutex parallel
[ ] 88 0 0 88 / 128 11.4s Mutex parallel
[ ] 89 0 0 89 / 128 11.7s Mutex parallel
[ ] 90 0 0 90 / 128 11.8s Mutex parallel
[ ] 91 0 0 91 / 128 11.9s Mutex parallel
[ ] 93 0 0 93 / 128 12.1s Mutex parallel
[ ] 95 0 0 95 / 128 12.4s Mutex parallel
[ ] 97 0 0 97 / 128 12.6s Mutex parallel
[ ] 99 0 0 99 / 128 12.9s Mutex parallel
[ ] 100 0 0 100 / 128 13.1s Mutex parallel
[ ] 101 0 0 101 / 128 13.2s Mutex parallel
[ ] 102 0 0 102 / 128 13.3s Mutex parallel
[ ] 104 0 0 104 / 128 13.6s Mutex parallel
[ ] 105 0 0 105 / 128 13.7s Mutex parallel
[ ] 106 0 0 106 / 128 13.9s Mutex parallel
[ ] 108 0 0 108 / 128 14.1s Mutex parallel
[ ] 110 0 0 110 / 128 14.3s Mutex parallel
[ ] 114 0 0 114 / 128 14.4s Mutex parallel
[ ] 118 0 0 118 / 128 14.5s Mutex parallel
[ ] 119 0 0 119 / 128 14.7s Mutex parallel
[ ] 121 0 0 121 / 128 14.8s Mutex parallel
[ ] 122 0 0 122 / 128 14.9s Mutex parallel
[ ] 123 0 0 123 / 128 15.1s Mutex parallel
[ ] 126 0 0 126 / 128 15.2s Mutex parallel
[✓] 128 0 0 128 / 128 15.3s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 4430721245249924187
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mutex sequential
[ ] 122 0 0 122 / 256 0.0s Mutex sequential
[✓] 256 0 0 256 / 256 0.0s Mutex sequential
[ ] 0 0 0 0 / 256 0.0s Mutex parallel
[ ] 3 0 0 3 / 256 0.2s Mutex parallel
[ ] 4 0 0 4 / 256 0.4s Mutex parallel
[ ] 5 0 0 5 / 256 0.6s Mutex parallel
[ ] 7 0 0 7 / 256 0.8s Mutex parallel
[ ] 8 0 0 8 / 256 1.0s Mutex parallel
[ ] 9 0 0 9 / 256 1.1s Mutex parallel
[ ] 11 0 0 11 / 256 1.2s Mutex parallel
[ ] 12 0 0 12 / 256 1.5s Mutex parallel
[ ] 14 0 0 14 / 256 1.8s Mutex parallel
[ ] 15 0 0 15 / 256 2.0s Mutex parallel
[ ] 17 0 0 17 / 256 2.2s Mutex parallel
[ ] 19 0 0 19 / 256 2.6s Mutex parallel
[ ] 21 0 0 21 / 256 2.9s Mutex parallel
[ ] 23 0 0 23 / 256 3.1s Mutex parallel
[ ] 26 0 0 26 / 256 3.3s Mutex parallel
[ ] 28 0 0 28 / 256 3.5s Mutex parallel
[ ] 30 0 0 30 / 256 3.6s Mutex parallel
[ ] 33 0 0 33 / 256 3.8s Mutex parallel
[ ] 35 0 0 35 / 256 3.9s Mutex parallel
[ ] 37 0 0 37 / 256 4.1s Mutex parallel
[ ] 39 0 0 39 / 256 4.3s Mutex parallel
[ ] 41 0 0 41 / 256 4.5s Mutex parallel
[ ] 42 0 0 42 / 256 4.6s Mutex parallel
[ ] 44 0 0 44 / 256 4.7s Mutex parallel
[ ] 46 0 0 46 / 256 4.9s Mutex parallel
[ ] 47 0 0 47 / 256 5.0s Mutex parallel
[ ] 49 0 0 49 / 256 5.2s Mutex parallel
[ ] 50 0 0 50 / 256 5.3s Mutex parallel
[ ] 51 0 0 51 / 256 5.4s Mutex parallel
[ ] 52 0 0 52 / 256 5.6s Mutex parallel
[ ] 54 0 0 54 / 256 5.7s Mutex parallel
[ ] 56 0 0 56 / 256 5.8s Mutex parallel
[ ] 59 0 0 59 / 256 6.0s Mutex parallel
[ ] 63 0 0 63 / 256 6.2s Mutex parallel
[ ] 65 0 0 65 / 256 6.5s Mutex parallel
[ ] 66 0 0 66 / 256 6.8s Mutex parallel
[ ] 68 0 0 68 / 256 6.9s Mutex parallel
[ ] 70 0 0 70 / 256 7.1s Mutex parallel
[ ] 71 0 0 71 / 256 7.3s Mutex parallel
[ ] 72 0 0 72 / 256 7.4s Mutex parallel
[ ] 73 0 0 73 / 256 7.5s Mutex parallel
[ ] 76 0 0 76 / 256 7.6s Mutex parallel
[ ] 79 0 0 79 / 256 7.8s Mutex parallel
[ ] 82 0 0 82 / 256 7.9s Mutex parallel
[ ] 86 0 0 86 / 256 8.2s Mutex parallel
[ ] 88 0 0 88 / 256 8.4s Mutex parallel
[ ] 89 0 0 89 / 256 8.5s Mutex parallel
[ ] 90 0 0 90 / 256 8.7s Mutex parallel
[ ] 91 0 0 91 / 256 8.9s Mutex parallel
[ ] 94 0 0 94 / 256 9.0s Mutex parallel
[ ] 97 0 0 97 / 256 9.2s Mutex parallel
[ ] 99 0 0 99 / 256 9.3s Mutex parallel
[ ] 100 0 0 100 / 256 9.5s Mutex parallel
[ ] 104 0 0 104 / 256 9.6s Mutex parallel
[ ] 106 0 0 106 / 256 9.7s Mutex parallel
[ ] 108 0 0 108 / 256 9.9s Mutex parallel
[ ] 110 0 0 110 / 256 10.0s Mutex parallel
[ ] 112 0 0 112 / 256 10.3s Mutex parallel
[ ] 113 0 0 113 / 256 10.4s Mutex parallel
[ ] 114 0 0 114 / 256 10.5s Mutex parallel
[ ] 116 0 0 116 / 256 10.7s Mutex parallel
[ ] 118 0 0 118 / 256 11.0s Mutex parallel
[ ] 120 0 0 120 / 256 11.1s Mutex parallel
[ ] 122 0 0 122 / 256 11.4s Mutex parallel
[ ] 123 0 0 123 / 256 11.7s Mutex parallel
[ ] 124 0 0 124 / 256 11.8s Mutex parallel
[ ] 125 0 0 125 / 256 12.0s Mutex parallel
[ ] 127 0 0 127 / 256 12.1s Mutex parallel
[ ] 130 0 0 130 / 256 12.3s Mutex parallel
[ ] 131 0 0 131 / 256 12.4s Mutex parallel
[ ] 132 0 0 132 / 256 12.5s Mutex parallel
[ ] 135 0 0 135 / 256 12.7s Mutex parallel
[ ] 136 0 0 136 / 256 12.8s Mutex parallel
[ ] 137 0 0 137 / 256 12.9s Mutex parallel
[ ] 138 0 0 138 / 256 13.1s Mutex parallel
[ ] 139 0 0 139 / 256 13.2s Mutex parallel
[ ] 141 0 0 141 / 256 13.5s Mutex parallel
[ ] 142 0 0 142 / 256 13.6s Mutex parallel
[ ] 144 0 0 144 / 256 13.8s Mutex parallel
[ ] 146 0 0 146 / 256 14.0s Mutex parallel
[ ] 150 0 0 150 / 256 14.1s Mutex parallel
[ ] 152 0 0 152 / 256 14.2s Mutex parallel
[ ] 153 0 0 153 / 256 14.4s Mutex parallel
[ ] 154 0 0 154 / 256 14.7s Mutex parallel
[ ] 157 0 0 157 / 256 14.8s Mutex parallel
[ ] 160 0 0 160 / 256 15.0s Mutex parallel
[ ] 162 0 0 162 / 256 15.1s Mutex parallel
[ ] 163 0 0 163 / 256 15.3s Mutex parallel
[ ] 164 0 0 164 / 256 15.5s Mutex parallel
[ ] 165 0 0 165 / 256 15.6s Mutex parallel
[ ] 168 0 0 168 / 256 15.8s Mutex parallel
[ ] 171 0 0 171 / 256 16.1s Mutex parallel
[ ] 173 0 0 173 / 256 16.5s Mutex parallel
[ ] 175 0 0 175 / 256 16.6s Mutex parallel
[ ] 176 0 0 176 / 256 16.7s Mutex parallel
[ ] 178 0 0 178 / 256 16.9s Mutex parallel
[ ] 180 0 0 180 / 256 17.1s Mutex parallel
[ ] 181 0 0 181 / 256 17.3s Mutex parallel
[ ] 182 0 0 182 / 256 17.5s Mutex parallel
[ ] 183 0 0 183 / 256 17.6s Mutex parallel
[ ] 184 0 0 184 / 256 17.8s Mutex parallel
[ ] 186 0 0 186 / 256 17.9s Mutex parallel
[ ] 187 0 0 187 / 256 18.0s Mutex parallel
[ ] 189 0 0 189 / 256 18.3s Mutex parallel
[ ] 190 0 0 190 / 256 18.4s Mutex parallel
[ ] 192 0 0 192 / 256 18.6s Mutex parallel
[ ] 193 0 0 193 / 256 18.7s Mutex parallel
[ ] 194 0 0 194 / 256 18.9s Mutex parallel
[ ] 196 0 0 196 / 256 19.0s Mutex parallel
[ ] 197 0 0 197 / 256 19.1s Mutex parallel
[ ] 198 0 0 198 / 256 19.3s Mutex parallel
[ ] 199 0 0 199 / 256 19.4s Mutex parallel
[ ] 200 0 0 200 / 256 19.6s Mutex parallel
[ ] 201 0 0 201 / 256 19.8s Mutex parallel
[ ] 202 0 0 202 / 256 19.9s Mutex parallel
[ ] 203 0 0 203 / 256 20.0s Mutex parallel
[ ] 204 0 0 204 / 256 20.2s Mutex parallel
[ ] 205 0 0 205 / 256 20.4s Mutex parallel
[ ] 206 0 0 206 / 256 20.5s Mutex parallel
[ ] 207 0 0 207 / 256 20.7s Mutex parallel
[ ] 208 0 0 208 / 256 20.8s Mutex parallel
[ ] 210 0 0 210 / 256 21.0s Mutex parallel
[ ] 214 0 0 214 / 256 21.2s Mutex parallel
[ ] 217 0 0 217 / 256 21.3s Mutex parallel
[ ] 220 0 0 220 / 256 21.5s Mutex parallel
[ ] 221 0 0 221 / 256 21.6s Mutex parallel
[ ] 222 0 0 222 / 256 21.7s Mutex parallel
[ ] 223 0 0 223 / 256 21.8s Mutex parallel
[ ] 224 0 0 224 / 256 22.1s Mutex parallel
[ ] 226 0 0 226 / 256 22.3s Mutex parallel
[ ] 227 0 0 227 / 256 22.4s Mutex parallel
[ ] 229 0 0 229 / 256 22.7s Mutex parallel
[ ] 230 0 0 230 / 256 22.9s Mutex parallel
[ ] 232 0 0 232 / 256 23.0s Mutex parallel
[ ] 233 0 0 233 / 256 23.2s Mutex parallel
[ ] 234 0 0 234 / 256 23.4s Mutex parallel
[ ] 235 0 0 235 / 256 23.6s Mutex parallel
[ ] 236 0 0 236 / 256 23.7s Mutex parallel
[ ] 237 0 0 237 / 256 23.8s Mutex parallel
[ ] 239 0 0 239 / 256 23.9s Mutex parallel
[ ] 240 0 0 240 / 256 24.1s Mutex parallel
[ ] 241 0 0 241 / 256 24.3s Mutex parallel
[ ] 243 0 0 243 / 256 24.5s Mutex parallel
[ ] 244 0 0 244 / 256 24.7s Mutex parallel
[ ] 245 0 0 245 / 256 24.8s Mutex parallel
[ ] 247 0 0 247 / 256 24.9s Mutex parallel
[ ] 250 0 0 250 / 256 25.1s Mutex parallel
[ ] 251 0 0 251 / 256 25.2s Mutex parallel
[ ] 254 0 0 254 / 256 25.3s Mutex parallel
[ ] 256 0 0 256 / 256 25.4s Mutex parallel
[✓] 256 0 0 256 / 256 25.4s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 2450018272031638568
generated error fail pass / total time test name
[ ] 0 0 0 0 / 175 0.0s Mutex sequential
[✓] 175 0 0 175 / 175 0.0s Mutex sequential
[ ] 0 0 0 0 / 175 0.0s Mutex parallel
[ ] 2 0 0 2 / 175 0.2s Mutex parallel
[ ] 4 0 0 4 / 175 0.4s Mutex parallel
[ ] 5 0 0 5 / 175 0.5s Mutex parallel
[ ] 7 0 0 7 / 175 0.8s Mutex parallel
[ ] 8 0 0 8 / 175 0.9s Mutex parallel
[ ] 11 0 0 11 / 175 1.0s Mutex parallel
[ ] 14 0 0 14 / 175 1.1s Mutex parallel
[ ] 16 0 0 16 / 175 1.3s Mutex parallel
[ ] 18 0 0 18 / 175 1.4s Mutex parallel
[ ] 19 0 0 19 / 175 1.5s Mutex parallel
[ ] 20 0 0 20 / 175 1.8s Mutex parallel
[ ] 22 0 0 22 / 175 2.0s Mutex parallel
[ ] 23 0 0 23 / 175 2.3s Mutex parallel
[ ] 25 0 0 25 / 175 2.4s Mutex parallel
[ ] 26 0 0 26 / 175 2.6s Mutex parallel
[ ] 28 0 0 28 / 175 3.0s Mutex parallel
[ ] 29 0 0 29 / 175 3.2s Mutex parallel
[ ] 31 0 0 31 / 175 3.4s Mutex parallel
[ ] 33 0 0 33 / 175 3.5s Mutex parallel
[ ] 35 0 0 35 / 175 3.7s Mutex parallel
[ ] 37 0 0 37 / 175 3.8s Mutex parallel
[ ] 39 0 0 39 / 175 4.0s Mutex parallel
[ ] 40 0 0 40 / 175 4.3s Mutex parallel
[ ] 42 0 0 42 / 175 4.5s Mutex parallel
[ ] 43 0 0 43 / 175 4.6s Mutex parallel
[ ] 44 0 0 44 / 175 4.7s Mutex parallel
[ ] 47 0 0 47 / 175 4.9s Mutex parallel
[ ] 49 0 0 49 / 175 5.2s Mutex parallel
[ ] 50 0 0 50 / 175 5.4s Mutex parallel
[ ] 51 0 0 51 / 175 5.5s Mutex parallel
[ ] 54 0 0 54 / 175 5.7s Mutex parallel
[ ] 56 0 0 56 / 175 5.9s Mutex parallel
[ ] 57 0 0 57 / 175 6.0s Mutex parallel
[ ] 58 0 0 58 / 175 6.2s Mutex parallel
[ ] 60 0 0 60 / 175 6.4s Mutex parallel
[ ] 61 0 0 61 / 175 6.5s Mutex parallel
[ ] 63 0 0 63 / 175 6.6s Mutex parallel
[ ] 64 0 0 64 / 175 6.8s Mutex parallel
[ ] 66 0 0 66 / 175 6.9s Mutex parallel
[ ] 67 0 0 67 / 175 7.1s Mutex parallel
[ ] 69 0 0 69 / 175 7.3s Mutex parallel
[ ] 70 0 0 70 / 175 7.4s Mutex parallel
[ ] 71 0 0 71 / 175 7.5s Mutex parallel
[ ] 72 0 0 72 / 175 7.8s Mutex parallel
[ ] 73 0 0 73 / 175 7.9s Mutex parallel
[ ] 74 0 0 74 / 175 8.1s Mutex parallel
[ ] 75 0 0 75 / 175 8.5s Mutex parallel
[ ] 76 0 0 76 / 175 8.6s Mutex parallel
[ ] 78 0 0 78 / 175 8.8s Mutex parallel
[ ] 81 0 0 81 / 175 9.2s Mutex parallel
[ ] 82 0 0 82 / 175 9.3s Mutex parallel
[ ] 83 0 0 83 / 175 9.4s Mutex parallel
[ ] 84 0 0 84 / 175 9.5s Mutex parallel
[ ] 85 0 0 85 / 175 9.7s Mutex parallel
[ ] 86 0 0 86 / 175 9.8s Mutex parallel
[ ] 88 0 0 88 / 175 10.0s Mutex parallel
[ ] 90 0 0 90 / 175 10.2s Mutex parallel
[ ] 92 0 0 92 / 175 10.6s Mutex parallel
[ ] 93 0 0 93 / 175 10.9s Mutex parallel
[ ] 94 0 0 94 / 175 11.0s Mutex parallel
[ ] 95 0 0 95 / 175 11.2s Mutex parallel
[ ] 96 0 0 96 / 175 11.5s Mutex parallel
[ ] 97 0 0 97 / 175 11.7s Mutex parallel
[ ] 98 0 0 98 / 175 11.9s Mutex parallel
[ ] 100 0 0 100 / 175 12.2s Mutex parallel
[ ] 101 0 0 101 / 175 12.3s Mutex parallel
[ ] 102 0 0 102 / 175 12.5s Mutex parallel
[ ] 105 0 0 105 / 175 12.7s Mutex parallel
[ ] 107 0 0 107 / 175 12.9s Mutex parallel
[ ] 109 0 0 109 / 175 13.0s Mutex parallel
[ ] 111 0 0 111 / 175 13.1s Mutex parallel
[ ] 112 0 0 112 / 175 13.3s Mutex parallel
[ ] 116 0 0 116 / 175 13.4s Mutex parallel
[ ] 118 0 0 118 / 175 13.5s Mutex parallel
[ ] 120 0 0 120 / 175 13.6s Mutex parallel
[ ] 123 0 0 123 / 175 13.8s Mutex parallel
[ ] 125 0 0 125 / 175 14.0s Mutex parallel
[ ] 128 0 0 128 / 175 14.1s Mutex parallel
[ ] 131 0 0 131 / 175 14.3s Mutex parallel
[ ] 133 0 0 133 / 175 14.5s Mutex parallel
[ ] 134 0 0 134 / 175 14.7s Mutex parallel
[ ] 136 0 0 136 / 175 14.9s Mutex parallel
[ ] 140 0 0 140 / 175 15.0s Mutex parallel
[ ] 142 0 0 142 / 175 15.2s Mutex parallel
[ ] 145 0 0 145 / 175 15.4s Mutex parallel
[ ] 149 0 0 149 / 175 15.5s Mutex parallel
[ ] 151 0 0 151 / 175 15.7s Mutex parallel
[ ] 152 0 0 152 / 175 15.8s Mutex parallel
[ ] 153 0 0 153 / 175 15.9s Mutex parallel
[ ] 157 0 0 157 / 175 16.0s Mutex parallel
[ ] 159 0 0 159 / 175 16.1s Mutex parallel
[ ] 161 0 0 161 / 175 16.3s Mutex parallel
[ ] 162 0 0 162 / 175 16.4s Mutex parallel
[ ] 163 0 0 163 / 175 16.7s Mutex parallel
[ ] 164 0 0 164 / 175 16.9s Mutex parallel
[ ] 165 0 0 165 / 175 17.0s Mutex parallel
[ ] 166 0 0 166 / 175 17.3s Mutex parallel
[ ] 169 0 0 169 / 175 17.4s Mutex parallel
[ ] 173 0 0 173 / 175 17.5s Mutex parallel
[✓] 175 0 0 175 / 175 17.6s Mutex parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `Z9XW40ZT'.
[OK] Unix 0 openfile and read.
[OK] Unix 1 sleepf.
[OK] Unix 2 select empty timeout.
[OK] Unix 3 select empty ∞.
[OK] Unix 4 select.
[OK] Unix 5 system.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_io'.
Test Successful in 0.461s. 6 tests run.
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `FU2AA4NW'.
[OK] Bundle 0 fork after terminate.
[OK] Bundle 1 fork after escape.
[OK] Bundle 2 exception in child terminates.
[OK] Bundle 3 cancelation awaits children.
[OK] Bundle 4 block raises when forbidden.
[OK] Bundle 5 block raises Sys_error when fiber finishes.
[OK] Bundle 6 termination nests.
[OK] Bundle 7 promise cancelation does not terminate.
[OK] Bundle 8 error in promise terminates.
[OK] Bundle 9 can wait promises.
[OK] Bundle 10 can select promises.
[OK] Run 0 any and all errors.
[OK] Run 1 any and all returns.
[OK] Run 2 race any.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_structured'.
Test Successful in 0.991s. 14 tests run.
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `B3IO37PE'.
[OK] move 0 is lazy.
[OK] borrow 0 returns resource.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_finally'.
Test Successful in 0.003s. 2 tests run.
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `L75W5PWM'.
[OK] Unix 0 system.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.031s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `OYDJXZV8'.
[OK] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.008s. 1 test run.
(cd _build/default/test && ./test_sem.exe)
random seed: 1511738942159923560
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem parallel
[ ] 2 0 0 2 / 32 0.1s Sem parallel
[ ] 7 0 0 7 / 32 0.4s Sem parallel
[ ] 10 0 0 10 / 32 0.5s Sem parallel
[ ] 12 0 0 12 / 32 0.7s Sem parallel
[ ] 13 0 0 13 / 32 0.9s Sem parallel
[ ] 14 0 0 14 / 32 1.0s Sem parallel
[ ] 15 0 0 15 / 32 1.2s Sem parallel
[ ] 17 0 0 17 / 32 1.3s Sem parallel
[ ] 19 0 0 19 / 32 1.4s Sem parallel
[ ] 21 0 0 21 / 32 1.6s Sem parallel
[ ] 23 0 0 23 / 32 1.7s Sem parallel
[ ] 26 0 0 26 / 32 1.9s Sem parallel
[ ] 27 0 0 27 / 32 2.1s Sem parallel
[ ] 28 0 0 28 / 32 2.3s Sem parallel
[ ] 31 0 0 31 / 32 2.5s Sem parallel
[✓] 32 0 0 32 / 32 2.5s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 3059516187122150995
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Sem sequential
[✓] 64 0 0 64 / 64 0.0s Sem sequential
[ ] 0 0 0 0 / 64 0.0s Sem parallel
[ ] 3 0 0 3 / 64 0.2s Sem parallel
[ ] 5 0 0 5 / 64 0.3s Sem parallel
[ ] 6 0 0 6 / 64 0.4s Sem parallel
[ ] 8 0 0 8 / 64 0.5s Sem parallel
[ ] 12 0 0 12 / 64 0.6s Sem parallel
[ ] 13 0 0 13 / 64 0.8s Sem parallel
[ ] 14 0 0 14 / 64 1.0s Sem parallel
[ ] 15 0 0 15 / 64 1.2s Sem parallel
[ ] 16 0 0 16 / 64 1.3s Sem parallel
[ ] 17 0 0 17 / 64 1.5s Sem parallel
[ ] 19 0 0 19 / 64 1.6s Sem parallel
[ ] 20 0 0 20 / 64 2.0s Sem parallel
[ ] 21 0 0 21 / 64 2.1s Sem parallel
[ ] 23 0 0 23 / 64 2.3s Sem parallel
[ ] 25 0 0 25 / 64 2.5s Sem parallel
[ ] 28 0 0 28 / 64 2.6s Sem parallel
[ ] 30 0 0 30 / 64 2.7s Sem parallel
[ ] 31 0 0 31 / 64 2.9s Sem parallel
[ ] 32 0 0 32 / 64 3.0s Sem parallel
[ ] 35 0 0 35 / 64 3.2s Sem parallel
[ ] 37 0 0 37 / 64 3.4s Sem parallel
[ ] 38 0 0 38 / 64 3.8s Sem parallel
[ ] 39 0 0 39 / 64 4.0s Sem parallel
[ ] 40 0 0 40 / 64 4.1s Sem parallel
[ ] 42 0 0 42 / 64 4.3s Sem parallel
[ ] 43 0 0 43 / 64 4.6s Sem parallel
[ ] 46 0 0 46 / 64 4.7s Sem parallel
[ ] 48 0 0 48 / 64 4.9s Sem parallel
[ ] 50 0 0 50 / 64 5.1s Sem parallel
[ ] 52 0 0 52 / 64 5.3s Sem parallel
[ ] 53 0 0 53 / 64 5.4s Sem parallel
[ ] 56 0 0 56 / 64 5.6s Sem parallel
[ ] 58 0 0 58 / 64 5.7s Sem parallel
[ ] 59 0 0 59 / 64 5.9s Sem parallel
[ ] 61 0 0 61 / 64 6.2s Sem parallel
[ ] 63 0 0 63 / 64 6.4s Sem parallel
[ ] 64 0 0 64 / 64 6.6s Sem parallel
[✓] 64 0 0 64 / 64 6.6s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 59190553120137104
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Sem sequential
[✓] 128 0 0 128 / 128 0.0s Sem sequential
[ ] 0 0 0 0 / 128 0.0s Sem parallel
[ ] 1 0 0 1 / 128 0.1s Sem parallel
[ ] 3 0 0 3 / 128 0.3s Sem parallel
[ ] 5 0 0 5 / 128 0.6s Sem parallel
[ ] 6 0 0 6 / 128 0.9s Sem parallel
[ ] 8 0 0 8 / 128 1.2s Sem parallel
[ ] 9 0 0 9 / 128 1.3s Sem parallel
[ ] 10 0 0 10 / 128 1.5s Sem parallel
[ ] 12 0 0 12 / 128 1.7s Sem parallel
[ ] 13 0 0 13 / 128 1.8s Sem parallel
[ ] 14 0 0 14 / 128 1.9s Sem parallel
[ ] 15 0 0 15 / 128 2.0s Sem parallel
[ ] 16 0 0 16 / 128 2.2s Sem parallel
[ ] 17 0 0 17 / 128 2.4s Sem parallel
[ ] 18 0 0 18 / 128 2.5s Sem parallel
[ ] 20 0 0 20 / 128 2.6s Sem parallel
[ ] 22 0 0 22 / 128 2.9s Sem parallel
[ ] 23 0 0 23 / 128 3.1s Sem parallel
[ ] 24 0 0 24 / 128 3.4s Sem parallel
[ ] 25 0 0 25 / 128 3.5s Sem parallel
[ ] 26 0 0 26 / 128 3.8s Sem parallel
[ ] 28 0 0 28 / 128 3.9s Sem parallel
[ ] 29 0 0 29 / 128 4.1s Sem parallel
[ ] 30 0 0 30 / 128 4.2s Sem parallel
[ ] 31 0 0 31 / 128 4.4s Sem parallel
[ ] 32 0 0 32 / 128 4.6s Sem parallel
[ ] 34 0 0 34 / 128 4.7s Sem parallel
[ ] 36 0 0 36 / 128 4.9s Sem parallel
[ ] 37 0 0 37 / 128 5.0s Sem parallel
[ ] 40 0 0 40 / 128 5.2s Sem parallel
[ ] 42 0 0 42 / 128 5.3s Sem parallel
[ ] 46 0 0 46 / 128 5.6s Sem parallel
[ ] 47 0 0 47 / 128 5.7s Sem parallel
[ ] 48 0 0 48 / 128 5.8s Sem parallel
[ ] 50 0 0 50 / 128 6.0s Sem parallel
[ ] 51 0 0 51 / 128 6.2s Sem parallel
[ ] 53 0 0 53 / 128 6.4s Sem parallel
[ ] 54 0 0 54 / 128 6.8s Sem parallel
[ ] 55 0 0 55 / 128 6.9s Sem parallel
[ ] 57 0 0 57 / 128 7.2s Sem parallel
[ ] 58 0 0 58 / 128 7.4s Sem parallel
[ ] 60 0 0 60 / 128 7.6s Sem parallel
[ ] 62 0 0 62 / 128 7.8s Sem parallel
[ ] 65 0 0 65 / 128 8.0s Sem parallel
[ ] 68 0 0 68 / 128 8.1s Sem parallel
[ ] 71 0 0 71 / 128 8.3s Sem parallel
[ ] 75 0 0 75 / 128 8.4s Sem parallel
[ ] 78 0 0 78 / 128 8.5s Sem parallel
[ ] 81 0 0 81 / 128 8.8s Sem parallel
[ ] 82 0 0 82 / 128 9.0s Sem parallel
[ ] 84 0 0 84 / 128 9.3s Sem parallel
[ ] 86 0 0 86 / 128 9.4s Sem parallel
[ ] 87 0 0 87 / 128 9.6s Sem parallel
[ ] 88 0 0 88 / 128 9.7s Sem parallel
[ ] 90 0 0 90 / 128 10.0s Sem parallel
[ ] 91 0 0 91 / 128 10.1s Sem parallel
[ ] 92 0 0 92 / 128 10.3s Sem parallel
[ ] 93 0 0 93 / 128 10.4s Sem parallel
[ ] 94 0 0 94 / 128 10.5s Sem parallel
[ ] 96 0 0 96 / 128 10.6s Sem parallel
[ ] 99 0 0 99 / 128 10.7s Sem parallel
[ ] 101 0 0 101 / 128 10.9s Sem parallel
[ ] 103 0 0 103 / 128 11.0s Sem parallel
[ ] 104 0 0 104 / 128 11.3s Sem parallel
[ ] 105 0 0 105 / 128 11.5s Sem parallel
[ ] 106 0 0 106 / 128 11.6s Sem parallel
[ ] 108 0 0 108 / 128 11.8s Sem parallel
[ ] 110 0 0 110 / 128 12.1s Sem parallel
[ ] 111 0 0 111 / 128 12.2s Sem parallel
[ ] 113 0 0 113 / 128 12.4s Sem parallel
[ ] 117 0 0 117 / 128 12.6s Sem parallel
[ ] 119 0 0 119 / 128 12.7s Sem parallel
[ ] 120 0 0 120 / 128 12.9s Sem parallel
[ ] 122 0 0 122 / 128 13.1s Sem parallel
[ ] 123 0 0 123 / 128 13.3s Sem parallel
[ ] 124 0 0 124 / 128 13.5s Sem parallel
[ ] 125 0 0 125 / 128 13.6s Sem parallel
[ ] 127 0 0 127 / 128 13.7s Sem parallel
[✓] 128 0 0 128 / 128 13.8s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 1997826704030098012
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Sem sequential
[✓] 256 0 0 256 / 256 0.0s Sem sequential
[ ] 0 0 0 0 / 256 0.0s Sem parallel
[ ] 1 0 0 1 / 256 0.1s Sem parallel
[ ] 2 0 0 2 / 256 0.3s Sem parallel
[ ] 3 0 0 3 / 256 0.4s Sem parallel
[ ] 6 0 0 6 / 256 0.5s Sem parallel
[ ] 9 0 0 9 / 256 0.7s Sem parallel
[ ] 11 0 0 11 / 256 0.8s Sem parallel
[ ] 13 0 0 13 / 256 1.0s Sem parallel
[ ] 14 0 0 14 / 256 1.1s Sem parallel
[ ] 15 0 0 15 / 256 1.2s Sem parallel
[ ] 16 0 0 16 / 256 1.4s Sem parallel
[ ] 18 0 0 18 / 256 1.5s Sem parallel
[ ] 20 0 0 20 / 256 1.6s Sem parallel
[ ] 23 0 0 23 / 256 1.9s Sem parallel
[ ] 26 0 0 26 / 256 2.0s Sem parallel
[ ] 29 0 0 29 / 256 2.3s Sem parallel
[ ] 32 0 0 32 / 256 2.4s Sem parallel
[ ] 34 0 0 34 / 256 2.6s Sem parallel
[ ] 35 0 0 35 / 256 2.7s Sem parallel
[ ] 38 0 0 38 / 256 2.9s Sem parallel
[ ] 42 0 0 42 / 256 3.0s Sem parallel
[ ] 45 0 0 45 / 256 3.2s Sem parallel
[ ] 46 0 0 46 / 256 3.3s Sem parallel
[ ] 47 0 0 47 / 256 3.5s Sem parallel
[ ] 50 0 0 50 / 256 3.6s Sem parallel
[ ] 51 0 0 51 / 256 3.7s Sem parallel
[ ] 55 0 0 55 / 256 3.9s Sem parallel
[ ] 56 0 0 56 / 256 4.1s Sem parallel
[ ] 58 0 0 58 / 256 4.2s Sem parallel
[ ] 59 0 0 59 / 256 4.4s Sem parallel
[ ] 60 0 0 60 / 256 4.5s Sem parallel
[ ] 62 0 0 62 / 256 4.8s Sem parallel
[ ] 64 0 0 64 / 256 4.9s Sem parallel
[ ] 66 0 0 66 / 256 5.1s Sem parallel
[ ] 67 0 0 67 / 256 5.2s Sem parallel
[ ] 68 0 0 68 / 256 5.5s Sem parallel
[ ] 69 0 0 69 / 256 5.6s Sem parallel
[ ] 70 0 0 70 / 256 5.7s Sem parallel
[ ] 71 0 0 71 / 256 5.9s Sem parallel
[ ] 72 0 0 72 / 256 6.2s Sem parallel
[ ] 74 0 0 74 / 256 6.3s Sem parallel
[ ] 76 0 0 76 / 256 6.5s Sem parallel
[ ] 78 0 0 78 / 256 6.6s Sem parallel
[ ] 82 0 0 82 / 256 6.7s Sem parallel
[ ] 86 0 0 86 / 256 6.9s Sem parallel
[ ] 87 0 0 87 / 256 7.1s Sem parallel
[ ] 90 0 0 90 / 256 7.2s Sem parallel
[ ] 91 0 0 91 / 256 7.3s Sem parallel
[ ] 92 0 0 92 / 256 7.4s Sem parallel
[ ] 95 0 0 95 / 256 7.6s Sem parallel
[ ] 97 0 0 97 / 256 7.8s Sem parallel
[ ] 101 0 0 101 / 256 7.9s Sem parallel
[ ] 103 0 0 103 / 256 8.0s Sem parallel
[ ] 105 0 0 105 / 256 8.4s Sem parallel
[ ] 107 0 0 107 / 256 8.6s Sem parallel
[ ] 108 0 0 108 / 256 8.7s Sem parallel
[ ] 110 0 0 110 / 256 8.9s Sem parallel
[ ] 112 0 0 112 / 256 9.0s Sem parallel
[ ] 115 0 0 115 / 256 9.1s Sem parallel
[ ] 118 0 0 118 / 256 9.3s Sem parallel
[ ] 121 0 0 121 / 256 9.4s Sem parallel
[ ] 123 0 0 123 / 256 9.6s Sem parallel
[ ] 124 0 0 124 / 256 9.8s Sem parallel
[ ] 127 0 0 127 / 256 9.9s Sem parallel
[ ] 130 0 0 130 / 256 10.0s Sem parallel
[ ] 131 0 0 131 / 256 10.2s Sem parallel
[ ] 132 0 0 132 / 256 10.3s Sem parallel
[ ] 133 0 0 133 / 256 10.4s Sem parallel
[ ] 134 0 0 134 / 256 10.6s Sem parallel
[ ] 135 0 0 135 / 256 10.8s Sem parallel
[ ] 136 0 0 136 / 256 10.9s Sem parallel
[ ] 137 0 0 137 / 256 11.0s Sem parallel
[ ] 138 0 0 138 / 256 11.1s Sem parallel
[ ] 140 0 0 140 / 256 11.3s Sem parallel
[ ] 141 0 0 141 / 256 11.5s Sem parallel
[ ] 142 0 0 142 / 256 11.6s Sem parallel
[ ] 143 0 0 143 / 256 11.8s Sem parallel
[ ] 144 0 0 144 / 256 11.9s Sem parallel
[ ] 145 0 0 145 / 256 12.2s Sem parallel
[ ] 146 0 0 146 / 256 12.3s Sem parallel
[ ] 147 0 0 147 / 256 12.6s Sem parallel
[ ] 148 0 0 148 / 256 12.8s Sem parallel
[ ] 149 0 0 149 / 256 13.2s Sem parallel
[ ] 150 0 0 150 / 256 13.3s Sem parallel
[ ] 152 0 0 152 / 256 13.6s Sem parallel
[ ] 153 0 0 153 / 256 13.7s Sem parallel
[ ] 155 0 0 155 / 256 13.8s Sem parallel
[ ] 157 0 0 157 / 256 13.9s Sem parallel
[ ] 159 0 0 159 / 256 14.1s Sem parallel
[ ] 160 0 0 160 / 256 14.3s Sem parallel
[ ] 162 0 0 162 / 256 14.6s Sem parallel
[ ] 163 0 0 163 / 256 14.7s Sem parallel
[ ] 166 0 0 166 / 256 14.9s Sem parallel
[ ] 167 0 0 167 / 256 15.0s Sem parallel
[ ] 168 0 0 168 / 256 15.2s Sem parallel
[ ] 172 0 0 172 / 256 15.3s Sem parallel
[ ] 174 0 0 174 / 256 15.5s Sem parallel
[ ] 176 0 0 176 / 256 15.7s Sem parallel
[ ] 179 0 0 179 / 256 15.9s Sem parallel
[ ] 181 0 0 181 / 256 16.1s Sem parallel
[ ] 182 0 0 182 / 256 16.3s Sem parallel
[ ] 183 0 0 183 / 256 16.6s Sem parallel
[ ] 185 0 0 185 / 256 16.9s Sem parallel
[ ] 186 0 0 186 / 256 17.0s Sem parallel
[ ] 187 0 0 187 / 256 17.2s Sem parallel
[ ] 190 0 0 190 / 256 17.3s Sem parallel
[ ] 194 0 0 194 / 256 17.5s Sem parallel
[ ] 198 0 0 198 / 256 17.7s Sem parallel
[ ] 201 0 0 201 / 256 17.9s Sem parallel
[ ] 202 0 0 202 / 256 18.1s Sem parallel
[ ] 204 0 0 204 / 256 18.3s Sem parallel
[ ] 205 0 0 205 / 256 18.6s Sem parallel
[ ] 207 0 0 207 / 256 18.8s Sem parallel
[ ] 208 0 0 208 / 256 19.0s Sem parallel
[ ] 210 0 0 210 / 256 19.5s Sem parallel
[ ] 211 0 0 211 / 256 19.7s Sem parallel
[ ] 212 0 0 212 / 256 19.8s Sem parallel
[ ] 214 0 0 214 / 256 19.9s Sem parallel
[ ] 216 0 0 216 / 256 20.0s Sem parallel
[ ] 217 0 0 217 / 256 20.2s Sem parallel
[ ] 219 0 0 219 / 256 20.3s Sem parallel
[ ] 220 0 0 220 / 256 20.4s Sem parallel
[ ] 221 0 0 221 / 256 20.7s Sem parallel
[ ] 222 0 0 222 / 256 20.9s Sem parallel
[ ] 223 0 0 223 / 256 21.1s Sem parallel
[ ] 225 0 0 225 / 256 21.2s Sem parallel
[ ] 226 0 0 226 / 256 21.4s Sem parallel
[ ] 227 0 0 227 / 256 21.7s Sem parallel
[ ] 228 0 0 228 / 256 21.9s Sem parallel
[ ] 230 0 0 230 / 256 22.0s Sem parallel
[ ] 232 0 0 232 / 256 22.2s Sem parallel
[ ] 234 0 0 234 / 256 22.3s Sem parallel
[ ] 236 0 0 236 / 256 22.4s Sem parallel
[ ] 238 0 0 238 / 256 22.6s Sem parallel
[ ] 239 0 0 239 / 256 22.7s Sem parallel
[ ] 240 0 0 240 / 256 22.8s Sem parallel
[ ] 242 0 0 242 / 256 23.0s Sem parallel
[ ] 243 0 0 243 / 256 23.1s Sem parallel
[ ] 245 0 0 245 / 256 23.2s Sem parallel
[ ] 246 0 0 246 / 256 23.4s Sem parallel
[ ] 248 0 0 248 / 256 23.6s Sem parallel
[ ] 249 0 0 249 / 256 23.7s Sem parallel
[ ] 251 0 0 251 / 256 23.9s Sem parallel
[ ] 252 0 0 252 / 256 24.1s Sem parallel
[ ] 253 0 0 253 / 256 24.2s Sem parallel
[ ] 255 0 0 255 / 256 24.4s Sem parallel
[✓] 256 0 0 256 / 256 24.4s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 486940564874574838
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Sem sequential
[✓] 128 0 0 128 / 128 0.0s Sem sequential
[ ] 0 0 0 0 / 128 0.0s Sem parallel
[ ] 1 0 0 1 / 128 0.4s Sem parallel
[ ] 2 0 0 2 / 128 0.5s Sem parallel
[ ] 4 0 0 4 / 128 0.7s Sem parallel
[ ] 5 0 0 5 / 128 1.1s Sem parallel
[ ] 6 0 0 6 / 128 1.3s Sem parallel
[ ] 7 0 0 7 / 128 1.4s Sem parallel
[ ] 9 0 0 9 / 128 1.5s Sem parallel
[ ] 11 0 0 11 / 128 1.7s Sem parallel
[ ] 14 0 0 14 / 128 1.8s Sem parallel
[ ] 18 0 0 18 / 128 1.9s Sem parallel
[ ] 21 0 0 21 / 128 2.1s Sem parallel
[ ] 24 0 0 24 / 128 2.2s Sem parallel
[ ] 26 0 0 26 / 128 2.3s Sem parallel
[ ] 28 0 0 28 / 128 2.7s Sem parallel
[ ] 29 0 0 29 / 128 2.8s Sem parallel
[ ] 30 0 0 30 / 128 3.0s Sem parallel
[ ] 31 0 0 31 / 128 3.2s Sem parallel
[ ] 32 0 0 32 / 128 3.3s Sem parallel
[ ] 33 0 0 33 / 128 3.5s Sem parallel
[ ] 34 0 0 34 / 128 3.6s Sem parallel
[ ] 35 0 0 35 / 128 3.8s Sem parallel
[ ] 37 0 0 37 / 128 4.0s Sem parallel
[ ] 39 0 0 39 / 128 4.2s Sem parallel
[ ] 40 0 0 40 / 128 4.5s Sem parallel
[ ] 43 0 0 43 / 128 4.6s Sem parallel
[ ] 44 0 0 44 / 128 4.8s Sem parallel
[ ] 46 0 0 46 / 128 5.1s Sem parallel
[ ] 47 0 0 47 / 128 5.2s Sem parallel
[ ] 49 0 0 49 / 128 5.3s Sem parallel
[ ] 51 0 0 51 / 128 5.5s Sem parallel
[ ] 53 0 0 53 / 128 5.7s Sem parallel
[ ] 54 0 0 54 / 128 6.0s Sem parallel
[ ] 55 0 0 55 / 128 6.1s Sem parallel
[ ] 56 0 0 56 / 128 6.2s Sem parallel
[ ] 57 0 0 57 / 128 6.3s Sem parallel
[ ] 58 0 0 58 / 128 6.6s Sem parallel
[ ] 59 0 0 59 / 128 6.8s Sem parallel
[ ] 61 0 0 61 / 128 7.0s Sem parallel
[ ] 62 0 0 62 / 128 7.1s Sem parallel
[ ] 64 0 0 64 / 128 7.4s Sem parallel
[ ] 66 0 0 66 / 128 7.7s Sem parallel
[ ] 67 0 0 67 / 128 7.9s Sem parallel
[ ] 68 0 0 68 / 128 8.0s Sem parallel
[ ] 69 0 0 69 / 128 8.1s Sem parallel
[ ] 71 0 0 71 / 128 8.6s Sem parallel
[ ] 72 0 0 72 / 128 8.8s Sem parallel
[ ] 73 0 0 73 / 128 9.1s Sem parallel
[ ] 75 0 0 75 / 128 9.3s Sem parallel
[ ] 79 0 0 79 / 128 9.5s Sem parallel
[ ] 82 0 0 82 / 128 9.7s Sem parallel
[ ] 85 0 0 85 / 128 9.8s Sem parallel
[ ] 88 0 0 88 / 128 9.9s Sem parallel
[ ] 90 0 0 90 / 128 10.1s Sem parallel
[ ] 95 0 0 95 / 128 10.2s Sem parallel
[ ] 100 0 0 100 / 128 10.3s Sem parallel
[ ] 105 0 0 105 / 128 10.4s Sem parallel
[ ] 107 0 0 107 / 128 10.5s Sem parallel
[ ] 111 0 0 111 / 128 10.6s Sem parallel
[ ] 116 0 0 116 / 128 10.7s Sem parallel
[ ] 119 0 0 119 / 128 10.8s Sem parallel
[ ] 122 0 0 122 / 128 11.0s Sem parallel
[ ] 123 0 0 123 / 128 11.1s Sem parallel
[ ] 125 0 0 125 / 128 11.2s Sem parallel
[ ] 128 0 0 128 / 128 11.3s Sem parallel
[✓] 128 0 0 128 / 128 11.3s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 832589704910839270
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Sem sequential
[✓] 32 0 0 32 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem parallel
[ ] 3 0 0 3 / 32 0.1s Sem parallel
[ ] 6 0 0 6 / 32 0.3s Sem parallel
[ ] 9 0 0 9 / 32 0.4s Sem parallel
[ ] 12 0 0 12 / 32 0.7s Sem parallel
[ ] 13 0 0 13 / 32 0.9s Sem parallel
[ ] 16 0 0 16 / 32 1.4s Sem parallel
[ ] 17 0 0 17 / 32 2.4s Sem parallel
[ ] 18 0 0 18 / 32 2.6s Sem parallel
[ ] 19 0 0 19 / 32 2.7s Sem parallel
[ ] 21 0 0 21 / 32 2.9s Sem parallel
[ ] 22 0 0 22 / 32 3.0s Sem parallel
[ ] 24 0 0 24 / 32 3.2s Sem parallel
[ ] 25 0 0 25 / 32 3.3s Sem parallel
[ ] 26 0 0 26 / 32 3.5s Sem parallel
[ ] 28 0 0 28 / 32 3.6s Sem parallel
[ ] 29 0 0 29 / 32 3.8s Sem parallel
[ ] 31 0 0 31 / 32 4.0s Sem parallel
[✓] 32 0 0 32 / 32 4.0s Sem parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:39354/hello-io-cohttp
Method: POST
host: 127.0.0.1:39354
user-agent: ocaml-cohttp/v6.1.1
content-length: 17
Body: It's-a-Me, Picos!
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
7.97 M/s
attach detach pairs over time/2 workers:
3.00 M/s
attach detach pairs over time/4 workers:
2.83 M/s
attach detach pairs over time/trivial:
14.59 M/s
time per attach detach pair/1 worker:
125.41 ns
time per attach detach pair/2 workers:
666.74 ns
time per attach detach pair/4 workers:
1411.25 ns
time per attach detach pair/trivial:
68.53 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 1)
Testing `Picos_sync'.
This run has ID `DC5I30CL'.
[SKIP] Mutex and Condition 0 basics.
[OK] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.007s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
19.23 M/s
ops over time/2 workers:
40.48 M/s
ops over time/4 workers:
79.25 M/s
time per op/1 worker:
52.00 ns
time per op/2 workers:
49.41 ns
time per op/4 workers:
50.48 ns
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `HAZ8TT10'.
[OK] Trigger 0 basics.
[OK] Computation 0 basics.
[OK] Computation 1 tx.
[OK] Computation 2 signals in order.
[OK] Fiber.FLS 0 basics.
[OK] Cancel 0
[OK] Cancel after 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos'.
Test Successful in 11.016s. 7 tests run.
(cd _build/default/test && ./test_rwlock.exe)
random seed: 2571788228523717631
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock parallel
[ ] 3 0 0 3 / 32 0.2s Rwlock parallel
[ ] 8 0 0 8 / 32 0.7s Rwlock parallel
[ ] 9 0 0 9 / 32 0.8s Rwlock parallel
[ ] 11 0 0 11 / 32 1.0s Rwlock parallel
[ ] 13 0 0 13 / 32 1.1s Rwlock parallel
[ ] 16 0 0 16 / 32 1.2s Rwlock parallel
[ ] 18 0 0 18 / 32 1.4s Rwlock parallel
[ ] 19 0 0 19 / 32 1.6s Rwlock parallel
[ ] 23 0 0 23 / 32 1.7s Rwlock parallel
[ ] 27 0 0 27 / 32 1.9s Rwlock parallel
[ ] 30 0 0 30 / 32 2.1s Rwlock parallel
[✓] 32 0 0 32 / 32 2.1s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 3443431835554359633
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Rwlock sequential
[✓] 64 0 0 64 / 64 0.0s Rwlock sequential
[ ] 0 0 0 0 / 64 0.0s Rwlock parallel
[ ] 1 0 0 1 / 64 0.1s Rwlock parallel
[ ] 3 0 0 3 / 64 0.2s Rwlock parallel
[ ] 4 0 0 4 / 64 0.3s Rwlock parallel
[ ] 8 0 0 8 / 64 0.5s Rwlock parallel
[ ] 11 0 0 11 / 64 0.6s Rwlock parallel
[ ] 13 0 0 13 / 64 0.8s Rwlock parallel
[ ] 17 0 0 17 / 64 0.9s Rwlock parallel
[ ] 18 0 0 18 / 64 1.0s Rwlock parallel
[ ] 19 0 0 19 / 64 1.1s Rwlock parallel
[ ] 22 0 0 22 / 64 1.3s Rwlock parallel
[ ] 25 0 0 25 / 64 1.5s Rwlock parallel
[ ] 27 0 0 27 / 64 1.6s Rwlock parallel
[ ] 31 0 0 31 / 64 1.7s Rwlock parallel
[ ] 34 0 0 34 / 64 1.8s Rwlock parallel
[ ] 38 0 0 38 / 64 2.0s Rwlock parallel
[ ] 40 0 0 40 / 64 2.3s Rwlock parallel
[ ] 42 0 0 42 / 64 2.4s Rwlock parallel
[ ] 44 0 0 44 / 64 2.6s Rwlock parallel
[ ] 45 0 0 45 / 64 2.7s Rwlock parallel
[ ] 48 0 0 48 / 64 2.8s Rwlock parallel
[ ] 52 0 0 52 / 64 3.0s Rwlock parallel
[ ] 56 0 0 56 / 64 3.2s Rwlock parallel
[ ] 58 0 0 58 / 64 3.3s Rwlock parallel
[ ] 61 0 0 61 / 64 3.4s Rwlock parallel
[ ] 63 0 0 63 / 64 3.5s Rwlock parallel
[✓] 64 0 0 64 / 64 3.5s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 1631288388224978248
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Rwlock sequential
[✓] 128 0 0 128 / 128 0.0s Rwlock sequential
[ ] 0 0 0 0 / 128 0.0s Rwlock parallel
[ ] 1 0 0 1 / 128 0.1s Rwlock parallel
[ ] 3 0 0 3 / 128 0.3s Rwlock parallel
[ ] 5 0 0 5 / 128 0.5s Rwlock parallel
[ ] 7 0 0 7 / 128 0.6s Rwlock parallel
[ ] 10 0 0 10 / 128 0.8s Rwlock parallel
[ ] 12 0 0 12 / 128 0.9s Rwlock parallel
[ ] 13 0 0 13 / 128 1.1s Rwlock parallel
[ ] 15 0 0 15 / 128 1.3s Rwlock parallel
[ ] 17 0 0 17 / 128 1.4s Rwlock parallel
[ ] 19 0 0 19 / 128 1.6s Rwlock parallel
[ ] 22 0 0 22 / 128 1.7s Rwlock parallel
[ ] 26 0 0 26 / 128 1.9s Rwlock parallel
[ ] 27 0 0 27 / 128 2.1s Rwlock parallel
[ ] 28 0 0 28 / 128 2.2s Rwlock parallel
[ ] 30 0 0 30 / 128 2.4s Rwlock parallel
[ ] 31 0 0 31 / 128 2.6s Rwlock parallel
[ ] 33 0 0 33 / 128 2.7s Rwlock parallel
[ ] 34 0 0 34 / 128 2.8s Rwlock parallel
[ ] 35 0 0 35 / 128 2.9s Rwlock parallel
[ ] 39 0 0 39 / 128 3.1s Rwlock parallel
[ ] 41 0 0 41 / 128 3.3s Rwlock parallel
[ ] 44 0 0 44 / 128 3.4s Rwlock parallel
[ ] 45 0 0 45 / 128 3.6s Rwlock parallel
[ ] 46 0 0 46 / 128 3.7s Rwlock parallel
[ ] 49 0 0 49 / 128 3.9s Rwlock parallel
[ ] 50 0 0 50 / 128 4.1s Rwlock parallel
[ ] 52 0 0 52 / 128 4.5s Rwlock parallel
[ ] 53 0 0 53 / 128 4.7s Rwlock parallel
[ ] 55 0 0 55 / 128 4.8s Rwlock parallel
[ ] 57 0 0 57 / 128 4.9s Rwlock parallel
[ ] 58 0 0 58 / 128 5.1s Rwlock parallel
[ ] 59 0 0 59 / 128 5.3s Rwlock parallel
[ ] 62 0 0 62 / 128 5.5s Rwlock parallel
[ ] 66 0 0 66 / 128 5.7s Rwlock parallel
[ ] 70 0 0 70 / 128 5.9s Rwlock parallel
[ ] 72 0 0 72 / 128 6.0s Rwlock parallel
[ ] 74 0 0 74 / 128 6.1s Rwlock parallel
[ ] 78 0 0 78 / 128 6.2s Rwlock parallel
[ ] 81 0 0 81 / 128 6.4s Rwlock parallel
[ ] 84 0 0 84 / 128 6.5s Rwlock parallel
[ ] 85 0 0 85 / 128 6.6s Rwlock parallel
[ ] 87 0 0 87 / 128 6.7s Rwlock parallel
[ ] 89 0 0 89 / 128 6.9s Rwlock parallel
[ ] 93 0 0 93 / 128 7.1s Rwlock parallel
[ ] 94 0 0 94 / 128 7.2s Rwlock parallel
[ ] 96 0 0 96 / 128 7.4s Rwlock parallel
[ ] 98 0 0 98 / 128 7.5s Rwlock parallel
[ ] 100 0 0 100 / 128 7.7s Rwlock parallel
[ ] 101 0 0 101 / 128 7.9s Rwlock parallel
[ ] 102 0 0 102 / 128 8.1s Rwlock parallel
[ ] 103 0 0 103 / 128 8.4s Rwlock parallel
[ ] 104 0 0 104 / 128 8.5s Rwlock parallel
[ ] 105 0 0 105 / 128 8.6s Rwlock parallel
[ ] 107 0 0 107 / 128 9.0s Rwlock parallel
[ ] 108 0 0 108 / 128 9.3s Rwlock parallel
[ ] 109 0 0 109 / 128 9.5s Rwlock parallel
[ ] 112 0 0 112 / 128 9.6s Rwlock parallel
[ ] 115 0 0 115 / 128 9.8s Rwlock parallel
[ ] 118 0 0 118 / 128 10.0s Rwlock parallel
[ ] 120 0 0 120 / 128 10.1s Rwlock parallel
[ ] 123 0 0 123 / 128 10.3s Rwlock parallel
[ ] 125 0 0 125 / 128 10.4s Rwlock parallel
[ ] 126 0 0 126 / 128 10.5s Rwlock parallel
[ ] 128 0 0 128 / 128 10.6s Rwlock parallel
[✓] 128 0 0 128 / 128 10.6s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 2816556290834466375
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Rwlock sequential
[✓] 256 0 0 256 / 256 0.0s Rwlock sequential
[ ] 0 0 0 0 / 256 0.0s Rwlock parallel
[ ] 1 0 0 1 / 256 0.2s Rwlock parallel
[ ] 3 0 0 3 / 256 0.5s Rwlock parallel
[ ] 4 0 0 4 / 256 0.9s Rwlock parallel
[ ] 6 0 0 6 / 256 1.2s Rwlock parallel
[ ] 7 0 0 7 / 256 1.3s Rwlock parallel
[ ] 8 0 0 8 / 256 1.5s Rwlock parallel
[ ] 10 0 0 10 / 256 1.8s Rwlock parallel
[ ] 11 0 0 11 / 256 1.9s Rwlock parallel
[ ] 13 0 0 13 / 256 2.1s Rwlock parallel
[ ] 14 0 0 14 / 256 2.3s Rwlock parallel
[ ] 15 0 0 15 / 256 2.7s Rwlock parallel
[ ] 16 0 0 16 / 256 2.9s Rwlock parallel
[ ] 17 0 0 17 / 256 3.1s Rwlock parallel
[ ] 18 0 0 18 / 256 3.3s Rwlock parallel
[ ] 19 0 0 19 / 256 3.5s Rwlock parallel
[ ] 20 0 0 20 / 256 3.8s Rwlock parallel
[ ] 21 0 0 21 / 256 4.1s Rwlock parallel
[ ] 22 0 0 22 / 256 4.2s Rwlock parallel
[ ] 23 0 0 23 / 256 4.4s Rwlock parallel
[ ] 24 0 0 24 / 256 4.6s Rwlock parallel
[ ] 25 0 0 25 / 256 4.8s Rwlock parallel
[ ] 27 0 0 27 / 256 5.0s Rwlock parallel
[ ] 28 0 0 28 / 256 5.2s Rwlock parallel
[ ] 30 0 0 30 / 256 5.4s Rwlock parallel
[ ] 31 0 0 31 / 256 5.6s Rwlock parallel
[ ] 33 0 0 33 / 256 5.8s Rwlock parallel
[ ] 34 0 0 34 / 256 5.9s Rwlock parallel
[ ] 37 0 0 37 / 256 6.0s Rwlock parallel
[ ] 41 0 0 41 / 256 6.2s Rwlock parallel
[ ] 42 0 0 42 / 256 6.5s Rwlock parallel
[ ] 43 0 0 43 / 256 6.7s Rwlock parallel
[ ] 47 0 0 47 / 256 6.9s Rwlock parallel
[ ] 48 0 0 48 / 256 7.0s Rwlock parallel
[ ] 49 0 0 49 / 256 7.1s Rwlock parallel
[ ] 50 0 0 50 / 256 7.4s Rwlock parallel
[ ] 52 0 0 52 / 256 7.7s Rwlock parallel
[ ] 54 0 0 54 / 256 7.9s Rwlock parallel
[ ] 56 0 0 56 / 256 8.2s Rwlock parallel
[ ] 58 0 0 58 / 256 8.5s Rwlock parallel
[ ] 60 0 0 60 / 256 8.7s Rwlock parallel
[ ] 61 0 0 61 / 256 8.9s Rwlock parallel
[ ] 62 0 0 62 / 256 9.1s Rwlock parallel
[ ] 63 0 0 63 / 256 9.2s Rwlock parallel
[ ] 64 0 0 64 / 256 9.4s Rwlock parallel
[ ] 66 0 0 66 / 256 9.5s Rwlock parallel
[ ] 68 0 0 68 / 256 9.7s Rwlock parallel
[ ] 70 0 0 70 / 256 9.9s Rwlock parallel
[ ] 72 0 0 72 / 256 10.0s Rwlock parallel
[ ] 73 0 0 73 / 256 10.2s Rwlock parallel
[ ] 74 0 0 74 / 256 10.4s Rwlock parallel
[ ] 76 0 0 76 / 256 10.5s Rwlock parallel
[ ] 77 0 0 77 / 256 10.6s Rwlock parallel
[ ] 78 0 0 78 / 256 10.7s Rwlock parallel
[ ] 79 0 0 79 / 256 10.9s Rwlock parallel
[ ] 81 0 0 81 / 256 11.0s Rwlock parallel
[ ] 84 0 0 84 / 256 11.1s Rwlock parallel
[ ] 86 0 0 86 / 256 11.3s Rwlock parallel
[ ] 87 0 0 87 / 256 11.4s Rwlock parallel
[ ] 88 0 0 88 / 256 11.7s Rwlock parallel
[ ] 89 0 0 89 / 256 11.9s Rwlock parallel
[ ] 90 0 0 90 / 256 12.0s Rwlock parallel
[ ] 91 0 0 91 / 256 12.1s Rwlock parallel
[ ] 92 0 0 92 / 256 12.2s Rwlock parallel
[ ] 94 0 0 94 / 256 12.4s Rwlock parallel
[ ] 95 0 0 95 / 256 12.5s Rwlock parallel
[ ] 97 0 0 97 / 256 12.7s Rwlock parallel
[ ] 98 0 0 98 / 256 12.8s Rwlock parallel
[ ] 100 0 0 100 / 256 13.0s Rwlock parallel
[ ] 103 0 0 103 / 256 13.1s Rwlock parallel
[ ] 104 0 0 104 / 256 13.3s Rwlock parallel
[ ] 107 0 0 107 / 256 13.4s Rwlock parallel
[ ] 108 0 0 108 / 256 13.6s Rwlock parallel
[ ] 109 0 0 109 / 256 13.8s Rwlock parallel
[ ] 111 0 0 111 / 256 14.1s Rwlock parallel
[ ] 113 0 0 113 / 256 14.3s Rwlock parallel
[ ] 114 0 0 114 / 256 14.4s Rwlock parallel
[ ] 118 0 0 118 / 256 14.5s Rwlock parallel
[ ] 120 0 0 120 / 256 14.6s Rwlock parallel
[ ] 122 0 0 122 / 256 14.8s Rwlock parallel
[ ] 124 0 0 124 / 256 14.9s Rwlock parallel
[ ] 127 0 0 127 / 256 15.0s Rwlock parallel
[ ] 130 0 0 130 / 256 15.1s Rwlock parallel
[ ] 132 0 0 132 / 256 15.4s Rwlock parallel
[ ] 133 0 0 133 / 256 15.7s Rwlock parallel
[ ] 134 0 0 134 / 256 15.8s Rwlock parallel
[ ] 135 0 0 135 / 256 16.0s Rwlock parallel
[ ] 136 0 0 136 / 256 16.2s Rwlock parallel
[ ] 137 0 0 137 / 256 16.3s Rwlock parallel
[ ] 139 0 0 139 / 256 16.6s Rwlock parallel
[ ] 140 0 0 140 / 256 16.8s Rwlock parallel
[ ] 143 0 0 143 / 256 17.0s Rwlock parallel
[ ] 144 0 0 144 / 256 17.2s Rwlock parallel
[ ] 145 0 0 145 / 256 17.3s Rwlock parallel
[ ] 147 0 0 147 / 256 17.5s Rwlock parallel
[ ] 148 0 0 148 / 256 17.7s Rwlock parallel
[ ] 150 0 0 150 / 256 18.0s Rwlock parallel
[ ] 151 0 0 151 / 256 18.1s Rwlock parallel
[ ] 152 0 0 152 / 256 18.2s Rwlock parallel
[ ] 153 0 0 153 / 256 18.3s Rwlock parallel
[ ] 155 0 0 155 / 256 18.5s Rwlock parallel
[ ] 156 0 0 156 / 256 18.6s Rwlock parallel
[ ] 158 0 0 158 / 256 18.7s Rwlock parallel
[ ] 160 0 0 160 / 256 18.9s Rwlock parallel
[ ] 162 0 0 162 / 256 19.0s Rwlock parallel
[ ] 163 0 0 163 / 256 19.2s Rwlock parallel
[ ] 165 0 0 165 / 256 19.5s Rwlock parallel
[ ] 166 0 0 166 / 256 19.7s Rwlock parallel
[ ] 167 0 0 167 / 256 19.8s Rwlock parallel
[ ] 168 0 0 168 / 256 20.1s Rwlock parallel
[ ] 169 0 0 169 / 256 20.2s Rwlock parallel
[ ] 170 0 0 170 / 256 20.4s Rwlock parallel
[ ] 171 0 0 171 / 256 20.6s Rwlock parallel
[ ] 172 0 0 172 / 256 20.7s Rwlock parallel
[ ] 174 0 0 174 / 256 20.9s Rwlock parallel
[ ] 176 0 0 176 / 256 21.0s Rwlock parallel
[ ] 179 0 0 179 / 256 21.1s Rwlock parallel
[ ] 181 0 0 181 / 256 21.3s Rwlock parallel
[ ] 183 0 0 183 / 256 21.5s Rwlock parallel
[ ] 184 0 0 184 / 256 21.7s Rwlock parallel
[ ] 185 0 0 185 / 256 21.9s Rwlock parallel
[ ] 186 0 0 186 / 256 22.0s Rwlock parallel
[ ] 187 0 0 187 / 256 22.2s Rwlock parallel
[ ] 190 0 0 190 / 256 22.3s Rwlock parallel
[ ] 191 0 0 191 / 256 22.6s Rwlock parallel
[ ] 192 0 0 192 / 256 22.8s Rwlock parallel
[ ] 193 0 0 193 / 256 23.0s Rwlock parallel
[ ] 196 0 0 196 / 256 23.1s Rwlock parallel
[ ] 198 0 0 198 / 256 23.3s Rwlock parallel
[ ] 200 0 0 200 / 256 23.4s Rwlock parallel
[ ] 203 0 0 203 / 256 23.5s Rwlock parallel
[ ] 205 0 0 205 / 256 23.6s Rwlock parallel
[ ] 208 0 0 208 / 256 23.8s Rwlock parallel
[ ] 209 0 0 209 / 256 23.9s Rwlock parallel
[ ] 211 0 0 211 / 256 24.1s Rwlock parallel
[ ] 213 0 0 213 / 256 24.2s Rwlock parallel
[ ] 216 0 0 216 / 256 24.4s Rwlock parallel
[ ] 217 0 0 217 / 256 24.5s Rwlock parallel
[ ] 219 0 0 219 / 256 24.7s Rwlock parallel
[ ] 221 0 0 221 / 256 24.8s Rwlock parallel
[ ] 222 0 0 222 / 256 24.9s Rwlock parallel
[ ] 223 0 0 223 / 256 25.1s Rwlock parallel
[ ] 224 0 0 224 / 256 25.3s Rwlock parallel
[ ] 227 0 0 227 / 256 25.5s Rwlock parallel
[ ] 229 0 0 229 / 256 25.6s Rwlock parallel
[ ] 230 0 0 230 / 256 25.8s Rwlock parallel
[ ] 231 0 0 231 / 256 26.0s Rwlock parallel
[ ] 233 0 0 233 / 256 26.1s Rwlock parallel
[ ] 235 0 0 235 / 256 26.3s Rwlock parallel
[ ] 238 0 0 238 / 256 26.6s Rwlock parallel
[ ] 240 0 0 240 / 256 26.7s Rwlock parallel
[ ] 241 0 0 241 / 256 26.8s Rwlock parallel
[ ] 242 0 0 242 / 256 26.9s Rwlock parallel
[ ] 244 0 0 244 / 256 27.1s Rwlock parallel
[ ] 246 0 0 246 / 256 27.2s Rwlock parallel
[ ] 249 0 0 249 / 256 27.3s Rwlock parallel
[ ] 251 0 0 251 / 256 27.5s Rwlock parallel
[ ] 252 0 0 252 / 256 27.6s Rwlock parallel
[ ] 254 0 0 254 / 256 27.8s Rwlock parallel
[ ] 256 0 0 256 / 256 27.9s Rwlock parallel
[✓] 256 0 0 256 / 256 27.9s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 2757172654054095876
generated error fail pass / total time test name
[ ] 0 0 0 0 / 171 0.0s Rwlock sequential
[✓] 171 0 0 171 / 171 0.0s Rwlock sequential
[ ] 0 0 0 0 / 171 0.0s Rwlock parallel
[ ] 1 0 0 1 / 171 0.2s Rwlock parallel
[ ] 2 0 0 2 / 171 0.3s Rwlock parallel
[ ] 4 0 0 4 / 171 0.4s Rwlock parallel
[ ] 6 0 0 6 / 171 0.6s Rwlock parallel
[ ] 7 0 0 7 / 171 0.8s Rwlock parallel
[ ] 8 0 0 8 / 171 1.0s Rwlock parallel
[ ] 9 0 0 9 / 171 1.1s Rwlock parallel
[ ] 12 0 0 12 / 171 1.2s Rwlock parallel
[ ] 14 0 0 14 / 171 1.4s Rwlock parallel
[ ] 16 0 0 16 / 171 1.8s Rwlock parallel
[ ] 18 0 0 18 / 171 1.9s Rwlock parallel
[ ] 19 0 0 19 / 171 2.2s Rwlock parallel
[ ] 20 0 0 20 / 171 2.4s Rwlock parallel
[ ] 21 0 0 21 / 171 2.5s Rwlock parallel
[ ] 22 0 0 22 / 171 2.8s Rwlock parallel
[ ] 25 0 0 25 / 171 2.9s Rwlock parallel
[ ] 27 0 0 27 / 171 3.0s Rwlock parallel
[ ] 28 0 0 28 / 171 3.1s Rwlock parallel
[ ] 30 0 0 30 / 171 3.2s Rwlock parallel
[ ] 32 0 0 32 / 171 3.3s Rwlock parallel
[ ] 33 0 0 33 / 171 3.5s Rwlock parallel
[ ] 36 0 0 36 / 171 3.8s Rwlock parallel
[ ] 37 0 0 37 / 171 4.0s Rwlock parallel
[ ] 38 0 0 38 / 171 4.2s Rwlock parallel
[ ] 39 0 0 39 / 171 4.4s Rwlock parallel
[ ] 41 0 0 41 / 171 4.6s Rwlock parallel
[ ] 42 0 0 42 / 171 4.7s Rwlock parallel
[ ] 43 0 0 43 / 171 4.9s Rwlock parallel
[ ] 45 0 0 45 / 171 5.0s Rwlock parallel
[ ] 46 0 0 46 / 171 5.3s Rwlock parallel
[ ] 47 0 0 47 / 171 5.4s Rwlock parallel
[ ] 49 0 0 49 / 171 5.5s Rwlock parallel
[ ] 50 0 0 50 / 171 5.7s Rwlock parallel
[ ] 52 0 0 52 / 171 5.9s Rwlock parallel
[ ] 53 0 0 53 / 171 6.3s Rwlock parallel
[ ] 54 0 0 54 / 171 6.5s Rwlock parallel
[ ] 55 0 0 55 / 171 6.8s Rwlock parallel
[ ] 58 0 0 58 / 171 7.0s Rwlock parallel
[ ] 61 0 0 61 / 171 7.1s Rwlock parallel
[ ] 65 0 0 65 / 171 7.4s Rwlock parallel
[ ] 68 0 0 68 / 171 7.5s Rwlock parallel
[ ] 74 0 0 74 / 171 7.6s Rwlock parallel
[ ] 76 0 0 76 / 171 7.7s Rwlock parallel
[ ] 81 0 0 81 / 171 7.9s Rwlock parallel
[ ] 86 0 0 86 / 171 8.0s Rwlock parallel
[ ] 91 0 0 91 / 171 8.1s Rwlock parallel
[ ] 97 0 0 97 / 171 8.2s Rwlock parallel
[ ] 102 0 0 102 / 171 8.3s Rwlock parallel
[ ] 106 0 0 106 / 171 8.4s Rwlock parallel
[ ] 109 0 0 109 / 171 8.6s Rwlock parallel
[ ] 111 0 0 111 / 171 8.7s Rwlock parallel
[ ] 114 0 0 114 / 171 8.8s Rwlock parallel
[ ] 116 0 0 116 / 171 9.0s Rwlock parallel
[ ] 119 0 0 119 / 171 9.1s Rwlock parallel
[ ] 121 0 0 121 / 171 9.3s Rwlock parallel
[ ] 123 0 0 123 / 171 9.8s Rwlock parallel
[ ] 125 0 0 125 / 171 9.9s Rwlock parallel
[ ] 127 0 0 127 / 171 10.0s Rwlock parallel
[ ] 128 0 0 128 / 171 10.4s Rwlock parallel
[ ] 129 0 0 129 / 171 11.5s Rwlock parallel
[ ] 130 0 0 130 / 171 11.6s Rwlock parallel
[ ] 132 0 0 132 / 171 11.9s Rwlock parallel
[ ] 134 0 0 134 / 171 12.1s Rwlock parallel
[ ] 136 0 0 136 / 171 12.2s Rwlock parallel
[ ] 137 0 0 137 / 171 12.3s Rwlock parallel
[ ] 139 0 0 139 / 171 12.5s Rwlock parallel
[ ] 142 0 0 142 / 171 12.6s Rwlock parallel
[ ] 143 0 0 143 / 171 12.8s Rwlock parallel
[ ] 144 0 0 144 / 171 12.9s Rwlock parallel
[ ] 145 0 0 145 / 171 13.1s Rwlock parallel
[ ] 148 0 0 148 / 171 13.2s Rwlock parallel
[ ] 149 0 0 149 / 171 13.5s Rwlock parallel
[ ] 151 0 0 151 / 171 13.6s Rwlock parallel
[ ] 153 0 0 153 / 171 14.0s Rwlock parallel
[ ] 155 0 0 155 / 171 14.2s Rwlock parallel
[ ] 156 0 0 156 / 171 15.6s Rwlock parallel
[ ] 157 0 0 157 / 171 16.1s Rwlock parallel
[ ] 158 0 0 158 / 171 16.2s Rwlock parallel
[ ] 159 0 0 159 / 171 16.4s Rwlock parallel
[ ] 160 0 0 160 / 171 16.5s Rwlock parallel
[ ] 161 0 0 161 / 171 17.6s Rwlock parallel
[ ] 162 0 0 162 / 171 18.6s Rwlock parallel
[ ] 164 0 0 164 / 171 19.1s Rwlock parallel
[ ] 166 0 0 166 / 171 19.3s Rwlock parallel
[ ] 168 0 0 168 / 171 19.5s Rwlock parallel
[ ] 169 0 0 169 / 171 19.7s Rwlock parallel
[ ] 171 0 0 171 / 171 20.4s Rwlock parallel
[✓] 171 0 0 171 / 171 20.4s Rwlock parallel
================================================================================
success (ran 2 tests)
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
300.37 M/s
gets over time/2 workers:
610.62 M/s
gets over time/4 workers:
1217.40 M/s
sets over time/1 worker:
113.17 M/s
sets over time/2 workers:
232.30 M/s
sets over time/4 workers:
469.27 M/s
time per get/1 worker:
3.33 ns
time per get/2 workers:
3.28 ns
time per get/4 workers:
3.29 ns
time per set/1 worker:
8.84 ns
time per set/2 workers:
8.61 ns
time per set/4 workers:
8.52 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `P8GO0TS2'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[OK] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 3.963s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `AQGE6N4Z'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[OK] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.019s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
60.94 M/s
gets over time/2 workers:
79.11 M/s
gets over time/4 workers:
102.08 M/s
sets over time/1 worker:
38.84 M/s
sets over time/2 workers:
59.31 M/s
sets over time/4 workers:
101.41 M/s
time per get/1 worker:
16.41 ns
time per get/2 workers:
25.28 ns
time per get/4 workers:
39.19 ns
time per set/1 worker:
25.74 ns
time per set/2 workers:
33.72 ns
time per set/4 workers:
39.44 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
170.27 M/s
gets over time/2 workers:
346.64 M/s
gets over time/4 workers:
339.96 M/s
sets over time/1 worker:
106.65 M/s
sets over time/2 workers:
215.02 M/s
sets over time/4 workers:
153.11 M/s
time per get/1 worker:
5.87 ns
time per get/2 workers:
5.77 ns
time per get/4 workers:
11.77 ns
time per set/1 worker:
9.38 ns
time per set/2 workers:
9.30 ns
time per set/4 workers:
26.12 ns
(cd _build/default/bench && ./main.exe -brief 'Yield with Picos_std_sync')
Yield with Picos_std_sync:
locked yields over time/1024 fibers with Lock:
0.51 M/s
locked yields over time/1024 fibers with Rwlock:
0.53 M/s
locked yields over time/1024 fibers with Sem:
0.26 M/s
locked yields over time/1024 fibers with Sem 2:
0.68 M/s
locked yields over time/1024 fibers with Sem 3:
0.57 M/s
locked yields over time/1024 fibers with Sem 4:
0.44 M/s
locked yields over time/1 fiber with Lock:
6.73 M/s
locked yields over time/1 fiber with Rwlock:
6.29 M/s
locked yields over time/1 fiber with Sem:
6.98 M/s
locked yields over time/1 fiber with Sem 2:
6.42 M/s
locked yields over time/1 fiber with Sem 3:
2.80 M/s
locked yields over time/1 fiber with Sem 4:
6.04 M/s
locked yields over time/256 fibers with Lock:
1.09 M/s
locked yields over time/256 fibers with Rwlock:
0.66 M/s
locked yields over time/256 fibers with Sem:
0.27 M/s
locked yields over time/256 fibers with Sem 2:
1.01 M/s
locked yields over time/256 fibers with Sem 3:
1.04 M/s
locked yields over time/256 fibers with Sem 4:
0.93 M/s
locked yields over time/2 domains with Lock:
0.41 M/s
locked yields over time/2 domains with Rwlock:
0.33 M/s
locked yields over time/2 domains with Sem:
0.92 M/s
locked yields over time/2 domains with Sem 2:
5.79 M/s
locked yields over time/2 domains with Sem 3:
1.89 M/s
locked yields over time/2 domains with Sem 4:
4.48 M/s
locked yields over time/2 fibers with Lock:
1.54 M/s
locked yields over time/2 fibers with Rwlock:
1.38 M/s
locked yields over time/2 fibers with Sem:
1.25 M/s
locked yields over time/2 fibers with Sem 2:
0.99 M/s
locked yields over time/2 fibers with Sem 3:
2.48 M/s
locked yields over time/2 fibers with Sem 4:
3.41 M/s
locked yields over time/3 domains with Lock:
0.32 M/s
locked yields over time/3 domains with Rwlock:
0.18 M/s
locked yields over time/3 domains with Sem:
2.01 M/s
locked yields over time/3 domains with Sem 2:
1.07 M/s
locked yields over time/3 domains with Sem 3:
4.92 M/s
locked yields over time/3 domains with Sem 4:
4.31 M/s
locked yields over time/3 fibers with Lock:
1.44 M/s
locked yields over time/3 fibers with Rwlock:
0.43 M/s
locked yields over time/3 fibers with Sem:
1.36 M/s
locked yields over time/3 fibers with Sem 2:
1.60 M/s
locked yields over time/3 fibers with Sem 3:
6.46 M/s
locked yields over time/3 fibers with Sem 4:
2.02 M/s
locked yields over time/4 domains with Lock:
0.85 M/s
locked yields over time/4 domains with Rwlock:
0.78 M/s
locked yields over time/4 domains with Sem:
0.11 M/s
locked yields over time/4 domains with Sem 2:
2.30 M/s
locked yields over time/4 domains with Sem 3:
1.41 M/s
locked yields over time/4 domains with Sem 4:
5.33 M/s
locked yields over time/4 fibers with Lock:
1.33 M/s
locked yields over time/4 fibers with Rwlock:
0.78 M/s
locked yields over time/4 fibers with Sem:
0.56 M/s
locked yields over time/4 fibers with Sem 2:
0.67 M/s
locked yields over time/4 fibers with Sem 3:
2.11 M/s
locked yields over time/4 fibers with Sem 4:
3.30 M/s
locked yields over time/512 fibers with Lock:
0.69 M/s
locked yields over time/512 fibers with Rwlock:
0.46 M/s
locked yields over time/512 fibers with Sem:
0.68 M/s
locked yields over time/512 fibers with Sem 2:
0.61 M/s
locked yields over time/512 fibers with Sem 3:
0.56 M/s
locked yields over time/512 fibers with Sem 4:
0.49 M/s
locked yields over time/8 fibers with Lock:
1.49 M/s
locked yields over time/8 fibers with Rwlock:
0.72 M/s
locked yields over time/8 fibers with Sem:
0.57 M/s
locked yields over time/8 fibers with Sem 2:
0.91 M/s
locked yields over time/8 fibers with Sem 3:
2.24 M/s
locked yields over time/8 fibers with Sem 4:
3.16 M/s
time per locked yield/1024 fibers with Lock:
1958.29 ns
time per locked yield/1024 fibers with Rwlock:
1894.85 ns
time per locked yield/1024 fibers with Sem:
3815.99 ns
time per locked yield/1024 fibers with Sem 2:
1464.96 ns
time per locked yield/1024 fibers with Sem 3:
1753.02 ns
time per locked yield/1024 fibers with Sem 4:
2265.28 ns
time per locked yield/1 fiber with Lock:
148.50 ns
time per locked yield/1 fiber with Rwlock:
159.01 ns
time per locked yield/1 fiber with Sem:
143.24 ns
time per locked yield/1 fiber with Sem 2:
155.76 ns
time per locked yield/1 fiber with Sem 3:
356.79 ns
time per locked yield/1 fiber with Sem 4:
165.46 ns
time per locked yield/256 fibers with Lock:
914.95 ns
time per locked yield/256 fibers with Rwlock:
1512.03 ns
time per locked yield/256 fibers with Sem:
3745.33 ns
time per locked yield/256 fibers with Sem 2:
991.53 ns
time per locked yield/256 fibers with Sem 3:
958.30 ns
time per locked yield/256 fibers with Sem 4:
1073.12 ns
time per locked yield/2 domains with Lock:
4821.37 ns
time per locked yield/2 domains with Rwlock:
6111.11 ns
time per locked yield/2 domains with Sem:
2182.01 ns
time per locked yield/2 domains with Sem 2:
346.50 ns
time per locked yield/2 domains with Sem 3:
1057.88 ns
time per locked yield/2 domains with Sem 4:
446.19 ns
time per locked yield/2 fibers with Lock:
649.69 ns
time per locked yield/2 fibers with Rwlock:
723.93 ns
time per locked yield/2 fibers with Sem:
801.05 ns
time per locked yield/2 fibers with Sem 2:
1011.75 ns
time per locked yield/2 fibers with Sem 3:
403.08 ns
time per locked yield/2 fibers with Sem 4:
292.95 ns
time per locked yield/3 domains with Lock:
9291.39 ns
time per locked yield/3 domains with Rwlock:
16454.80 ns
time per locked yield/3 domains with Sem:
1490.87 ns
time per locked yield/3 domains with Sem 2:
2793.66 ns
time per locked yield/3 domains with Sem 3:
609.88 ns
time per locked yield/3 domains with Sem 4:
706.20 ns
time per locked yield/3 fibers with Lock:
695.90 ns
time per locked yield/3 fibers with Rwlock:
2339.81 ns
time per locked yield/3 fibers with Sem:
734.81 ns
time per locked yield/3 fibers with Sem 2:
626.45 ns
time per locked yield/3 fibers with Sem 3:
154.79 ns
time per locked yield/3 fibers with Sem 4:
496.16 ns
time per locked yield/4 domains with Lock:
4693.29 ns
time per locked yield/4 domains with Rwlock:
5154.59 ns
time per locked yield/4 domains with Sem:
35222.48 ns
time per locked yield/4 domains with Sem 2:
1741.05 ns
time per locked yield/4 domains with Sem 3:
2840.63 ns
time per locked yield/4 domains with Sem 4:
750.86 ns
time per locked yield/4 fibers with Lock:
753.13 ns
time per locked yield/4 fibers with Rwlock:
1275.13 ns
time per locked yield/4 fibers with Sem:
1799.24 ns
time per locked yield/4 fibers with Sem 2:
1503.56 ns
time per locked yield/4 fibers with Sem 3:
472.82 ns
time per locked yield/4 fibers with Sem 4:
303.35 ns
time per locked yield/512 fibers with Lock:
1448.94 ns
time per locked yield/512 fibers with Rwlock:
2182.06 ns
time per locked yield/512 fibers with Sem:
1475.50 ns
time per locked yield/512 fibers with Sem 2:
1641.53 ns
time per locked yield/512 fibers with Sem 3:
1800.01 ns
time per locked yield/512 fibers with Sem 4:
2025.45 ns
time per locked yield/8 fibers with Lock:
672.75 ns
time per locked yield/8 fibers with Rwlock:
1395.90 ns
time per locked yield/8 fibers with Sem:
1750.28 ns
time per locked yield/8 fibers with Sem 2:
1094.27 ns
time per locked yield/8 fibers with Sem 3:
446.70 ns
time per locked yield/8 fibers with Sem 4:
316.31 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Spawn')
Picos Spawn:
spawns over time/with packed computation:
5.02 M/s
time per spawn/with packed computation:
199.25 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Yield')
Picos Yield:
time per yield/10000 fibers:
1090.06 ns
time per yield/1000 fibers:
235.76 ns
time per yield/100 fibers:
141.39 ns
time per yield/10 fibers:
112.72 ns
time per yield/1 fiber:
143.07 ns
yields over time/10000 fibers:
0.92 M/s
yields over time/1000 fibers:
4.24 M/s
yields over time/100 fibers:
7.07 M/s
yields over time/10 fibers:
8.87 M/s
yields over time/1 fiber:
6.99 M/s
(cd _build/default/bench && ./main.exe -brief 'Picos Cancel_after with Picos_select')
Picos Cancel_after with Picos_select:
async round-trips over time/1 worker:
0.13 M/s
async round-trips over time/2 workers:
0.21 M/s
async round-trips over time/4 workers:
0.10 M/s
round-trips over time/1 worker:
0.02 M/s
round-trips over time/2 workers:
0.04 M/s
round-trips over time/4 workers:
0.05 M/s
time per async round-trip/1 worker:
7754.02 ns
time per async round-trip/2 workers:
9306.67 ns
time per async round-trip/4 workers:
39301.47 ns
time per round-trip/1 worker:
45410.24 ns
time per round-trip/2 workers:
56337.81 ns
time per round-trip/4 workers:
72961.16 ns
(cd _build/default/bench && ./main.exe -brief 'Ref with Picos_std_sync')
Ref with Picos_std_sync:
ops over time/cas int with Lock:
38.60 M/s
ops over time/cas int with Rwlock:
29.88 M/s
ops over time/cas int with Sem:
38.45 M/s
ops over time/get with Lock:
43.43 M/s
ops over time/get with Rwlock:
43.26 M/s
ops over time/get with Sem:
44.58 M/s
ops over time/incr with Lock:
44.85 M/s
ops over time/incr with Rwlock:
32.04 M/s
ops over time/incr with Sem:
45.69 M/s
ops over time/push & pop with Lock:
28.97 M/s
ops over time/push & pop with Rwlock:
23.63 M/s
ops over time/push & pop with Sem:
27.60 M/s
ops over time/swap with Lock:
37.87 M/s
ops over time/swap with Rwlock:
29.50 M/s
ops over time/swap with Sem:
38.17 M/s
ops over time/xchg int with Lock:
38.05 M/s
ops over time/xchg int with Rwlock:
29.90 M/s
ops over time/xchg int with Sem:
37.88 M/s
time per op/cas int with Lock:
25.91 ns
time per op/cas int with Rwlock:
33.47 ns
time per op/cas int with Sem:
26.01 ns
time per op/get with Lock:
23.03 ns
time per op/get with Rwlock:
23.12 ns
time per op/get with Sem:
22.43 ns
time per op/incr with Lock:
22.29 ns
time per op/incr with Rwlock:
31.21 ns
time per op/incr with Sem:
21.88 ns
time per op/push & pop with Lock:
34.52 ns
time per op/push & pop with Rwlock:
42.32 ns
time per op/push & pop with Sem:
36.23 ns
time per op/swap with Lock:
26.41 ns
time per op/swap with Rwlock:
33.90 ns
time per op/swap with Sem:
26.20 ns
time per op/xchg int with Lock:
26.28 ns
time per op/xchg int with Rwlock:
33.44 ns
time per op/xchg int with Sem:
26.40 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/1 nb adder, 1 nb taker:
4.14 M/s
messages over time/1 nb adder, 2 nb takers:
3.38 M/s
messages over time/2 nb adders, 1 nb taker:
7.86 M/s
messages over time/2 nb adders, 2 nb takers:
2.53 M/s
messages over time/one domain:
23.53 M/s
time per message/1 nb adder, 1 nb taker:
483.20 ns
time per message/1 nb adder, 2 nb takers:
888.28 ns
time per message/2 nb adders, 1 nb taker:
381.45 ns
time per message/2 nb adders, 2 nb takers:
1582.68 ns
time per message/one domain:
42.50 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/1 nb adder, 1 nb taker:
20.23 M/s
messages over time/2 nb adders, 1 nb taker:
19.51 M/s
messages over time/one domain:
23.70 M/s
time per message/1 nb adder, 1 nb taker:
98.84 ns
time per message/2 nb adders, 1 nb taker:
153.80 ns
time per message/one domain:
42.20 ns
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `7JUKZGQX'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[OK] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 47.883s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `GC2QAGTA'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[OK] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `8D6PPTL0'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[OK] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `OP3NEMS9'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[OK] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.007s. 1 test run.
(cd _build/default/test && ./test_schedulers.exe)
Testing with scheduler: randos ~n_domains:1
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.017840 -- ideally 0
mean: 1.037722 -- ideally 1
median: 1.040800 -- ideally 1
Testing `Picos schedulers'.
This run has ID `3RQOSU94'.
[OK] Trivial main returns 0
[OK] Scheduler completes main computation 0
[OK] Current 0
[OK] Cancel_after 0 basic.
[OK] Cancel_after 1 long timeout.
[OK] Operation on canceled fiber raises 0
[OK] Cross scheduler wakeup 0
[OK] Fatal exception terminates scheduler 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos schedulers'.
Test Successful in 61.458s. 8 tests run.
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
operations over time/1 worker, 10% reads:
16.07 M/s
operations over time/1 worker, 50% reads:
20.07 M/s
operations over time/1 worker, 90% reads:
27.99 M/s
operations over time/2 workers, 10% reads:
13.63 M/s
operations over time/2 workers, 50% reads:
28.16 M/s
operations over time/2 workers, 90% reads:
26.36 M/s
operations over time/4 workers, 10% reads:
9.46 M/s
operations over time/4 workers, 50% reads:
21.94 M/s
operations over time/4 workers, 90% reads:
40.95 M/s
time per operation/1 worker, 10% reads:
62.22 ns
time per operation/1 worker, 50% reads:
49.82 ns
time per operation/1 worker, 90% reads:
35.72 ns
time per operation/2 workers, 10% reads:
146.74 ns
time per operation/2 workers, 50% reads:
71.02 ns
time per operation/2 workers, 90% reads:
75.88 ns
time per operation/4 workers, 10% reads:
422.70 ns
time per operation/4 workers, 50% reads:
182.29 ns
time per operation/4 workers, 90% reads:
97.69 ns
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `OQLGTDLW'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[OK] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 14.178s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `25ZCOPGL'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[OK] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `Z5C35SKK'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[OK] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `98Z36O4V'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[OK] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `EOA98D4V'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[OK] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `BQXB139X'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[OK] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `K33RUZ60'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[OK] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.004s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `299LUDN7'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[OK] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.089s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `VFEQAZMX'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[OK] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.003s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Hashtbl with Picos_std_sync')
Hashtbl with Picos_std_sync:
operations over time/1 worker, 10% reads with Lock:
16.60 M/s
operations over time/1 worker, 10% reads with Rwlock:
14.63 M/s
operations over time/1 worker, 10% reads with Sem:
15.56 M/s
operations over time/1 worker, 100% reads with Lock:
21.21 M/s
operations over time/1 worker, 100% reads with Rwlock:
19.65 M/s
operations over time/1 worker, 100% reads with Sem:
19.98 M/s
operations over time/1 worker, 50% reads with Lock:
16.72 M/s
operations over time/1 worker, 50% reads with Rwlock:
16.35 M/s
operations over time/1 worker, 50% reads with Sem:
16.95 M/s
operations over time/1 worker, 90% reads with Lock:
19.16 M/s
operations over time/1 worker, 90% reads with Rwlock:
18.34 M/s
operations over time/1 worker, 90% reads with Sem:
18.84 M/s
operations over time/1 worker, 95% reads with Lock:
19.46 M/s
operations over time/1 worker, 95% reads with Rwlock:
19.07 M/s
operations over time/1 worker, 95% reads with Sem:
19.97 M/s
operations over time/2 workers, 10% reads with Lock:
12.87 M/s
operations over time/2 workers, 10% reads with Rwlock:
12.74 M/s
operations over time/2 workers, 10% reads with Sem:
12.96 M/s
operations over time/2 workers, 100% reads with Lock:
12.92 M/s
operations over time/2 workers, 100% reads with Rwlock:
14.66 M/s
operations over time/2 workers, 100% reads with Sem:
16.80 M/s
operations over time/2 workers, 50% reads with Lock:
15.78 M/s
operations over time/2 workers, 50% reads with Rwlock:
9.78 M/s
operations over time/2 workers, 50% reads with Sem:
9.81 M/s
operations over time/2 workers, 90% reads with Lock:
12.85 M/s
operations over time/2 workers, 90% reads with Rwlock:
12.62 M/s
operations over time/2 workers, 90% reads with Sem:
12.60 M/s
operations over time/2 workers, 95% reads with Lock:
13.07 M/s
operations over time/2 workers, 95% reads with Rwlock:
12.84 M/s
operations over time/2 workers, 95% reads with Sem:
12.75 M/s
operations over time/4 workers, 10% reads with Lock:
10.35 M/s
operations over time/4 workers, 10% reads with Rwlock:
8.62 M/s
operations over time/4 workers, 10% reads with Sem:
7.75 M/s
operations over time/4 workers, 100% reads with Lock:
13.03 M/s
operations over time/4 workers, 100% reads with Rwlock:
14.17 M/s
operations over time/4 workers, 100% reads with Sem:
7.09 M/s
operations over time/4 workers, 50% reads with Lock:
9.16 M/s
operations over time/4 workers, 50% reads with Rwlock:
9.42 M/s
operations over time/4 workers, 50% reads with Sem:
10.42 M/s
operations over time/4 workers, 90% reads with Lock:
9.69 M/s
operations over time/4 workers, 90% reads with Rwlock:
8.52 M/s
operations over time/4 workers, 90% reads with Sem:
10.50 M/s
operations over time/4 workers, 95% reads with Lock:
12.79 M/s
operations over time/4 workers, 95% reads with Rwlock:
12.07 M/s
operations over time/4 workers, 95% reads with Sem:
12.67 M/s
time per operation/1 worker, 10% reads with Lock:
60.24 ns
time per operation/1 worker, 10% reads with Rwlock:
68.35 ns
time per operation/1 worker, 10% reads with Sem:
64.29 ns
time per operation/1 worker, 100% reads with Lock:
47.14 ns
time per operation/1 worker, 100% reads with Rwlock:
50.91 ns
time per operation/1 worker, 100% reads with Sem:
50.04 ns
time per operation/1 worker, 50% reads with Lock:
59.79 ns
time per operation/1 worker, 50% reads with Rwlock:
61.16 ns
time per operation/1 worker, 50% reads with Sem:
58.99 ns
time per operation/1 worker, 90% reads with Lock:
52.19 ns
time per operation/1 worker, 90% reads with Rwlock:
54.54 ns
time per operation/1 worker, 90% reads with Sem:
53.08 ns
time per operation/1 worker, 95% reads with Lock:
51.39 ns
time per operation/1 worker, 95% reads with Rwlock:
52.43 ns
time per operation/1 worker, 95% reads with Sem:
50.09 ns
time per operation/2 workers, 10% reads with Lock:
155.35 ns
time per operation/2 workers, 10% reads with Rwlock:
156.95 ns
time per operation/2 workers, 10% reads with Sem:
154.34 ns
time per operation/2 workers, 100% reads with Lock:
154.84 ns
time per operation/2 workers, 100% reads with Rwlock:
136.47 ns
time per operation/2 workers, 100% reads with Sem:
119.08 ns
time per operation/2 workers, 50% reads with Lock:
126.73 ns
time per operation/2 workers, 50% reads with Rwlock:
204.46 ns
time per operation/2 workers, 50% reads with Sem:
203.87 ns
time per operation/2 workers, 90% reads with Lock:
155.68 ns
time per operation/2 workers, 90% reads with Rwlock:
158.54 ns
time per operation/2 workers, 90% reads with Sem:
158.73 ns
time per operation/2 workers, 95% reads with Lock:
153.06 ns
time per operation/2 workers, 95% reads with Rwlock:
155.77 ns
time per operation/2 workers, 95% reads with Sem:
156.86 ns
time per operation/4 workers, 10% reads with Lock:
386.31 ns
time per operation/4 workers, 10% reads with Rwlock:
463.89 ns
time per operation/4 workers, 10% reads with Sem:
516.09 ns
time per operation/4 workers, 100% reads with Lock:
307.03 ns
time per operation/4 workers, 100% reads with Rwlock:
282.24 ns
time per operation/4 workers, 100% reads with Sem:
564.52 ns
time per operation/4 workers, 50% reads with Lock:
436.62 ns
time per operation/4 workers, 50% reads with Rwlock:
424.41 ns
time per operation/4 workers, 50% reads with Sem:
383.81 ns
time per operation/4 workers, 90% reads with Lock:
412.82 ns
time per operation/4 workers, 90% reads with Rwlock:
469.63 ns
time per operation/4 workers, 90% reads with Sem:
380.77 ns
time per operation/4 workers, 95% reads with Lock:
312.85 ns
time per operation/4 workers, 95% reads with Rwlock:
331.38 ns
time per operation/4 workers, 95% reads with Sem:
315.68 ns
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `TTDGRFRY'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[OK] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 1.504s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `3JLRG7T8'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[OK] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `J393WUJM'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[OK] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `SUTY47HN'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[OK] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.012s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `NP67I4S7'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[OK] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `Y6KHLLKX'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[OK] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.112s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `BS0OCSYI'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[OK] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.017s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `UDJU4K9F'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[OK] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.061s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `TQ0TA93D'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[OK] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/bench && ./main.exe -brief Picos_stdio)
Picos_stdio:
blocking reads over time/1 worker:
0.03 M/s
blocking reads over time/2 workers:
0.04 M/s
blocking reads over time/4 workers:
0.22 M/s
non-blocking reads over time/1 worker:
0.29 M/s
non-blocking reads over time/2 workers:
0.25 M/s
non-blocking reads over time/4 workers:
1.12 M/s
time per blocking read/1 worker:
37375.38 ns
time per blocking read/2 workers:
49856.40 ns
time per blocking read/4 workers:
18025.91 ns
time per non-blocking read/1 worker:
3444.76 ns
time per non-blocking read/2 workers:
7998.35 ns
time per non-blocking read/4 workers:
3572.03 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/1 nb pusher, 1 nb reader:
2.02 M/s
messages over time/2 nb pushers, 1 nb reader:
2.06 M/s
messages over time/one domain:
2.87 M/s
time per message/1 nb pusher, 1 nb reader:
992.11 ns
time per message/2 nb pushers, 1 nb reader:
1453.54 ns
time per message/one domain:
348.64 ns
(cd _build/default/bench && ./main.exe -brief Fib)
Fib:
spawns over time/1 mfifo, fib 20:
0.17 M/s
spawns over time/2 mfifos, fib 20:
0.18 M/s
spawns over time/4 mfifos, fib 20:
0.33 M/s
time per spawn/1 mfifo, fib 20:
5983.80 ns
time per spawn/2 mfifos, fib 20:
11017.20 ns
time per spawn/4 mfifos, fib 20:
12173.20 ns
(cd _build/default/bench && ./main.exe -brief 'Picos binaries')
Picos binaries:
binary size/picos:
84.27 kB
binary size/picos.domain:
3.67 kB
binary size/picos.thread:
3.11 kB
binary size/picos_aux.htbl:
53.44 kB
binary size/picos_aux.mpmcq:
15.32 kB
binary size/picos_aux.mpscq:
17.79 kB
binary size/picos_aux.rc:
16.11 kB
binary size/picos_io:
107.63 kB
binary size/picos_io.fd:
9.04 kB
binary size/picos_io.select:
62.20 kB
binary size/picos_io_cohttp:
44.20 kB
binary size/picos_lwt:
25.12 kB
binary size/picos_lwt.unix:
13.81 kB
binary size/picos_mux.fifo:
25.22 kB
binary size/picos_mux.multififo:
60.07 kB
binary size/picos_mux.random:
46.79 kB
binary size/picos_mux.thread:
21.51 kB
binary size/picos_std.awaitable:
32.88 kB
binary size/picos_std.event:
21.49 kB
binary size/picos_std.finally:
18.12 kB
binary size/picos_std.structured:
81.06 kB
binary size/picos_std.sync:
178.91 kB
(cd _build/default/bench && ./main.exe -brief 'Bounded_q with Picos_std_sync')
Bounded_q with Picos_std_sync:
messages over time/1 adder, 1 taker with Lock:
2.32 M/s
messages over time/1 adder, 2 takers with Lock:
1.35 M/s
messages over time/2 adders, 1 taker with Lock:
4.82 M/s
messages over time/2 adders, 2 takers with Lock:
0.78 M/s
messages over time/one domain with Lock:
4.85 M/s
time per message/1 adder, 1 taker with Lock:
862.46 ns
time per message/1 adder, 2 takers with Lock:
2301.32 ns
time per message/2 adders, 1 taker with Lock:
622.84 ns
time per message/2 adders, 2 takers with Lock:
5111.29 ns
time per message/one domain with Lock:
206.10 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
stack and heap used/Fun.protect:
80.00 B
stack and heap used/fiber in a bundle:
240.00 B
stack and heap used/fiber in a flock:
256.00 B
stack and heap used/fiber with shared computation & latch:
240.00 B
stack and heap used/finally:
40.00 B
stack and heap used/instantiate:
96.00 B
stack and heap used/join_after bundle:
248.00 B
stack and heap used/join_after flock:
248.00 B
stack and heap used/lastly:
32.00 B
stack and heap used/promise in a bundle:
360.00 B
stack and heap used/promise in a flock:
376.00 B
2025-06-15 09:24.44 ---> using "b2b32ec0bdb6e920f6774a5e3f76b991475898939910da1adc610d3dffcfe46e" from cache
Job succeeded
2025-06-15 09:24.49: Job succeeded