ocaml-probe/test/ at main · gazagnaire.org/ocaml-probe · Tangled

gazagnaire.org / ocaml-probe

0

Typed runtime_events probes for OCaml

0

ocaml-probe / test

4 folders 6 files

at main

Thomas Gazagnaire probe: wasm spec test for the no-ring runtime 4d ago

ocaml-probe: Replace run with with_span Use one lexical span API and make active checks explicit. Event helpers now avoid building their generated payload records while probes are inactive, while the docs call out the remaining eager thunk cost.

1 month ago

docs: reflow comments across the tree

1 month ago

probe: spec test for the no-ring js runtime probe.mli specifies that runtime_events_are_active is false under a runtime with no ring, with emission flowing through set_sink. A js_of_ocaml link is such a runtime, but the probe C stubs have no js counterparts, so the first call trips over a missing primitive: TypeError: runtime.probe_runtime_events_are_active is not a function seen live from a space_packet.ml encode path in a browser build. The test runs under node and asserts the contract: inactive ring, enabled false, then a set_sink sink receiving decodable span begin/end packets. Fails today with the TypeError above.

4 days ago

probe: wasm spec test for the no-ring runtime Runs the test/js no-ring spec (copy_files# of its source) through wasm_of_ocaml under node. Fails today at instantiation: the probe C externals (probe_runtime_events_are_active, probe_minor_words, probe_runtime_events_user_write) have js stubs but no wasm counterparts, so the module's imports cannot be satisfied.

4 days ago

probe: wasm spec test for the no-ring runtime Runs the test/js no-ring spec (copy_files# of its source) through wasm_of_ocaml under node. Fails today at instantiation: the probe C externals (probe_runtime_events_are_active, probe_minor_words, probe_runtime_events_user_write) have js stubs but no wasm counterparts, so the module's imports cannot be satisfied.

4 days ago

probe: factor runtime event wire codec

1 month ago

probe: give decoded field values their own equality Two round-trip tests compared decoded (name, value) lists against the values that went in using (=), which the house rule rejects. Here the polymorphic compare was also wrong on its own terms. A value carries a Float, and (=) reports nan as different from itself, so a float field that survived the wire intact would have failed the very round-trip these tests exist to assert. Wire.Value.equal is written out branch by branch with Float.equal for that case. Consumer.Value.t is a type equation on Wire.Value.t, so Consumer re- exports the one definition rather than carrying a second copy that could drift from it.

1 week ago

probe: new package for typed runtime_events instrumentation Libraries declare event and span values with flat scalar fields and emit them to the runtime_events user-event ring; descriptor events are written automatically so consumers can discover field layouts without sharing code with the emitter. This is the foundation the protocol libraries (ssh, tcp, oci, monitor, ...) instrument against.

1 month ago

probe: give decoded field values their own equality Two round-trip tests compared decoded (name, value) lists against the values that went in using (=), which the house rule rejects. Here the polymorphic compare was also wrong on its own terms. A value carries a Float, and (=) reports nan as different from itself, so a float field that survived the wire intact would have failed the very round-trip these tests exist to assert. Wire.Value.equal is written out branch by branch with Float.equal for that case. Consumer.Value.t is a type equation on Wire.Value.t, so Consumer re- exports the one definition rather than carrying a second copy that could drift from it.

1 week ago

probe: factor runtime event wire codec

1 month ago