2026-01-12 22:56.33: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/experimental-htbl (07465a9131997a7d72dc95f38a27d4701dbebea4) (openbsd-amd64:openbsd-77-amd64-4.14_opam-2.5)
Base: openbsd-77-amd64-ocaml-4.14
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "experimental-htbl" && cd "picos" && git reset --hard 07465a91
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM openbsd-77-amd64-ocaml-4.14
# openbsd-77-amd64-4.14_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN doas ln -f /usr/bin/opam-2.5 /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 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 || git fetch origin master) && git reset -q --hard 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 && 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.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.2.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.10.0 lwt.6.0.0 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.dev multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 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.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 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.5 --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
2026-01-12 22:56.33: Using cache hint "ocaml-multicore/picos-openbsd-77-amd64-ocaml-4.14-openbsd-77-amd64-4.14_opam-2.5-08fdba7f1c6619ad26bd6b2832628fc3"
2026-01-12 22:56.33: Using OBuilder spec:
((from openbsd-77-amd64-ocaml-4.14)
(comment openbsd-77-amd64-4.14_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "doas ln -f /usr/bin/opam-2.5 /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 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 || git fetch origin master) && git reset -q --hard 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 && 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.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.2.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.10.0 lwt.6.0.0 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.dev multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 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.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 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.5 --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"))
)
2026-01-12 22:56.33: Waiting for resource in pool OCluster
2026-01-12 22:56.33: Waiting for worker…
2026-01-12 22:56.51: Got resource from pool OCluster
Building on oregano
All commits already cached
HEAD is now at 07465a9 Pin to multicore-magic with unboxed atomic array for 5.4
(from openbsd-77-amd64-ocaml-4.14)
2026-01-12 22:56.51 ---> using "00579f8dea230f94ca5972e50ed0dc70167d1c0e96cfe76e645642677774f17f" from cache
/: (comment openbsd-77-amd64-4.14_opam-2.5)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-01-12 22:56.51 ---> using "da141ce924dbdf0e0442253d076446a1e9daf01a696ee1da60c117d1744ba343" 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] no changes from file:///home/opam/opam-repository
2026-01-12 22:56.51 ---> using "b47c7195b64a0fbbfb2ac6be89bc5d4169c21972d78277da851cf2b727db2a25" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
OpenBSD 7.7
The OCaml toplevel, version 4.14.2
2.5.0
2026-01-12 22:56.51 ---> using "e55220d038fe41141e2145e0c421187821ce842a2e5f51ea535be80bbba79f5e" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 || git fetch origin master) && git reset -q --hard 7d22a58614c38be74d79ae6ef2b64994ca4ffef0 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
93a7bce43a..7d22a58614 master -> origin/master
7d22a58614 Merge pull request #29184 from raphael-proust/opam-publish-lwt.6.0.0
<><> 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 at these versions (e.g. "opam upgrade ocaml.5.4.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-01-12 22:56.51 ---> using "64bd57be83b9234db673e1b77c5c35e76bb1376db6ad0c4ff86b214618215e5b" 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/./))
2026-01-12 22:57.34 ---> saved as "ab1c29da3220acc3ec9a74a538a3faf4536c3f00e9d355f575899539609ea6da"
/: (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)
[WARNING] Failed checks on picos package definition from source at file:///home/opam/src:
warning 74: Field 'pin-depends' contains packages that are neither in 'depends' nor in 'depopts': "multicore-magic"
The following additional pinnings are required by picos.dev:
- multicore-magic.dev at git+https://github.com/ocaml-multicore/multicore-magic#ff3a1060e71b6117ec90e1e985a8618ea845a6e0
Pin and install them? [Y/n] y
[multicore-magic.dev] synchronised (no changes)
multicore-magic is now pinned to git+https://github.com/ocaml-multicore/multicore-magic#ff3a1060e71b6117ec90e1e985a8618ea845a6e0 (version dev)
picos is now pinned to file:///home/opam/src (version dev)
2026-01-12 22:58.29 ---> saved as "0fd014e82cfa281c8d2d268460aa8528d2aabf45b55918e53bf6911a714299b4"
/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
2026-01-12 22:59.12 ---> saved as "a6cd4b604f0e185f7a6e0a71c72ea91a753e4971660c49d5c6424aa881c8bfa7"
/: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.2.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.10.0 lwt.6.0.0 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.dev multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 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.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 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.5 --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_aux.dev] synchronised (file:///home/opam/src)
[picos.dev] synchronised (file:///home/opam/src)
[picos_io.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_std.dev] synchronised (file:///home/opam/src)
[picos_mux.dev] synchronised (file:///home/opam/src)
[multicore-magic.dev] synchronised (no changes)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
gmp node
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/doas "pkg_add" "-I" "gmp" "node"
- quirks-7.103 signed on 2025-10-13T22:55:16Z
- --- +node-22.15.1v0 -------------------
- You may wish to add /usr/local/lib/node_modules/npm/man to /etc/man.conf
- --- +openssl-3.3.3p0v0 -------------------
- You may wish to add /usr/local/lib/eopenssl33/man to /etc/man.conf
# To update the current shell environment, run: eval $(opam env)
2026-01-12 23:00.58 ---> saved as "e25c32a37cf0db2da9bce0122b126ef6aded80b2c321d4acd237485e48a66836"
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[multicore-magic.dev] synchronised (no changes)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 97 packages
- install alcotest 1.9.1
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.16.4
- install base-bytes base
- install base64 3.5.2
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 2.1.0
- install cohttp 6.2.1
- install cohttp-lwt 6.2.1
- install cohttp-lwt-unix 6.2.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.5.0
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.20.2
- install dune-configurator 3.20.2
- install duration 0.2.1
- install either 1.0.0
- install eqaf 0.10
- install fmt 0.11.0
- install fpath 0.7.3
- install gen 1.1
- install gmap 0.3.0
- install http 6.2.1
- install ipaddr 5.6.1
- install ipaddr-sexp 5.6.1
- install js_of_ocaml 6.2.0
- install js_of_ocaml-compiler 6.2.0
- install kdf 1.0.0
- install logs 0.10.0
- install lwt 6.0.0
- install macaddr 5.6.1
- install magic-mime 1.3.1
- install mdx 2.5.1
- install menhir 20250912
- install menhirCST 20250912
- install menhirLib 20250912
- install menhirSdk 20250912
- install mirage-crypto 2.0.2
- install mirage-crypto-ec 2.0.2
- install mirage-crypto-pk 2.0.2
- install mirage-crypto-rng 2.0.2
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic dev (pinned)
- install multicore-magic-dscheck 2.3.1
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- 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.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.91
- install qcheck-multicoretests-util 0.10
- install qcheck-stm 0.10
- install re 1.14.0
- install result 1.5
- install rresult 0.7.0
- install sedlex 3.7
- install seq base
- install sexplib0 v0.16.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.1.1
- 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 base.v0.16.4 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved alcotest.1.9.1 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.2.1.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)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved containers.3.16 (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-npm.1
-> retrieved cohttp.6.2.1, cohttp-lwt.6.2.1, cohttp-lwt-unix.6.2.1, http.6.2.1 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.5.0 (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.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved ipaddr.5.6.1, ipaddr-sexp.5.6.1, macaddr.5.6.1 (cached)
-> retrieved kdf.1.0.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved lwt.6.0.0 (cached)
-> retrieved magic-mime.1.3.1 (cached)
-> retrieved mdx.2.5.1 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved oseq.0.5.1 (cached)
-> installed cmdliner.2.1.0
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved multicore-magic.dev (no changes)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> retrieved seq.base (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved thread-local-storage.0.2 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed seq.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed rresult.0.7.0
-> installed fpath.0.7.3
-> installed uutf.1.0.4
-> installed dune.3.20.2
-> installed base64.3.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed asn1-combinators.0.3.2
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed domain_shims.0.1.0
-> installed cppo.1.8.0
-> installed duration.0.2.1
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> installed gen.1.1
-> installed dune-configurator.3.20.2
-> installed http.6.2.1
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed digestif.1.3.0
-> installed ipaddr.5.6.1
-> installed magic-mime.1.3.1
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed containers.3.16
-> installed multicore-magic.dev
-> installed mirage-crypto.2.0.2
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed kdf.1.0.0
-> installed ocaml-version.4.0.3
-> installed ocplib-endian.1.2
-> installed angstrom.0.16.1
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ppx_derivers.1.2.1
-> installed psq.0.2.1
-> installed qcheck-core.0.91
-> installed lwt.6.0.0
-> installed qcheck-multicoretests-util.0.10
-> installed re.1.14.0
-> installed result.1.5
-> installed qcheck-stm.0.10
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.16.0
-> installed stringext.1.6.0
-> installed alcotest.1.9.1
-> installed menhir.20250912
-> installed base.v0.16.4
-> installed thread-table.1.0.0
-> installed thread-local-storage.0.2
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed uri.4.4.0
-> installed multicore-magic-dscheck.2.3.1
-> installed yojson.3.0.0
-> installed multicore-bench.0.1.7
-> installed ppxlib.0.35.0
-> installed sedlex.3.7
-> installed ppx_sexp_conv.v0.16.0
-> installed ipaddr-sexp.5.6.1
-> installed uri-sexp.4.4.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.10.0
-> installed cohttp.6.2.1
-> installed conduit.8.0.0
-> installed bos.0.2.1
-> installed conduit-lwt.8.0.0
-> installed cohttp-lwt.6.2.1
-> installed mirage-crypto-rng.2.0.2
-> installed mdx.2.5.1
-> installed mirage-crypto-pk.2.0.2
-> installed js_of_ocaml.6.2.0
-> installed mirage-crypto-ec.2.0.2
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.2.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-12 23:09.14 ---> saved as "c0e8f2492a3696350b3b91a3dfdd0f764f814c04441627cd57a09438cffe35cc"
/: (copy (src .) (dst /home/opam/src))
2026-01-12 23:09.56 ---> saved as "8041d441e43f8943f044c3510c52c4547738f316ab2c829abe1f24f4467b3267"
/: (run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 2872501550860318481
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 4471942250037691395
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
================================================================================
success (ran 1 tests)
random seed: 4608922155909197041
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
================================================================================
success (ran 1 tests)
random seed: 300389937639612042
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpscq sequential
[✓] 256 0 0 256 / 256 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 1466417468082712221
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpscq sequential
[✓] 512 0 0 512 / 512 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 3805396502743520278
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `3N2GLT3E'.
[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.002s. 2 tests run.
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `SYEAA9O8'.
[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 0.448s. 7 tests run.
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 697365334101390747
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq concurrent
[ ] 7 0 0 7 / 32 0.2s Mpmcq concurrent
[ ] 26 0 0 26 / 32 0.3s Mpmcq concurrent
[✓] 32 0 0 32 / 32 0.4s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3186945094830010354
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 concurrent
[ ] 4 0 0 4 / 64 0.1s Mpmcq concurrent
[ ] 10 0 0 10 / 64 0.2s Mpmcq concurrent
[ ] 15 0 0 15 / 64 0.4s Mpmcq concurrent
[ ] 21 0 0 21 / 64 0.5s Mpmcq concurrent
[ ] 25 0 0 25 / 64 0.6s Mpmcq concurrent
[ ] 29 0 0 29 / 64 0.8s Mpmcq concurrent
[ ] 30 0 0 30 / 64 0.9s Mpmcq concurrent
[ ] 34 0 0 34 / 64 1.1s Mpmcq concurrent
[ ] 41 0 0 41 / 64 1.3s Mpmcq concurrent
[ ] 47 0 0 47 / 64 1.5s Mpmcq concurrent
[ ] 51 0 0 51 / 64 1.6s Mpmcq concurrent
[ ] 61 0 0 61 / 64 1.7s Mpmcq concurrent
[ ] 64 0 0 64 / 64 1.9s Mpmcq concurrent
[✓] 64 0 0 64 / 64 1.9s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3235753278051354340
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 concurrent
[ ] 19 0 0 19 / 128 0.1s Mpmcq concurrent
[ ] 22 0 0 22 / 128 0.2s Mpmcq concurrent
[ ] 32 0 0 32 / 128 0.4s Mpmcq concurrent
[ ] 34 0 0 34 / 128 0.5s Mpmcq concurrent
[ ] 37 0 0 37 / 128 0.6s Mpmcq concurrent
[ ] 41 0 0 41 / 128 0.9s Mpmcq concurrent
[ ] 46 0 0 46 / 128 1.0s Mpmcq concurrent
[ ] 48 0 0 48 / 128 1.1s Mpmcq concurrent
[ ] 55 0 0 55 / 128 1.2s Mpmcq concurrent
[ ] 58 0 0 58 / 128 1.4s Mpmcq concurrent
[ ] 59 0 0 59 / 128 1.6s Mpmcq concurrent
[ ] 77 0 0 77 / 128 1.7s Mpmcq concurrent
[ ] 85 0 0 85 / 128 1.8s Mpmcq concurrent
[ ] 92 0 0 92 / 128 1.9s Mpmcq concurrent
[ ] 93 0 0 93 / 128 2.0s Mpmcq concurrent
[ ] 102 0 0 102 / 128 2.2s Mpmcq concurrent
[ ] 104 0 0 104 / 128 2.3s Mpmcq concurrent
[ ] 109 0 0 109 / 128 2.5s Mpmcq concurrent
[ ] 121 0 0 121 / 128 2.7s Mpmcq concurrent
[✓] 128 0 0 128 / 128 2.7s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2166528739990688221
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 concurrent
[ ] 2 0 0 2 / 256 0.2s Mpmcq concurrent
[ ] 6 0 0 6 / 256 0.3s Mpmcq concurrent
[ ] 8 0 0 8 / 256 0.4s Mpmcq concurrent
[ ] 15 0 0 15 / 256 0.6s Mpmcq concurrent
[ ] 17 0 0 17 / 256 0.7s Mpmcq concurrent
[ ] 26 0 0 26 / 256 0.8s Mpmcq concurrent
[ ] 30 0 0 30 / 256 0.9s Mpmcq concurrent
[ ] 38 0 0 38 / 256 1.1s Mpmcq concurrent
[ ] 47 0 0 47 / 256 1.3s Mpmcq concurrent
[ ] 50 0 0 50 / 256 1.5s Mpmcq concurrent
[ ] 54 0 0 54 / 256 1.6s Mpmcq concurrent
[ ] 59 0 0 59 / 256 1.8s Mpmcq concurrent
[ ] 64 0 0 64 / 256 1.9s Mpmcq concurrent
[ ] 69 0 0 69 / 256 2.1s Mpmcq concurrent
[ ] 71 0 0 71 / 256 2.2s Mpmcq concurrent
[ ] 77 0 0 77 / 256 2.3s Mpmcq concurrent
[ ] 79 0 0 79 / 256 2.5s Mpmcq concurrent
[ ] 84 0 0 84 / 256 2.7s Mpmcq concurrent
[ ] 91 0 0 91 / 256 2.9s Mpmcq concurrent
[ ] 92 0 0 92 / 256 3.0s Mpmcq concurrent
[ ] 93 0 0 93 / 256 3.2s Mpmcq concurrent
[ ] 97 0 0 97 / 256 3.3s Mpmcq concurrent
[ ] 104 0 0 104 / 256 3.4s Mpmcq concurrent
[ ] 106 0 0 106 / 256 3.6s Mpmcq concurrent
[ ] 109 0 0 109 / 256 3.7s Mpmcq concurrent
[ ] 112 0 0 112 / 256 3.8s Mpmcq concurrent
[ ] 118 0 0 118 / 256 3.9s Mpmcq concurrent
[ ] 121 0 0 121 / 256 4.0s Mpmcq concurrent
[ ] 128 0 0 128 / 256 4.1s Mpmcq concurrent
[ ] 131 0 0 131 / 256 4.2s Mpmcq concurrent
[ ] 135 0 0 135 / 256 4.4s Mpmcq concurrent
[ ] 139 0 0 139 / 256 4.5s Mpmcq concurrent
[ ] 144 0 0 144 / 256 4.6s Mpmcq concurrent
[ ] 152 0 0 152 / 256 4.8s Mpmcq concurrent
[ ] 157 0 0 157 / 256 4.9s Mpmcq concurrent
[ ] 166 0 0 166 / 256 5.0s Mpmcq concurrent
[ ] 170 0 0 170 / 256 5.1s Mpmcq concurrent
[ ] 178 0 0 178 / 256 5.3s Mpmcq concurrent
[ ] 190 0 0 190 / 256 5.4s Mpmcq concurrent
[ ] 194 0 0 194 / 256 5.5s Mpmcq concurrent
[ ] 206 0 0 206 / 256 5.6s Mpmcq concurrent
[ ] 210 0 0 210 / 256 5.9s Mpmcq concurrent
[ ] 213 0 0 213 / 256 6.0s Mpmcq concurrent
[ ] 217 0 0 217 / 256 6.3s Mpmcq concurrent
[ ] 219 0 0 219 / 256 6.4s Mpmcq concurrent
[ ] 223 0 0 223 / 256 6.6s Mpmcq concurrent
[ ] 227 0 0 227 / 256 6.7s Mpmcq concurrent
[ ] 233 0 0 233 / 256 6.8s Mpmcq concurrent
[ ] 235 0 0 235 / 256 7.0s Mpmcq concurrent
[ ] 240 0 0 240 / 256 7.2s Mpmcq concurrent
[ ] 243 0 0 243 / 256 7.3s Mpmcq concurrent
[ ] 245 0 0 245 / 256 7.4s Mpmcq concurrent
[ ] 248 0 0 248 / 256 7.6s Mpmcq concurrent
[ ] 249 0 0 249 / 256 7.7s Mpmcq concurrent
[ ] 255 0 0 255 / 256 7.8s Mpmcq concurrent
[✓] 256 0 0 256 / 256 7.8s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 881216257411388865
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpmcq sequential
[✓] 512 0 0 512 / 512 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 512 0.0s Mpmcq concurrent
[ ] 2 0 0 2 / 512 0.1s Mpmcq concurrent
[ ] 6 0 0 6 / 512 0.3s Mpmcq concurrent
[ ] 8 0 0 8 / 512 0.4s Mpmcq concurrent
[ ] 11 0 0 11 / 512 0.5s Mpmcq concurrent
[ ] 20 0 0 20 / 512 0.6s Mpmcq concurrent
[ ] 27 0 0 27 / 512 0.7s Mpmcq concurrent
[ ] 31 0 0 31 / 512 0.9s Mpmcq concurrent
[ ] 37 0 0 37 / 512 1.1s Mpmcq concurrent
[ ] 42 0 0 42 / 512 1.2s Mpmcq concurrent
[ ] 44 0 0 44 / 512 1.4s Mpmcq concurrent
[ ] 45 0 0 45 / 512 1.6s Mpmcq concurrent
[ ] 46 0 0 46 / 512 1.7s Mpmcq concurrent
[ ] 48 0 0 48 / 512 1.8s Mpmcq concurrent
[ ] 51 0 0 51 / 512 1.9s Mpmcq concurrent
[ ] 59 0 0 59 / 512 2.1s Mpmcq concurrent
[ ] 67 0 0 67 / 512 2.2s Mpmcq concurrent
[ ] 72 0 0 72 / 512 2.5s Mpmcq concurrent
[ ] 73 0 0 73 / 512 2.8s Mpmcq concurrent
[ ] 76 0 0 76 / 512 2.9s Mpmcq concurrent
[ ] 78 0 0 78 / 512 3.0s Mpmcq concurrent
[ ] 80 0 0 80 / 512 3.2s Mpmcq concurrent
[ ] 84 0 0 84 / 512 3.3s Mpmcq concurrent
[ ] 85 0 0 85 / 512 3.4s Mpmcq concurrent
[ ] 89 0 0 89 / 512 3.5s Mpmcq concurrent
[ ] 100 0 0 100 / 512 3.7s Mpmcq concurrent
[ ] 106 0 0 106 / 512 3.9s Mpmcq concurrent
[ ] 111 0 0 111 / 512 4.1s Mpmcq concurrent
[ ] 112 0 0 112 / 512 4.6s Mpmcq concurrent
[ ] 114 0 0 114 / 512 4.7s Mpmcq concurrent
[ ] 115 0 0 115 / 512 4.8s Mpmcq concurrent
[ ] 116 0 0 116 / 512 5.1s Mpmcq concurrent
[ ] 118 0 0 118 / 512 5.3s Mpmcq concurrent
[ ] 130 0 0 130 / 512 5.5s Mpmcq concurrent
[ ] 131 0 0 131 / 512 5.6s Mpmcq concurrent
[ ] 132 0 0 132 / 512 5.8s Mpmcq concurrent
[ ] 137 0 0 137 / 512 5.9s Mpmcq concurrent
[ ] 138 0 0 138 / 512 6.0s Mpmcq concurrent
[ ] 144 0 0 144 / 512 6.2s Mpmcq concurrent
[ ] 149 0 0 149 / 512 6.3s Mpmcq concurrent
[ ] 154 0 0 154 / 512 6.4s Mpmcq concurrent
[ ] 155 0 0 155 / 512 6.6s Mpmcq concurrent
[ ] 162 0 0 162 / 512 6.7s Mpmcq concurrent
[ ] 163 0 0 163 / 512 6.8s Mpmcq concurrent
[ ] 169 0 0 169 / 512 6.9s Mpmcq concurrent
[ ] 173 0 0 173 / 512 7.1s Mpmcq concurrent
[ ] 181 0 0 181 / 512 7.2s Mpmcq concurrent
[ ] 182 0 0 182 / 512 7.3s Mpmcq concurrent
[ ] 186 0 0 186 / 512 7.5s Mpmcq concurrent
[ ] 190 0 0 190 / 512 7.6s Mpmcq concurrent
[ ] 193 0 0 193 / 512 7.8s Mpmcq concurrent
[ ] 198 0 0 198 / 512 8.0s Mpmcq concurrent
[ ] 200 0 0 200 / 512 8.2s Mpmcq concurrent
[ ] 204 0 0 204 / 512 8.3s Mpmcq concurrent
[ ] 208 0 0 208 / 512 8.4s Mpmcq concurrent
[ ] 213 0 0 213 / 512 8.5s Mpmcq concurrent
[ ] 224 0 0 224 / 512 8.7s Mpmcq concurrent
[ ] 230 0 0 230 / 512 8.8s Mpmcq concurrent
[ ] 232 0 0 232 / 512 8.9s Mpmcq concurrent
[ ] 235 0 0 235 / 512 9.0s Mpmcq concurrent
[ ] 245 0 0 245 / 512 9.2s Mpmcq concurrent
[ ] 251 0 0 251 / 512 9.3s Mpmcq concurrent
[ ] 262 0 0 262 / 512 9.4s Mpmcq concurrent
[ ] 266 0 0 266 / 512 9.5s Mpmcq concurrent
[ ] 278 0 0 278 / 512 9.6s Mpmcq concurrent
[ ] 284 0 0 284 / 512 9.7s Mpmcq concurrent
[ ] 285 0 0 285 / 512 9.9s Mpmcq concurrent
[ ] 286 0 0 286 / 512 10.0s Mpmcq concurrent
[ ] 288 0 0 288 / 512 10.2s Mpmcq concurrent
[ ] 293 0 0 293 / 512 10.3s Mpmcq concurrent
[ ] 296 0 0 296 / 512 10.4s Mpmcq concurrent
[ ] 303 0 0 303 / 512 10.6s Mpmcq concurrent
[ ] 304 0 0 304 / 512 10.7s Mpmcq concurrent
[ ] 313 0 0 313 / 512 10.8s Mpmcq concurrent
[ ] 328 0 0 328 / 512 11.0s Mpmcq concurrent
[ ] 342 0 0 342 / 512 11.2s Mpmcq concurrent
[ ] 343 0 0 343 / 512 11.3s Mpmcq concurrent
[ ] 350 0 0 350 / 512 11.4s Mpmcq concurrent
[ ] 353 0 0 353 / 512 11.5s Mpmcq concurrent
[ ] 359 0 0 359 / 512 11.6s Mpmcq concurrent
[ ] 362 0 0 362 / 512 11.7s Mpmcq concurrent
[ ] 368 0 0 368 / 512 12.0s Mpmcq concurrent
[ ] 379 0 0 379 / 512 12.2s Mpmcq concurrent
[ ] 389 0 0 389 / 512 12.5s Mpmcq concurrent
[ ] 393 0 0 393 / 512 12.6s Mpmcq concurrent
[ ] 403 0 0 403 / 512 12.7s Mpmcq concurrent
[ ] 411 0 0 411 / 512 12.8s Mpmcq concurrent
[ ] 415 0 0 415 / 512 13.0s Mpmcq concurrent
[ ] 422 0 0 422 / 512 13.2s Mpmcq concurrent
[ ] 429 0 0 429 / 512 13.4s Mpmcq concurrent
[ ] 435 0 0 435 / 512 13.5s Mpmcq concurrent
[ ] 438 0 0 438 / 512 13.7s Mpmcq concurrent
[ ] 454 0 0 454 / 512 13.8s Mpmcq concurrent
[ ] 462 0 0 462 / 512 14.0s Mpmcq concurrent
[ ] 474 0 0 474 / 512 14.2s Mpmcq concurrent
[ ] 487 0 0 487 / 512 14.3s Mpmcq concurrent
[ ] 503 0 0 503 / 512 14.4s Mpmcq concurrent
[✓] 512 0 0 512 / 512 14.5s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2216378056736685794
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq concurrent
[ ] 10 0 0 10 / 32 0.1s Mpmcq concurrent
[ ] 17 0 0 17 / 32 0.3s Mpmcq concurrent
[ ] 25 0 0 25 / 32 0.4s Mpmcq concurrent
[✓] 32 0 0 32 / 32 0.4s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `GD676ICV'.
[OK] Unix 0 system.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.026s. 1 test run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `2597CJWO'.
[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.468s. 6 tests run.
(cd _build/default/test && ./test_server_and_client.exe)
Using non-blocking sockets and threads on OCaml 4:
Recursive server running
Server listening
Client B running
Server accepting
Client A running
Server accepted client
Client B connected
Server accepting
Server accepted client
Client Client B wrote 100
A connected
Server accepting
Server read Client A wrote 100
100
Server read 100
Client B read 50
Server wrote 50
Client A read 50
Server wrote 50
Server and Client test: OK
(cd _build/default/test && ./test_htbl.exe)
random seed: 3662934155304787559
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 4 0 0 4 / 32 0.1s Htbl concurrent
[ ] 6 0 0 6 / 32 0.2s Htbl concurrent
[ ] 11 0 0 11 / 32 0.3s Htbl concurrent
[ ] 20 0 0 20 / 32 0.5s Htbl concurrent
[ ] 23 0 0 23 / 32 0.6s Htbl concurrent
[ ] 31 0 0 31 / 32 0.7s Htbl concurrent
[✓] 32 0 0 32 / 32 0.7s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1611400534703116652
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 concurrent
[ ] 6 0 0 6 / 64 0.1s Htbl concurrent
[ ] 8 0 0 8 / 64 0.2s Htbl concurrent
[ ] 13 0 0 13 / 64 0.3s Htbl concurrent
[ ] 22 0 0 22 / 64 0.4s Htbl concurrent
[ ] 25 0 0 25 / 64 0.6s Htbl concurrent
[ ] 28 0 0 28 / 64 0.8s Htbl concurrent
[ ] 32 0 0 32 / 64 1.0s Htbl concurrent
[ ] 34 0 0 34 / 64 1.2s Htbl concurrent
[ ] 35 0 0 35 / 64 1.3s Htbl concurrent
[ ] 36 0 0 36 / 64 1.5s Htbl concurrent
[ ] 43 0 0 43 / 64 1.7s Htbl concurrent
[ ] 46 0 0 46 / 64 1.9s Htbl concurrent
[ ] 50 0 0 50 / 64 2.0s Htbl concurrent
[ ] 57 0 0 57 / 64 2.1s Htbl concurrent
[ ] 59 0 0 59 / 64 2.3s Htbl concurrent
[ ] 60 0 0 60 / 64 2.4s Htbl concurrent
[ ] 64 0 0 64 / 64 2.6s Htbl concurrent
[✓] 64 0 0 64 / 64 2.6s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 15672644618527766
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 concurrent
[ ] 7 0 0 7 / 128 0.3s Htbl concurrent
[ ] 14 0 0 14 / 128 0.4s Htbl concurrent
[ ] 17 0 0 17 / 128 0.5s Htbl concurrent
[ ] 19 0 0 19 / 128 0.7s Htbl concurrent
[ ] 21 0 0 21 / 128 0.8s Htbl concurrent
[ ] 25 0 0 25 / 128 0.9s Htbl concurrent
[ ] 35 0 0 35 / 128 1.1s Htbl concurrent
[ ] 40 0 0 40 / 128 1.4s Htbl concurrent
[ ] 43 0 0 43 / 128 1.5s Htbl concurrent
[ ] 49 0 0 49 / 128 1.6s Htbl concurrent
[ ] 51 0 0 51 / 128 2.0s Htbl concurrent
[ ] 53 0 0 53 / 128 2.1s Htbl concurrent
[ ] 55 0 0 55 / 128 2.3s Htbl concurrent
[ ] 65 0 0 65 / 128 2.4s Htbl concurrent
[ ] 72 0 0 72 / 128 2.5s Htbl concurrent
[ ] 73 0 0 73 / 128 2.7s Htbl concurrent
[ ] 75 0 0 75 / 128 2.8s Htbl concurrent
[ ] 77 0 0 77 / 128 2.9s Htbl concurrent
[ ] 80 0 0 80 / 128 3.0s Htbl concurrent
[ ] 88 0 0 88 / 128 3.1s Htbl concurrent
[ ] 92 0 0 92 / 128 3.3s Htbl concurrent
[ ] 96 0 0 96 / 128 3.6s Htbl concurrent
[ ] 101 0 0 101 / 128 3.7s Htbl concurrent
[ ] 105 0 0 105 / 128 3.8s Htbl concurrent
[ ] 111 0 0 111 / 128 3.9s Htbl concurrent
[ ] 119 0 0 119 / 128 4.1s Htbl concurrent
[ ] 128 0 0 128 / 128 4.2s Htbl concurrent
[✓] 128 0 0 128 / 128 4.2s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4174057199770088026
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 concurrent
[ ] 3 0 0 3 / 256 0.1s Htbl concurrent
[ ] 10 0 0 10 / 256 0.3s Htbl concurrent
[ ] 17 0 0 17 / 256 0.5s Htbl concurrent
[ ] 20 0 0 20 / 256 0.6s Htbl concurrent
[ ] 24 0 0 24 / 256 0.7s Htbl concurrent
[ ] 29 0 0 29 / 256 0.8s Htbl concurrent
[ ] 37 0 0 37 / 256 0.9s Htbl concurrent
[ ] 38 0 0 38 / 256 1.0s Htbl concurrent
[ ] 50 0 0 50 / 256 1.2s Htbl concurrent
[ ] 59 0 0 59 / 256 1.3s Htbl concurrent
[ ] 61 0 0 61 / 256 1.6s Htbl concurrent
[ ] 74 0 0 74 / 256 1.7s Htbl concurrent
[ ] 87 0 0 87 / 256 1.8s Htbl concurrent
[ ] 95 0 0 95 / 256 1.9s Htbl concurrent
[ ] 99 0 0 99 / 256 2.1s Htbl concurrent
[ ] 102 0 0 102 / 256 2.2s Htbl concurrent
[ ] 108 0 0 108 / 256 2.3s Htbl concurrent
[ ] 115 0 0 115 / 256 2.4s Htbl concurrent
[ ] 125 0 0 125 / 256 2.5s Htbl concurrent
[ ] 129 0 0 129 / 256 2.6s Htbl concurrent
[ ] 133 0 0 133 / 256 2.8s Htbl concurrent
[ ] 142 0 0 142 / 256 2.9s Htbl concurrent
[ ] 144 0 0 144 / 256 3.1s Htbl concurrent
[ ] 146 0 0 146 / 256 3.2s Htbl concurrent
[ ] 152 0 0 152 / 256 3.3s Htbl concurrent
[ ] 158 0 0 158 / 256 3.4s Htbl concurrent
[ ] 161 0 0 161 / 256 3.6s Htbl concurrent
[ ] 167 0 0 167 / 256 3.7s Htbl concurrent
[ ] 171 0 0 171 / 256 3.9s Htbl concurrent
[ ] 180 0 0 180 / 256 4.0s Htbl concurrent
[ ] 185 0 0 185 / 256 4.1s Htbl concurrent
[ ] 191 0 0 191 / 256 4.2s Htbl concurrent
[ ] 197 0 0 197 / 256 4.3s Htbl concurrent
[ ] 206 0 0 206 / 256 4.4s Htbl concurrent
[ ] 211 0 0 211 / 256 4.7s Htbl concurrent
[ ] 218 0 0 218 / 256 4.8s Htbl concurrent
[ ] 224 0 0 224 / 256 4.9s Htbl concurrent
[ ] 233 0 0 233 / 256 5.0s Htbl concurrent
[ ] 240 0 0 240 / 256 5.1s Htbl concurrent
[ ] 248 0 0 248 / 256 5.2s Htbl concurrent
[ ] 251 0 0 251 / 256 5.3s Htbl concurrent
[✓] 256 0 0 256 / 256 5.4s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2831639537821532831
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Htbl sequential
[✓] 512 0 0 512 / 512 0.0s Htbl sequential
[ ] 0 0 0 0 / 512 0.0s Htbl concurrent
[ ] 5 0 0 5 / 512 0.2s Htbl concurrent
[ ] 8 0 0 8 / 512 0.3s Htbl concurrent
[ ] 11 0 0 11 / 512 0.5s Htbl concurrent
[ ] 14 0 0 14 / 512 0.7s Htbl concurrent
[ ] 17 0 0 17 / 512 0.8s Htbl concurrent
[ ] 22 0 0 22 / 512 0.9s Htbl concurrent
[ ] 27 0 0 27 / 512 1.2s Htbl concurrent
[ ] 28 0 0 28 / 512 1.3s Htbl concurrent
[ ] 32 0 0 32 / 512 1.4s Htbl concurrent
[ ] 34 0 0 34 / 512 1.5s Htbl concurrent
[ ] 37 0 0 37 / 512 1.7s Htbl concurrent
[ ] 38 0 0 38 / 512 1.9s Htbl concurrent
[ ] 48 0 0 48 / 512 2.0s Htbl concurrent
[ ] 50 0 0 50 / 512 2.2s Htbl concurrent
[ ] 52 0 0 52 / 512 2.3s Htbl concurrent
[ ] 54 0 0 54 / 512 2.5s Htbl concurrent
[ ] 57 0 0 57 / 512 2.7s Htbl concurrent
[ ] 61 0 0 61 / 512 2.9s Htbl concurrent
[ ] 64 0 0 64 / 512 3.0s Htbl concurrent
[ ] 68 0 0 68 / 512 3.3s Htbl concurrent
[ ] 69 0 0 69 / 512 3.6s Htbl concurrent
[ ] 70 0 0 70 / 512 3.9s Htbl concurrent
[ ] 72 0 0 72 / 512 4.0s Htbl concurrent
[ ] 75 0 0 75 / 512 4.1s Htbl concurrent
[ ] 77 0 0 77 / 512 4.2s Htbl concurrent
[ ] 80 0 0 80 / 512 4.3s Htbl concurrent
[ ] 86 0 0 86 / 512 4.6s Htbl concurrent
[ ] 89 0 0 89 / 512 4.7s Htbl concurrent
[ ] 90 0 0 90 / 512 4.8s Htbl concurrent
[ ] 92 0 0 92 / 512 5.1s Htbl concurrent
[ ] 93 0 0 93 / 512 5.2s Htbl concurrent
[ ] 94 0 0 94 / 512 5.3s Htbl concurrent
[ ] 97 0 0 97 / 512 6.1s Htbl concurrent
[ ] 102 0 0 102 / 512 6.2s Htbl concurrent
[ ] 103 0 0 103 / 512 6.4s Htbl concurrent
[ ] 108 0 0 108 / 512 6.5s Htbl concurrent
[ ] 109 0 0 109 / 512 6.6s Htbl concurrent
[ ] 113 0 0 113 / 512 6.8s Htbl concurrent
[ ] 116 0 0 116 / 512 6.9s Htbl concurrent
[ ] 126 0 0 126 / 512 7.1s Htbl concurrent
[ ] 136 0 0 136 / 512 7.2s Htbl concurrent
[ ] 141 0 0 141 / 512 7.4s Htbl concurrent
[ ] 145 0 0 145 / 512 7.6s Htbl concurrent
[ ] 149 0 0 149 / 512 7.7s Htbl concurrent
[ ] 160 0 0 160 / 512 7.9s Htbl concurrent
[ ] 169 0 0 169 / 512 8.2s Htbl concurrent
[ ] 173 0 0 173 / 512 8.3s Htbl concurrent
[ ] 176 0 0 176 / 512 8.4s Htbl concurrent
[ ] 177 0 0 177 / 512 8.5s Htbl concurrent
[ ] 179 0 0 179 / 512 8.6s Htbl concurrent
[ ] 182 0 0 182 / 512 8.8s Htbl concurrent
[ ] 184 0 0 184 / 512 9.0s Htbl concurrent
[ ] 188 0 0 188 / 512 9.1s Htbl concurrent
[ ] 191 0 0 191 / 512 9.2s Htbl concurrent
[ ] 195 0 0 195 / 512 9.5s Htbl concurrent
[ ] 197 0 0 197 / 512 9.6s Htbl concurrent
[ ] 201 0 0 201 / 512 9.7s Htbl concurrent
[ ] 210 0 0 210 / 512 9.8s Htbl concurrent
[ ] 212 0 0 212 / 512 10.0s Htbl concurrent
[ ] 216 0 0 216 / 512 10.1s Htbl concurrent
[ ] 226 0 0 226 / 512 10.3s Htbl concurrent
[ ] 236 0 0 236 / 512 10.5s Htbl concurrent
[ ] 240 0 0 240 / 512 10.6s Htbl concurrent
[ ] 243 0 0 243 / 512 10.8s Htbl concurrent
[ ] 246 0 0 246 / 512 11.0s Htbl concurrent
[ ] 248 0 0 248 / 512 11.1s Htbl concurrent
[ ] 250 0 0 250 / 512 11.3s Htbl concurrent
[ ] 252 0 0 252 / 512 11.4s Htbl concurrent
[ ] 256 0 0 256 / 512 11.5s Htbl concurrent
[ ] 260 0 0 260 / 512 11.7s Htbl concurrent
[ ] 262 0 0 262 / 512 11.8s Htbl concurrent
[ ] 269 0 0 269 / 512 11.9s Htbl concurrent
[ ] 273 0 0 273 / 512 12.1s Htbl concurrent
[ ] 276 0 0 276 / 512 12.2s Htbl concurrent
[ ] 280 0 0 280 / 512 12.3s Htbl concurrent
[ ] 283 0 0 283 / 512 12.4s Htbl concurrent
[ ] 287 0 0 287 / 512 12.5s Htbl concurrent
[ ] 290 0 0 290 / 512 12.8s Htbl concurrent
[ ] 302 0 0 302 / 512 13.0s Htbl concurrent
[ ] 311 0 0 311 / 512 13.1s Htbl concurrent
[ ] 312 0 0 312 / 512 13.2s Htbl concurrent
[ ] 316 0 0 316 / 512 13.3s Htbl concurrent
[ ] 320 0 0 320 / 512 13.4s Htbl concurrent
[ ] 332 0 0 332 / 512 13.5s Htbl concurrent
[ ] 339 0 0 339 / 512 13.6s Htbl concurrent
[ ] 350 0 0 350 / 512 13.7s Htbl concurrent
[ ] 357 0 0 357 / 512 13.8s Htbl concurrent
[ ] 369 0 0 369 / 512 14.0s Htbl concurrent
[ ] 374 0 0 374 / 512 14.1s Htbl concurrent
[ ] 377 0 0 377 / 512 14.2s Htbl concurrent
[ ] 390 0 0 390 / 512 14.3s Htbl concurrent
[ ] 397 0 0 397 / 512 14.4s Htbl concurrent
[ ] 411 0 0 411 / 512 14.7s Htbl concurrent
[ ] 428 0 0 428 / 512 14.8s Htbl concurrent
[ ] 430 0 0 430 / 512 14.9s Htbl concurrent
[ ] 434 0 0 434 / 512 15.0s Htbl concurrent
[ ] 436 0 0 436 / 512 15.1s Htbl concurrent
[ ] 440 0 0 440 / 512 15.2s Htbl concurrent
[ ] 448 0 0 448 / 512 15.4s Htbl concurrent
[ ] 451 0 0 451 / 512 15.5s Htbl concurrent
[ ] 466 0 0 466 / 512 15.6s Htbl concurrent
[ ] 483 0 0 483 / 512 15.8s Htbl concurrent
[ ] 487 0 0 487 / 512 16.0s Htbl concurrent
[ ] 490 0 0 490 / 512 16.2s Htbl concurrent
[ ] 503 0 0 503 / 512 16.5s Htbl concurrent
[ ] 507 0 0 507 / 512 16.6s Htbl concurrent
[✓] 512 0 0 512 / 512 16.6s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1050320236404621375
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 5 0 0 5 / 32 0.2s Htbl concurrent
[ ] 11 0 0 11 / 32 0.4s Htbl concurrent
[ ] 26 0 0 26 / 32 0.6s Htbl concurrent
[ ] 27 0 0 27 / 32 1.0s Htbl concurrent
[✓] 32 0 0 32 / 32 1.0s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `T8RNLY28'.
[OK] Intr 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 5.082s. 1 test run.
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 2457068806785318940
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock concurrent
[ ] 8 0 0 8 / 32 0.1s Lock concurrent
[ ] 24 0 0 24 / 32 0.2s Lock concurrent
[✓] 32 0 0 32 / 32 0.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1661896235781799967
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 concurrent
[ ] 14 0 0 14 / 64 0.1s Lock concurrent
[ ] 23 0 0 23 / 64 0.3s Lock concurrent
[ ] 32 0 0 32 / 64 0.4s Lock concurrent
[ ] 39 0 0 39 / 64 0.6s Lock concurrent
[ ] 46 0 0 46 / 64 0.7s Lock concurrent
[ ] 55 0 0 55 / 64 0.8s Lock concurrent
[✓] 64 0 0 64 / 64 0.9s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1822759792502087564
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 concurrent
[ ] 4 0 0 4 / 128 0.1s Lock concurrent
[ ] 15 0 0 15 / 128 0.2s Lock concurrent
[ ] 20 0 0 20 / 128 0.3s Lock concurrent
[ ] 30 0 0 30 / 128 0.4s Lock concurrent
[ ] 55 0 0 55 / 128 0.5s Lock concurrent
[ ] 67 0 0 67 / 128 0.6s Lock concurrent
[ ] 71 0 0 71 / 128 0.8s Lock concurrent
[ ] 79 0 0 79 / 128 0.9s Lock concurrent
[ ] 83 0 0 83 / 128 1.1s Lock concurrent
[ ] 84 0 0 84 / 128 1.3s Lock concurrent
[ ] 97 0 0 97 / 128 1.4s Lock concurrent
[ ] 105 0 0 105 / 128 1.5s Lock concurrent
[ ] 114 0 0 114 / 128 1.6s Lock concurrent
[ ] 119 0 0 119 / 128 1.8s Lock concurrent
[ ] 121 0 0 121 / 128 2.0s Lock concurrent
[ ] 124 0 0 124 / 128 2.2s Lock concurrent
[✓] 128 0 0 128 / 128 2.2s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1987478510557758954
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 concurrent
[ ] 6 0 0 6 / 256 0.2s Lock concurrent
[ ] 7 0 0 7 / 256 0.3s Lock concurrent
[ ] 8 0 0 8 / 256 0.5s Lock concurrent
[ ] 19 0 0 19 / 256 0.8s Lock concurrent
[ ] 24 0 0 24 / 256 1.1s Lock concurrent
[ ] 30 0 0 30 / 256 1.3s Lock concurrent
[ ] 47 0 0 47 / 256 1.4s Lock concurrent
[ ] 59 0 0 59 / 256 1.5s Lock concurrent
[ ] 61 0 0 61 / 256 1.6s Lock concurrent
[ ] 79 0 0 79 / 256 1.7s Lock concurrent
[ ] 94 0 0 94 / 256 2.0s Lock concurrent
[ ] 108 0 0 108 / 256 2.1s Lock concurrent
[ ] 110 0 0 110 / 256 2.3s Lock concurrent
[ ] 113 0 0 113 / 256 2.4s Lock concurrent
[ ] 120 0 0 120 / 256 2.5s Lock concurrent
[ ] 126 0 0 126 / 256 2.8s Lock concurrent
[ ] 138 0 0 138 / 256 2.9s Lock concurrent
[ ] 146 0 0 146 / 256 3.0s Lock concurrent
[ ] 147 0 0 147 / 256 3.1s Lock concurrent
[ ] 163 0 0 163 / 256 3.3s Lock concurrent
[ ] 178 0 0 178 / 256 3.5s Lock concurrent
[ ] 190 0 0 190 / 256 3.6s Lock concurrent
[ ] 200 0 0 200 / 256 3.8s Lock concurrent
[ ] 206 0 0 206 / 256 4.0s Lock concurrent
[ ] 215 0 0 215 / 256 4.1s Lock concurrent
[ ] 227 0 0 227 / 256 4.2s Lock concurrent
[ ] 239 0 0 239 / 256 4.3s Lock concurrent
[ ] 245 0 0 245 / 256 4.5s Lock concurrent
[ ] 254 0 0 254 / 256 4.7s Lock concurrent
[✓] 256 0 0 256 / 256 4.8s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2463591772864892150
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Lock sequential
[✓] 512 0 0 512 / 512 0.0s Lock sequential
[ ] 0 0 0 0 / 512 0.0s Lock concurrent
[ ] 14 0 0 14 / 512 0.1s Lock concurrent
[ ] 30 0 0 30 / 512 0.3s Lock concurrent
[ ] 40 0 0 40 / 512 0.4s Lock concurrent
[ ] 48 0 0 48 / 512 0.5s Lock concurrent
[ ] 55 0 0 55 / 512 0.6s Lock concurrent
[ ] 64 0 0 64 / 512 0.7s Lock concurrent
[ ] 69 0 0 69 / 512 0.8s Lock concurrent
[ ] 80 0 0 80 / 512 0.9s Lock concurrent
[ ] 84 0 0 84 / 512 1.1s Lock concurrent
[ ] 88 0 0 88 / 512 1.2s Lock concurrent
[ ] 90 0 0 90 / 512 1.3s Lock concurrent
[ ] 103 0 0 103 / 512 1.5s Lock concurrent
[ ] 107 0 0 107 / 512 1.6s Lock concurrent
[ ] 119 0 0 119 / 512 1.7s Lock concurrent
[ ] 132 0 0 132 / 512 1.8s Lock concurrent
[ ] 140 0 0 140 / 512 1.9s Lock concurrent
[ ] 151 0 0 151 / 512 2.0s Lock concurrent
[ ] 155 0 0 155 / 512 2.1s Lock concurrent
[ ] 162 0 0 162 / 512 2.2s Lock concurrent
[ ] 172 0 0 172 / 512 2.4s Lock concurrent
[ ] 176 0 0 176 / 512 2.5s Lock concurrent
[ ] 189 0 0 189 / 512 2.6s Lock concurrent
[ ] 194 0 0 194 / 512 2.8s Lock concurrent
[ ] 208 0 0 208 / 512 2.9s Lock concurrent
[ ] 216 0 0 216 / 512 3.0s Lock concurrent
[ ] 227 0 0 227 / 512 3.1s Lock concurrent
[ ] 240 0 0 240 / 512 3.2s Lock concurrent
[ ] 251 0 0 251 / 512 3.4s Lock concurrent
[ ] 254 0 0 254 / 512 3.5s Lock concurrent
[ ] 268 0 0 268 / 512 3.6s Lock concurrent
[ ] 276 0 0 276 / 512 3.7s Lock concurrent
[ ] 286 0 0 286 / 512 3.9s Lock concurrent
[ ] 295 0 0 295 / 512 4.0s Lock concurrent
[ ] 311 0 0 311 / 512 4.1s Lock concurrent
[ ] 317 0 0 317 / 512 4.2s Lock concurrent
[ ] 326 0 0 326 / 512 4.4s Lock concurrent
[ ] 330 0 0 330 / 512 4.5s Lock concurrent
[ ] 339 0 0 339 / 512 4.6s Lock concurrent
[ ] 341 0 0 341 / 512 4.7s Lock concurrent
[ ] 350 0 0 350 / 512 4.8s Lock concurrent
[ ] 358 0 0 358 / 512 4.9s Lock concurrent
[ ] 361 0 0 361 / 512 5.1s Lock concurrent
[ ] 371 0 0 371 / 512 5.2s Lock concurrent
[ ] 373 0 0 373 / 512 5.4s Lock concurrent
[ ] 380 0 0 380 / 512 5.5s Lock concurrent
[ ] 386 0 0 386 / 512 5.6s Lock concurrent
[ ] 391 0 0 391 / 512 5.7s Lock concurrent
[ ] 396 0 0 396 / 512 5.8s Lock concurrent
[ ] 399 0 0 399 / 512 5.9s Lock concurrent
[ ] 403 0 0 403 / 512 6.1s Lock concurrent
[ ] 412 0 0 412 / 512 6.2s Lock concurrent
[ ] 423 0 0 423 / 512 6.3s Lock concurrent
[ ] 425 0 0 425 / 512 6.5s Lock concurrent
[ ] 438 0 0 438 / 512 6.6s Lock concurrent
[ ] 446 0 0 446 / 512 6.7s Lock concurrent
[ ] 457 0 0 457 / 512 6.8s Lock concurrent
[ ] 460 0 0 460 / 512 6.9s Lock concurrent
[ ] 462 0 0 462 / 512 7.1s Lock concurrent
[ ] 469 0 0 469 / 512 7.2s Lock concurrent
[ ] 476 0 0 476 / 512 7.3s Lock concurrent
[ ] 484 0 0 484 / 512 7.4s Lock concurrent
[ ] 499 0 0 499 / 512 7.6s Lock concurrent
[ ] 505 0 0 505 / 512 7.7s Lock concurrent
[✓] 512 0 0 512 / 512 7.7s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2580598372280932996
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock concurrent
[ ] 4 0 0 4 / 32 0.2s Lock concurrent
[ ] 24 0 0 24 / 32 0.3s Lock concurrent
[ ] 29 0 0 29 / 32 0.4s Lock concurrent
[✓] 32 0 0 32 / 32 0.5s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mutex.exe)
random seed: 619549729049152546
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mutex sequential
[✓] 32 0 0 32 / 32 0.0s Mutex sequential
[ ] 0 0 0 0 / 32 0.0s Mutex concurrent
[ ] 3 0 0 3 / 32 0.1s Mutex concurrent
[ ] 11 0 0 11 / 32 0.2s Mutex concurrent
[✓] 32 0 0 32 / 32 0.3s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3026874635908656841
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 concurrent
[ ] 1 0 0 1 / 64 0.1s Mutex concurrent
[ ] 11 0 0 11 / 64 0.3s Mutex concurrent
[ ] 22 0 0 22 / 64 0.4s Mutex concurrent
[ ] 37 0 0 37 / 64 0.5s Mutex concurrent
[ ] 51 0 0 51 / 64 0.6s Mutex concurrent
[✓] 64 0 0 64 / 64 0.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3192839009982411713
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 concurrent
[ ] 7 0 0 7 / 128 0.1s Mutex concurrent
[ ] 16 0 0 16 / 128 0.2s Mutex concurrent
[ ] 34 0 0 34 / 128 0.4s Mutex concurrent
[ ] 38 0 0 38 / 128 0.6s Mutex concurrent
[ ] 46 0 0 46 / 128 0.8s Mutex concurrent
[ ] 54 0 0 54 / 128 1.0s Mutex concurrent
[ ] 56 0 0 56 / 128 1.2s Mutex concurrent
[ ] 61 0 0 61 / 128 1.4s Mutex concurrent
[ ] 69 0 0 69 / 128 1.5s Mutex concurrent
[ ] 76 0 0 76 / 128 1.7s Mutex concurrent
[ ] 81 0 0 81 / 128 1.9s Mutex concurrent
[ ] 84 0 0 84 / 128 2.2s Mutex concurrent
[ ] 92 0 0 92 / 128 2.3s Mutex concurrent
[ ] 95 0 0 95 / 128 2.4s Mutex concurrent
[ ] 97 0 0 97 / 128 2.6s Mutex concurrent
[ ] 100 0 0 100 / 128 2.7s Mutex concurrent
[ ] 105 0 0 105 / 128 2.8s Mutex concurrent
[ ] 118 0 0 118 / 128 3.0s Mutex concurrent
[ ] 122 0 0 122 / 128 3.2s Mutex concurrent
[✓] 128 0 0 128 / 128 3.2s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 4381386134431155567
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mutex sequential
[✓] 256 0 0 256 / 256 0.0s Mutex sequential
[ ] 0 0 0 0 / 256 0.0s Mutex concurrent
[ ] 10 0 0 10 / 256 0.1s Mutex concurrent
[ ] 20 0 0 20 / 256 0.4s Mutex concurrent
[ ] 26 0 0 26 / 256 0.5s Mutex concurrent
[ ] 27 0 0 27 / 256 0.7s Mutex concurrent
[ ] 33 0 0 33 / 256 0.9s Mutex concurrent
[ ] 39 0 0 39 / 256 1.0s Mutex concurrent
[ ] 43 0 0 43 / 256 1.2s Mutex concurrent
[ ] 48 0 0 48 / 256 1.3s Mutex concurrent
[ ] 61 0 0 61 / 256 1.4s Mutex concurrent
[ ] 65 0 0 65 / 256 1.5s Mutex concurrent
[ ] 69 0 0 69 / 256 1.6s Mutex concurrent
[ ] 78 0 0 78 / 256 1.8s Mutex concurrent
[ ] 79 0 0 79 / 256 1.9s Mutex concurrent
[ ] 94 0 0 94 / 256 2.0s Mutex concurrent
[ ] 103 0 0 103 / 256 2.1s Mutex concurrent
[ ] 117 0 0 117 / 256 2.2s Mutex concurrent
[ ] 129 0 0 129 / 256 2.4s Mutex concurrent
[ ] 143 0 0 143 / 256 2.7s Mutex concurrent
[ ] 148 0 0 148 / 256 2.8s Mutex concurrent
[ ] 155 0 0 155 / 256 2.9s Mutex concurrent
[ ] 172 0 0 172 / 256 3.0s Mutex concurrent
[ ] 180 0 0 180 / 256 3.2s Mutex concurrent
[ ] 188 0 0 188 / 256 3.4s Mutex concurrent
[ ] 196 0 0 196 / 256 3.5s Mutex concurrent
[ ] 206 0 0 206 / 256 3.6s Mutex concurrent
[ ] 218 0 0 218 / 256 3.7s Mutex concurrent
[ ] 228 0 0 228 / 256 3.8s Mutex concurrent
[ ] 236 0 0 236 / 256 4.0s Mutex concurrent
[ ] 240 0 0 240 / 256 4.1s Mutex concurrent
[ ] 249 0 0 249 / 256 4.2s Mutex concurrent
[ ] 253 0 0 253 / 256 4.4s Mutex concurrent
[✓] 256 0 0 256 / 256 4.4s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 4081254858106138368
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mutex sequential
[✓] 512 0 0 512 / 512 0.0s Mutex sequential
[ ] 0 0 0 0 / 512 0.0s Mutex concurrent
[ ] 9 0 0 9 / 512 0.1s Mutex concurrent
[ ] 23 0 0 23 / 512 0.2s Mutex concurrent
[ ] 31 0 0 31 / 512 0.3s Mutex concurrent
[ ] 39 0 0 39 / 512 0.4s Mutex concurrent
[ ] 46 0 0 46 / 512 0.6s Mutex concurrent
[ ] 51 0 0 51 / 512 0.7s Mutex concurrent
[ ] 52 0 0 52 / 512 0.9s Mutex concurrent
[ ] 61 0 0 61 / 512 1.0s Mutex concurrent
[ ] 67 0 0 67 / 512 1.1s Mutex concurrent
[ ] 75 0 0 75 / 512 1.2s Mutex concurrent
[ ] 83 0 0 83 / 512 1.3s Mutex concurrent
[ ] 87 0 0 87 / 512 1.5s Mutex concurrent
[ ] 94 0 0 94 / 512 1.6s Mutex concurrent
[ ] 107 0 0 107 / 512 1.7s Mutex concurrent
[ ] 108 0 0 108 / 512 1.8s Mutex concurrent
[ ] 109 0 0 109 / 512 1.9s Mutex concurrent
[ ] 114 0 0 114 / 512 2.0s Mutex concurrent
[ ] 118 0 0 118 / 512 2.2s Mutex concurrent
[ ] 123 0 0 123 / 512 2.4s Mutex concurrent
[ ] 125 0 0 125 / 512 2.6s Mutex concurrent
[ ] 135 0 0 135 / 512 2.7s Mutex concurrent
[ ] 142 0 0 142 / 512 2.8s Mutex concurrent
[ ] 151 0 0 151 / 512 2.9s Mutex concurrent
[ ] 167 0 0 167 / 512 3.0s Mutex concurrent
[ ] 174 0 0 174 / 512 3.1s Mutex concurrent
[ ] 179 0 0 179 / 512 3.3s Mutex concurrent
[ ] 193 0 0 193 / 512 3.4s Mutex concurrent
[ ] 206 0 0 206 / 512 3.5s Mutex concurrent
[ ] 219 0 0 219 / 512 3.6s Mutex concurrent
[ ] 227 0 0 227 / 512 3.7s Mutex concurrent
[ ] 235 0 0 235 / 512 3.8s Mutex concurrent
[ ] 246 0 0 246 / 512 3.9s Mutex concurrent
[ ] 250 0 0 250 / 512 4.0s Mutex concurrent
[ ] 262 0 0 262 / 512 4.2s Mutex concurrent
[ ] 280 0 0 280 / 512 4.4s Mutex concurrent
[ ] 291 0 0 291 / 512 4.5s Mutex concurrent
[ ] 295 0 0 295 / 512 4.6s Mutex concurrent
[ ] 302 0 0 302 / 512 4.7s Mutex concurrent
[ ] 308 0 0 308 / 512 4.8s Mutex concurrent
[ ] 318 0 0 318 / 512 4.9s Mutex concurrent
[ ] 324 0 0 324 / 512 5.0s Mutex concurrent
[ ] 330 0 0 330 / 512 5.1s Mutex concurrent
[ ] 338 0 0 338 / 512 5.2s Mutex concurrent
[ ] 343 0 0 343 / 512 5.3s Mutex concurrent
[ ] 352 0 0 352 / 512 5.5s Mutex concurrent
[ ] 355 0 0 355 / 512 5.6s Mutex concurrent
[ ] 362 0 0 362 / 512 5.7s Mutex concurrent
[ ] 369 0 0 369 / 512 5.8s Mutex concurrent
[ ] 374 0 0 374 / 512 5.9s Mutex concurrent
[ ] 381 0 0 381 / 512 6.0s Mutex concurrent
[ ] 393 0 0 393 / 512 6.2s Mutex concurrent
[ ] 410 0 0 410 / 512 6.3s Mutex concurrent (collecting)
[ ] 420 0 0 420 / 512 6.4s Mutex concurrent
[ ] 423 0 0 423 / 512 6.5s Mutex concurrent
[ ] 427 0 0 427 / 512 6.6s Mutex concurrent
[ ] 440 0 0 440 / 512 6.7s Mutex concurrent
[ ] 450 0 0 450 / 512 6.9s Mutex concurrent
[ ] 458 0 0 458 / 512 7.0s Mutex concurrent
[ ] 474 0 0 474 / 512 7.1s Mutex concurrent
[ ] 484 0 0 484 / 512 7.2s Mutex concurrent
[ ] 501 0 0 501 / 512 7.3s Mutex concurrent
[ ] 503 0 0 503 / 512 7.4s Mutex concurrent
[✓] 512 0 0 512 / 512 7.5s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 4539210453200920178
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mutex sequential
[✓] 32 0 0 32 / 32 0.0s Mutex sequential
[ ] 0 0 0 0 / 32 0.0s Mutex concurrent
[ ] 10 0 0 10 / 32 0.1s Mutex concurrent
[ ] 12 0 0 12 / 32 0.2s Mutex concurrent
[ ] 20 0 0 20 / 32 0.3s Mutex concurrent
[✓] 32 0 0 32 / 32 0.4s Mutex concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `H232A8KJ'.
[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.668s. 14 tests run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `BVPUBJNM'.
[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.014s. 1 test run.
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:28637/hello-io-cohttp
Method: POST
host: 127.0.0.1:28637
user-agent: ocaml-cohttp/v6.2.1
content-length: 17
Body: It's-a-Me, Picos!
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 1)
Testing `Picos_sync'.
This run has ID `HZCKFF7O'.
[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.003s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
7.93 M/s
attach detach pairs over time/trivial:
28.01 M/s
time per attach detach pair/1 worker:
126.16 ns
time per attach detach pair/trivial:
35.70 ns
(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_sem.exe)
random seed: 1429226842497851850
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 concurrent
[ ] 10 0 0 10 / 32 0.1s Sem concurrent
[ ] 24 0 0 24 / 32 0.3s Sem concurrent
[✓] 32 0 0 32 / 32 0.3s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3903651601255034990
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 concurrent
[ ] 11 0 0 11 / 64 0.1s Sem concurrent
[ ] 17 0 0 17 / 64 0.2s Sem concurrent
[ ] 31 0 0 31 / 64 0.4s Sem concurrent
[ ] 42 0 0 42 / 64 0.5s Sem concurrent
[✓] 64 0 0 64 / 64 0.6s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 945141915494467590
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 concurrent
[ ] 4 0 0 4 / 128 0.1s Sem concurrent
[ ] 8 0 0 8 / 128 0.2s Sem concurrent
[ ] 12 0 0 12 / 128 0.3s Sem concurrent
[ ] 18 0 0 18 / 128 0.4s Sem concurrent
[ ] 32 0 0 32 / 128 0.6s Sem concurrent
[ ] 51 0 0 51 / 128 0.7s Sem concurrent
[ ] 54 0 0 54 / 128 0.8s Sem concurrent
[ ] 61 0 0 61 / 128 0.9s Sem concurrent
[ ] 77 0 0 77 / 128 1.1s Sem concurrent
[ ] 87 0 0 87 / 128 1.3s Sem concurrent
[ ] 99 0 0 99 / 128 1.4s Sem concurrent
[ ] 111 0 0 111 / 128 1.5s Sem concurrent
[ ] 114 0 0 114 / 128 1.6s Sem concurrent
[ ] 124 0 0 124 / 128 1.7s Sem concurrent
[✓] 128 0 0 128 / 128 1.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2656996112939956402
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 concurrent
[ ] 2 0 0 2 / 256 0.1s Sem concurrent
[ ] 8 0 0 8 / 256 0.3s Sem concurrent
[ ] 16 0 0 16 / 256 0.4s Sem concurrent
[ ] 26 0 0 26 / 256 0.5s Sem concurrent
[ ] 28 0 0 28 / 256 0.7s Sem concurrent
[ ] 30 0 0 30 / 256 0.9s Sem concurrent
[ ] 33 0 0 33 / 256 1.0s Sem concurrent
[ ] 41 0 0 41 / 256 1.2s Sem concurrent
[ ] 43 0 0 43 / 256 1.3s Sem concurrent
[ ] 46 0 0 46 / 256 1.4s Sem concurrent
[ ] 50 0 0 50 / 256 1.5s Sem concurrent
[ ] 57 0 0 57 / 256 1.7s Sem concurrent
[ ] 66 0 0 66 / 256 1.8s Sem concurrent
[ ] 77 0 0 77 / 256 1.9s Sem concurrent
[ ] 85 0 0 85 / 256 2.0s Sem concurrent
[ ] 91 0 0 91 / 256 2.1s Sem concurrent
[ ] 108 0 0 108 / 256 2.3s Sem concurrent
[ ] 119 0 0 119 / 256 2.4s Sem concurrent
[ ] 122 0 0 122 / 256 2.5s Sem concurrent
[ ] 132 0 0 132 / 256 2.6s Sem concurrent
[ ] 137 0 0 137 / 256 2.7s Sem concurrent
[ ] 138 0 0 138 / 256 2.8s Sem concurrent
[ ] 143 0 0 143 / 256 2.9s Sem concurrent
[ ] 153 0 0 153 / 256 3.0s Sem concurrent
[ ] 177 0 0 177 / 256 3.1s Sem concurrent
[ ] 181 0 0 181 / 256 3.3s Sem concurrent
[ ] 189 0 0 189 / 256 3.4s Sem concurrent
[ ] 193 0 0 193 / 256 3.5s Sem concurrent
[ ] 199 0 0 199 / 256 3.7s Sem concurrent
[ ] 202 0 0 202 / 256 3.8s Sem concurrent
[ ] 213 0 0 213 / 256 3.9s Sem concurrent
[ ] 217 0 0 217 / 256 4.0s Sem concurrent
[ ] 222 0 0 222 / 256 4.1s Sem concurrent
[ ] 231 0 0 231 / 256 4.3s Sem concurrent
[ ] 237 0 0 237 / 256 4.5s Sem concurrent
[ ] 251 0 0 251 / 256 4.6s Sem concurrent
[ ] 255 0 0 255 / 256 4.7s Sem concurrent
[✓] 256 0 0 256 / 256 4.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 601650085357922966
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Sem sequential
[✓] 512 0 0 512 / 512 0.0s Sem sequential
[ ] 0 0 0 0 / 512 0.0s Sem concurrent
[ ] 6 0 0 6 / 512 0.1s Sem concurrent
[ ] 13 0 0 13 / 512 0.3s Sem concurrent
[ ] 26 0 0 26 / 512 0.5s Sem concurrent
[ ] 37 0 0 37 / 512 0.6s Sem concurrent
[ ] 45 0 0 45 / 512 0.7s Sem concurrent
[ ] 53 0 0 53 / 512 0.8s Sem concurrent
[ ] 65 0 0 65 / 512 1.0s Sem concurrent
[ ] 71 0 0 71 / 512 1.1s Sem concurrent
[ ] 79 0 0 79 / 512 1.2s Sem concurrent
[ ] 89 0 0 89 / 512 1.3s Sem concurrent
[ ] 107 0 0 107 / 512 1.5s Sem concurrent
[ ] 112 0 0 112 / 512 1.6s Sem concurrent
[ ] 122 0 0 122 / 512 1.7s Sem concurrent
[ ] 128 0 0 128 / 512 1.8s Sem concurrent
[ ] 140 0 0 140 / 512 1.9s Sem concurrent
[ ] 148 0 0 148 / 512 2.0s Sem concurrent
[ ] 154 0 0 154 / 512 2.2s Sem concurrent
[ ] 169 0 0 169 / 512 2.3s Sem concurrent
[ ] 181 0 0 181 / 512 2.5s Sem concurrent
[ ] 188 0 0 188 / 512 2.6s Sem concurrent
[ ] 201 0 0 201 / 512 2.7s Sem concurrent
[ ] 212 0 0 212 / 512 2.9s Sem concurrent
[ ] 219 0 0 219 / 512 3.0s Sem concurrent
[ ] 227 0 0 227 / 512 3.1s Sem concurrent
[ ] 228 0 0 228 / 512 3.2s Sem concurrent
[ ] 235 0 0 235 / 512 3.4s Sem concurrent
[ ] 243 0 0 243 / 512 3.5s Sem concurrent
[ ] 252 0 0 252 / 512 3.6s Sem concurrent
[ ] 259 0 0 259 / 512 3.7s Sem concurrent
[ ] 266 0 0 266 / 512 3.8s Sem concurrent
[ ] 278 0 0 278 / 512 4.0s Sem concurrent
[ ] 284 0 0 284 / 512 4.2s Sem concurrent
[ ] 291 0 0 291 / 512 4.3s Sem concurrent
[ ] 295 0 0 295 / 512 4.5s Sem concurrent
[ ] 302 0 0 302 / 512 4.6s Sem concurrent
[ ] 305 0 0 305 / 512 4.7s Sem concurrent
[ ] 310 0 0 310 / 512 4.9s Sem concurrent
[ ] 323 0 0 323 / 512 5.0s Sem concurrent
[ ] 332 0 0 332 / 512 5.1s Sem concurrent
[ ] 339 0 0 339 / 512 5.3s Sem concurrent
[ ] 340 0 0 340 / 512 5.5s Sem concurrent
[ ] 354 0 0 354 / 512 5.6s Sem concurrent
[ ] 362 0 0 362 / 512 5.8s Sem concurrent
[ ] 363 0 0 363 / 512 5.9s Sem concurrent
[ ] 372 0 0 372 / 512 6.0s Sem concurrent
[ ] 377 0 0 377 / 512 6.1s Sem concurrent
[ ] 394 0 0 394 / 512 6.2s Sem concurrent
[ ] 402 0 0 402 / 512 6.3s Sem concurrent
[ ] 416 0 0 416 / 512 6.5s Sem concurrent
[ ] 426 0 0 426 / 512 6.7s Sem concurrent
[ ] 429 0 0 429 / 512 6.8s Sem concurrent
[ ] 437 0 0 437 / 512 7.0s Sem concurrent
[ ] 447 0 0 447 / 512 7.3s Sem concurrent
[ ] 448 0 0 448 / 512 7.5s Sem concurrent
[ ] 449 0 0 449 / 512 7.6s Sem concurrent
[ ] 453 0 0 453 / 512 7.7s Sem concurrent
[ ] 454 0 0 454 / 512 8.2s Sem concurrent
[ ] 455 0 0 455 / 512 8.4s Sem concurrent
[ ] 460 0 0 460 / 512 8.5s Sem concurrent
[ ] 470 0 0 470 / 512 8.6s Sem concurrent
[ ] 476 0 0 476 / 512 8.7s Sem concurrent
[ ] 480 0 0 480 / 512 8.9s Sem concurrent
[ ] 484 0 0 484 / 512 9.8s Sem concurrent
[ ] 490 0 0 490 / 512 10.0s Sem concurrent
[ ] 497 0 0 497 / 512 10.1s Sem concurrent
[ ] 502 0 0 502 / 512 10.2s Sem concurrent
[ ] 504 0 0 504 / 512 10.8s Sem concurrent
[ ] 505 0 0 505 / 512 11.2s Sem concurrent
[ ] 507 0 0 507 / 512 11.4s Sem concurrent
[ ] 508 0 0 508 / 512 11.6s Sem concurrent
[ ] 512 0 0 512 / 512 11.7s Sem concurrent
[✓] 512 0 0 512 / 512 11.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 842919096692850957
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 concurrent
[ ] 6 0 0 6 / 32 0.3s Sem concurrent
[ ] 10 0 0 10 / 32 0.4s Sem concurrent
[ ] 17 0 0 17 / 32 1.0s Sem concurent
[ ] 21 0 0 21 / 32 1.1s Sem concurrent
[ ] 26 0 0 26 / 32 1.2s Sem concurrent
[ ] 28 0 0 28 / 32 1.5s Sem concurrent
[✓] 32 0 0 32 / 32 1.5s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
131.45 M/s
time per op/1 worker:
7.61 ns
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
263.05 M/s
sets over time/1 worker:
144.23 M/s
time per get/1 worker:
3.80 ns
time per set/1 worker:
6.93 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
160.67 M/s
sets over time/1 worker:
82.57 M/s
time per get/1 worker:
6.22 ns
time per set/1 worker:
12.11 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
343.24 M/s
sets over time/1 worker:
140.43 M/s
time per get/1 worker:
2.91 ns
time per set/1 worker:
7.12 ns
(cd _build/default/bench && ./main.exe -brief 'Yield with Picos_std_sync')
Yield with Picos_std_sync:
locked yields over time/1 fiber with Lock:
0.02 M/s
locked yields over time/1 fiber with Rwlock:
0.02 M/s
locked yields over time/1 fiber with Sem:
0.02 M/s
locked yields over time/1 fiber with Sem 2:
0.02 M/s
locked yields over time/1 fiber with Sem 3:
0.03 M/s
locked yields over time/1 fiber with Sem 4:
0.03 M/s
locked yields over time/256 fibers with Lock:
0.02 M/s
locked yields over time/256 fibers with Rwlock:
0.02 M/s
locked yields over time/256 fibers with Sem:
0.02 M/s
locked yields over time/256 fibers with Sem 2:
0.02 M/s
locked yields over time/256 fibers with Sem 3:
0.02 M/s
locked yields over time/256 fibers with Sem 4:
0.02 M/s
locked yields over time/2 fibers with Lock:
0.03 M/s
locked yields over time/2 fibers with Rwlock:
0.03 M/s
locked yields over time/2 fibers with Sem:
0.02 M/s
locked yields over time/2 fibers with Sem 2:
0.03 M/s
locked yields over time/2 fibers with Sem 3:
0.03 M/s
locked yields over time/2 fibers with Sem 4:
0.03 M/s
locked yields over time/3 fibers with Lock:
0.03 M/s
locked yields over time/3 fibers with Rwlock:
0.02 M/s
locked yields over time/3 fibers with Sem:
0.02 M/s
locked yields over time/3 fibers with Sem 2:
0.03 M/s
locked yields over time/3 fibers with Sem 3:
0.03 M/s
locked yields over time/3 fibers with Sem 4:
0.03 M/s
locked yields over time/4 fibers with Lock:
0.03 M/s
locked yields over time/4 fibers with Rwlock:
0.02 M/s
locked yields over time/4 fibers with Sem:
0.02 M/s
locked yields over time/4 fibers with Sem 2:
0.03 M/s
locked yields over time/4 fibers with Sem 3:
0.03 M/s
locked yields over time/4 fibers with Sem 4:
0.02 M/s
locked yields over time/8 fibers with Lock:
0.03 M/s
locked yields over time/8 fibers with Rwlock:
0.02 M/s
locked yields over time/8 fibers with Sem:
0.02 M/s
locked yields over time/8 fibers with Sem 2:
0.03 M/s
locked yields over time/8 fibers with Sem 3:
0.03 M/s
locked yields over time/8 fibers with Sem 4:
0.02 M/s
time per locked yield/1 fiber with Lock:
40566.34 ns
time per locked yield/1 fiber with Rwlock:
40610.67 ns
time per locked yield/1 fiber with Sem:
41462.52 ns
time per locked yield/1 fiber with Sem 2:
41248.05 ns
time per locked yield/1 fiber with Sem 3:
38820.31 ns
time per locked yield/1 fiber with Sem 4:
37131.33 ns
time per locked yield/256 fibers with Lock:
58338.14 ns
time per locked yield/256 fibers with Rwlock:
59619.30 ns
time per locked yield/256 fibers with Sem:
60697.50 ns
time per locked yield/256 fibers with Sem 2:
48811.24 ns
time per locked yield/256 fibers with Sem 3:
45664.51 ns
time per locked yield/256 fibers with Sem 4:
58392.53 ns
time per locked yield/2 fibers with Lock:
39859.02 ns
time per locked yield/2 fibers with Rwlock:
39864.03 ns
time per locked yield/2 fibers with Sem:
40028.41 ns
time per locked yield/2 fibers with Sem 2:
38703.74 ns
time per locked yield/2 fibers with Sem 3:
37609.59 ns
time per locked yield/2 fibers with Sem 4:
37713.45 ns
time per locked yield/3 fibers with Lock:
39919.39 ns
time per locked yield/3 fibers with Rwlock:
40732.46 ns
time per locked yield/3 fibers with Sem:
41061.29 ns
time per locked yield/3 fibers with Sem 2:
38345.90 ns
time per locked yield/3 fibers with Sem 3:
39632.79 ns
time per locked yield/3 fibers with Sem 4:
37116.91 ns
time per locked yield/4 fibers with Lock:
39476.43 ns
time per locked yield/4 fibers with Rwlock:
40373.87 ns
time per locked yield/4 fibers with Sem:
40212.21 ns
time per locked yield/4 fibers with Sem 2:
39705.27 ns
time per locked yield/4 fibers with Sem 3:
38580.79 ns
time per locked yield/4 fibers with Sem 4:
46573.57 ns
time per locked yield/8 fibers with Lock:
39271.76 ns
time per locked yield/8 fibers with Rwlock:
40009.16 ns
time per locked yield/8 fibers with Sem:
40422.38 ns
time per locked yield/8 fibers with Sem 2:
38219.49 ns
time per locked yield/8 fibers with Sem 3:
38698.07 ns
time per locked yield/8 fibers with Sem 4:
47354.61 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Spawn')
Picos Spawn:
(cd _build/default/bench && ./main.exe -brief 'Picos Yield')
Picos Yield:
time per yield/100 fibers:
19522.01 ns
time per yield/10 fibers:
20324.31 ns
time per yield/1 fiber:
36704.81 ns
yields over time/100 fibers:
0.05 M/s
yields over time/10 fibers:
0.05 M/s
yields over time/1 fiber:
0.03 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.28 M/s
round-trips over time/1 worker:
0.02 M/s
time per async round-trip/1 worker:
3563.22 ns
time per round-trip/1 worker:
61182.09 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:
68.38 M/s
ops over time/cas int with Rwlock:
46.63 M/s
ops over time/cas int with Sem:
68.17 M/s
ops over time/get with Lock:
99.59 M/s
ops over time/get with Rwlock:
98.10 M/s
ops over time/get with Sem:
104.34 M/s
ops over time/incr with Lock:
97.09 M/s
ops over time/incr with Rwlock:
56.35 M/s
ops over time/incr with Sem:
98.69 M/s
ops over time/push & pop with Lock:
68.01 M/s
ops over time/push & pop with Rwlock:
45.28 M/s
ops over time/push & pop with Sem:
68.78 M/s
ops over time/swap with Lock:
71.28 M/s
ops over time/swap with Rwlock:
46.01 M/s
ops over time/swap with Sem:
70.98 M/s
ops over time/xchg int with Lock:
69.69 M/s
ops over time/xchg int with Rwlock:
47.14 M/s
ops over time/xchg int with Sem:
69.22 M/s
time per op/cas int with Lock:
14.62 ns
time per op/cas int with Rwlock:
21.45 ns
time per op/cas int with Sem:
14.67 ns
time per op/get with Lock:
10.04 ns
time per op/get with Rwlock:
10.19 ns
time per op/get with Sem:
9.58 ns
time per op/incr with Lock:
10.30 ns
time per op/incr with Rwlock:
17.75 ns
time per op/incr with Sem:
10.13 ns
time per op/push & pop with Lock:
14.70 ns
time per op/push & pop with Rwlock:
22.09 ns
time per op/push & pop with Sem:
14.54 ns
time per op/swap with Lock:
14.03 ns
time per op/swap with Rwlock:
21.74 ns
time per op/swap with Sem:
14.09 ns
time per op/xchg int with Lock:
14.35 ns
time per op/xchg int with Rwlock:
21.21 ns
time per op/xchg int with Sem:
14.45 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/one domain:
26.07 M/s
time per message/one domain:
38.35 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/one domain:
29.92 M/s
time per message/one domain:
33.43 ns
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
operations over time/1 worker, 10% reads:
15.72 M/s
operations over time/1 worker, 50% reads:
18.05 M/s
operations over time/1 worker, 90% reads:
22.75 M/s
time per operation/1 worker, 10% reads:
63.62 ns
time per operation/1 worker, 50% reads:
55.41 ns
time per operation/1 worker, 90% reads:
43.95 ns
(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.75 M/s
operations over time/1 worker, 10% reads with Rwlock:
15.04 M/s
operations over time/1 worker, 10% reads with Sem:
16.01 M/s
operations over time/1 worker, 100% reads with Lock:
19.78 M/s
operations over time/1 worker, 100% reads with Rwlock:
20.01 M/s
operations over time/1 worker, 100% reads with Sem:
20.11 M/s
operations over time/1 worker, 50% reads with Lock:
16.26 M/s
operations over time/1 worker, 50% reads with Rwlock:
15.75 M/s
operations over time/1 worker, 50% reads with Sem:
16.82 M/s
operations over time/1 worker, 90% reads with Lock:
19.22 M/s
operations over time/1 worker, 90% reads with Rwlock:
18.93 M/s
operations over time/1 worker, 90% reads with Sem:
18.94 M/s
operations over time/1 worker, 95% reads with Lock:
18.88 M/s
operations over time/1 worker, 95% reads with Rwlock:
19.72 M/s
operations over time/1 worker, 95% reads with Sem:
19.88 M/s
time per operation/1 worker, 10% reads with Lock:
59.70 ns
time per operation/1 worker, 10% reads with Rwlock:
66.47 ns
time per operation/1 worker, 10% reads with Sem:
62.48 ns
time per operation/1 worker, 100% reads with Lock:
50.57 ns
time per operation/1 worker, 100% reads with Rwlock:
49.96 ns
time per operation/1 worker, 100% reads with Sem:
49.72 ns
time per operation/1 worker, 50% reads with Lock:
61.51 ns
time per operation/1 worker, 50% reads with Rwlock:
63.48 ns
time per operation/1 worker, 50% reads with Sem:
59.46 ns
time per operation/1 worker, 90% reads with Lock:
52.02 ns
time per operation/1 worker, 90% reads with Rwlock:
52.81 ns
time per operation/1 worker, 90% reads with Sem:
52.79 ns
time per operation/1 worker, 95% reads with Lock:
52.97 ns
time per operation/1 worker, 95% reads with Rwlock:
50.70 ns
time per operation/1 worker, 95% reads with Sem:
50.31 ns
(cd _build/default/bench && ./main.exe -brief Picos_stdio)
Picos_stdio:
blocking reads over time/1 worker:
0.02 M/s
non-blocking reads over time/1 worker:
0.17 M/s
time per blocking read/1 worker:
53727.69 ns
time per non-blocking read/1 worker:
6028.13 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/one domain:
18.70 M/s
time per message/one domain:
53.49 ns
(cd _build/default/bench && ./main.exe -brief Fib)
Fib:
(cd _build/default/bench && ./main.exe -brief 'Picos binaries')
Picos binaries:
binary size/picos:
71.37 kB
binary size/picos.domain:
5.51 kB
binary size/picos.thread:
2.90 kB
binary size/picos_aux.htbl:
50.22 kB
binary size/picos_aux.mpmcq:
14.40 kB
binary size/picos_aux.mpscq:
16.02 kB
binary size/picos_aux.rc:
15.19 kB
binary size/picos_io:
83.29 kB
binary size/picos_io.fd:
7.99 kB
binary size/picos_io.select:
56.78 kB
binary size/picos_io_cohttp:
39.98 kB
binary size/picos_mux.thread:
20.22 kB
binary size/picos_std.awaitable:
29.29 kB
binary size/picos_std.event:
20.26 kB
binary size/picos_std.finally:
16.18 kB
binary size/picos_std.structured:
73.38 kB
binary size/picos_std.sync:
161.59 kB
(cd _build/default/bench && ./main.exe -brief 'Bounded_q with Picos_std_sync')
Bounded_q with Picos_std_sync:
messages over time/one domain with Lock:
17.69 M/s
time per message/one domain with Lock:
56.52 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `5ANDB18X'.
[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 13.830s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `B2KER27F'.
[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.011s. 1 test run.
(cd _build/default/test && ./test_rwlock.exe)
random seed: 1028763363846411365
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 7 0 0 7 / 32 0.1s Rwlock concurrent
[ ] 15 0 0 15 / 32 0.3s Rwlock concurrent
[ ] 23 0 0 23 / 32 0.4s Rwlock concurrent
[ ] 32 0 0 32 / 32 0.5s Rwlock concurrent
[✓] 32 0 0 32 / 32 0.5s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 3698778916752771539
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 concurrent
[ ] 12 0 0 12 / 64 0.1s Rwlock concurrent
[ ] 17 0 0 17 / 64 0.2s Rwlock concurrent
[ ] 27 0 0 27 / 64 0.3s Rwlock concurrent
[ ] 33 0 0 33 / 64 0.5s Rwlock concurrent
[ ] 48 0 0 48 / 64 0.6s Rwlock concurrent
[✓] 64 0 0 64 / 64 0.7s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2892523938332049693
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 concurrent
[ ] 9 0 0 9 / 128 0.1s Rwlock concurrent
[ ] 17 0 0 17 / 128 0.2s Rwlock concurrent
[ ] 23 0 0 23 / 128 0.3s Rwlock concurrent
[ ] 24 0 0 24 / 128 0.5s Rwlock concurrent
[ ] 36 0 0 36 / 128 0.6s Rwlock concurrent
[ ] 48 0 0 48 / 128 0.7s Rwlock concurrent
[ ] 57 0 0 57 / 128 0.9s Rwlock concurrent
[ ] 60 0 0 60 / 128 1.0s Rwlock concurrent
[ ] 65 0 0 65 / 128 1.1s Rwlock concurrent
[ ] 70 0 0 70 / 128 1.2s Rwlock concurrent
[ ] 72 0 0 72 / 128 1.3s Rwlock concurrent
[ ] 82 0 0 82 / 128 1.5s Rwlock concurrent
[ ] 83 0 0 83 / 128 1.6s Rwlock concurrent
[ ] 86 0 0 86 / 128 1.7s Rwlock concurrent
[ ] 92 0 0 92 / 128 1.8s Rwlock concurrent
[ ] 100 0 0 100 / 128 1.9s Rwlock concurrent
[ ] 110 0 0 110 / 128 2.0s Rwlock concurrent
[ ] 117 0 0 117 / 128 2.1s Rwlock concurrent
[✓] 128 0 0 128 / 128 2.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 4499194102447254865
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 concurrent
[ ] 6 0 0 6 / 256 0.1s Rwlock concurrent
[ ] 19 0 0 19 / 256 0.2s Rwlock concurrent
[ ] 31 0 0 31 / 256 0.4s Rwlock concurrent
[ ] 45 0 0 45 / 256 0.5s Rwlock concurrent
[ ] 52 0 0 52 / 256 0.6s Rwlock concurrent
[ ] 61 0 0 61 / 256 0.7s Rwlock concurrent
[ ] 63 0 0 63 / 256 0.8s Rwlock concurrent
[ ] 75 0 0 75 / 256 0.9s Rwlock concurrent
[ ] 80 0 0 80 / 256 1.0s Rwlock concurrent
[ ] 83 0 0 83 / 256 1.1s Rwlock concurrent
[ ] 94 0 0 94 / 256 1.2s Rwlock concurrent
[ ] 102 0 0 102 / 256 1.4s Rwlock concurrent
[ ] 113 0 0 113 / 256 1.6s Rwlock concurrent
[ ] 124 0 0 124 / 256 1.7s Rwlock concurrent
[ ] 143 0 0 143 / 256 1.8s Rwlock concurrent
[ ] 155 0 0 155 / 256 2.0s Rwlock concurrent
[ ] 165 0 0 165 / 256 2.1s Rwlock concurrent
[ ] 171 0 0 171 / 256 2.2s Rwlock concurrent
[ ] 175 0 0 175 / 256 2.3s Rwlock concurrent
[ ] 184 0 0 184 / 256 2.5s Rwlock concurrent
[ ] 189 0 0 189 / 256 2.6s Rwlock concurrent
[ ] 193 0 0 193 / 256 2.7s Rwlock concurrent
[ ] 205 0 0 205 / 256 2.8s Rwlock concurrent
[ ] 214 0 0 214 / 256 3.0s Rwlock concurrent
[ ] 228 0 0 228 / 256 3.1s Rwlock concurrent
[ ] 240 0 0 240 / 256 3.2s Rwlock concurrent
[ ] 251 0 0 251 / 256 3.3s Rwlock concurrent
[✓] 256 0 0 256 / 256 3.4s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 3876532939184092361
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Rwlock sequential
[✓] 512 0 0 512 / 512 0.0s Rwlock sequential
[ ] 0 0 0 0 / 512 0.0s Rwlock concurrent
[ ] 8 0 0 8 / 512 0.1s Rwlock concurrent
[ ] 25 0 0 25 / 512 0.2s Rwlock concurrent
[ ] 37 0 0 37 / 512 0.3s Rwlock concurrent
[ ] 39 0 0 39 / 512 0.4s Rwlock concurrent
[ ] 48 0 0 48 / 512 0.5s Rwlock concurrent
[ ] 69 0 0 69 / 512 0.6s Rwlock concurrent
[ ] 77 0 0 77 / 512 0.8s Rwlock concurrent
[ ] 81 0 0 81 / 512 0.9s Rwlock concurrent
[ ] 85 0 0 85 / 512 1.0s Rwlock concurrent
[ ] 100 0 0 100 / 512 1.1s Rwlock concurrent
[ ] 115 0 0 115 / 512 1.3s Rwlock concurrent
[ ] 117 0 0 117 / 512 1.4s Rwlock concurrent
[ ] 118 0 0 118 / 512 1.6s Rwlock concurrent
[ ] 131 0 0 131 / 512 1.7s Rwlock concurrent
[ ] 139 0 0 139 / 512 1.8s Rwlock concurrent
[ ] 146 0 0 146 / 512 2.2s Rwlock concurrent
[ ] 147 0 0 147 / 512 2.4s Rwlock concurrent
[ ] 154 0 0 154 / 512 2.5s Rwlock concurrent
[ ] 156 0 0 156 / 512 2.7s Rwlock concurrent
[ ] 160 0 0 160 / 512 2.8s Rwlock concurrent
[ ] 171 0 0 171 / 512 2.9s Rwlock concurrent
[ ] 177 0 0 177 / 512 3.1s Rwlock concurrent
[ ] 183 0 0 183 / 512 3.2s Rwlock concurrent
[ ] 187 0 0 187 / 512 3.3s Rwlock concurrent
[ ] 190 0 0 190 / 512 3.7s Rwlock concurrent
[ ] 194 0 0 194 / 512 3.9s Rwlock concurrent
[ ] 196 0 0 196 / 512 4.4s Rwlock concurrent
[ ] 199 0 0 199 / 512 4.8s Rwlock concurrent
[ ] 202 0 0 202 / 512 5.5s Rwlock concurrent
[ ] 209 0 0 209 / 512 5.6s Rwlock concurrent
[ ] 212 0 0 212 / 512 6.3s Rwlock concurrent
[ ] 217 0 0 217 / 512 6.5s Rwlock concurrent
[ ] 220 0 0 220 / 512 6.6s Rwlock concurrent
[ ] 227 0 0 227 / 512 7.1s Rwlock concurrent
[ ] 234 0 0 234 / 512 7.7s Rwlock concurrent
[ ] 237 0 0 237 / 512 7.9s Rwlock concurrent
[ ] 244 0 0 244 / 512 8.8s Rwlock concurrent
[ ] 246 0 0 246 / 512 8.9s Rwlock concurrent
[ ] 248 0 0 248 / 512 9.1s Rwlock concurrent
[ ] 255 0 0 255 / 512 9.2s Rwlock concurrent
[ ] 256 0 0 256 / 512 9.4s Rwlock concurrent
[ ] 261 0 0 261 / 512 9.7s Rwlock concurrent
[ ] 262 0 0 262 / 512 10.9s Rwlock concurrent
[ ] 265 0 0 265 / 512 11.0s Rwlock concurrent
[ ] 269 0 0 269 / 512 11.2s Rwlock concurrent
[ ] 273 0 0 273 / 512 11.3s Rwlock concurrent
[ ] 275 0 0 275 / 512 11.5s Rwlock concurrent
[ ] 277 0 0 277 / 512 11.7s Rwlock concurrent
[ ] 279 0 0 279 / 512 11.8s Rwlock concurrent
[ ] 283 0 0 283 / 512 11.9s Rwlock concurrent
[ ] 287 0 0 287 / 512 12.6s Rwlock concurrent
[ ] 291 0 0 291 / 512 12.7s Rwlock concurrent
[ ] 292 0 0 292 / 512 13.0s Rwlock concurrent
[ ] 296 0 0 296 / 512 13.2s Rwlock concurrent
[ ] 310 0 0 310 / 512 13.3s Rwlock concurrent
[ ] 312 0 0 312 / 512 13.4s Rwlock concurrent
[ ] 314 0 0 314 / 512 13.5s Rwlock concurrent
[ ] 317 0 0 317 / 512 13.7s Rwlock concurrent
[ ] 321 0 0 321 / 512 14.0s Rwlock concurrent
[ ] 324 0 0 324 / 512 14.2s Rwlock concurrent
[ ] 328 0 0 328 / 512 14.3s Rwlock concurrent
[ ] 334 0 0 334 / 512 14.4s Rwlock concurrent
[ ] 335 0 0 335 / 512 14.7s Rwlock concurrent
[ ] 336 0 0 336 / 512 15.5s Rwlock concurrent
[ ] 337 0 0 337 / 512 15.6s Rwlock concurrent
[ ] 340 0 0 340 / 512 15.8s Rwlock concurrent
[ ] 353 0 0 353 / 512 15.9s Rwlock concurrent
[ ] 359 0 0 359 / 512 16.2s Rwlock concurrent
[ ] 361 0 0 361 / 512 16.3s Rwlock concurrent
[ ] 367 0 0 367 / 512 16.6s Rwlock concurrent
[ ] 377 0 0 377 / 512 16.7s Rwlock concurrent
[ ] 390 0 0 390 / 512 16.8s Rwlock concurrent
[ ] 404 0 0 404 / 512 16.9s Rwlock concurrent
[ ] 408 0 0 408 / 512 17.0s Rwlock concurrent
[ ] 427 0 0 427 / 512 17.2s Rwlock concurrent
[ ] 429 0 0 429 / 512 17.6s Rwlock concurrent
[ ] 435 0 0 435 / 512 17.7s Rwlock concurrent
[ ] 443 0 0 443 / 512 18.0s Rwlock concurrent
[ ] 450 0 0 450 / 512 18.1s Rwlock concurrent
[ ] 451 0 0 451 / 512 18.5s Rwlock concurrent
[ ] 458 0 0 458 / 512 18.6s Rwlock concurrent
[ ] 467 0 0 467 / 512 18.7s Rwlock concurrent
[ ] 472 0 0 472 / 512 18.9s Rwlock concurrent
[ ] 477 0 0 477 / 512 19.3s Rwlock concurrent
[ ] 488 0 0 488 / 512 19.4s Rwlock concurrent
[ ] 494 0 0 494 / 512 19.9s Rwlock concurrent
[ ] 496 0 0 496 / 512 20.4s Rwlock concurrent
[ ] 503 0 0 503 / 512 20.5s Rwlock concurrent
[ ] 511 0 0 511 / 512 20.7s Rwlock concurrent
[✓] 512 0 0 512 / 512 20.7s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2562991413183760861
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 11 0 0 11 / 32 0.1s Rwlock concurrent
[ ] 31 0 0 31 / 32 0.2s Rwlock concurrent
[✓] 32 0 0 32 / 32 0.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `H0RMT9D1'.
[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 7.447s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `043N9PB8'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `RNHKG05Q'.
[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 `3MXHNKM5'.
[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.010s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `TRS8VK4G'.
[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 7.369s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `GBJTAMHY'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `SJ80COL8'.
[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 `VTGML6XL'.
[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 `GHQZY74A'.
[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 `NGOXFUPO'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `K0TN18DQ'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `15D448KF'.
[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.025s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `5MO1HGVX'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `AUWWC9LR'.
[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 0.024s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `FE9GVOZN'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `0L4TEGXL'.
[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 `5KFXOMIE'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `XTRXHWCS'.
[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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `ZMIM1K7P'.
[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.105s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `MCAVQGT3'.
[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.008s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `3UI88TGV'.
[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.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `2521QUAG'.
[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/test && ./test_schedulers.exe)
Testing with scheduler: threads
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.001228 -- ideally 0
mean: 1.002883 -- ideally 1
median: 1.003000 -- ideally 1
Testing `Picos schedulers'.
This run has ID `C0E1F7CT'.
[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 26.795s. 8 tests run.
Thread 207 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
Thread 208 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
2026-01-12 23:12.20 ---> saved as "c562ddadea373e2a249a9bc29fe34ba545d2402204c58e8ed3ee39567bb6d14d"
Job succeeded
2026-01-12 23:12.21: Job succeeded