Phase 25.1 完了成果: - ✅ LoopForm v2 テスト・ドキュメント・コメント完備 - 4ケース(A/B/C/D)完全テストカバレッジ - 最小再現ケース作成(SSAバグ調査用) - SSOT文書作成(loopform_ssot.md) - 全ソースに [LoopForm] コメントタグ追加 - ✅ Stage-1 CLI デバッグ環境構築 - stage1_cli.hako 実装 - stage1_bridge.rs ブリッジ実装 - デバッグツール作成(stage1_debug.sh/stage1_minimal.sh) - アーキテクチャ改善提案文書 - ✅ 環境変数削減計画策定 - 25変数の完全調査・分類 - 6段階削減ロードマップ(25→5、80%削減) - 即時削除可能変数特定(NYASH_CONFIG/NYASH_DEBUG) Phase 26-D からの累積変更: - PHI実装改善(ExitPhiBuilder/HeaderPhiBuilder等) - MIRビルダーリファクタリング - 型伝播・最適化パス改善 - その他約300ファイルの累積変更 🎯 技術的成果: - SSAバグ根本原因特定(条件分岐内loop変数変更) - Region+next_iパターン適用完了(UsingCollectorBox等) - LoopFormパターン文書化・テスト化完了 - セルフホスティング基盤強化 Co-Authored-By: Claude <noreply@anthropic.com> Co-Authored-By: ChatGPT <noreply@openai.com> Co-Authored-By: Task Assistant <task@anthropic.com>
65 lines
1.8 KiB
Rust
65 lines
1.8 KiB
Rust
//! GC hook abstractions for switchable runtime (Phase 10.4 preparation)
|
|
//!
|
|
//! Minimal, no-alloc, no-type-coupling interfaces that VM can call.
|
|
//! Default implementation is a no-op. Real collectors can plug later.
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
|
pub enum BarrierKind {
|
|
Read,
|
|
Write,
|
|
}
|
|
|
|
/// GC hooks that execution engines may call at key points.
|
|
/// Implementations must be Send + Sync for multi-thread preparation.
|
|
pub trait GcHooks: Send + Sync + std::any::Any {
|
|
/// Safe point for cooperative GC (e.g., poll or yield).
|
|
fn safepoint(&self) {}
|
|
/// Memory barrier hint for loads/stores.
|
|
fn barrier(&self, _kind: BarrierKind) {}
|
|
/// Allocation accounting (bytes are best-effort; may be 0 when unknown)
|
|
fn alloc(&self, _bytes: u64) {}
|
|
/// Optional counters snapshot for diagnostics. Default: None.
|
|
fn snapshot_counters(&self) -> Option<(u64, u64, u64)> {
|
|
None
|
|
}
|
|
}
|
|
|
|
/// Default no-op hooks.
|
|
pub struct NullGc;
|
|
|
|
impl GcHooks for NullGc {}
|
|
|
|
/// CountingGc is now a thin wrapper around the unified GcController.
|
|
pub struct CountingGc {
|
|
inner: crate::runtime::gc_controller::GcController,
|
|
}
|
|
|
|
impl CountingGc {
|
|
pub fn new() -> Self {
|
|
Self::new_with_mode(crate::runtime::gc_mode::GcMode::RcCycle)
|
|
}
|
|
pub fn new_with_mode(mode: crate::runtime::gc_mode::GcMode) -> Self {
|
|
Self {
|
|
inner: crate::runtime::gc_controller::GcController::new(mode),
|
|
}
|
|
}
|
|
pub fn snapshot(&self) -> (u64, u64, u64) {
|
|
self.inner.snapshot()
|
|
}
|
|
}
|
|
|
|
impl GcHooks for CountingGc {
|
|
fn safepoint(&self) {
|
|
self.inner.safepoint();
|
|
}
|
|
fn barrier(&self, kind: BarrierKind) {
|
|
self.inner.barrier(kind);
|
|
}
|
|
fn alloc(&self, bytes: u64) {
|
|
self.inner.alloc(bytes);
|
|
}
|
|
fn snapshot_counters(&self) -> Option<(u64, u64, u64)> {
|
|
Some(self.inner.snapshot())
|
|
}
|
|
}
|