From 78f282007980fe9c9ef143a6bc6fb76282957ab6 Mon Sep 17 00:00:00 2001
From: Weicao-CatilGrass <1992414357@qq.com>
Date: Tue, 9 Jun 2026 06:20:21 +0800
Subject: Replace `OnceLock<Option<Box<dyn Any>>>` with custom `ProgramCell`
 type

Reduces indirection and allows taking ownership of the program instance
for proper cleanup before `process::exit()`
---
 mingling_core/src/program/single_instance.rs | 92 ++++++++++++++++++++++++++--
 1 file changed, 88 insertions(+), 4 deletions(-)

(limited to 'mingling_core/src/program/single_instance.rs')

diff --git a/mingling_core/src/program/single_instance.rs b/mingling_core/src/program/single_instance.rs
index 70771d5..d16bcf5 100644
--- a/mingling_core/src/program/single_instance.rs
+++ b/mingling_core/src/program/single_instance.rs
@@ -1,10 +1,94 @@
-use std::sync::OnceLock;
+use std::cell::UnsafeCell;
+use std::sync::atomic::{AtomicBool, Ordering};
 
 use crate::{Program, ProgramCollect};
 
+/// A single-slot container that can be initialized once, read many times,
+/// and taken out once (for cleanup before process exit).
+///
+/// # Safety
+///
+/// - `set()` is called once during `exec_wrapper`, before any other access.
+/// - `get_raw()` is called during execution (concurrent reads are safe because
+///   the inner value is immutable once set until `take()`).
+/// - `take()` is called only after execution completes, when no code still
+///   holds a reference from `get_raw()`.
+pub(crate) struct ProgramCell {
+    initialized: AtomicBool,
+    inner: UnsafeCell<Option<Box<dyn std::any::Any + Send + Sync>>>,
+}
+
+// Safety: Sync is safe because:
+// - `initialized` is AtomicBool (Sync)
+// - `inner` is only read-after-write in sequence: set() → repeated get(), then
+//   optionally take() after all get() callers are done.
+// - No concurrent write+read or write+write exists.
+unsafe impl Sync for ProgramCell {}
+
+impl ProgramCell {
+    pub(crate) const fn new() -> Self {
+        Self {
+            initialized: AtomicBool::new(false),
+            inner: UnsafeCell::new(None),
+        }
+    }
+
+    /// Initialize the cell with a value. Panics if already initialized.
+    pub(crate) fn set(&self, val: Box<dyn std::any::Any + Send + Sync>) {
+        assert!(
+            !self.initialized.swap(true, Ordering::AcqRel),
+            "ProgramCell already initialized"
+        );
+        // SAFETY: `set()` is the sole writer — the `swap(true, AcqRel)` above
+        // guarantees exclusive access before the write becomes visible.
+        unsafe {
+            *self.inner.get() = Some(val);
+        }
+    }
+
+    /// Returns a reference to the stored value, or `None` if not yet
+    /// initialized or already taken.
+    pub(crate) fn get_raw(&self) -> Option<&Box<dyn std::any::Any + Send + Sync>> {
+        if self.initialized.load(Ordering::Acquire) {
+            // SAFETY: after the Acquire load sees `true`, the matching
+            // Release-store in `set()` has happened, so the write to `inner`
+            // is visible. Only shared references (no mutation) are handed
+            // out, so this is safe. If `take()` has already been called
+            // (initialized → false), `get_raw()` returns `None` because the
+            // Acquire load won't see `true`.
+            unsafe { (*self.inner.get()).as_ref() }
+        } else {
+            None
+        }
+    }
+
+    /// Take ownership of the stored value and reset the cell.
+    /// After this, `get_raw()` returns `None`.
+    ///
+    /// # Safety
+    ///
+    /// The caller must ensure that **no references returned by `get_raw()`**
+    /// are still alive when this method is called — otherwise a dangling
+    /// pointer would be exposed.
+    ///
+    /// This is intended to be called once, in `exec_and_exit()`, **after**
+    /// execution has finished and no code still holds references from
+    /// `get_raw()`.
+    pub(crate) unsafe fn take(&self) -> Option<Box<dyn std::any::Any + Send + Sync>> {
+        // Swap the flag to false so that future `get_raw()` calls return None.
+        if self.initialized.swap(false, Ordering::AcqRel) {
+            // SAFETY: `take()` is the sole mutator, called after all
+            // `get_raw()` callers have finished. No other thread reads
+            // `inner` at this point.
+            unsafe { (*self.inner.get()).take() }
+        } else {
+            None
+        }
+    }
+}
+
 /// Global static reference to the current program instance
-pub(crate) static THIS_PROGRAM: OnceLock<Option<Box<dyn std::any::Any + Send + Sync>>> =
-    OnceLock::new();
+pub(crate) static THIS_PROGRAM: ProgramCell = ProgramCell::new();
 
 /// Returns a reference to the current program instance, panics if not set.
 ///
@@ -24,5 +108,5 @@ fn try_get_this_program<C>() -> Option<&'static Program<C>>
 where
     C: ProgramCollect<Enum = C> + 'static,
 {
-    THIS_PROGRAM.get()?.as_ref()?.downcast_ref::<Program<C>>()
+    THIS_PROGRAM.get_raw()?.downcast_ref::<Program<C>>()
 }
-- 
cgit