3.4 KiB
3.4 KiB
TINY_C7_ULTRA_DESIGN
目的
- C7 (1024B) 向け mimalloc 型超高速パス（ULTRA）を用意し、Mixed 16–1024B を mimalloc の 5 割近辺まで寄せる。
- 学習層や stats の仕組みは残しつつ、C7 同一スレッドのホットパスからは極力それらを排除する。
箱構造
- Hot: TinyC7UltraBox（TLS freelist + C7 専用セグメントを握る同一スレッド専用箱）
- Cold: C7UltraSegmentBox（C7 専用セグメント管理。現段階では設計のみで未実装）
- 既存 Cold: Superslab / WarmPool / Guard / Remote / Stats は既存の箱のまま。ULTRA は原則触らない。
決定事項（芯）
- C7 専用ページ源
- ULTRA は「C7 専用セグメント」からページを取る（将来は mmap で 2〜4MiB 単位）。
- v3/v4/Tiny v1 が握る C7 ページとは混ざらない前提。
- UF-1 時点では C7UltraSegmentBox は未実装で、C7 ページ供給は既存 v3 経由の stub とする。
- free 時の ptr→page
- ULTRA が扱う C7 ページは C7 専用セグメント上にのみ存在すると決める。
- 将来像:
- seg = p & ~(SEG_SIZE-1) で segment 基底。
- seg が ULTRA 管理表にあれば offset / page_idx / page_meta から class=7 を取得し、ヘッダなしで freelist push。
- 管理表に無ければ既存 v3/v4 free（ヘッダあり）にフォールバック。
- ULTRA と v3/v4 の責務分離
- ULTRA ON: C7 アロケーションはすべて ULTRA 管理（v3/v4 は C7 ページを新規に取らない）。
- ULTRA OFF: C7 は v3（現行本命）か v4 が処理する。
- free: 「まず ULTRA セグメントか？」を判定し、ULTRA 管理外なら常に v3/v4 free へ落とすオーバーレイ構造。
- Remote/cross-thread free は ULTRA 非対応。ULTRA は同一スレッド C7 専用 TLS box として設計。
- Fail-Fast ポリシー
- ULTRA が扱わないポインタは必ず v3/v4 側でヘッダ検証・範囲チェックを行う。
- ULTRA 内部不整合（将来フェーズ）は stats＋ワンショットログで可視化し、可能なら v3/v4 へフォールバック。
セグメント前提（UF-3 仕様）
- SEG_SIZE: 2MiB (pow2)。seg_base = ptr & ~(SEG_SIZE-1) で判定可能にする。
- セグメント構造（イメージ）:
- base, seg_size (=2MiB), page_size (=TINY_PAGE_SIZE 想定), num_pages (=seg_size/page_size)
- page_meta[num_pages]（freelist/used/capacity だけを持つ軽量構造）
- free 時の判定:
- seg = p & ~(SEG_SIZE-1) で ULTRA 管理セグメントか確認。
- 管理外 → v3 free（ヘッダ付き経路）へフォールバック。
- 管理内 → page_idx = (p - seg_base) >> PAGE_SHIFT で page_meta を取得し、ヘッダ無しで freelist push。
- Remote/cross-thread free は UF-3 でも非対応（同一スレッド C7 専用のまま）。
フェーズ
- UF-1: 箱・ENV・front フックだけ stub で入れる（中身は v3 C7 経由、挙動変化なし）。
- UF-2: ULTRA TLS freelist を実装（C7 ページ 1 枚を TLS で握る。同一スレッドのみ）。C7 ページ供給は当面 v3/v4 経由。
- UF-3: C7UltraSegmentBox を実装し、ptr→segment mask でヘッダレス free に寄せる（セグメント 1 枚のみでも可）。
- UF-4: pf/segment/学習層との統合を調整し、Mixed で本格的に A/B。