this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Start perf-investigation-2 log

Ongoing notebook for round 2 of the odoc perf investigation.

+33
+33
doc/perf-investigation-2-log.md
··· 1 + # odoc Performance Investigation — Round 2 2 + 3 + Ongoing notebook for the next phase of odoc performance work, continuing from the `perf-bench-base` branch (merged into main as of `9357d7fd`). 4 + 5 + ## Prior art 6 + 7 + - Original plan: `doc/plans/2026-02-15-performance-investigation.md` on standalone odoc `perf-investigation` branch 8 + - Round 1 execution: `perf-bench-base` branch, session log `~/.claude/projects/-cache-jons-agent-workspace-odoc-pp/5f6e8907-5c90-46cc-b1c7-06f4de7484da.jsonl` (through 2026-04-13) 9 + 10 + ## Round 1 — landed optimizations 11 + 12 + - Physical-equality sharing + `is_identity` short-circuits in `src/xref2/subst.ml` 13 + - Sharing in `reresolve_*` and `prefix_signature` in `src/xref2/tools.ml` 14 + - `Of_Lang` path-conversion sharing in `src/xref2/component.ml` 15 + - Per-env `Shape_reduce.Make` cache in `src/xref2/shape_tools.cppo.ml` 16 + - `open struct` module-alias fix in `src/xref2/find.ml` (resolved 76K unresolved xrefs on `core`) 17 + - `ODOC_STATMEMPROF` instrumentation in `src/odoc/bin/main.ml` 18 + 19 + ## Round 2 — open threads 20 + 21 + (Fill in as investigation proceeds.) 22 + 23 + ## Log 24 + 25 + ### YYYY-MM-DD — <topic> 26 + 27 + Hypothesis: 28 + 29 + Measurement: 30 + 31 + Result: 32 + 33 + Next: