gazagnaire.org
Storage-agnostic SQL query engine over a pluggable catalog SPI
observe: absorb nox-memtrace, repoint the tree onto observe
nox-memtrace was a maintained fork of Jane Street's memtrace; it now lives in
ocaml-observe as observe.memtrace, so there is no external fork to track and the
capture format can evolve with the obs tooling. This drops the nox-memtrace and
nox-memtrace-eio packages and repoints every bench and opam dependency in the
tree at observe, and adds the obs SQLite sink so traces can be queried with SQL.
author
Thomas Gazagnaire
date
(Jun 24, 2026, 12:28 AM UTC)
commit
3f098845
3f09884501c0737203171e492ae13ed04514d9e2
parent
819d37e8
819d37e8164d9b44c55db3f9c1abf8d32f0faf1a
+5
-5
+2
-2
bench/bench.ml
+2
-2
bench/bench.ml
···
3
3
Run: dune exec ocaml-catalog/bench/bench.exe -- [rows] [groups]
4
4
5
5
Allocation profile: MEMTRACE=/tmp/catalog.ctf dune exec
6
-
ocaml-catalog/bench/bench.exe dune exec -- memtrace_hotspots /tmp/catalog.ctf
6
+
ocaml-catalog/bench/bench.exe dune exec -- obs hotspots /tmp/catalog.ctf
7
7
8
8
Benchmark shape: - flat scan/filter/project is the embedded-engine micro
9
9
path, close in spirit to SQLite's speedtest1 loops. - grouped aggregate is
···
133
133
134
134
let () =
135
135
let data = rows_of_count rows in
136
-
Memtrace.trace_if_requested ();
136
+
Observe.Memtrace.trace_if_requested ();
137
137
Fmt.pr "catalog bench: rows=%d groups=%d\n%!" rows groups;
138
138
time "flat" rows (fun () ->
139
139
let out = Ir.run flat_query [| C.Spi.list_cursor data |] in
+1
-1
bench/dune
+1
-1
bench/dune
+1
-1
catalog.opam
+1
-1
catalog.opam