2025-08-04 10:20.34: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/awaitable-stack (1a36b64320ceeed5549754dca560439b554bb1b9) (openbsd-amd64:openbsd-77-amd64-4.14_opam-2.4)
Base: openbsd-77-amd64-ocaml-4.14
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "awaitable-stack" && cd "picos" && git reset --hard 1a36b643
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM openbsd-77-amd64-ocaml-4.14
# openbsd-77-amd64-4.14_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN doas ln -f /usr/bin/opam-2.4 /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 6129d098e5bdb58a83ef764c0af49db775a2987c || git fetch origin master) && git reset -q --hard 6129d098e5bdb58a83ef764c0af49db775a2987c && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam /home/opam/src/./
RUN opam pin add -yn picos_std.dev '/home/opam/src/./' && \
opam pin add -yn picos_mux.dev '/home/opam/src/./' && \
opam pin add -yn picos_meta.dev '/home/opam/src/./' && \
opam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
opam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
opam pin add -yn picos_io.dev '/home/opam/src/./' && \
opam pin add -yn picos_aux.dev '/home/opam/src/./' && \
opam pin add -yn picos.dev '/home/opam/src/./'
RUN echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'
ENV DEPS="alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.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.9.0 lwt.5.9.1 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.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.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 rresult.0.7.0 sedlex.3.6 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.0 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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /home/opam/src
RUN cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-08-04 10:20.34: Using cache hint "ocaml-multicore/picos-openbsd-77-amd64-ocaml-4.14-openbsd-77-amd64-4.14_opam-2.4-383ea0b070a5b2a745a4ed9494c5dff0"
2025-08-04 10:20.34: Using OBuilder spec:
((from openbsd-77-amd64-ocaml-4.14)
(comment openbsd-77-amd64-4.14_opam-2.4)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "doas ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 6129d098e5bdb58a83ef764c0af49db775a2987c || git fetch origin master) && git reset -q --hard 6129d098e5bdb58a83ef764c0af49db775a2987c && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst /home/opam/src/./))
(run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
(env DEPS "alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.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.9.0 lwt.5.9.1 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.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.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 rresult.0.7.0 sedlex.3.6 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.0 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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /home/opam/src))
(run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2025-08-04 10:20.34: Waiting for resource in pool OCluster
2025-08-04 10:20.34: Waiting for worker…
2025-08-04 13:52.28: Got resource from pool OCluster
Building on oregano
All commits already cached
HEAD is now at 1a36b64 Without sticky bit
(from openbsd-77-amd64-ocaml-4.14)
2025-08-04 13:52.28 ---> using "00579f8dea230f94ca5972e50ed0dc70167d1c0e96cfe76e645642677774f17f" from cache
/: (comment openbsd-77-amd64-4.14_opam-2.4)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "doas ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-08-04 13:52.28 ---> using "8054e5d0929fce63b2e622c1fc2caefa9b5f6e503f9fc7599e0bc40c0bb8a3e7" 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
2025-08-04 13:52.28 ---> using "8a35e9584a9ed6dcc739329957f608077d9c3bd6b56dee5b8d5c3bdd8dab57f7" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
OpenBSD 7.7
The OCaml toplevel, version 4.14.2
2.4.1
2025-08-04 13:52.28 ---> using "b0cd4eee5840b9ccd2075fddbf7c93660c8c159436f71f3bf2f9c12998bdaf67" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 6129d098e5bdb58a83ef764c0af49db775a2987c || git fetch origin master) && git reset -q --hard 6129d098e5bdb58a83ef764c0af49db775a2987c && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
f6368c68f9..6129d098e5 master -> origin/master
6129d098e5 Merge pull request #28274 from hhugo/release-js_of_ocaml-6.2.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.3.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)
2025-08-04 13:52.28 ---> using "cf333323209d182b3a412a6510cedec8bb09c0dbe46776ad7894ff77332d48bc" from cache
/: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst /home/opam/src/./))
2025-08-04 13:52.28 ---> using "7ebc9f68dbecceb7fa3304ad51e02ebafb84f4803be997c4c78f57169ac8ed6c" from cache
/: (run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
[picos_std.dev] synchronised (file:///home/opam/src)
picos_std is now pinned to file:///home/opam/src (version dev)
[picos_mux.dev] synchronised (file:///home/opam/src)
picos_mux is now pinned to file:///home/opam/src (version dev)
[picos_meta.dev] synchronised (file:///home/opam/src)
picos_meta is now pinned to file:///home/opam/src (version dev)
[picos_lwt.dev] synchronised (file:///home/opam/src)
picos_lwt is now pinned to file:///home/opam/src (version dev)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
picos_io_cohttp is now pinned to file:///home/opam/src (version dev)
[picos_io.dev] synchronised (file:///home/opam/src)
picos_io is now pinned to file:///home/opam/src (version dev)
[picos_aux.dev] synchronised (file:///home/opam/src)
picos_aux is now pinned to file:///home/opam/src (version dev)
[picos.dev] synchronised (file:///home/opam/src)
picos is now pinned to file:///home/opam/src (version dev)
2025-08-04 13:52.28 ---> using "c1d51303c5625ebb93b5f01b0ca41ff5b9d1775e9a13b9ea3efd5a67a8910d4c" from cache
/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
2025-08-04 13:52.28 ---> using "5239279d1aa532b2fe14f7f16292a44f994042b04e0b0682410c1570cc360792" from cache
/: (env DEPS "alcotest.1.9.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-npm.1 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.4.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.19.1 dune-configurator.3.19.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.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.9.0 lwt.5.9.1 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.2.0.1 mirage-crypto-ec.2.0.1 mirage-crypto-pk.2.0.1 mirage-crypto-rng.2.0.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.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.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 rresult.0.7.0 sedlex.3.6 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.0 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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
[WARNING] Unknown update command for bsd, skipping system update
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos_io.dev] synchronised (file:///home/opam/src)
[picos_aux.dev] synchronised (file:///home/opam/src)
[picos.dev] synchronised (file:///home/opam/src)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
[picos_lwt.dev] synchronised (file:///home/opam/src)
[picos_mux.dev] synchronised (file:///home/opam/src)
[picos_meta.dev] synchronised (file:///home/opam/src)
[picos_std.dev] synchronised (file:///home/opam/src)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 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-08-04T00:11:03Z
- --- +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
2025-08-04 13:52.28 ---> using "df99d604b7e451573eea212b8f2c870b8f2c37ac7829563886cef856e00ec828" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 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.0
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.16.4
- install base-bytes base
- install base64 3.5.1
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 1.3.0
- install cohttp 6.1.1
- install cohttp-lwt 6.1.1
- install cohttp-lwt-unix 6.1.1
- install conduit 8.0.0
- install conduit-lwt 8.0.0
- install conduit-lwt-unix 8.0.0
- install conf-gmp 5
- install conf-gmp-powm-sec 4
- install conf-npm 1
- install conf-pkg-config 4
- install containers 3.16
- install cppo 1.8.0
- install csexp 1.5.2
- install digestif 1.3.0
- install domain-local-await 1.0.1
- install domain-name 0.4.1
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.19.1
- install dune-configurator 3.19.1
- install duration 0.2.1
- install either 1.0.0
- install eqaf 0.10
- install fmt 0.11.0
- install fpath 0.7.3
- install gen 1.1
- install gmap 0.3.0
- install http 6.1.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.9.0
- install lwt 5.9.1
- install macaddr 5.6.1
- install magic-mime 1.3.1
- install mdx 2.5.0
- install menhir 20240715
- install menhirCST 20240715
- install menhirLib 20240715
- install menhirSdk 20240715
- install mirage-crypto 2.0.1
- install mirage-crypto-ec 2.0.1
- install mirage-crypto-pk 2.0.1
- install mirage-crypto-rng 2.0.1
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.1
- install multicore-magic-dscheck 2.3.1
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.1
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install ocplib-endian 1.2
- install ohex 0.2.0
- install oseq 0.5.1
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.26
- install qcheck-multicoretests-util 0.9
- install qcheck-stm 0.9
- install re 1.13.2
- install result 1.5
- install rresult 0.7.0
- install sedlex 3.6
- 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.0
- 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.1 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved alcotest.1.9.0 (cached)
-> retrieved cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1 (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
-> retrieved containers.3.16 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.4.1 (cached)
-> installed conf-npm.1
-> 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 digestif.1.3.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.9.0 (cached)
-> retrieved lwt.5.9.1 (cached)
-> retrieved magic-mime.1.3.1 (cached)
-> retrieved mdx.2.5.0 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved mirage-crypto.2.0.1, mirage-crypto-ec.2.0.1, mirage-crypto-pk.2.0.1, mirage-crypto-rng.2.0.1 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved dune.3.19.1, dune-configurator.3.19.1 (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.1 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ohex.0.2.0 (cached)
-> installed cmdliner.1.3.0
-> installed conf-gmp-powm-sec.4
-> installed conf-pkg-config.4
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved qcheck-multicoretests-util.0.9, qcheck-stm.0.9 (cached)
-> retrieved re.1.13.2 (cached)
-> retrieved result.1.5 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> retrieved qcheck-core.0.26 (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 sedlex.3.6 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved topkg.1.1.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed dune.3.19.1
-> installed ocamlbuild.0.16.1
-> installed backoff.0.1.1
-> installed base64.3.5.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed domain-name.0.4.1
-> installed domain_shims.0.1.0
-> installed dune-configurator.3.19.1
-> installed duration.0.2.1
-> installed bigstringaf.0.10.0
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed containers.3.16
-> installed digestif.1.3.0
-> installed gmap.0.3.0
-> installed http.6.1.1
-> installed macaddr.5.6.1
-> installed magic-mime.1.3.1
-> installed ipaddr.5.6.1
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed mirage-crypto.2.0.1
-> installed menhir.20240715
-> installed kdf.1.0.0
-> installed multicore-magic.2.3.1
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.1
-> installed angstrom.0.16.1
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ocplib-endian.1.2
-> installed ppx_derivers.1.2.1
-> installed lwt.5.9.1
-> installed qcheck-core.0.26
-> installed result.1.5
-> installed qcheck-multicoretests-util.0.9
-> installed seq.base
-> installed sexplib0.v0.16.0
-> installed gen.1.1
-> installed base.v0.16.4
-> installed psq.0.2.1
-> installed qcheck-stm.0.9
-> installed re.1.13.2
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed ppxlib.0.35.0
-> installed thread-local-storage.0.2
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.6
-> installed ipaddr-sexp.5.6.1
-> installed thread-table.1.0.0
-> installed topkg.1.1.0
-> installed domain-local-await.1.0.1
-> installed astring.0.8.5
-> installed fmt.0.11.0
-> installed fpath.0.7.3
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed rresult.0.7.0
-> installed asn1-combinators.0.3.2
-> installed tsort.2.2.0
-> installed uri.4.4.0
-> installed dscheck.0.5.0
-> installed uri-sexp.4.4.0
-> installed multicore-magic-dscheck.2.3.1
-> installed uutf.1.0.4
-> installed yojson.3.0.0
-> installed alcotest.1.9.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed multicore-bench.0.1.7
-> installed js_of_ocaml.6.2.0
-> installed logs.0.9.0
-> installed zarith.1.14
-> installed bos.0.2.1
-> installed cohttp.6.1.1
-> installed conduit.8.0.0
-> installed cohttp-lwt.6.1.1
-> installed conduit-lwt.8.0.0
-> installed mdx.2.5.0
-> installed mirage-crypto-rng.2.0.1
-> installed mirage-crypto-ec.2.0.1
-> installed mirage-crypto-pk.2.0.1
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-04 13:52.28 ---> using "0d08b28c358bd9571553d25df1165bbf1be4948638bb784b3ce91cbe9aee3d9e" from cache
/: (copy (src .) (dst /home/opam/src))
2025-08-04 13:53.26 ---> saved as "d4be887234821ff32674d77361cfc37ceacc87335201640420a58f3b0c1453fc"
/: (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: 768582965727637034
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: 1602096667828016107
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: 3402889293304056757
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: 3296532263420687557
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: 2521779664658620480
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: 4295186953210992514
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 `BEJ681HO'.
[OK] move 0 is lazy.
[OK] borrow 0 returns resource.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_finally'.
Test Successful in 0.003s. 2 tests run.
(cd _build/default/test && /usr/local/bin/node test_js_of_ocaml.bc.js)
Hello, from js_of_ocaml with Picos!
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `KRVAF3AI'.
[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.590s. 7 tests run.
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 2179058283105359015
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
[ ] 4 0 0 4 / 32 0.2s Mpmcq concurrent
[ ] 7 0 0 7 / 32 0.5s Mpmcq concurrent
[ ] 8 0 0 8 / 32 0.7s Mpmcq concurrent
[ ] 14 0 0 14 / 32 0.9s Mpmcq concurrent
[ ] 26 0 0 26 / 32 1.1s Mpmcq concurrent
[ ] 30 0 0 30 / 32 1.2s Mpmcq concurrent
[✓] 32 0 0 32 / 32 1.3s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3742568915854360240
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
[ ] 1 0 0 1 / 64 0.1s Mpmcq concurrent
[ ] 6 0 0 6 / 64 0.3s Mpmcq concurrent
[ ] 11 0 0 11 / 64 0.4s Mpmcq concurrent
[ ] 15 0 0 15 / 64 0.5s Mpmcq concurrent
[ ] 18 0 0 18 / 64 0.7s Mpmcq concurrent
[ ] 23 0 0 23 / 64 0.8s Mpmcq concurrent
[ ] 29 0 0 29 / 64 0.9s Mpmcq concurrent
[ ] 34 0 0 34 / 64 1.1s Mpmcq concurrent
[ ] 36 0 0 36 / 64 1.3s Mpmcq concurrent
[ ] 37 0 0 37 / 64 1.4s Mpmcq concurrent
[ ] 40 0 0 40 / 64 1.5s Mpmcq concurrent
[ ] 44 0 0 44 / 64 1.8s Mpmcq concurrent
[ ] 49 0 0 49 / 64 1.9s Mpmcq concurrent
[ ] 51 0 0 51 / 64 2.0s Mpmcq concurrent
[ ] 55 0 0 55 / 64 2.3s Mpmcq concurrent
[ ] 58 0 0 58 / 64 2.5s Mpmcq concurrent
[ ] 60 0 0 60 / 64 2.7s Mpmcq concurrent
[✓] 64 0 0 64 / 64 2.7s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 534255457903512136
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
[ ] 2 0 0 2 / 128 0.2s Mpmcq concurrent
[ ] 4 0 0 4 / 128 0.6s Mpmcq concurrent
[ ] 8 0 0 8 / 128 1.1s Mpmcq concurrent
[ ] 12 0 0 12 / 128 1.4s Mpmcq concurrent
[ ] 13 0 0 13 / 128 1.6s Mpmcq concurrent
[ ] 19 0 0 19 / 128 1.7s Mpmcq concurrent
[ ] 21 0 0 21 / 128 1.8s Mpmcq concurrent
[ ] 28 0 0 28 / 128 2.1s Mpmcq concurrent
[ ] 29 0 0 29 / 128 2.3s Mpmcq concurrent
[ ] 30 0 0 30 / 128 2.5s Mpmcq concurrent
[ ] 34 0 0 34 / 128 2.7s Mpmcq concurrent
[ ] 37 0 0 37 / 128 2.9s Mpmcq concurrent
[ ] 38 0 0 38 / 128 3.0s Mpmcq concurrent
[ ] 42 0 0 42 / 128 3.1s Mpmcq concurrent
[ ] 45 0 0 45 / 128 3.2s Mpmcq concurrent
[ ] 49 0 0 49 / 128 3.5s Mpmcq concurrent
[ ] 52 0 0 52 / 128 3.7s Mpmcq concurrent
[ ] 54 0 0 54 / 128 4.0s Mpmcq concurrent
[ ] 57 0 0 57 / 128 4.2s Mpmcq concurrent
[ ] 63 0 0 63 / 128 4.3s Mpmcq concurrent
[ ] 65 0 0 65 / 128 4.4s Mpmcq concurrent
[ ] 69 0 0 69 / 128 4.5s Mpmcq concurrent
[ ] 77 0 0 77 / 128 4.7s Mpmcq concurrent
[ ] 78 0 0 78 / 128 4.8s Mpmcq concurrent
[ ] 80 0 0 80 / 128 5.1s Mpmcq concurrent
[ ] 82 0 0 82 / 128 5.3s Mpmcq concurrent
[ ] 83 0 0 83 / 128 5.5s Mpmcq concurrent
[ ] 84 0 0 84 / 128 5.6s Mpmcq concurrent
[ ] 88 0 0 88 / 128 5.7s Mpmcq concurrent
[ ] 92 0 0 92 / 128 5.8s Mpmcq concurrent
[ ] 96 0 0 96 / 128 6.0s Mpmcq concurrent
[ ] 98 0 0 98 / 128 6.1s Mpmcq concurrent
[ ] 105 0 0 105 / 128 6.2s Mpmcq concurrent
[ ] 108 0 0 108 / 128 6.4s Mpmcq concurrent
[ ] 114 0 0 114 / 128 6.5s Mpmcq concurrent
[ ] 122 0 0 122 / 128 6.6s Mpmcq concurrent
[ ] 128 0 0 128 / 128 6.7s Mpmcq concurrent
[✓] 128 0 0 128 / 128 6.7s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3185886920343260349
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
[ ] 4 0 0 4 / 256 0.3s Mpmcq concurrent
[ ] 9 0 0 9 / 256 0.5s Mpmcq concurrent
[ ] 14 0 0 14 / 256 0.7s Mpmcq concurrent
[ ] 21 0 0 21 / 256 0.8s Mpmcq concurrent
[ ] 23 0 0 23 / 256 0.9s Mpmcq concurrent
[ ] 25 0 0 25 / 256 1.0s Mpmcq concurrent
[ ] 29 0 0 29 / 256 1.3s Mpmcq concurrent
[ ] 31 0 0 31 / 256 1.5s Mpmcq concurrent
[ ] 33 0 0 33 / 256 1.7s Mpmcq concurrent
[ ] 37 0 0 37 / 256 1.9s Mpmcq concurrent
[ ] 39 0 0 39 / 256 2.1s Mpmcq concurrent
[ ] 42 0 0 42 / 256 2.3s Mpmcq concurrent
[ ] 46 0 0 46 / 256 2.6s Mpmcq concurrent
[ ] 52 0 0 52 / 256 2.7s Mpmcq concurrent
[ ] 56 0 0 56 / 256 2.8s Mpmcq concurrent
[ ] 61 0 0 61 / 256 3.1s Mpmcq concurrent
[ ] 64 0 0 64 / 256 3.2s Mpmcq concurrent
[ ] 71 0 0 71 / 256 3.3s Mpmcq concurrent
[ ] 75 0 0 75 / 256 3.5s Mpmcq concurrent
[ ] 77 0 0 77 / 256 3.7s Mpmcq concurrent
[ ] 81 0 0 81 / 256 3.9s Mpmcq concurrent
[ ] 90 0 0 90 / 256 4.0s Mpmcq concurrent
[ ] 91 0 0 91 / 256 4.1s Mpmcq concurrent
[ ] 101 0 0 101 / 256 4.3s Mpmcq concurrent
[ ] 103 0 0 103 / 256 4.4s Mpmcq concurrent
[ ] 106 0 0 106 / 256 4.6s Mpmcq concurrent
[ ] 110 0 0 110 / 256 4.7s Mpmcq concurrent
[ ] 116 0 0 116 / 256 4.9s Mpmcq concurrent
[ ] 117 0 0 117 / 256 5.2s Mpmcq concurrent
[ ] 119 0 0 119 / 256 5.3s Mpmcq concurrent
[ ] 120 0 0 120 / 256 5.5s Mpmcq concurrent
[ ] 121 0 0 121 / 256 5.6s Mpmcq concurrent
[ ] 123 0 0 123 / 256 5.7s Mpmcq concurrent
[ ] 127 0 0 127 / 256 5.9s Mpmcq concurrent
[ ] 133 0 0 133 / 256 6.0s Mpmcq concurrent
[ ] 137 0 0 137 / 256 6.1s Mpmcq concurrent
[ ] 139 0 0 139 / 256 6.3s Mpmcq concurrent
[ ] 143 0 0 143 / 256 6.8s Mpmcq concurrent
[ ] 147 0 0 147 / 256 6.9s Mpmcq concurrent
[ ] 154 0 0 154 / 256 7.0s Mpmcq concurrent
[ ] 157 0 0 157 / 256 7.1s Mpmcq concurrent
[ ] 160 0 0 160 / 256 7.2s Mpmcq concurrent
[ ] 161 0 0 161 / 256 7.5s Mpmcq concurrent
[ ] 165 0 0 165 / 256 7.6s Mpmcq concurrent
[ ] 170 0 0 170 / 256 7.7s Mpmcq concurrent
[ ] 175 0 0 175 / 256 7.9s Mpmcq concurrent
[ ] 177 0 0 177 / 256 8.2s Mpmcq concurrent
[ ] 179 0 0 179 / 256 8.3s Mpmcq concurrent
[ ] 183 0 0 183 / 256 8.4s Mpmcq concurrent
[ ] 185 0 0 185 / 256 8.7s Mpmcq concurrent
[ ] 187 0 0 187 / 256 8.8s Mpmcq concurrent
[ ] 191 0 0 191 / 256 8.9s Mpmcq concurrent
[ ] 194 0 0 194 / 256 9.0s Mpmcq concurrent
[ ] 198 0 0 198 / 256 9.4s Mpmcq concurrent
[ ] 199 0 0 199 / 256 9.5s Mpmcq concurrent
[ ] 201 0 0 201 / 256 9.7s Mpmcq concurrent
[ ] 204 0 0 204 / 256 9.8s Mpmcq concurrent
[ ] 212 0 0 212 / 256 9.9s Mpmcq concurrent
[ ] 213 0 0 213 / 256 10.1s Mpmcq concurrent
[ ] 217 0 0 217 / 256 10.3s Mpmcq concurrent
[ ] 229 0 0 229 / 256 10.4s Mpmcq concurrent
[ ] 233 0 0 233 / 256 10.5s Mpmcq concurrent
[ ] 235 0 0 235 / 256 10.7s Mpmcq concurrent
[ ] 238 0 0 238 / 256 10.8s Mpmcq concurrent
[ ] 242 0 0 242 / 256 10.9s Mpmcq concurrent
[ ] 245 0 0 245 / 256 11.1s Mpmcq concurrent
[ ] 249 0 0 249 / 256 11.3s Mpmcq concurrent
[✓] 256 0 0 256 / 256 11.3s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3041750776167557596
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
[ ] 10 0 0 10 / 512 0.1s Mpmcq concurrent
[ ] 15 0 0 15 / 512 0.2s Mpmcq concurrent
[ ] 21 0 0 21 / 512 0.4s Mpmcq concurrent
[ ] 27 0 0 27 / 512 0.5s Mpmcq concurrent
[ ] 30 0 0 30 / 512 0.6s Mpmcq concurrent
[ ] 35 0 0 35 / 512 0.9s Mpmcq concurrent
[ ] 38 0 0 38 / 512 1.0s Mpmcq concurrent
[ ] 40 0 0 40 / 512 1.1s Mpmcq concurrent
[ ] 49 0 0 49 / 512 1.3s Mpmcq concurrent
[ ] 51 0 0 51 / 512 1.5s Mpmcq concurrent
[ ] 55 0 0 55 / 512 1.6s Mpmcq concurrent
[ ] 56 0 0 56 / 512 1.7s Mpmcq concurrent
[ ] 63 0 0 63 / 512 1.8s Mpmcq concurrent
[ ] 65 0 0 65 / 512 2.0s Mpmcq concurrent
[ ] 69 0 0 69 / 512 2.1s Mpmcq concurrent
[ ] 73 0 0 73 / 512 2.3s Mpmcq concurrent
[ ] 81 0 0 81 / 512 2.4s Mpmcq concurrent
[ ] 90 0 0 90 / 512 2.5s Mpmcq concurrent
[ ] 98 0 0 98 / 512 2.6s Mpmcq concurrent
[ ] 104 0 0 104 / 512 2.8s Mpmcq concurrent
[ ] 111 0 0 111 / 512 3.0s Mpmcq concurrent
[ ] 113 0 0 113 / 512 3.1s Mpmcq concurrent
[ ] 117 0 0 117 / 512 3.3s Mpmcq concurrent
[ ] 119 0 0 119 / 512 3.4s Mpmcq concurrent
[ ] 127 0 0 127 / 512 3.5s Mpmcq concurrent
[ ] 130 0 0 130 / 512 3.7s Mpmcq concurrent
[ ] 137 0 0 137 / 512 3.8s Mpmcq concurrent
[ ] 138 0 0 138 / 512 4.0s Mpmcq concurrent
[ ] 141 0 0 141 / 512 4.2s Mpmcq concurrent
[ ] 142 0 0 142 / 512 4.3s Mpmcq concurrent
[ ] 144 0 0 144 / 512 4.4s Mpmcq concurrent
[ ] 148 0 0 148 / 512 4.6s Mpmcq concurrent
[ ] 154 0 0 154 / 512 4.8s Mpmcq concurrent
[ ] 155 0 0 155 / 512 5.0s Mpmcq concurrent
[ ] 158 0 0 158 / 512 5.1s Mpmcq concurrent
[ ] 159 0 0 159 / 512 5.2s Mpmcq concurrent
[ ] 161 0 0 161 / 512 5.3s Mpmcq concurrent
[ ] 167 0 0 167 / 512 5.4s Mpmcq concurrent
[ ] 168 0 0 168 / 512 5.7s Mpmcq concurrent
[ ] 171 0 0 171 / 512 5.8s Mpmcq concurrent
[ ] 176 0 0 176 / 512 6.0s Mpmcq concurrent
[ ] 178 0 0 178 / 512 6.1s Mpmcq concurrent
[ ] 183 0 0 183 / 512 6.2s Mpmcq concurrent
[ ] 189 0 0 189 / 512 6.6s Mpmcq concurrent
[ ] 191 0 0 191 / 512 6.7s Mpmcq concurrent
[ ] 192 0 0 192 / 512 6.8s Mpmcq concurrent
[ ] 193 0 0 193 / 512 6.9s Mpmcq concurrent
[ ] 196 0 0 196 / 512 7.1s Mpmcq concurrent
[ ] 198 0 0 198 / 512 7.2s Mpmcq concurrent
[ ] 200 0 0 200 / 512 7.3s Mpmcq concurrent
[ ] 204 0 0 204 / 512 7.4s Mpmcq concurrent
[ ] 205 0 0 205 / 512 7.6s Mpmcq concurrent
[ ] 209 0 0 209 / 512 7.7s Mpmcq concurrent
[ ] 211 0 0 211 / 512 7.8s Mpmcq concurrent
[ ] 213 0 0 213 / 512 8.0s Mpmcq concurrent
[ ] 215 0 0 215 / 512 8.2s Mpmcq concurrent
[ ] 218 0 0 218 / 512 8.3s Mpmcq concurrent
[ ] 223 0 0 223 / 512 8.4s Mpmcq concurrent
[ ] 231 0 0 231 / 512 8.6s Mpmcq concurrent
[ ] 234 0 0 234 / 512 8.8s Mpmcq concurrent
[ ] 244 0 0 244 / 512 9.0s Mpmcq concurrent
[ ] 249 0 0 249 / 512 9.1s Mpmcq concurrent
[ ] 251 0 0 251 / 512 9.2s Mpmcq concurrent
[ ] 254 0 0 254 / 512 9.3s Mpmcq concurrent
[ ] 257 0 0 257 / 512 9.4s Mpmcq concurrent
[ ] 260 0 0 260 / 512 9.8s Mpmcq concurrent
[ ] 266 0 0 266 / 512 9.9s Mpmcq concurrent
[ ] 268 0 0 268 / 512 10.1s Mpmcq concurrent
[ ] 270 0 0 270 / 512 10.2s Mpmcq concurrent
[ ] 273 0 0 273 / 512 10.3s Mpmcq concurrent
[ ] 277 0 0 277 / 512 10.5s Mpmcq concurrent
[ ] 281 0 0 281 / 512 10.8s Mpmcq concurrent
[ ] 287 0 0 287 / 512 11.1s Mpmcq concurrent
[ ] 290 0 0 290 / 512 11.2s Mpmcq concurrent
[ ] 292 0 0 292 / 512 11.3s Mpmcq concurrent
[ ] 302 0 0 302 / 512 11.7s Mpmcq concurrent
[ ] 304 0 0 304 / 512 11.8s Mpmcq concurrent
[ ] 306 0 0 306 / 512 12.0s Mpmcq concurrent
[ ] 308 0 0 308 / 512 12.2s Mpmcq concurrent
[ ] 313 0 0 313 / 512 12.5s Mpmcq concurrent
[ ] 320 0 0 320 / 512 12.7s Mpmcq concurrent
[ ] 322 0 0 322 / 512 13.0s Mpmcq concurrent
[ ] 326 0 0 326 / 512 13.1s Mpmcq concurrent
[ ] 332 0 0 332 / 512 13.2s Mpmcq concurrent
[ ] 340 0 0 340 / 512 13.5s Mpmcq concurrent
[ ] 343 0 0 343 / 512 13.6s Mpmcq concurrent
[ ] 346 0 0 346 / 512 13.7s Mpmcq concurrent
[ ] 348 0 0 348 / 512 14.1s Mpmcq concurrent
[ ] 351 0 0 351 / 512 14.2s Mpmcq concurrent
[ ] 360 0 0 360 / 512 14.3s Mpmcq concurrent
[ ] 366 0 0 366 / 512 14.4s Mpmcq concurrent
[ ] 371 0 0 371 / 512 14.5s Mpmcq concurrent
[ ] 382 0 0 382 / 512 14.6s Mpmcq concurrent
[ ] 386 0 0 386 / 512 14.7s Mpmcq concurrent
[ ] 391 0 0 391 / 512 14.9s Mpmcq concurrent
[ ] 396 0 0 396 / 512 15.0s Mpmcq concurrent
[ ] 401 0 0 401 / 512 15.3s Mpmcq concurrent
[ ] 408 0 0 408 / 512 15.5s Mpmcq concurrent
[ ] 415 0 0 415 / 512 15.6s Mpmcq concurrent
[ ] 424 0 0 424 / 512 15.7s Mpmcq concurrent
[ ] 434 0 0 434 / 512 15.8s Mpmcq concurrent
[ ] 440 0 0 440 / 512 15.9s Mpmcq concurrent
[ ] 445 0 0 445 / 512 16.1s Mpmcq concurrent
[ ] 448 0 0 448 / 512 16.2s Mpmcq concurrent
[ ] 454 0 0 454 / 512 16.4s Mpmcq concurrent
[ ] 469 0 0 469 / 512 16.5s Mpmcq concurrent
[ ] 475 0 0 475 / 512 16.6s Mpmcq concurrent
[ ] 483 0 0 483 / 512 16.8s Mpmcq concurrent
[ ] 489 0 0 489 / 512 16.9s Mpmcq concurrent
[ ] 490 0 0 490 / 512 17.1s Mpmcq concurrent
[ ] 492 0 0 492 / 512 17.3s Mpmcq concurrent
[ ] 496 0 0 496 / 512 17.4s Mpmcq concurrent
[ ] 501 0 0 501 / 512 17.7s Mpmcq concurrent
[ ] 510 0 0 510 / 512 17.8s Mpmcq concurrent
[✓] 512 0 0 512 / 512 17.8s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 1136879878072643689
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
[ ] 1 0 0 1 / 32 0.2s Mpmcq concurrent
[ ] 8 0 0 8 / 32 0.5s Mpmcq concurrent
[ ] 13 0 0 13 / 32 0.7s Mpmcq concurrent
[ ] 15 0 0 15 / 32 0.9s Mpmcq concurrent
[ ] 23 0 0 23 / 32 1.0s Mpmcq concurrent
[ ] 31 0 0 31 / 32 1.1s Mpmcq concurrent
[✓] 32 0 0 32 / 32 1.1s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `BCS04TQ2'.
[OK] Unix 0 system.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.043s. 1 test run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `N7D3X8WL'.
[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.497s. 6 tests run.
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `1ONVJOH4'.
[OK] Intr 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 5.899s. 1 test run.
(cd _build/default/test && ./test_htbl.exe)
random seed: 3272884921344584683
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
[ ] 7 0 0 7 / 32 0.1s Htbl concurrent
[ ] 8 0 0 8 / 32 0.3s Htbl concurrent
[ ] 10 0 0 10 / 32 0.4s Htbl concurrent (collecting)
[ ] 12 0 0 12 / 32 0.5s Htbl concurrent
[ ] 14 0 0 14 / 32 0.7s Htbl concurrent
[ ] 18 0 0 18 / 32 0.8s Htbl concurrent
[ ] 25 0 0 25 / 32 1.1s Htbl concurrent
[ ] 29 0 0 29 / 32 1.2s Htbl concurrent
[✓] 32 0 0 32 / 32 1.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2157458802807070470
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
[ ] 3 0 0 3 / 64 0.2s Htbl concurrent
[ ] 7 0 0 7 / 64 0.3s Htbl concurrent
[ ] 10 0 0 10 / 64 0.5s Htbl concurrent
[ ] 12 0 0 12 / 64 0.6s Htbl concurrent
[ ] 13 0 0 13 / 64 0.8s Htbl concurrent
[ ] 17 0 0 17 / 64 1.0s Htbl concurrent
[ ] 23 0 0 23 / 64 1.1s Htbl concurrent
[ ] 25 0 0 25 / 64 1.3s Htbl concurrent
[ ] 28 0 0 28 / 64 1.4s Htbl concurrent
[ ] 30 0 0 30 / 64 1.7s Htbl concurrent
[ ] 32 0 0 32 / 64 2.1s Htbl concurrent
[ ] 34 0 0 34 / 64 2.4s Htbl concurrent
[ ] 38 0 0 38 / 64 2.7s Htbl concurrent
[ ] 39 0 0 39 / 64 3.3s Htbl concurrent
[ ] 43 0 0 43 / 64 3.5s Htbl concurrent
[ ] 44 0 0 44 / 64 4.4s Htbl concurrent
[ ] 46 0 0 46 / 64 4.6s Htbl concurrent
[ ] 48 0 0 48 / 64 4.7s Htbl concurrent
[ ] 51 0 0 51 / 64 4.9s Htbl concurrent
[ ] 53 0 0 53 / 64 5.0s Htbl concurrent
[ ] 55 0 0 55 / 64 5.5s Htbl concurrent
[ ] 58 0 0 58 / 64 5.7s Htbl concurrent
[ ] 59 0 0 59 / 64 5.8s Htbl concurrent
[ ] 60 0 0 60 / 64 6.0s Htbl concurrent
[ ] 61 0 0 61 / 64 6.2s Htbl concurrent
[✓] 64 0 0 64 / 64 6.2s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4549339902202932983
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
[ ] 4 0 0 4 / 128 0.1s Htbl concurrent
[ ] 7 0 0 7 / 128 0.3s Htbl concurrent
[ ] 14 0 0 14 / 128 0.5s Htbl concurrent
[ ] 17 0 0 17 / 128 0.6s Htbl concurrent
[ ] 18 0 0 18 / 128 0.7s Htbl concurrent
[ ] 19 0 0 19 / 128 1.1s Htbl concurrent
[ ] 21 0 0 21 / 128 1.2s Htbl concurrent
[ ] 22 0 0 22 / 128 1.4s Htbl concurrent
[ ] 27 0 0 27 / 128 1.5s Htbl concurrent
[ ] 28 0 0 28 / 128 1.7s Htbl concurrent
[ ] 33 0 0 33 / 128 1.8s Htbl concurrent
[ ] 36 0 0 36 / 128 2.1s Htbl concurrent
[ ] 41 0 0 41 / 128 2.2s Htbl concurrent
[ ] 45 0 0 45 / 128 2.3s Htbl concurrent
[ ] 49 0 0 49 / 128 2.4s Htbl concurrent
[ ] 51 0 0 51 / 128 2.6s Htbl concurrent
[ ] 59 0 0 59 / 128 2.7s Htbl concurrent
[ ] 67 0 0 67 / 128 2.9s Htbl concurrent
[ ] 69 0 0 69 / 128 3.1s Htbl concurrent
[ ] 72 0 0 72 / 128 3.3s Htbl concurrent
[ ] 76 0 0 76 / 128 3.5s Htbl concurrent
[ ] 81 0 0 81 / 128 3.6s Htbl concurrent
[ ] 86 0 0 86 / 128 3.8s Htbl concurrent
[ ] 91 0 0 91 / 128 3.9s Htbl concurrent
[ ] 93 0 0 93 / 128 4.0s Htbl concurrent
[ ] 98 0 0 98 / 128 4.1s Htbl concurrent
[ ] 101 0 0 101 / 128 4.4s Htbl concurrent
[ ] 102 0 0 102 / 128 4.5s Htbl concurrent
[ ] 104 0 0 104 / 128 4.7s Htbl concurrent
[ ] 105 0 0 105 / 128 4.9s Htbl concurrent
[ ] 110 0 0 110 / 128 5.1s Htbl concurrent
[ ] 111 0 0 111 / 128 5.2s Htbl concurrent
[ ] 112 0 0 112 / 128 5.3s Htbl concurrent
[ ] 113 0 0 113 / 128 5.5s Htbl concurrent
[ ] 116 0 0 116 / 128 5.6s Htbl concurrent
[ ] 119 0 0 119 / 128 5.7s Htbl concurrent
[ ] 121 0 0 121 / 128 6.0s Htbl concurrent
[ ] 124 0 0 124 / 128 6.1s Htbl concurrent
[ ] 126 0 0 126 / 128 6.3s Htbl concurrent
[✓] 128 0 0 128 / 128 6.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1733670171610796365
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
[ ] 6 0 0 6 / 256 0.3s Htbl concurrent
[ ] 9 0 0 9 / 256 0.6s Htbl concurrent
[ ] 15 0 0 15 / 256 0.8s Htbl concurrent
[ ] 18 0 0 18 / 256 0.9s Htbl concurrent
[ ] 19 0 0 19 / 256 1.0s Htbl concurrent
[ ] 20 0 0 20 / 256 1.2s Htbl concurrent
[ ] 22 0 0 22 / 256 1.4s Htbl concurrent
[ ] 24 0 0 24 / 256 1.5s Htbl concurrent
[ ] 30 0 0 30 / 256 1.6s Htbl concurrent
[ ] 35 0 0 35 / 256 1.8s Htbl concurrent
[ ] 45 0 0 45 / 256 1.9s Htbl concurrent
[ ] 47 0 0 47 / 256 2.0s Htbl concurrent
[ ] 50 0 0 50 / 256 2.3s Htbl concurrent
[ ] 56 0 0 56 / 256 2.5s Htbl concurrent
[ ] 61 0 0 61 / 256 2.6s Htbl concurrent
[ ] 67 0 0 67 / 256 2.7s Htbl concurrent
[ ] 72 0 0 72 / 256 2.8s Htbl concurrent
[ ] 73 0 0 73 / 256 2.9s Htbl concurrent
[ ] 80 0 0 80 / 256 3.2s Htbl concurrent
[ ] 85 0 0 85 / 256 3.4s Htbl concurrent
[ ] 89 0 0 89 / 256 3.5s Htbl concurrent
[ ] 93 0 0 93 / 256 3.6s Htbl concurrent
[ ] 96 0 0 96 / 256 3.8s Htbl concurrent
[ ] 102 0 0 102 / 256 3.9s Htbl concurrent
[ ] 107 0 0 107 / 256 4.0s Htbl concurrent
[ ] 111 0 0 111 / 256 4.1s Htbl concurrent
[ ] 113 0 0 113 / 256 4.2s Htbl concurrent
[ ] 116 0 0 116 / 256 4.5s Htbl concurrent
[ ] 119 0 0 119 / 256 4.8s Htbl concurrent
[ ] 121 0 0 121 / 256 5.1s Htbl concurrent
[ ] 122 0 0 122 / 256 5.2s Htbl concurrent
[ ] 125 0 0 125 / 256 5.4s Htbl concurrent
[ ] 127 0 0 127 / 256 5.5s Htbl concurrent
[ ] 128 0 0 128 / 256 5.8s Htbl concurrent
[ ] 131 0 0 131 / 256 5.9s Htbl concurrent
[ ] 133 0 0 133 / 256 6.3s Htbl concurrent
[ ] 137 0 0 137 / 256 6.6s Htbl concurrent
[ ] 140 0 0 140 / 256 6.8s Htbl concurrent
[ ] 141 0 0 141 / 256 6.9s Htbl concurrent
[ ] 144 0 0 144 / 256 7.0s Htbl concurrent
[ ] 148 0 0 148 / 256 7.1s Htbl concurrent
[ ] 149 0 0 149 / 256 7.2s Htbl concurrent
[ ] 153 0 0 153 / 256 7.3s Htbl concurrent
[ ] 160 0 0 160 / 256 7.5s Htbl concurrent
[ ] 164 0 0 164 / 256 7.7s Htbl concurrent
[ ] 166 0 0 166 / 256 7.8s Htbl concurrent
[ ] 170 0 0 170 / 256 8.0s Htbl concurrent
[ ] 171 0 0 171 / 256 8.1s Htbl concurrent
[ ] 174 0 0 174 / 256 8.3s Htbl concurrent
[ ] 175 0 0 175 / 256 8.6s Htbl concurrent
[ ] 178 0 0 178 / 256 8.8s Htbl concurrent
[ ] 187 0 0 187 / 256 8.9s Htbl concurrent
[ ] 193 0 0 193 / 256 9.0s Htbl concurrent
[ ] 194 0 0 194 / 256 9.3s Htbl concurrent
[ ] 196 0 0 196 / 256 9.4s Htbl concurrent
[ ] 201 0 0 201 / 256 9.5s Htbl concurrent
[ ] 208 0 0 208 / 256 9.7s Htbl concurrent
[ ] 213 0 0 213 / 256 9.8s Htbl concurrent
[ ] 215 0 0 215 / 256 10.0s Htbl concurrent
[ ] 220 0 0 220 / 256 10.1s Htbl concurrent
[ ] 225 0 0 225 / 256 10.2s Htbl concurrent
[ ] 227 0 0 227 / 256 10.4s Htbl concurrent
[ ] 229 0 0 229 / 256 10.7s Htbl concurrent
[ ] 234 0 0 234 / 256 10.8s Htbl concurrent
[ ] 237 0 0 237 / 256 10.9s Htbl concurrent
[ ] 239 0 0 239 / 256 11.1s Htbl concurrent
[ ] 243 0 0 243 / 256 11.3s Htbl concurrent
[ ] 247 0 0 247 / 256 11.4s Htbl concurrent
[ ] 248 0 0 248 / 256 11.5s Htbl concurrent
[ ] 249 0 0 249 / 256 11.7s Htbl concurrent
[ ] 254 0 0 254 / 256 11.9s Htbl concurrent
[✓] 256 0 0 256 / 256 11.9s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 492612424825808925
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
[ ] 6 0 0 6 / 512 0.1s Htbl concurrent
[ ] 12 0 0 12 / 512 0.3s Htbl concurrent
[ ] 15 0 0 15 / 512 0.4s Htbl concurrent
[ ] 17 0 0 17 / 512 0.6s Htbl concurrent
[ ] 18 0 0 18 / 512 0.7s Htbl concurrent
[ ] 24 0 0 24 / 512 0.8s Htbl concurrent
[ ] 28 0 0 28 / 512 0.9s Htbl concurrent
[ ] 31 0 0 31 / 512 1.1s Htbl concurrent
[ ] 35 0 0 35 / 512 1.3s Htbl concurrent
[ ] 38 0 0 38 / 512 1.4s Htbl concurrent
[ ] 41 0 0 41 / 512 1.6s Htbl concurrent
[ ] 47 0 0 47 / 512 1.7s Htbl concurrent
[ ] 50 0 0 50 / 512 2.0s Htbl concurrent
[ ] 51 0 0 51 / 512 2.1s Htbl concurrent
[ ] 52 0 0 52 / 512 2.3s Htbl concurrent
[ ] 55 0 0 55 / 512 2.5s Htbl concurrent
[ ] 57 0 0 57 / 512 2.6s Htbl concurrent
[ ] 66 0 0 66 / 512 2.9s Htbl concurrent
[ ] 71 0 0 71 / 512 3.1s Htbl concurrent
[ ] 72 0 0 72 / 512 3.3s Htbl concurrent
[ ] 74 0 0 74 / 512 3.4s Htbl concurrent
[ ] 76 0 0 76 / 512 3.5s Htbl concurrent
[ ] 78 0 0 78 / 512 4.0s Htbl concurrent
[ ] 79 0 0 79 / 512 4.1s Htbl concurrent
[ ] 82 0 0 82 / 512 4.2s Htbl concurrent
[ ] 88 0 0 88 / 512 4.3s Htbl concurrent
[ ] 91 0 0 91 / 512 4.4s Htbl concurrent
[ ] 92 0 0 92 / 512 4.6s Htbl concurrent
[ ] 94 0 0 94 / 512 4.8s Htbl concurrent
[ ] 97 0 0 97 / 512 5.0s Htbl concurrent
[ ] 98 0 0 98 / 512 5.1s Htbl concurrent
[ ] 102 0 0 102 / 512 5.3s Htbl concurrent
[ ] 104 0 0 104 / 512 5.4s Htbl concurrent
[ ] 106 0 0 106 / 512 5.6s Htbl concurrent
[ ] 109 0 0 109 / 512 5.7s Htbl concurrent
[ ] 111 0 0 111 / 512 5.9s Htbl concurrent
[ ] 116 0 0 116 / 512 6.0s Htbl concurrent
[ ] 120 0 0 120 / 512 6.1s Htbl concurrent
[ ] 122 0 0 122 / 512 6.2s Htbl concurrent
[ ] 127 0 0 127 / 512 6.3s Htbl concurrent
[ ] 131 0 0 131 / 512 6.5s Htbl concurrent
[ ] 134 0 0 134 / 512 6.6s Htbl concurrent
[ ] 140 0 0 140 / 512 6.7s Htbl concurrent
[ ] 146 0 0 146 / 512 6.8s Htbl concurrent
[ ] 151 0 0 151 / 512 7.1s Htbl concurrent
[ ] 153 0 0 153 / 512 7.2s Htbl concurrent
[ ] 155 0 0 155 / 512 7.4s Htbl concurrent
[ ] 159 0 0 159 / 512 7.5s Htbl concurrent
[ ] 163 0 0 163 / 512 7.6s Htbl concurrent
[ ] 166 0 0 166 / 512 7.8s Htbl concurrent
[ ] 168 0 0 168 / 512 7.9s Htbl concurrent
[ ] 170 0 0 170 / 512 8.2s Htbl concurrent
[ ] 171 0 0 171 / 512 8.3s Htbl concurrent
[ ] 174 0 0 174 / 512 8.5s Htbl concurrent
[ ] 177 0 0 177 / 512 8.6s Htbl concurrent
[ ] 189 0 0 189 / 512 8.7s Htbl concurrent
[ ] 192 0 0 192 / 512 8.9s Htbl concurrent
[ ] 196 0 0 196 / 512 9.0s Htbl concurrent
[ ] 198 0 0 198 / 512 9.1s Htbl concurrent
[ ] 206 0 0 206 / 512 9.4s Htbl concurrent
[ ] 207 0 0 207 / 512 9.6s Htbl concurrent
[ ] 212 0 0 212 / 512 9.7s Htbl concurrent
[ ] 219 0 0 219 / 512 9.8s Htbl concurrent
[ ] 220 0 0 220 / 512 10.0s Htbl concurrent
[ ] 221 0 0 221 / 512 10.2s Htbl concurrent
[ ] 225 0 0 225 / 512 10.4s Htbl concurrent
[ ] 227 0 0 227 / 512 10.5s Htbl concurrent
[ ] 229 0 0 229 / 512 10.7s Htbl concurrent
[ ] 232 0 0 232 / 512 11.0s Htbl concurrent
[ ] 236 0 0 236 / 512 11.1s Htbl concurrent
[ ] 243 0 0 243 / 512 11.2s Htbl concurrent
[ ] 245 0 0 245 / 512 11.3s Htbl concurrent
[ ] 247 0 0 247 / 512 11.4s Htbl concurrent
[ ] 250 0 0 250 / 512 11.5s Htbl concurrent
[ ] 253 0 0 253 / 512 11.7s Htbl concurrent
[ ] 258 0 0 258 / 512 12.2s Htbl concurrent
[ ] 263 0 0 263 / 512 12.4s Htbl concurrent
[ ] 267 0 0 267 / 512 12.5s Htbl concurrent
[ ] 271 0 0 271 / 512 12.6s Htbl concurrent
[ ] 287 0 0 287 / 512 12.8s Htbl concurrent
[ ] 297 0 0 297 / 512 12.9s Htbl concurrent
[ ] 301 0 0 301 / 512 13.0s Htbl concurrent
[ ] 314 0 0 314 / 512 13.1s Htbl concurrent
[ ] 316 0 0 316 / 512 13.5s Htbl concurrent
[ ] 319 0 0 319 / 512 13.7s Htbl concurrent
[ ] 321 0 0 321 / 512 13.8s Htbl concurrent
[ ] 328 0 0 328 / 512 14.0s Htbl concurrent
[ ] 342 0 0 342 / 512 14.1s Htbl concurrent
[ ] 352 0 0 352 / 512 14.3s Htbl concurrent
[ ] 356 0 0 356 / 512 14.4s Htbl concurrent
[ ] 361 0 0 361 / 512 14.5s Htbl concurrent
[ ] 365 0 0 365 / 512 14.7s Htbl concurrent
[ ] 371 0 0 371 / 512 14.9s Htbl concurrent
[ ] 378 0 0 378 / 512 15.1s Htbl concurrent
[ ] 381 0 0 381 / 512 15.3s Htbl concurrent
[ ] 386 0 0 386 / 512 15.5s Htbl concurrent
[ ] 388 0 0 388 / 512 15.7s Htbl concurrent
[ ] 391 0 0 391 / 512 15.8s Htbl concurrent
[ ] 403 0 0 403 / 512 15.9s Htbl concurrent
[ ] 406 0 0 406 / 512 16.2s Htbl concurrent
[ ] 411 0 0 411 / 512 16.5s Htbl concurrent
[ ] 414 0 0 414 / 512 16.6s Htbl concurrent
[ ] 415 0 0 415 / 512 16.9s Htbl concurrent
[ ] 417 0 0 417 / 512 17.3s Htbl concurrent
[ ] 425 0 0 425 / 512 17.5s Htbl concurrent
[ ] 427 0 0 427 / 512 18.0s Htbl concurrent
[ ] 431 0 0 431 / 512 18.1s Htbl concurrent
[ ] 442 0 0 442 / 512 18.2s Htbl concurrent
[ ] 446 0 0 446 / 512 18.4s Htbl concurrent
[ ] 452 0 0 452 / 512 18.6s Htbl concurrent
[ ] 468 0 0 468 / 512 18.7s Htbl concurrent
[ ] 471 0 0 471 / 512 18.8s Htbl concurrent
[ ] 477 0 0 477 / 512 19.1s Htbl concurrent
[ ] 481 0 0 481 / 512 19.2s Htbl concurrent
[ ] 488 0 0 488 / 512 19.3s Htbl concurrent
[ ] 492 0 0 492 / 512 19.7s Htbl concurrent
[ ] 496 0 0 496 / 512 19.8s Htbl concurrent
[ ] 498 0 0 498 / 512 20.0s Htbl concurrent
[ ] 504 0 0 504 / 512 20.2s Htbl concurrent
[ ] 510 0 0 510 / 512 20.5s Htbl concurrent
[ ] 512 0 0 512 / 512 20.7s Htbl concurrent
[✓] 512 0 0 512 / 512 20.7s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 592912122881761573
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
[ ] 1 0 0 1 / 32 0.4s Htbl concurrent
[ ] 2 0 0 2 / 32 0.5s Htbl concurrent
[ ] 4 0 0 4 / 32 0.8s Htbl concurrent
[ ] 11 0 0 11 / 32 0.9s Htbl concurrent
[ ] 12 0 0 12 / 32 1.3s Htbl concurrent
[ ] 13 0 0 13 / 32 1.7s Htbl concurrent
[ ] 19 0 0 19 / 32 1.9s Htbl concurrent
[ ] 32 0 0 32 / 32 2.0s Htbl concurrent
[✓] 32 0 0 32 / 32 2.0s Htbl concurrent
================================================================================
success (ran 2 tests)
(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
Server accepting
Client B connected
Server accepted client
Client A connected
Client A wrote 100
Client B wrote 100
Server read 100
Server wrote 50
Server read 100
Server wrote 50
Server accepting
Client B read 50
Client A read 50
Server and Client test: OK
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 3526684942911781498
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
[ ] 2 0 0 2 / 32 0.1s Lock concurrent
[ ] 23 0 0 23 / 32 0.2s Lock concurrent
[✓] 32 0 0 32 / 32 0.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3436880079611436436
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
[ ] 8 0 0 8 / 64 0.2s Lock concurrent
[ ] 21 0 0 21 / 64 0.4s Lock concurrent
[ ] 25 0 0 25 / 64 0.6s Lock concurrent
[ ] 34 0 0 34 / 64 0.7s Lock concurrent
[ ] 37 0 0 37 / 64 0.9s Lock concurrent
[ ] 49 0 0 49 / 64 1.1s Lock concurrent
[ ] 63 0 0 63 / 64 1.2s Lock concurrent
[✓] 64 0 0 64 / 64 1.2s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3585928942765937357
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
[ ] 5 0 0 5 / 128 0.1s Lock concurrent
[ ] 11 0 0 11 / 128 0.3s Lock concurrent
[ ] 16 0 0 16 / 128 0.4s Lock concurrent
[ ] 23 0 0 23 / 128 0.6s Lock concurrent
[ ] 33 0 0 33 / 128 1.0s Lock concurrent
[ ] 39 0 0 39 / 128 1.2s Lock concurrent
[ ] 42 0 0 42 / 128 1.4s Lock concurrent
[ ] 46 0 0 46 / 128 1.5s Lock concurrent
[ ] 47 0 0 47 / 128 1.7s Lock concurrent
[ ] 55 0 0 55 / 128 1.9s Lock concurrent
[ ] 62 0 0 62 / 128 2.0s Lock concurrent
[ ] 71 0 0 71 / 128 2.1s Lock concurrent
[ ] 79 0 0 79 / 128 2.2s Lock concurrent
[ ] 91 0 0 91 / 128 2.3s Lock concurrent
[ ] 94 0 0 94 / 128 2.5s Lock concurrent
[ ] 95 0 0 95 / 128 2.7s Lock concurrent
[ ] 103 0 0 103 / 128 2.8s Lock concurrent
[ ] 109 0 0 109 / 128 2.9s Lock concurrent
[ ] 110 0 0 110 / 128 3.1s Lock concurrent
[ ] 111 0 0 111 / 128 3.3s Lock concurrent
[ ] 117 0 0 117 / 128 3.5s Lock concurrent
[ ] 127 0 0 127 / 128 3.6s Lock concurrent
[✓] 128 0 0 128 / 128 3.6s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2278697137770962703
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
[ ] 11 0 0 11 / 256 0.1s Lock concurrent
[ ] 25 0 0 25 / 256 0.3s Lock concurrent
[ ] 28 0 0 28 / 256 0.6s Lock concurrent
[ ] 32 0 0 32 / 256 0.7s Lock concurrent
[ ] 42 0 0 42 / 256 1.1s Lock concurrent
[ ] 45 0 0 45 / 256 1.5s Lock concurrent
[ ] 48 0 0 48 / 256 1.8s Lock concurrent
[ ] 49 0 0 49 / 256 2.1s Lock concurrent
[ ] 60 0 0 60 / 256 2.2s Lock concurrent
[ ] 75 0 0 75 / 256 2.3s Lock concurrent
[ ] 76 0 0 76 / 256 2.5s Lock concurrent
[ ] 85 0 0 85 / 256 2.7s Lock concurrent
[ ] 92 0 0 92 / 256 3.0s Lock concurrent
[ ] 96 0 0 96 / 256 3.2s Lock concurrent
[ ] 102 0 0 102 / 256 3.3s Lock concurrent
[ ] 108 0 0 108 / 256 3.4s Lock concurrent
[ ] 111 0 0 111 / 256 3.5s Lock concurrent
[ ] 123 0 0 123 / 256 3.6s Lock concurrent
[ ] 128 0 0 128 / 256 3.9s Lock concurrent
[ ] 139 0 0 139 / 256 4.0s Lock concurrent
[ ] 147 0 0 147 / 256 4.1s Lock concurrent
[ ] 157 0 0 157 / 256 4.2s Lock concurrent
[ ] 172 0 0 172 / 256 4.3s Lock concurrent
[ ] 181 0 0 181 / 256 4.5s Lock concurrent
[ ] 183 0 0 183 / 256 4.6s Lock concurrent
[ ] 186 0 0 186 / 256 4.9s Lock concurrent
[ ] 188 0 0 188 / 256 5.0s Lock concurrent
[ ] 198 0 0 198 / 256 5.1s Lock concurrent
[ ] 201 0 0 201 / 256 5.3s Lock concurrent
[ ] 207 0 0 207 / 256 5.6s Lock concurrent
[ ] 210 0 0 210 / 256 5.7s Lock concurrent
[ ] 212 0 0 212 / 256 5.8s Lock concurrent
[ ] 220 0 0 220 / 256 6.0s Lock concurrent
[ ] 225 0 0 225 / 256 6.1s Lock concurrent
[ ] 228 0 0 228 / 256 6.2s Lock concurrent
[ ] 237 0 0 237 / 256 6.4s Lock concurrent
[ ] 241 0 0 241 / 256 6.5s Lock concurrent
[ ] 246 0 0 246 / 256 6.6s Lock concurrent
[ ] 255 0 0 255 / 256 6.8s Lock concurrent
[✓] 256 0 0 256 / 256 6.8s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2854492985140369123
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
[ ] 10 0 0 10 / 512 0.1s Lock concurrent
[ ] 17 0 0 17 / 512 0.2s Lock concurrent
[ ] 26 0 0 26 / 512 0.3s Lock concurrent
[ ] 30 0 0 30 / 512 0.5s Lock concurrent
[ ] 33 0 0 33 / 512 0.7s Lock concurrent
[ ] 44 0 0 44 / 512 0.8s Lock concurrent
[ ] 50 0 0 50 / 512 0.9s Lock concurrent
[ ] 54 0 0 54 / 512 1.1s Lock concurrent
[ ] 57 0 0 57 / 512 1.2s Lock concurrent
[ ] 65 0 0 65 / 512 1.3s Lock concurrent
[ ] 69 0 0 69 / 512 1.5s Lock concurrent
[ ] 75 0 0 75 / 512 1.6s Lock concurrent
[ ] 85 0 0 85 / 512 1.7s Lock concurrent
[ ] 93 0 0 93 / 512 1.8s Lock concurrent
[ ] 99 0 0 99 / 512 2.0s Lock concurrent
[ ] 103 0 0 103 / 512 2.2s Lock concurrent
[ ] 106 0 0 106 / 512 2.4s Lock concurrent
[ ] 113 0 0 113 / 512 2.5s Lock concurrent
[ ] 120 0 0 120 / 512 2.6s Lock concurrent
[ ] 125 0 0 125 / 512 2.7s Lock concurrent
[ ] 138 0 0 138 / 512 2.8s Lock concurrent
[ ] 151 0 0 151 / 512 3.0s Lock concurrent
[ ] 155 0 0 155 / 512 3.1s Lock concurrent
[ ] 159 0 0 159 / 512 3.2s Lock concurrent
[ ] 161 0 0 161 / 512 3.3s Lock concurrent
[ ] 165 0 0 165 / 512 3.6s Lock concurrent
[ ] 168 0 0 168 / 512 3.8s Lock concurrent
[ ] 174 0 0 174 / 512 4.0s Lock concurrent
[ ] 182 0 0 182 / 512 4.3s Lock concurrent
[ ] 186 0 0 186 / 512 4.5s Lock concurrent
[ ] 191 0 0 191 / 512 4.6s Lock concurrent
[ ] 195 0 0 195 / 512 4.7s Lock concurrent
[ ] 202 0 0 202 / 512 4.8s Lock concurrent
[ ] 212 0 0 212 / 512 5.0s Lock concurrent
[ ] 213 0 0 213 / 512 5.1s Lock concurrent
[ ] 224 0 0 224 / 512 5.2s Lock concurrent
[ ] 235 0 0 235 / 512 5.3s Lock concurrent
[ ] 243 0 0 243 / 512 5.4s Lock concurrent
[ ] 248 0 0 248 / 512 5.5s Lock concurrent
[ ] 254 0 0 254 / 512 5.7s Lock concurrent
[ ] 261 0 0 261 / 512 5.8s Lock concurrent
[ ] 267 0 0 267 / 512 5.9s Lock concurrent
[ ] 276 0 0 276 / 512 6.0s Lock concurrent
[ ] 287 0 0 287 / 512 6.2s Lock concurrent
[ ] 293 0 0 293 / 512 6.4s Lock concurrent
[ ] 299 0 0 299 / 512 6.5s Lock concurrent
[ ] 306 0 0 306 / 512 6.6s Lock concurrent
[ ] 315 0 0 315 / 512 6.8s Lock concurrent
[ ] 322 0 0 322 / 512 7.0s Lock concurrent
[ ] 331 0 0 331 / 512 7.1s Lock concurrent
[ ] 340 0 0 340 / 512 7.2s Lock concurrent
[ ] 349 0 0 349 / 512 7.3s Lock concurrent
[ ] 355 0 0 355 / 512 7.5s Lock concurrent
[ ] 360 0 0 360 / 512 7.6s Lock concurrent
[ ] 369 0 0 369 / 512 7.7s Lock concurrent
[ ] 378 0 0 378 / 512 7.9s Lock concurrent
[ ] 385 0 0 385 / 512 8.0s Lock concurrent
[ ] 392 0 0 392 / 512 8.1s Lock concurrent
[ ] 399 0 0 399 / 512 8.3s Lock concurrent
[ ] 402 0 0 402 / 512 8.4s Lock concurrent
[ ] 408 0 0 408 / 512 8.5s Lock concurrent
[ ] 413 0 0 413 / 512 8.6s Lock concurrent
[ ] 418 0 0 418 / 512 8.8s Lock concurrent
[ ] 423 0 0 423 / 512 8.9s Lock concurrent
[ ] 424 0 0 424 / 512 9.0s Lock concurrent
[ ] 428 0 0 428 / 512 9.2s Lock concurrent
[ ] 429 0 0 429 / 512 9.3s Lock concurrent
[ ] 439 0 0 439 / 512 9.4s Lock concurrent
[ ] 441 0 0 441 / 512 9.6s Lock concurrent
[ ] 446 0 0 446 / 512 9.7s Lock concurrent
[ ] 449 0 0 449 / 512 9.8s Lock concurrent
[ ] 456 0 0 456 / 512 9.9s Lock concurrent
[ ] 469 0 0 469 / 512 10.0s Lock concurrent
[ ] 481 0 0 481 / 512 10.3s Lock concurrent
[ ] 488 0 0 488 / 512 10.4s Lock concurrent
[ ] 490 0 0 490 / 512 10.5s Lock concurrent
[ ] 496 0 0 496 / 512 10.6s Lock concurrent
[ ] 497 0 0 497 / 512 10.7s Lock concurrent
[✓] 512 0 0 512 / 512 10.8s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3287933626777467156
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
[ ] 6 0 0 6 / 32 0.1s Lock concurrent
[ ] 10 0 0 10 / 32 0.3s Lock concurrent
[ ] 11 0 0 11 / 32 0.4s Lock concurrent
[ ] 17 0 0 17 / 32 0.5s Lock concurrent
[ ] 27 0 0 27 / 32 0.6s Lock concurrent
[✓] 32 0 0 32 / 32 0.6s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `GV1M0YUS'.
[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.012s. 1 test run.
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `AZ787OY6'.
[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.665s. 14 tests run.
(cd _build/default/test && ./test_mutex.exe)
random seed: 500557042691703308
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
[ ] 7 0 0 7 / 32 0.2s Mutex concurrent
[ ] 10 0 0 10 / 32 0.3s Mutex concurrent
[ ] 23 0 0 23 / 32 0.4s Mutex concurrent
[ ] 26 0 0 26 / 32 0.6s Mutex concurrent
[ ] 31 0 0 31 / 32 0.7s Mutex concurrent
[✓] 32 0 0 32 / 32 0.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 777136447331881934
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
[ ] 7 0 0 7 / 64 0.1s Mutex concurrent
[ ] 15 0 0 15 / 64 0.2s Mutex concurrent
[ ] 23 0 0 23 / 64 0.3s Mutex concurrent
[ ] 32 0 0 32 / 64 0.5s Mutex concurrent
[ ] 40 0 0 40 / 64 0.6s Mutex concurrent
[ ] 55 0 0 55 / 64 0.7s Mutex concurrent
[ ] 58 0 0 58 / 64 0.9s Mutex concurrent
[ ] 63 0 0 63 / 64 1.0s Mutex concurrent
[✓] 64 0 0 64 / 64 1.0s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 2445780589233312526
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
[ ] 8 0 0 8 / 128 0.1s Mutex concurrent
[ ] 20 0 0 20 / 128 0.4s Mutex concurrent
[ ] 30 0 0 30 / 128 0.5s Mutex concurrent
[ ] 43 0 0 43 / 128 0.6s Mutex concurrent
[ ] 46 0 0 46 / 128 0.7s Mutex concurrent
[ ] 57 0 0 57 / 128 1.2s Mutex concurrent
[ ] 61 0 0 61 / 128 1.3s Mutex concurrent
[ ] 65 0 0 65 / 128 1.6s Mutex concurrent
[ ] 70 0 0 70 / 128 1.9s Mutex concurrent
[ ] 74 0 0 74 / 128 2.0s Mutex concurrent
[ ] 76 0 0 76 / 128 2.1s Mutex concurrent
[ ] 81 0 0 81 / 128 2.2s Mutex concurrent
[ ] 91 0 0 91 / 128 2.4s Mutex concurrent
[ ] 96 0 0 96 / 128 2.6s Mutex concurrent
[ ] 104 0 0 104 / 128 2.7s Mutex concurrent
[ ] 112 0 0 112 / 128 2.9s Mutex concurrent
[ ] 114 0 0 114 / 128 3.0s Mutex concurrent
[ ] 116 0 0 116 / 128 3.1s Mutex concurrent
[ ] 118 0 0 118 / 128 3.5s Mutex concurrent
[ ] 128 0 0 128 / 128 3.8s Mutex concurrent
[✓] 128 0 0 128 / 128 3.8s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 858285545592382511
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
[ ] 5 0 0 5 / 256 0.1s Mutex concurrent
[ ] 13 0 0 13 / 256 0.3s Mutex concurrent
[ ] 27 0 0 27 / 256 0.5s Mutex concurrent
[ ] 41 0 0 41 / 256 0.6s Mutex concurrent
[ ] 53 0 0 53 / 256 0.7s Mutex concurrent
[ ] 59 0 0 59 / 256 0.8s Mutex concurrent
[ ] 67 0 0 67 / 256 1.0s Mutex concurrent
[ ] 72 0 0 72 / 256 1.1s Mutex concurrent
[ ] 77 0 0 77 / 256 1.2s Mutex concurrent
[ ] 85 0 0 85 / 256 1.3s Mutex concurrent
[ ] 94 0 0 94 / 256 1.5s Mutex concurrent
[ ] 101 0 0 101 / 256 1.6s Mutex concurrent
[ ] 102 0 0 102 / 256 1.8s Mutex concurrent
[ ] 108 0 0 108 / 256 1.9s Mutex concurrent
[ ] 109 0 0 109 / 256 2.0s Mutex concurrent
[ ] 110 0 0 110 / 256 2.1s Mutex concurrent
[ ] 113 0 0 113 / 256 2.3s Mutex concurrent
[ ] 119 0 0 119 / 256 2.5s Mutex concurrent
[ ] 123 0 0 123 / 256 2.6s Mutex concurrent
[ ] 127 0 0 127 / 256 2.8s Mutex concurrent
[ ] 133 0 0 133 / 256 2.9s Mutex concurrent
[ ] 135 0 0 135 / 256 3.2s Mutex concurrent
[ ] 137 0 0 137 / 256 3.3s Mutex concurrent
[ ] 142 0 0 142 / 256 3.4s Mutex concurrent
[ ] 150 0 0 150 / 256 3.5s Mutex concurrent
[ ] 152 0 0 152 / 256 3.6s Mutex concurrent
[ ] 161 0 0 161 / 256 3.7s Mutex concurrent
[ ] 174 0 0 174 / 256 3.9s Mutex concurrent
[ ] 176 0 0 176 / 256 4.1s Mutex concurrent
[ ] 185 0 0 185 / 256 4.3s Mutex concurrent
[ ] 188 0 0 188 / 256 4.4s Mutex concurrent
[ ] 190 0 0 190 / 256 4.5s Mutex concurrent
[ ] 195 0 0 195 / 256 4.7s Mutex concurrent
[ ] 200 0 0 200 / 256 4.8s Mutex concurrent
[ ] 203 0 0 203 / 256 5.0s Mutex concurrent
[ ] 212 0 0 212 / 256 5.2s Mutex concurrent
[ ] 219 0 0 219 / 256 5.3s Mutex concurrent
[ ] 224 0 0 224 / 256 5.5s Mutex concurrent
[ ] 237 0 0 237 / 256 5.7s Mutex concurrent
[ ] 246 0 0 246 / 256 5.8s Mutex concurrent
[ ] 255 0 0 255 / 256 5.9s Mutex concurrent
[✓] 256 0 0 256 / 256 5.9s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 335063576694032809
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
[ ] 16 0 0 16 / 512 0.1s Mutex concurrent
[ ] 23 0 0 23 / 512 0.3s Mutex concurrent
[ ] 29 0 0 29 / 512 0.4s Mutex concurrent
[ ] 37 0 0 37 / 512 0.7s Mutex concurrent
[ ] 45 0 0 45 / 512 0.8s Mutex concurrent
[ ] 48 0 0 48 / 512 0.9s Mutex concurrent
[ ] 50 0 0 50 / 512 1.0s Mutex concurrent
[ ] 54 0 0 54 / 512 1.1s Mutex concurrent
[ ] 62 0 0 62 / 512 1.2s Mutex concurrent
[ ] 66 0 0 66 / 512 1.4s Mutex concurrent
[ ] 69 0 0 69 / 512 1.5s Mutex concurrent
[ ] 86 0 0 86 / 512 1.7s Mutex concurrent
[ ] 97 0 0 97 / 512 1.9s Mutex concurrent
[ ] 101 0 0 101 / 512 2.0s Mutex concurrent
[ ] 104 0 0 104 / 512 2.1s Mutex concurrent
[ ] 109 0 0 109 / 512 2.2s Mutex concurrent
[ ] 118 0 0 118 / 512 2.4s Mutex concurrent
[ ] 128 0 0 128 / 512 2.5s Mutex concurrent
[ ] 143 0 0 143 / 512 2.6s Mutex concurrent
[ ] 147 0 0 147 / 512 2.7s Mutex concurrent
[ ] 160 0 0 160 / 512 2.8s Mutex concurrent
[ ] 163 0 0 163 / 512 2.9s Mutex concurrent
[ ] 166 0 0 166 / 512 3.1s Mutex concurrent
[ ] 176 0 0 176 / 512 3.2s Mutex concurrent
[ ] 181 0 0 181 / 512 3.3s Mutex concurrent
[ ] 187 0 0 187 / 512 3.5s Mutex concurrent
[ ] 190 0 0 190 / 512 3.6s Mutex concurrent
[ ] 194 0 0 194 / 512 3.7s Mutex concurrent
[ ] 200 0 0 200 / 512 3.8s Mutex concurrent
[ ] 210 0 0 210 / 512 3.9s Mutex concurrent
[ ] 214 0 0 214 / 512 4.1s Mutex concurrent
[ ] 222 0 0 222 / 512 4.2s Mutex concurrent
[ ] 229 0 0 229 / 512 4.3s Mutex concurrent
[ ] 235 0 0 235 / 512 4.5s Mutex concurrent
[ ] 240 0 0 240 / 512 4.6s Mutex concurrent
[ ] 243 0 0 243 / 512 4.8s Mutex concurrent
[ ] 250 0 0 250 / 512 4.9s Mutex concurrent
[ ] 256 0 0 256 / 512 5.1s Mutex concurrent
[ ] 262 0 0 262 / 512 5.2s Mutex concurrent
[ ] 275 0 0 275 / 512 5.3s Mutex concurrent
[ ] 283 0 0 283 / 512 5.5s Mutex concurrent
[ ] 287 0 0 287 / 512 5.6s Mutex concurrent
[ ] 298 0 0 298 / 512 5.7s Mutex concurrent
[ ] 311 0 0 311 / 512 5.8s Mutex concurrent
[ ] 324 0 0 324 / 512 6.0s Mutex concurrent
[ ] 329 0 0 329 / 512 6.1s Mutex concurrent
[ ] 330 0 0 330 / 512 6.2s Mutex concurrent
[ ] 334 0 0 334 / 512 6.4s Mutex concurrent
[ ] 340 0 0 340 / 512 6.6s Mutex concurrent
[ ] 348 0 0 348 / 512 6.7s Mutex concurrent
[ ] 349 0 0 349 / 512 6.8s Mutex concurrent
[ ] 357 0 0 357 / 512 7.0s Mutex concurrent
[ ] 358 0 0 358 / 512 7.1s Mutex concurrent
[ ] 359 0 0 359 / 512 7.2s Mutex concurrent
[ ] 371 0 0 371 / 512 7.3s Mutex concurrent
[ ] 383 0 0 383 / 512 7.4s Mutex concurrent
[ ] 390 0 0 390 / 512 7.6s Mutex concurrent
[ ] 392 0 0 392 / 512 7.7s Mutex concurrent
[ ] 401 0 0 401 / 512 7.8s Mutex concurrent
[ ] 408 0 0 408 / 512 7.9s Mutex concurrent
[ ] 416 0 0 416 / 512 8.1s Mutex concurrent
[ ] 419 0 0 419 / 512 8.3s Mutex concurrent
[ ] 422 0 0 422 / 512 8.6s Mutex concurrent
[ ] 424 0 0 424 / 512 8.7s Mutex concurrent
[ ] 426 0 0 426 / 512 8.9s Mutex concurrent
[ ] 433 0 0 433 / 512 9.0s Mutex concurrent
[ ] 442 0 0 442 / 512 9.2s Mutex concurrent
[ ] 454 0 0 454 / 512 9.3s Mutex concurrent
[ ] 463 0 0 463 / 512 9.5s Mutex concurrent
[ ] 470 0 0 470 / 512 9.6s Mutex concurrent
[ ] 479 0 0 479 / 512 9.8s Mutex concurrent
[ ] 494 0 0 494 / 512 9.9s Mutex concurrent
[ ] 508 0 0 508 / 512 10.0s Mutex concurrent
[✓] 512 0 0 512 / 512 10.0s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 2304036019346634481
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
[ ] 24 0 0 24 / 32 0.2s Mutex concurrent
[✓] 32 0 0 32 / 32 0.3s Mutex concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:15048/hello-io-cohttp
Method: POST
host: 127.0.0.1:15048
user-agent: ocaml-cohttp/v6.1.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 `EO8C42O6'.
[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:
5.25 M/s
attach detach pairs over time/trivial:
25.49 M/s
time per attach detach pair/1 worker:
190.44 ns
time per attac detach pair/trivial:
39.24 ns
(cd _build/default/test && ./test_sem.exe)
random seed: 775116973190703884
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
[ ] 7 0 0 7 / 32 0.2s Sem concurrent
[ ] 19 0 0 19 / 32 0.4s Sem concurrent
[ ] 22 0 0 22 / 32 0.5s Sem concurrent
[ ] 30 0 0 30 / 32 0.6s Sem concurrent
[✓] 32 0 0 32 / 32 0.6s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 1921450270060545596
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
[ ] 16 0 0 16 / 64 0.1s Sem concurrent
[ ] 25 0 0 25 / 64 0.3s Sem concurrent
[ ] 35 0 0 35 / 64 0.4s Sem concurrent
[ ] 46 0 0 46 / 64 0.5s Sem concurrent
[ ] 55 0 0 55 / 64 0.7s Sem concurrent
[ ] 59 0 0 59 / 64 0.8s Sem concurrent
[✓] 64 0 0 64 / 64 0.9s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 478463512781244714
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
[ ] 10 0 0 10 / 128 0.2s Sem concurrent
[ ] 17 0 0 17 / 128 0.3s Sem concurrent
[ ] 24 0 0 24 / 128 0.4s Sem concurrent
[ ] 29 0 0 29 / 128 0.6s Sem concurrent
[ ] 38 0 0 38 / 128 0.7s Sem concurrent
[ ] 44 0 0 44 / 128 1.0s Sem concurrent
[ ] 47 0 0 47 / 128 1.3s Sem concurrent
[ ] 54 0 0 54 / 128 1.4s Sem concurrent
[ ] 61 0 0 61 / 128 1.5s Sem concurrent
[ ] 77 0 0 77 / 128 1.7s Sem concurrent
[ ] 81 0 0 81 / 128 1.9s Sem concurrent
[ ] 89 0 0 89 / 128 2.0s Sem concurrent
[ ] 92 0 0 92 / 128 2.2s Sem concurrent
[ ] 102 0 0 102 / 128 2.3s Sem concurrent
[ ] 111 0 0 111 / 128 2.5s Sem concurrent
[ ] 113 0 0 113 / 128 2.6s Sem concurrent
[ ] 119 0 0 119 / 128 2.8s Sem concurrent
[ ] 127 0 0 127 / 128 3.0s Sem concurrent
[✓] 128 0 0 128 / 128 3.0s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3444335058152884966
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
[ ] 4 0 0 4 / 256 0.2s Sem concurrent
[ ] 13 0 0 13 / 256 0.4s Sem concurrent
[ ] 27 0 0 27 / 256 0.6s Sem concurrent
[ ] 29 0 0 29 / 256 0.8s Sem concurrent
[ ] 34 0 0 34 / 256 0.9s Sem concurrent
[ ] 41 0 0 41 / 256 1.0s Sem concurrent
[ ] 45 0 0 45 / 256 1.1s Sem concurrent
[ ] 48 0 0 48 / 256 1.3s Sem concurrent
[ ] 51 0 0 51 / 256 1.5s Sem concurrent
[ ] 55 0 0 55 / 256 1.6s Sem concurrent
[ ] 60 0 0 60 / 256 1.8s Sem concurrent
[ ] 64 0 0 64 / 256 1.9s Sem concurrent
[ ] 65 0 0 65 / 256 2.1s Sem concurrent
[ ] 70 0 0 70 / 256 2.2s Sem concurrent
[ ] 73 0 0 73 / 256 2.3s Sem concurrent
[ ] 83 0 0 83 / 256 2.5s Sem concurrent
[ ] 87 0 0 87 / 256 2.6s Sem concurrent
[ ] 94 0 0 94 / 256 2.8s Sem concurrent
[ ] 97 0 0 97 / 256 3.0s Sem concurrent
[ ] 104 0 0 104 / 256 3.2s Sem concurrent
[ ] 108 0 0 108 / 256 3.4s Sem concurrent
[ ] 115 0 0 115 / 256 3.5s Sem concurrent
[ ] 122 0 0 122 / 256 3.6s Sem concurrent
[ ] 128 0 0 128 / 256 3.7s Sem concurrent
[ ] 133 0 0 133 / 256 3.9s Sem concurrent
[ ] 138 0 0 138 / 256 4.0s Sem concurrent
[ ] 140 0 0 140 / 256 4.1s Sem concurrent
[ ] 143 0 0 143 / 256 4.2s Sem concurrent
[ ] 151 0 0 151 / 256 4.4s Sem concurrent
[ ] 158 0 0 158 / 256 4.5s Sem concurrent
[ ] 173 0 0 173 / 256 4.6s Sem concurrent
[ ] 175 0 0 175 / 256 4.8s Sem concurrent
[ ] 190 0 0 190 / 256 4.9s Sem concurrent
[ ] 194 0 0 194 / 256 5.1s Sem concurrent
[ ] 203 0 0 203 / 256 5.2s Sem concurrent
[ ] 206 0 0 206 / 256 5.4s Sem concurrent
[ ] 209 0 0 209 / 256 5.6s Sem concurrent
[ ] 211 0 0 211 / 256 5.7s Sem concurrent
[ ] 219 0 0 219 / 256 5.8s Sem concurrent
[ ] 234 0 0 234 / 256 5.9s Sem concurrent
[ ] 236 0 0 236 / 256 6.0s Sem concurrent
[ ] 242 0 0 242 / 256 6.2s Sem concurrent
[ ] 247 0 0 247 / 256 6.4s Sem concurrent
[ ] 256 0 0 256 / 256 6.5s Sem concurrent
[✓] 256 0 0 256 / 256 6.5s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3031296808490361100
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
[ ] 7 0 0 7 / 512 0.1s Sem concurrent
[ ] 9 0 0 9 / 512 0.2s Sem concurrent
[ ] 17 0 0 17 / 512 0.4s Sem concurrent
[ ] 18 0 0 18 / 512 0.5s Sem concurrent
[ ] 21 0 0 21 / 512 0.6s Sem concurrent
[ ] 25 0 0 25 / 512 0.9s Sem concurrent
[ ] 29 0 0 29 / 512 1.0s Sem concurrent
[ ] 37 0 0 37 / 512 1.1s Sem concurrent
[ ] 45 0 0 45 / 512 1.3s Sem concurrent
[ ] 53 0 0 53 / 512 1.4s Sem concurrent
[ ] 59 0 0 59 / 512 1.5s Sem concurrent
[ ] 64 0 0 64 / 512 1.7s Sem concurrent
[ ] 76 0 0 76 / 512 1.8s Sem concurrent
[ ] 78 0 0 78 / 512 1.9s Sem concurrent
[ ] 87 0 0 87 / 512 2.0s Sem concurrent
[ ] 93 0 0 93 / 512 2.2s Sem concurrent
[ ] 99 0 0 99 / 512 2.3s Sem concurrent
[ ] 100 0 0 100 / 512 2.4s Sem concurrent
[ ] 103 0 0 103 / 512 2.5s Sem concurrent
[ ] 106 0 0 106 / 512 2.7s Sem concurrent
[ ] 112 0 0 112 / 512 2.8s Sem concurrent
[ ] 118 0 0 118 / 512 2.9s Sem concurrent
[ ] 122 0 0 122 / 512 3.0s Sem concurrent
[ ] 125 0 0 125 / 512 3.2s Sem concurrent
[ ] 130 0 0 130 / 512 3.4s Sem concurrent
[ ] 141 0 0 141 / 512 3.5s Sem concurrent
[ ] 148 0 0 148 / 512 3.6s Sem concurrent
[ ] 157 0 0 157 / 512 3.7s Sem concurrent
[ ] 159 0 0 159 / 512 3.9s Sem concurrent
[ ] 172 0 0 172 / 512 4.1s Sem concurrent
[ ] 179 0 0 179 / 512 4.3s Sem concurrent
[ ] 189 0 0 189 / 512 4.4s Sem concurrent
[ ] 191 0 0 191 / 512 4.6s Sem concurrent
[ ] 195 0 0 195 / 512 4.7s Sem concurrent
[ ] 197 0 0 197 / 512 4.8s Sem concurrent
[ ] 208 0 0 208 / 512 4.9s Sem concurrent
[ ] 221 0 0 221 / 512 5.0s Sem concurrent
[ ] 231 0 0 231 / 512 5.2s Sem concurrent
[ ] 234 0 0 234 / 512 5.3s Sem concurrent
[ ] 243 0 0 243 / 512 5.5s Sem concurrent
[ ] 244 0 0 244 / 512 5.6s Sem concurrent
[ ] 255 0 0 255 / 512 5.7s Sem concurrent
[ ] 266 0 0 266 / 512 5.8s Sem concurrent
[ ] 275 0 0 275 / 512 6.0s Sem concurrent
[ ] 286 0 0 286 / 512 6.2s Sem concurrent
[ ] 290 0 0 290 / 512 6.3s Sem concurrent
[ ] 308 0 0 308 / 512 6.5s Sem concurrent
[ ] 314 0 0 314 / 512 6.7s Sem concurrent
[ ] 320 0 0 320 / 512 7.0s Sem concurrent
[ ] 336 0 0 336 / 512 7.1s Sem concurrent
[ ] 337 0 0 337 / 512 7.3s Sem concurrent
[ ] 351 0 0 351 / 512 7.4s Sem concurrent
[ ] 354 0 0 354 / 512 7.6s Sem concurrent
[ ] 364 0 0 364 / 512 7.8s Sem concurrent
[ ] 366 0 0 366 / 512 7.9s Sem concurrent
[ ] 373 0 0 373 / 512 8.1s Sem concurrent
[ ] 385 0 0 385 / 512 8.2s Sem concurrent
[ ] 389 0 0 389 / 512 8.4s Sem concurrent
[ ] 401 0 0 401 / 512 8.5s Sem concurrent
[ ] 407 0 0 407 / 512 8.6s Sem concurrent
[ ] 417 0 0 417 / 512 8.8s Sem concurrent
[ ] 421 0 0 421 / 512 9.0s Sem concurrent
[ ] 423 0 0 423 / 512 9.2s Sem concurrent
[ ] 429 0 0 429 / 512 9.5s Sem concurrent
[ ] 440 0 0 440 / 512 9.6s Sem concurrent
[ ] 445 0 0 445 / 512 9.8s Sem concurrent
[ ] 446 0 0 446 / 512 10.2s Sem concurrent
[ ] 454 0 0 454 / 512 10.8s Sem concurrent
[ ] 457 0 0 457 / 512 10.9s Sem concurrent
[ ] 458 0 0 458 / 512 11.6s Sem concurrent
[ ] 462 0 0 462 / 512 12.0s Sem concurrent
[ ] 468 0 0 468 / 512 12.4s Sem concurrent
[ ] 469 0 0 469 / 512 12.9s Sem concurrent
[ ] 470 0 0 470 / 512 13.1s Sem concurrent
[ ] 471 0 0 471 / 512 13.5s Sem concurrent
[ ] 474 0 0 474 / 512 14.4s Sem concurrent
[ ] 481 0 0 481 / 512 14.5s Sem concurrent
[ ] 486 0 0 486 / 512 14.6s Sem concurrent
[ ] 491 0 0 491 / 512 14.8s Sem concurrent
[ ] 495 0 0 495 / 512 14.9s Sem concurrent
[ ] 497 0 0 497 / 512 15.1s Sem concurrent
[ ] 503 0 0 503 / 512 15.2s Sem concurrent
[ ] 509 0 0 509 / 512 15.7s Sem concurrent
[ ] 512 0 0 512 / 512 15.9s Sem concurrent
[✓] 512 0 0 512 / 512 15.9s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2940489041787337899
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
[ ] 4 0 0 4 / 32 0.2s Sem concurrent
[ ] 7 0 0 7 / 32 0.7s Sem concurrent
[ ] 13 0 0 13 / 32 1.2s Sem concurrent
[ ] 20 0 0 20 / 32 1.3s Sem concurrent
[ ] 22 0 0 22 / 32 1.5s Sem concurrent
[ ] 25 0 0 25 / 32 1.7s Sem concurrent
[✓] 32 0 0 32 / 32 1.7s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
113.68 M/s
time per op/1 worker:
8.80 ns
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
242.72 M/s
sets over time/1 worker:
131.81 M/s
time per get/1 worker:
4.12 ns
time per set/1 worker:
7.59 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
135.85 M/s
sets over time/1 worker:
42.39 M/s
time per get/1 worker:
7.36 ns
time per set/1 worker:
23.59 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
199.34 M/s
sets over time/1 worker:
129.12 M/s
time per get/1 worker:
5.02 ns
time per set/1 worker:
7.74 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.02 M/s
locked yields over time/1 fiber with Sem 4:
0.02 M/s
locked yields over time/256 fibers with Lock:
0.01 M/s
locked yields over time/256 fibers with Rwlock:
0.01 M/s
locked yields over time/256 fibers with Sem:
0.01 M/s
locked yields over time/256 fibers with Sem 2:
0.01 M/s
locked yields over time/256 fibers with Sem 3:
0.01 M/s
locked yields over time/256 fibers with Sem 4:
0.02 M/s
locked yields over time/2 fibers with Lock:
0.02 M/s
locked yields over time/2 fibers with Rwlock:
0.02 M/s
locked yields over time/2 fibers with Sem:
0.02 M/s
locked yields over time/2 fibers with Sem 2:
0.02 M/s
locked yields over time/2 fibers with Sem 3:
0.02 M/s
locked yields over time/2 fibers with Sem 4:
0.02 M/s
locked yields over time/3 fibers with Lock:
0.02 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.02 M/s
locked yields over time/3 fibers with Sem 3:
0.02 M/s
locked yields over time/3 fibers with Sem 4:
0.02 M/s
locked yields over time/4 fibers with Lock:
0.02 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.02 M/s
locked yields over time/4 fibers with Sem 3:
0.02 M/s
locked yields over time/4 fibers with Sem 4:
0.02 M/s
locked yields over time/8 fibers with Lock:
0.02 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.02 M/s
locked yields over time/8 fibers with Sem 3:
0.02 M/s
locked yields over time/8 fibers with Sem 4:
0.02 M/s
time per locked yield/1 fiber with Lock:
43576.53 ns
time per locked yield/1 fiber with Rwlock:
43381.96 ns
time per locked yield/1 fiber with Sem:
44611.56 ns
time per locked yield/1 fiber with Sem 2:
53224.48 ns
time per locked yield/1 fiber with Sem 3:
55391.49 ns
time per locked yield/1 fiber with Sem 4:
44808.82 ns
time per locked yield/256 fibers with Lock:
72261.74 ns
time per locked yield/256 fibers with Rwlock:
74189.00 ns
time per locked yield/256 fibers with Sem:
75829.68 ns
time per locked yield/256 fibers with Sem 2:
71640.07 ns
time per locked yield/256 fibers with Sem 3:
66672.91 ns
time per locked yield/256 fibers with Sem 4:
53229.95 ns
time per locked yield/2 fibers with Lock:
43789.20 ns
time per locked yield/2 fibers with Rwlock:
43074.50 ns
time per locked yield/2 fibers with Sem:
49144.42 ns
time per locked yield/2 fibers with Sem 2:
49096.70 ns
time per locked yield/2 fibers with Sem 3:
52269.83 ns
time per locked yield/2 fibers with Sem 4:
46173.84 ns
time per locked yield/3 fibers with Lock:
43211.07 ns
time per locked yield/3 fibers with Rwlock:
43928.12 ns
time per locked yield/3 fibers with Sem:
48554.57 ns
time per locked yield/3 fibers with Sem 2:
52578.08 ns
time per locked yield/3 fibers with Sem 3:
53213.33 ns
time per locked yield/3 fibers with Sem 4:
45699.85 ns
time per locked yield/4 fibers with Lock:
44984.63 ns
time per locked yield/4 fibers with Rwlock:
46805.12 ns
time per locked yield/4 fibers with Sem:
46464.25 ns
time per locked yield/4 fibers with Sem 2:
49525.45 ns
time per locked yield/4 fibers with Sem 3:
51664.20 ns
time per locked yield/4 fibers with Sem 4:
45670.22 ns
time per locked yield/8 fibers with Lock:
44941.23 ns
time per locked yield/8 fibers with Rwlock:
49334.72 ns
time per locked yield/8 fibers with Sem:
52282.43 ns
time per locked yield/8 fibers with Sem 2:
51698.35 ns
time per locked yield/8 fibers with Sem 3:
50881.48 ns
time per locked yield/8 fibers with Sem 4:
43434.01 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:
24233.05 ns
time per yield/10 fibers:
24955.02 ns
time per yield/1 fiber:
46342.05 ns
yields over time/100 fibers:
0.04 M/s
yields over time/10 fibers:
0.04 M/s
yields over time/1 fiber:
0.02 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.17 M/s
round-trips over time/1 worker:
0.01 M/s
time per async round-trip/1 worker:
5813.00 ns
time per round-trip/1 worker:
84100.55 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:
48.91 M/s
ops over time/cas int with Rwlock:
24.23 M/s
ops over time/cas int with Sem:
52.84 M/s
ops over time/get with Lock:
71.78 M/s
ops over time/get with Rwlock:
62.25 M/s
ops over time/get with Sem:
72.71 M/s
ops over time/incr with Lock:
72.39 M/s
ops over time/incr with Rwlock:
40.69 M/s
ops over time/incr with Sem:
73.81 M/s
ops over time/push & pop with Lock:
51.62 M/s
ops over time/push & pop with Rwlock:
36.07 M/s
ops over time/push & pop with Sem:
52.37 M/s
ops over time/swap with Lock:
34.98 M/s
ops over time/swap with Rwlock:
36.79 M/s
ops over time/swap with Sem:
54.03 M/s
ops over time/xchg int with Lock:
53.56 M/s
ops over time/xchg int with Rwlock:
23.25 M/s
ops over time/xchg int with Sem:
54.14 M/s
time per op/cas int with Lock:
20.45 ns
time per op/cas int with Rwlock:
41.28 ns
time per op/cas int with Sem:
18.92 ns
time per op/get with Lock:
13.93 ns
time per op/get with Rwlock:
16.07 ns
time per op/get with Sem:
13.75 ns
time per op/incr with Lock:
13.82 ns
time per op/incr with Rwlock:
24.59 ns
time per op/incr with Sem:
13.55 ns
time per op/push & pop with Lock:
19.37 ns
time per op/push & pop with Rwlock:
27.73 ns
time per op/push & pop with Sem:
19.09 ns
time per op/swap with Lock:
28.58 ns
time per op/swap with Rwlock:
27.18 ns
time per op/swap with Sem:
18.51 ns
time per op/xchg int with Lock:
18.67 ns
time per op/xchg int with Rwlock:
43.01 ns
time per op/xchg int with Sem:
18.47 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/one domain:
22.43 M/s
time per message/one domain:
44.59 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/one domain:
25.22 M/s
time per message/one domain:
39.65 ns
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
operations over time/1 worker, 10% reads:
13.57 M/s
operations over time/1 worker, 50% reads:
15.71 M/s
operations over time/1 worker, 90% reads:
19.39 M/s
time per operation/1 worker, 10% reads:
73.70 ns
time per operation/1 worker, 50% reads:
63.65 ns
time per operation/1 worker, 90% reads:
51.56 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:
14.18 M/s
operations over time/1 worker, 10% reads with Rwlock:
12.54 M/s
operations over time/1 worker, 10% reads with Sem:
12.90 M/s
operations over time/1 worker, 100% reads with Lock:
17.59 M/s
operations over time/1 worker, 100% reads with Rwlock:
17.49 M/s
operations over time/1 worker, 100% reads with Sem:
17.18 M/s
operations over time/1 worker, 50% reads with Lock:
14.46 M/s
operations over time/1 worker, 50% reads with Rwlock:
13.77 M/s
operations over time/1 worker, 50% reads with Sem:
14.73 M/s
operations over time/1 worker, 90% reads with Lock:
16.73 M/s
operations over time/1 worker, 90% reads with Rwlock:
16.41 M/s
operations over time/1 worker, 90% reads with Sem:
16.39 M/s
operations over time/1 worker, 95% reads with Lock:
12.74 M/s
operations over time/1 worker, 95% reads with Rwlock:
17.08 M/s
operations over time/1 worker, 95% reads with Sem:
13.45 M/s
time per operation/1 worker, 10% reads with Lock:
70.51 ns
time per operation/1 worker, 10% reads with Rwlock:
79.74 ns
time per operation/1 worker, 10% reads with Sem:
77.53 ns
time per operation/1 worker, 100% reads with Lock:
56.87 ns
time per operation/1 worker, 100% reads with Rwlock:
57.17 ns
time per operation/1 worker, 100% reads with Sem:
58.19 ns
time per operation/1 worker, 50% reads with Lock:
69.14 ns
time per operation/1 worker, 50% reads with Rwlock:
72.62 ns
time per operation/1 worker, 50% reads with Sem:
67.90 ns
time per operation/1 worker, 90% reads with Lock:
59.78 ns
time per operation/1 worker, 90% reads with Rwlock:
60.93 ns
time per operation/1 worker, 90% reads with Sem:
61.03 ns
time per operation/1 worker, 95% reads with Lock:
78.52 ns
time per operation/1 worker, 95% reads with Rwlock:
58.56 ns
time per operation/1 worker, 95% reads with Sem:
74.37 ns
(cd _build/default/test && ./test_rwlock.exe)
random seed: 1806565747813378222
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.2s Rwlock concurrent
[ ] 13 0 0 13 / 32 0.3s Rwlock concurrent
[ ] 16 0 0 16 / 32 0.4s Rwlock concurrent
[ ] 28 0 0 28 / 32 0.6s Rwlock concurrent
[✓] 32 0 0 32 / 32 0.6s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 4473959651364915776
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
[ ] 7 0 0 7 / 64 0.1s Rwlock concurrent
[ ] 11 0 0 11 / 64 0.3s Rwlock concurrent
[ ] 23 0 0 23 / 64 0.4s Rwlock concurrent
[ ] 41 0 0 41 / 64 0.5s Rwlock concurrent
[ ] 43 0 0 43 / 64 0.6s Rwlock concurrent
[ ] 55 0 0 55 / 64 0.7s Rwlock concurrent
[✓] 64 0 0 64 / 64 0.8s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2942420376909902725
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
[ ] 17 0 0 17 / 128 0.1s Rwlock concurrent
[ ] 35 0 0 35 / 128 0.3s Rwlock concurrent
[ ] 44 0 0 44 / 128 0.4s Rwlock concurrent
[ ] 55 0 0 55 / 128 0.5s Rwlock concurrent
[ ] 63 0 0 63 / 128 0.6s Rwlock concurrent
[ ] 68 0 0 68 / 128 0.8s Rwlock concurrent
[ ] 77 0 0 77 / 128 0.9s Rwlock concurrent
[ ] 83 0 0 83 / 128 1.2s Rwlock concurrent
[ ] 87 0 0 87 / 128 1.3s Rwlock concurrent
[ ] 93 0 0 93 / 128 1.4s Rwlock concurrent
[ ] 104 0 0 104 / 128 1.6s Rwlock concurrent
[ ] 109 0 0 109 / 128 1.7s Rwlock concurrent
[ ] 112 0 0 112 / 128 1.9s Rwlock concurrent
[ ] 119 0 0 119 / 128 2.1s Rwlock concurrent
[ ] 122 0 0 122 / 128 2.2s Rwlock concurrent
[ ] 127 0 0 127 / 128 2.4s Rwlock concurrent
[✓] 128 0 0 128 / 128 2.4s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2858495882431793291
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
[ ] 12 0 0 12 / 256 0.1s Rwlock concurrent
[ ] 15 0 0 15 / 256 0.2s Rwlock concurrent
[ ] 19 0 0 19 / 256 0.3s Rwlock concurrent
[ ] 22 0 0 22 / 256 0.5s Rwlock concurrent
[ ] 24 0 0 24 / 256 0.6s Rwlock concurrent
[ ] 34 0 0 34 / 256 0.7s Rwlock concurrent
[ ] 35 0 0 35 / 256 0.9s Rwlock concurrent
[ ] 44 0 0 44 / 256 1.0s Rwlock concurrent
[ ] 61 0 0 61 / 256 1.1s Rwlock concurrent
[ ] 67 0 0 67 / 256 1.2s Rwlock concurrent
[ ] 73 0 0 73 / 256 1.4s Rwlock concurrent
[ ] 84 0 0 84 / 256 1.5s Rwlock concurrent
[ ] 105 0 0 105 / 256 1.6s Rwlock concurrent
[ ] 118 0 0 118 / 256 1.7s Rwlock concurrent
[ ] 133 0 0 133 / 256 1.8s Rwlock concurrent
[ ] 137 0 0 137 / 256 2.0s Rwlock concurrent
[ ] 146 0 0 146 / 256 2.1s Rwlock concurrent
[ ] 152 0 0 152 / 256 2.3s Rwlock concurrent
[ ] 157 0 0 157 / 256 2.4s Rwlock concurrent
[ ] 166 0 0 166 / 256 2.5s Rwlock concurrent
[ ] 174 0 0 174 / 256 2.6s Rwlock concurrent
[ ] 185 0 0 185 / 256 2.8s Rwlock concurrent
[ ] 187 0 0 187 / 256 2.9s Rwlock concurrent
[ ] 196 0 0 196 / 256 3.0s Rwlock concurrent
[ ] 203 0 0 203 / 256 3.1s Rwlock concurrent
[ ] 204 0 0 204 / 256 3.3s Rwlock concurrent
[ ] 209 0 0 209 / 256 3.4s Rwlock concurrent
[ ] 216 0 0 216 / 256 3.5s Rwlock concurrent
[ ] 221 0 0 221 / 256 3.8s Rwlock concurrent
[ ] 231 0 0 231 / 256 3.9s Rwlock concurrent
[ ] 236 0 0 236 / 256 4.1s Rwlock concurrent
[ ] 243 0 0 243 / 256 4.2s Rwlock concurrent
[ ] 246 0 0 246 / 256 4.3s Rwlock concurrent
[ ] 249 0 0 249 / 256 4.4s Rwlock concurrent
[ ] 255 0 0 255 / 256 4.5s Rwlock concurrent
[✓] 256 0 0 256 / 256 4.5s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 1808483776785322333
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
[ ] 11 0 0 11 / 512 0.1s Rwlock concurrent
[ ] 26 0 0 26 / 512 0.2s Rwlock concurrent
[ ] 28 0 0 28 / 512 0.3s Rwlock concurrent
[ ] 30 0 0 30 / 512 0.5s Rwlock concurrent
[ ] 38 0 0 38 / 512 0.6s Rwlock concurrent
[ ] 45 0 0 45 / 512 0.7s Rwlock concurrent
[ ] 50 0 0 50 / 512 0.9s Rwlock concurrent
[ ] 59 0 0 59 / 512 1.0s Rwlock concurrent
[ ] 66 0 0 66 / 512 1.1s Rwlock concurrent
[ ] 86 0 0 86 / 512 1.2s Rwlock concurrent
[ ] 96 0 0 96 / 512 1.3s Rwlock concurrent
[ ] 103 0 0 103 / 512 1.6s Rwlock concurrent
[ ] 109 0 0 109 / 512 1.7s Rwlock concurrent
[ ] 113 0 0 113 / 512 1.9s Rwlock concurrent
[ ] 119 0 0 119 / 512 2.0s Rwlock concurrent
[ ] 123 0 0 123 / 512 2.2s Rwlock concurrent
[ ] 129 0 0 129 / 512 2.3s Rwlock concurrent
[ ] 132 0 0 132 / 512 2.5s Rwlock concurrent
[ ] 139 0 0 139 / 512 2.6s Rwlock concurrent
[ ] 144 0 0 144 / 512 2.8s Rwlock concurrent
[ ] 148 0 0 148 / 512 2.9s Rwlock concurrent
[ ] 159 0 0 159 / 512 3.1s Rwlock concurrent
[ ] 164 0 0 164 / 512 3.3s Rwlock concurrent
[ ] 175 0 0 175 / 512 3.5s Rwlock concurrent
[ ] 179 0 0 179 / 512 3.7s Rwlock concurrent
[ ] 191 0 0 191 / 512 3.8s Rwlock concurrent
[ ] 196 0 0 196 / 512 3.9s Rwlock concurrent
[ ] 203 0 0 203 / 512 4.0s Rwlock concurrent
[ ] 211 0 0 211 / 512 4.2s Rwlock concurrent
[ ] 217 0 0 217 / 512 4.3s Rwlock concurrent
[ ] 225 0 0 225 / 512 4.5s Rwlock concurrent
[ ] 227 0 0 227 / 512 4.6s Rwlock concurrent
[ ] 230 0 0 230 / 512 4.7s Rwlock concurrent
[ ] 232 0 0 232 / 512 4.8s Rwlock concurrent
[ ] 235 0 0 235 / 512 5.0s Rwlock concurrent
[ ] 247 0 0 247 / 512 5.1s Rwlock concurrent
[ ] 258 0 0 258 / 512 5.2s Rwlock concurrent
[ ] 262 0 0 262 / 512 5.5s Rwlock concurrent
[ ] 275 0 0 275 / 512 5.6s Rwlock concurrent
[ ] 283 0 0 283 / 512 5.7s Rwlock concurrent
[ ] 297 0 0 297 / 512 5.8s Rwlock concurrent
[ ] 304 0 0 304 / 512 5.9s Rwlock concurrent
[ ] 311 0 0 311 / 512 6.1s Rwlock concurrent
[ ] 312 0 0 312 / 512 6.3s Rwlock concurrent
[ ] 314 0 0 314 / 512 6.6s Rwlock concurrent
[ ] 318 0 0 318 / 512 7.2s Rwlock concurrent
[ ] 329 0 0 329 / 512 7.3s Rwlock concurrent
[ ] 332 0 0 332 / 512 7.4s Rwlock concurrent
[ ] 337 0 0 337 / 512 8.1s Rwlock concurrent
[ ] 343 0 0 343 / 512 8.3s Rwlock concurrent
[ ] 345 0 0 345 / 512 8.4s Rwlock concurrent
[ ] 353 0 0 353 / 512 8.7s Rwlock concurrent
[ ] 354 0 0 354 / 512 9.6s Rwlock concurrent
[ ] 358 0 0 358 / 512 9.7s Rwlock concurrent
[ ] 359 0 0 359 / 512 9.9s Rwlock concurrent
[ ] 362 0 0 362 / 512 10.1s Rwlock concurrent
[ ] 367 0 0 367 / 512 10.3s Rwlock concurrent
[ ] 370 0 0 370 / 512 10.5s Rwlock concurrent
[ ] 377 0 0 377 / 512 10.6s Rwlock concurrent
[ ] 383 0 0 383 / 512 10.7s Rwlock concurrent
[ ] 385 0 0 385 / 512 10.8s Rwlock concurrent
[ ] 387 0 0 387 / 512 11.0s Rwlock concurrent
[ ] 399 0 0 399 / 512 11.7s Rwlock concurrent
[ ] 402 0 0 402 / 512 11.9s Rwlock concurrent
[ ] 405 0 0 405 / 512 12.0s Rwlock concurrent
[ ] 406 0 0 406 / 512 12.5s Rwlock concurrent
[ ] 412 0 0 412 / 512 12.6s Rwlock concurrent
[ ] 413 0 0 413 / 512 12.8s Rwlock concurrent
[ ] 418 0 0 418 / 512 13.0s Rwlock concurrent
[ ] 422 0 0 422 / 512 13.2s Rwlock concurrent
[ ] 428 0 0 428 / 512 13.3s Rwlock concurrent
[ ] 437 0 0 437 / 512 13.4s Rwlock concurrent
[ ] 440 0 0 440 / 512 13.5s Rwlock concurrent
[ ] 444 0 0 444 / 512 13.6s Rwlock concurrent
[ ] 451 0 0 451 / 512 13.7s Rwlock concurrent
[ ] 458 0 0 458 / 512 13.9s Rwlock concurrent
[ ] 460 0 0 460 / 512 14.0s Rwlock concurrent
[ ] 463 0 0 463 / 512 14.2s Rwlock concurrent
[ ] 465 0 0 465 / 512 14.5s Rwlock concurrent
[ ] 467 0 0 467 / 512 14.9s Rwlock concurrent
[ ] 468 0 0 468 / 512 15.4s Rwlock concurrent
[ ] 470 0 0 470 / 512 16.4s Rwlock concurrent
[ ] 471 0 0 471 / 512 17.5s Rwlock concurrent
[ ] 474 0 0 474 / 512 17.7s Rwlock concurrent
[ ] 482 0 0 482 / 512 17.8s Rwlock concurrent
[ ] 486 0 0 486 / 512 18.5s Rwlock concurrent
[ ] 487 0 0 487 / 512 19.3s Rwlock concurrent
[ ] 489 0 0 489 / 512 19.6s Rwlock concurrent
[ ] 490 0 0 490 / 512 20.9s Rwlock concurrent
[ ] 494 0 0 494 / 512 21.0s Rwlock concurrent
[ ] 502 0 0 502 / 512 21.2s Rwlock concurrent
[ ] 507 0 0 507 / 512 21.3s Rwlock concurrent
[✓] 512 0 0 512 / 512 21.3s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2335272996135106917
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
[ ] 8 0 0 8 / 32 0.1s Rwlock concurrent
[ ] 16 0 0 16 / 32 0.2s Rwlock concurrent
[ ] 20 0 0 20 / 32 0.8s Rwlock concurrent
[ ] 26 0 0 26 / 32 2.1s Rwlock concurrent
[ ] 30 0 0 30 / 32 2.3s Rwlock concurrent
[✓] 32 0 0 32 / 32 2.3s Rwlock concurrent
================================================================================
success (ran 2 tests)
(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.13 M/s
time per blocking read/1 worker:
61832.80 ns
time per non-blocking read/1 worker:
7720.02 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/one domain:
10.05 M/s
time per message/one domain:
99.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.23 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:
170.05 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:
15.06 M/s
time per message/one domain with Lock:
66.40 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
(cd _build/default/bench && ./main.exe -brief Stack)
Stack:
messages over time/one domain:
21.53 M/s
time per message/one domain:
46.45 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `JE9XRN2D'.
[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 16.556s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `N1WX0WZN'.
[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.014s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `EMGDZ5V2'.
[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 8.028s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `51JOZXML'.
[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 `FSCAG3A3'.
[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 `TSU48AJ7'.
[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.013s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `7Z6TAPJG'.
[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 8.539s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `18RXWS4E'.
[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 `4ITO5KCV'.
[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.004s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `0SX973I8'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `QJVWXFAP'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `WG9J8N3C'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[OK] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `VJTK0TZO'.
[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 `CLWD92QI'.
[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.030s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `NSFFNIS6'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[OK] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `3CAKBTZN'.
[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.030s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `A4W8D3V2'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `EEV7EJ8S'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `LWKIGP4L'.
[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 `2ZVY4T85'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `90UGHB4B'.
[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.111s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `8O6WO16Y'.
[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.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `TT3BS65J'.
[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.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `X1XPLN1T'.
[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.001019 -- ideally 0
mean: 1.002452 -- ideally 1
median: 1.002500 -- ideally 1
Testing `Picos schedulers'.
This run has ID `X1EJCQBE'.
[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 28.567s. 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 117, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
2025-08-04 13:56.27 ---> saved as "e47d053f3d028b9ddd847e3efcd2d233136e8c8cc19e1d6d77825f97407a85a5"
Job succeeded
2025-08-04 13:56.27: Job succeeded