Skip to content

docs(gen-gc): sizing, tuning & integration#8

Open
elefthei wants to merge 1 commit into
mainfrom
docs/gen-gc-sizing
Open

docs(gen-gc): sizing, tuning & integration#8
elefthei wants to merge 1 commit into
mainfrom
docs/gen-gc-sizing

Conversation

@elefthei

Copy link
Copy Markdown
Contributor

Summary

Design-doc PR (Unit 5 of 5) for the generational GC extension. Captures the sizing parameters: toy minor_size = 256 B for verification testing (~8000x more minor collects than 2 MB for the same allocation volume) vs OCaml's production default 2 MB; the configuration mechanism (val pattern matching heap_size in GC.Spec.Base); Max_young_wosize = 256 words kept matching OCaml 4. Stage 4 deliverable: OCAMLRUNPARAM read-at-init for minor_size on the OCaml-integration harness, defaulting to 2 MB. Survival-rate measurement plan included.

No code changes — markdown-only.

Test plan

  • make -j$(nproc) clean against current F* master
  • No F* / Pulse source files modified

🤖 Generated with Claude Code

Capture the sizing parameters for the generational GC extension: toy
minor_size = 256 B for verification testing vs OCaml's production
default of 2 MB; configuration mechanism (val pattern matching
heap_size in GC.Spec.Base); Max_young_wosize = 256 words kept matching
OCaml 4. Stage 4 deliverable: OCAMLRUNPARAM read-at-init for minor_size
on the OCaml-integration harness. Survival-rate measurement plan.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant