f9d100ce01
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>
67 lines
2.2 KiB
Rust
67 lines
2.2 KiB
Rust
/*!
|
|
* Provider Lock (skeleton)
|
|
*
|
|
* Phase 15.5 受け口: 型→Provider のロック状態を保持するための最小スケルトン。
|
|
* 既定では挙動を変えず、環境変数により警告/エラー化のみ可能にする。
|
|
*/
|
|
|
|
use crate::boxes::file::provider::{FileCaps, FileIo};
|
|
use std::sync::atomic::{AtomicBool, Ordering};
|
|
use std::sync::{Arc, OnceLock};
|
|
|
|
static LOCKED: AtomicBool = AtomicBool::new(false);
|
|
static WARN_ONCE: OnceLock<()> = OnceLock::new();
|
|
static FILEBOX_PROVIDER: OnceLock<Arc<dyn FileIo>> = OnceLock::new();
|
|
|
|
/// Return true when providers are locked
|
|
pub fn is_locked() -> bool {
|
|
LOCKED.load(Ordering::Relaxed)
|
|
}
|
|
|
|
/// Lock providers (idempotent)
|
|
pub fn lock_providers() {
|
|
LOCKED.store(true, Ordering::Relaxed);
|
|
}
|
|
|
|
/// Guard called before creating a new box instance.
|
|
/// Default: no-op. When NYASH_PROVIDER_LOCK_STRICT=1, returns Err if not locked.
|
|
/// When NYASH_PROVIDER_LOCK_WARN=1, prints a warning once.
|
|
pub fn guard_before_new_box(box_type: &str) -> Result<(), String> {
|
|
if is_locked() {
|
|
return Ok(());
|
|
}
|
|
let strict = std::env::var("NYASH_PROVIDER_LOCK_STRICT").ok().as_deref() == Some("1");
|
|
let warn = std::env::var("NYASH_PROVIDER_LOCK_WARN").ok().as_deref() == Some("1");
|
|
if strict {
|
|
return Err(format!(
|
|
"E_PROVIDER_NOT_LOCKED: attempted to create '{}' before Provider Lock",
|
|
box_type
|
|
));
|
|
}
|
|
if warn {
|
|
// Print once per process
|
|
let _ = WARN_ONCE.get_or_init(|| {
|
|
eprintln!("[provider-lock][warn] NewBox emitted before Provider Lock. Set NYASH_PROVIDER_LOCK_STRICT=1 to error.");
|
|
});
|
|
}
|
|
Ok(())
|
|
}
|
|
|
|
/// Set the global FileBox provider (can only be called once)
|
|
pub fn set_filebox_provider(provider: Arc<dyn FileIo>) -> Result<(), String> {
|
|
FILEBOX_PROVIDER
|
|
.set(provider)
|
|
.map_err(|_| "FileBox provider already set".to_string())
|
|
}
|
|
|
|
/// Get the global FileBox provider
|
|
pub fn get_filebox_provider() -> Option<&'static Arc<dyn FileIo>> {
|
|
FILEBOX_PROVIDER.get()
|
|
}
|
|
|
|
/// Convenience: fetch current FileBox provider capabilities (if initialized).
|
|
/// Returns None when no provider is registered yet.
|
|
pub fn get_filebox_caps() -> Option<FileCaps> {
|
|
get_filebox_provider().map(|p| p.caps())
|
|
}
|