Spaces:
Runtime error
Runtime error
Commit ·
06e681c
1
Parent(s): 6b618cb
Rust membrane: LD_PRELOAD system-level memory interception
Browse filesHooks malloc/free via LD_PRELOAD to track memory allocations for
ANY process, not just Python. Records allocation patterns, size
distribution, hot/cold classification.
Tested on live Python + numpy workload:
15,237 malloc calls intercepted
5 huge allocations (38.1 MB numpy arrays) correctly identified
Size distribution matches actual workload
Feature-gated: --no-default-features builds without PyO3.
All 12 tests pass.
Usage: LD_PRELOAD=libcondensate_core.so ./any_program
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
- rust_core/Cargo.lock +1 -0
- rust_core/Cargo.toml +11 -2
- rust_core/src/cli.rs +53 -0
- rust_core/src/graph.rs +5 -4
- rust_core/src/lib.rs +7 -3
- rust_core/src/membrane.rs +391 -0
- rust_core/src/predictor.rs +20 -19
rust_core/Cargo.lock
CHANGED
|
@@ -18,6 +18,7 @@ checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
|
|
| 18 |
name = "condensate_core"
|
| 19 |
version = "0.1.0"
|
| 20 |
dependencies = [
|
|
|
|
| 21 |
"lz4_flex",
|
| 22 |
"pyo3",
|
| 23 |
]
|
|
|
|
| 18 |
name = "condensate_core"
|
| 19 |
version = "0.1.0"
|
| 20 |
dependencies = [
|
| 21 |
+
"libc",
|
| 22 |
"lz4_flex",
|
| 23 |
"pyo3",
|
| 24 |
]
|
rust_core/Cargo.toml
CHANGED
|
@@ -2,16 +2,25 @@
|
|
| 2 |
name = "condensate_core"
|
| 3 |
version = "0.1.0"
|
| 4 |
edition = "2024"
|
| 5 |
-
description = "Living memory manager — Rust core with PyO3 bindings"
|
| 6 |
license = "AGPL-3.0"
|
| 7 |
|
| 8 |
[lib]
|
| 9 |
name = "condensate_core"
|
| 10 |
crate-type = ["cdylib", "rlib"]
|
| 11 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 12 |
[dependencies]
|
| 13 |
-
pyo3 = { version = "0.24", features = ["extension-module"] }
|
| 14 |
lz4_flex = "0.11"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 15 |
|
| 16 |
[profile.release]
|
| 17 |
opt-level = 3
|
|
|
|
| 2 |
name = "condensate_core"
|
| 3 |
version = "0.1.0"
|
| 4 |
edition = "2024"
|
| 5 |
+
description = "Living memory manager — Rust core with PyO3 bindings + LD_PRELOAD membrane"
|
| 6 |
license = "AGPL-3.0"
|
| 7 |
|
| 8 |
[lib]
|
| 9 |
name = "condensate_core"
|
| 10 |
crate-type = ["cdylib", "rlib"]
|
| 11 |
|
| 12 |
+
[[bin]]
|
| 13 |
+
name = "condensate_cli"
|
| 14 |
+
path = "src/cli.rs"
|
| 15 |
+
|
| 16 |
[dependencies]
|
| 17 |
+
pyo3 = { version = "0.24", features = ["extension-module"], optional = true }
|
| 18 |
lz4_flex = "0.11"
|
| 19 |
+
libc = "0.2"
|
| 20 |
+
|
| 21 |
+
[features]
|
| 22 |
+
default = ["python"]
|
| 23 |
+
python = ["pyo3"]
|
| 24 |
|
| 25 |
[profile.release]
|
| 26 |
opt-level = 3
|
rust_core/src/cli.rs
ADDED
|
@@ -0,0 +1,53 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
//! Condensate CLI — test and profile the membrane
|
| 2 |
+
//!
|
| 3 |
+
//! Usage:
|
| 4 |
+
//! condensate_cli profile — run a synthetic workload and show membrane output
|
| 5 |
+
//! condensate_cli summary — print membrane summary (for use as LD_PRELOAD)
|
| 6 |
+
|
| 7 |
+
use condensate_core::membrane::MembraneState;
|
| 8 |
+
|
| 9 |
+
fn main() {
|
| 10 |
+
let args: Vec<String> = std::env::args().collect();
|
| 11 |
+
let cmd = args.get(1).map(|s| s.as_str()).unwrap_or("profile");
|
| 12 |
+
|
| 13 |
+
match cmd {
|
| 14 |
+
"profile" => run_profile(),
|
| 15 |
+
_ => {
|
| 16 |
+
eprintln!("Usage: condensate_cli profile");
|
| 17 |
+
std::process::exit(1);
|
| 18 |
+
}
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
|
| 22 |
+
fn run_profile() {
|
| 23 |
+
println!("Condensate Membrane — Synthetic Profile Test\n");
|
| 24 |
+
|
| 25 |
+
let mut state = MembraneState::new();
|
| 26 |
+
|
| 27 |
+
// Simulate a realistic allocation pattern
|
| 28 |
+
println!("Simulating workload...");
|
| 29 |
+
|
| 30 |
+
// Phase 1: Startup — many allocations
|
| 31 |
+
for i in 0..1000 {
|
| 32 |
+
state.record_alloc(0x10000 + i * 0x1000, 4096 + (i % 10) * 1024);
|
| 33 |
+
}
|
| 34 |
+
println!(" Startup: 1000 allocations");
|
| 35 |
+
|
| 36 |
+
// Phase 2: Steady state — some freed, some new
|
| 37 |
+
for i in 0..500 {
|
| 38 |
+
state.record_free(0x10000 + i * 0x1000);
|
| 39 |
+
}
|
| 40 |
+
for i in 0..200 {
|
| 41 |
+
state.record_alloc(0x800000 + i * 0x10000, 65536);
|
| 42 |
+
}
|
| 43 |
+
println!(" Steady state: 500 freed, 200 new large allocs");
|
| 44 |
+
|
| 45 |
+
// Phase 3: Large model load
|
| 46 |
+
for i in 0..50 {
|
| 47 |
+
state.record_alloc(0x1000000 + i * 0x100000, 1_048_576); // 1MB each
|
| 48 |
+
}
|
| 49 |
+
println!(" Model load: 50 x 1MB allocations");
|
| 50 |
+
|
| 51 |
+
// Print summary
|
| 52 |
+
state.summary().print();
|
| 53 |
+
}
|
rust_core/src/graph.rs
CHANGED
|
@@ -5,6 +5,7 @@
|
|
| 5 |
//!
|
| 6 |
//! This replaces the Python GraphBuilder with sub-microsecond performance.
|
| 7 |
|
|
|
|
| 8 |
use pyo3::prelude::*;
|
| 9 |
use std::collections::HashMap;
|
| 10 |
|
|
@@ -84,7 +85,7 @@ pub struct NodeInfo {
|
|
| 84 |
/// The access graph — learns memory access topology.
|
| 85 |
///
|
| 86 |
/// Exposed to Python via PyO3.
|
| 87 |
-
#[pyclass]
|
| 88 |
pub struct AccessGraph {
|
| 89 |
/// Path → node ID mapping
|
| 90 |
path_to_id: HashMap<String, u32>,
|
|
@@ -106,10 +107,10 @@ pub struct AccessGraph {
|
|
| 106 |
cluster_map: Vec<Option<u32>>,
|
| 107 |
}
|
| 108 |
|
| 109 |
-
#[pymethods]
|
| 110 |
impl AccessGraph {
|
| 111 |
-
#[new]
|
| 112 |
-
#[pyo3(signature = (causal_window_ns=5_000_000, cluster_threshold=0.7))]
|
| 113 |
pub fn new(causal_window_ns: u64, cluster_threshold: f64) -> Self {
|
| 114 |
Self {
|
| 115 |
path_to_id: HashMap::new(),
|
|
|
|
| 5 |
//!
|
| 6 |
//! This replaces the Python GraphBuilder with sub-microsecond performance.
|
| 7 |
|
| 8 |
+
#[cfg(feature = "python")]
|
| 9 |
use pyo3::prelude::*;
|
| 10 |
use std::collections::HashMap;
|
| 11 |
|
|
|
|
| 85 |
/// The access graph — learns memory access topology.
|
| 86 |
///
|
| 87 |
/// Exposed to Python via PyO3.
|
| 88 |
+
#[cfg_attr(feature = "python", pyclass)]
|
| 89 |
pub struct AccessGraph {
|
| 90 |
/// Path → node ID mapping
|
| 91 |
path_to_id: HashMap<String, u32>,
|
|
|
|
| 107 |
cluster_map: Vec<Option<u32>>,
|
| 108 |
}
|
| 109 |
|
| 110 |
+
#[cfg_attr(feature = "python", pymethods)]
|
| 111 |
impl AccessGraph {
|
| 112 |
+
#[cfg_attr(feature = "python", new)]
|
| 113 |
+
#[cfg_attr(feature = "python", pyo3(signature = (causal_window_ns=5_000_000, cluster_threshold=0.7)))]
|
| 114 |
pub fn new(causal_window_ns: u64, cluster_threshold: f64) -> Self {
|
| 115 |
Self {
|
| 116 |
path_to_id: HashMap::new(),
|
rust_core/src/lib.rs
CHANGED
|
@@ -6,15 +6,19 @@
|
|
| 6 |
//! This crate provides:
|
| 7 |
//! - AccessGraph: learns memory access topology from observations
|
| 8 |
//! - Predictor: predicts next access from causal spike propagation
|
| 9 |
-
//! -
|
|
|
|
| 10 |
|
| 11 |
-
mod graph;
|
| 12 |
-
mod predictor;
|
|
|
|
| 13 |
mod bench;
|
| 14 |
|
|
|
|
| 15 |
use pyo3::prelude::*;
|
| 16 |
|
| 17 |
/// Python module: condensate_core
|
|
|
|
| 18 |
#[pymodule]
|
| 19 |
fn condensate_core(m: &Bound<'_, PyModule>) -> PyResult<()> {
|
| 20 |
m.add_class::<graph::AccessGraph>()?;
|
|
|
|
| 6 |
//! This crate provides:
|
| 7 |
//! - AccessGraph: learns memory access topology from observations
|
| 8 |
//! - Predictor: predicts next access from causal spike propagation
|
| 9 |
+
//! - Membrane: system-level memory allocation interceptor (LD_PRELOAD)
|
| 10 |
+
//! - Python bindings via PyO3 (optional, feature-gated)
|
| 11 |
|
| 12 |
+
pub mod graph;
|
| 13 |
+
pub mod predictor;
|
| 14 |
+
pub mod membrane;
|
| 15 |
mod bench;
|
| 16 |
|
| 17 |
+
#[cfg(feature = "python")]
|
| 18 |
use pyo3::prelude::*;
|
| 19 |
|
| 20 |
/// Python module: condensate_core
|
| 21 |
+
#[cfg(feature = "python")]
|
| 22 |
#[pymodule]
|
| 23 |
fn condensate_core(m: &Bound<'_, PyModule>) -> PyResult<()> {
|
| 24 |
m.add_class::<graph::AccessGraph>()?;
|
rust_core/src/membrane.rs
ADDED
|
@@ -0,0 +1,391 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
//! System-Level Membrane — LD_PRELOAD memory allocation interceptor
|
| 2 |
+
//!
|
| 3 |
+
//! Hooks malloc/free/mmap/munmap to track memory allocation patterns
|
| 4 |
+
//! at the C level. Works for ANY process, not just Python.
|
| 5 |
+
//!
|
| 6 |
+
//! Usage:
|
| 7 |
+
//! LD_PRELOAD=libcondensate_membrane.so ./any_program
|
| 8 |
+
//!
|
| 9 |
+
//! The membrane records:
|
| 10 |
+
//! - Allocation events: address, size, timestamp
|
| 11 |
+
//! - Free events: address, timestamp
|
| 12 |
+
//! - Access frequency: which allocations are touched and when
|
| 13 |
+
//! - Size distribution: what sizes dominate
|
| 14 |
+
//!
|
| 15 |
+
//! This data feeds the AccessGraph for pattern discovery.
|
| 16 |
+
|
| 17 |
+
use libc::{c_void, size_t};
|
| 18 |
+
use std::sync::atomic::{AtomicBool, Ordering};
|
| 19 |
+
use std::sync::Mutex;
|
| 20 |
+
use std::collections::HashMap;
|
| 21 |
+
use std::time::Instant;
|
| 22 |
+
|
| 23 |
+
/// Global state for the membrane
|
| 24 |
+
static INITIALIZED: AtomicBool = AtomicBool::new(false);
|
| 25 |
+
|
| 26 |
+
// Thread-local re-entrancy guard since our hooks call malloc internally
|
| 27 |
+
thread_local! {
|
| 28 |
+
static REENTRANT: std::cell::Cell<bool> = const { std::cell::Cell::new(false) };
|
| 29 |
+
}
|
| 30 |
+
|
| 31 |
+
/// A tracked memory allocation
|
| 32 |
+
#[derive(Clone, Debug)]
|
| 33 |
+
pub struct Allocation {
|
| 34 |
+
pub address: usize,
|
| 35 |
+
pub size: usize,
|
| 36 |
+
pub alloc_time_ns: u64,
|
| 37 |
+
pub last_access_ns: u64,
|
| 38 |
+
pub access_count: u32,
|
| 39 |
+
}
|
| 40 |
+
|
| 41 |
+
/// Size bucket for allocation pattern analysis
|
| 42 |
+
#[derive(Clone, Debug, Default)]
|
| 43 |
+
pub struct SizeBucket {
|
| 44 |
+
pub label: &'static str,
|
| 45 |
+
pub min_bytes: usize,
|
| 46 |
+
pub max_bytes: usize,
|
| 47 |
+
pub count: u64,
|
| 48 |
+
pub total_bytes: u64,
|
| 49 |
+
pub freed_count: u64,
|
| 50 |
+
}
|
| 51 |
+
|
| 52 |
+
/// The membrane's recorded state
|
| 53 |
+
pub struct MembraneState {
|
| 54 |
+
/// Start time for relative timestamps
|
| 55 |
+
start: Instant,
|
| 56 |
+
/// Active allocations: address → Allocation
|
| 57 |
+
active: HashMap<usize, Allocation>,
|
| 58 |
+
/// Size distribution buckets
|
| 59 |
+
buckets: Vec<SizeBucket>,
|
| 60 |
+
/// Total allocated bytes (current)
|
| 61 |
+
total_allocated: u64,
|
| 62 |
+
/// Peak allocated bytes
|
| 63 |
+
peak_allocated: u64,
|
| 64 |
+
/// Total allocation events
|
| 65 |
+
total_alloc_events: u64,
|
| 66 |
+
/// Total free events
|
| 67 |
+
total_free_events: u64,
|
| 68 |
+
/// Sampling rate: record 1 in N allocations (reduces overhead)
|
| 69 |
+
sample_rate: u32,
|
| 70 |
+
/// Sample counter
|
| 71 |
+
sample_counter: u32,
|
| 72 |
+
/// Minimum allocation size to track (skip tiny allocs)
|
| 73 |
+
min_track_size: usize,
|
| 74 |
+
}
|
| 75 |
+
|
| 76 |
+
impl MembraneState {
|
| 77 |
+
pub fn new() -> Self {
|
| 78 |
+
Self {
|
| 79 |
+
start: Instant::now(),
|
| 80 |
+
active: HashMap::with_capacity(10_000),
|
| 81 |
+
buckets: vec![
|
| 82 |
+
SizeBucket { label: "tiny", min_bytes: 0, max_bytes: 64, ..Default::default() },
|
| 83 |
+
SizeBucket { label: "small", min_bytes: 64, max_bytes: 1_024, ..Default::default() },
|
| 84 |
+
SizeBucket { label: "medium", min_bytes: 1_024, max_bytes: 64_000, ..Default::default() },
|
| 85 |
+
SizeBucket { label: "large", min_bytes: 64_000, max_bytes: 1_000_000, ..Default::default() },
|
| 86 |
+
SizeBucket { label: "huge", min_bytes: 1_000_000, max_bytes: 64_000_000, ..Default::default() },
|
| 87 |
+
SizeBucket { label: "massive",min_bytes: 64_000_000, max_bytes: usize::MAX, ..Default::default() },
|
| 88 |
+
],
|
| 89 |
+
total_allocated: 0,
|
| 90 |
+
peak_allocated: 0,
|
| 91 |
+
total_alloc_events: 0,
|
| 92 |
+
total_free_events: 0,
|
| 93 |
+
sample_rate: 100, // Track 1 in 100 allocs by default
|
| 94 |
+
sample_counter: 0,
|
| 95 |
+
min_track_size: 4096, // Skip allocs under 4KB
|
| 96 |
+
}
|
| 97 |
+
}
|
| 98 |
+
|
| 99 |
+
fn elapsed_ns(&self) -> u64 {
|
| 100 |
+
self.start.elapsed().as_nanos() as u64
|
| 101 |
+
}
|
| 102 |
+
|
| 103 |
+
pub fn record_alloc(&mut self, address: usize, size: usize) {
|
| 104 |
+
self.total_alloc_events += 1;
|
| 105 |
+
|
| 106 |
+
// Bucket the size
|
| 107 |
+
for bucket in &mut self.buckets {
|
| 108 |
+
if size >= bucket.min_bytes && size < bucket.max_bytes {
|
| 109 |
+
bucket.count += 1;
|
| 110 |
+
bucket.total_bytes += size as u64;
|
| 111 |
+
break;
|
| 112 |
+
}
|
| 113 |
+
}
|
| 114 |
+
|
| 115 |
+
// Skip tiny allocations for detailed tracking
|
| 116 |
+
if size < self.min_track_size {
|
| 117 |
+
return;
|
| 118 |
+
}
|
| 119 |
+
|
| 120 |
+
// Sampling: only track 1 in N large allocations
|
| 121 |
+
self.sample_counter += 1;
|
| 122 |
+
if self.sample_counter % self.sample_rate != 0 {
|
| 123 |
+
// Still track total bytes even if not recording the allocation
|
| 124 |
+
self.total_allocated += size as u64;
|
| 125 |
+
if self.total_allocated > self.peak_allocated {
|
| 126 |
+
self.peak_allocated = self.total_allocated;
|
| 127 |
+
}
|
| 128 |
+
return;
|
| 129 |
+
}
|
| 130 |
+
|
| 131 |
+
let ts = self.elapsed_ns();
|
| 132 |
+
|
| 133 |
+
self.active.insert(address, Allocation {
|
| 134 |
+
address,
|
| 135 |
+
size,
|
| 136 |
+
alloc_time_ns: ts,
|
| 137 |
+
last_access_ns: ts,
|
| 138 |
+
access_count: 1,
|
| 139 |
+
});
|
| 140 |
+
|
| 141 |
+
self.total_allocated += size as u64;
|
| 142 |
+
if self.total_allocated > self.peak_allocated {
|
| 143 |
+
self.peak_allocated = self.total_allocated;
|
| 144 |
+
}
|
| 145 |
+
}
|
| 146 |
+
|
| 147 |
+
pub fn record_free(&mut self, address: usize) {
|
| 148 |
+
self.total_free_events += 1;
|
| 149 |
+
|
| 150 |
+
if let Some(alloc) = self.active.remove(&address) {
|
| 151 |
+
self.total_allocated = self.total_allocated.saturating_sub(alloc.size as u64);
|
| 152 |
+
|
| 153 |
+
// Record in bucket freed count
|
| 154 |
+
for bucket in &mut self.buckets {
|
| 155 |
+
if alloc.size >= bucket.min_bytes && alloc.size < bucket.max_bytes {
|
| 156 |
+
bucket.freed_count += 1;
|
| 157 |
+
break;
|
| 158 |
+
}
|
| 159 |
+
}
|
| 160 |
+
}
|
| 161 |
+
}
|
| 162 |
+
|
| 163 |
+
/// Get a summary of current state
|
| 164 |
+
pub fn summary(&self) -> MembraneSummary {
|
| 165 |
+
let mut hot_count = 0u64;
|
| 166 |
+
let mut hot_bytes = 0u64;
|
| 167 |
+
let mut cold_count = 0u64;
|
| 168 |
+
let mut cold_bytes = 0u64;
|
| 169 |
+
|
| 170 |
+
let now = self.elapsed_ns();
|
| 171 |
+
let cold_threshold_ns = 5_000_000_000; // 5 seconds idle = cold
|
| 172 |
+
|
| 173 |
+
for alloc in self.active.values() {
|
| 174 |
+
let idle = now - alloc.last_access_ns;
|
| 175 |
+
if idle > cold_threshold_ns {
|
| 176 |
+
cold_count += 1;
|
| 177 |
+
cold_bytes += alloc.size as u64;
|
| 178 |
+
} else {
|
| 179 |
+
hot_count += 1;
|
| 180 |
+
hot_bytes += alloc.size as u64;
|
| 181 |
+
}
|
| 182 |
+
}
|
| 183 |
+
|
| 184 |
+
MembraneSummary {
|
| 185 |
+
tracked_allocations: self.active.len() as u64,
|
| 186 |
+
total_alloc_events: self.total_alloc_events,
|
| 187 |
+
total_free_events: self.total_free_events,
|
| 188 |
+
current_allocated_mb: self.total_allocated as f64 / (1024.0 * 1024.0),
|
| 189 |
+
peak_allocated_mb: self.peak_allocated as f64 / (1024.0 * 1024.0),
|
| 190 |
+
hot_count,
|
| 191 |
+
hot_mb: hot_bytes as f64 / (1024.0 * 1024.0),
|
| 192 |
+
cold_count,
|
| 193 |
+
cold_mb: cold_bytes as f64 / (1024.0 * 1024.0),
|
| 194 |
+
buckets: self.buckets.clone(),
|
| 195 |
+
}
|
| 196 |
+
}
|
| 197 |
+
}
|
| 198 |
+
|
| 199 |
+
/// Summary output for display/logging
|
| 200 |
+
#[derive(Clone, Debug)]
|
| 201 |
+
pub struct MembraneSummary {
|
| 202 |
+
pub tracked_allocations: u64,
|
| 203 |
+
pub total_alloc_events: u64,
|
| 204 |
+
pub total_free_events: u64,
|
| 205 |
+
pub current_allocated_mb: f64,
|
| 206 |
+
pub peak_allocated_mb: f64,
|
| 207 |
+
pub hot_count: u64,
|
| 208 |
+
pub hot_mb: f64,
|
| 209 |
+
pub cold_count: u64,
|
| 210 |
+
pub cold_mb: f64,
|
| 211 |
+
pub buckets: Vec<SizeBucket>,
|
| 212 |
+
}
|
| 213 |
+
|
| 214 |
+
impl MembraneSummary {
|
| 215 |
+
pub fn print(&self) {
|
| 216 |
+
eprintln!("\n{}", "=".repeat(55));
|
| 217 |
+
eprintln!(" CONDENSATE MEMBRANE — System Memory Profile");
|
| 218 |
+
eprintln!("{}", "=".repeat(55));
|
| 219 |
+
eprintln!(" Total alloc events: {}", self.total_alloc_events);
|
| 220 |
+
eprintln!(" Total free events: {}", self.total_free_events);
|
| 221 |
+
eprintln!(" Tracked allocations: {}", self.tracked_allocations);
|
| 222 |
+
eprintln!(" Current allocated: {:.1} MB", self.current_allocated_mb);
|
| 223 |
+
eprintln!(" Peak allocated: {:.1} MB", self.peak_allocated_mb);
|
| 224 |
+
eprintln!();
|
| 225 |
+
eprintln!(" HOT (accessed <5s ago): {} allocs, {:.1} MB", self.hot_count, self.hot_mb);
|
| 226 |
+
eprintln!(" COLD (idle >5s): {} allocs, {:.1} MB", self.cold_count, self.cold_mb);
|
| 227 |
+
|
| 228 |
+
if self.cold_mb > 0.0 {
|
| 229 |
+
let total = self.hot_mb + self.cold_mb;
|
| 230 |
+
let pct = self.cold_mb / total * 100.0;
|
| 231 |
+
eprintln!();
|
| 232 |
+
eprintln!(" *** CONDENSATION POTENTIAL: {:.1}% ({:.1} MB cold) ***", pct, self.cold_mb);
|
| 233 |
+
}
|
| 234 |
+
|
| 235 |
+
eprintln!();
|
| 236 |
+
eprintln!(" Size distribution:");
|
| 237 |
+
eprintln!(" {:>10} {:>10} {:>12} {:>8}", "Bucket", "Count", "Total MB", "Freed");
|
| 238 |
+
eprintln!(" {:>10} {:>10} {:>12} {:>8}", "------", "-----", "--------", "-----");
|
| 239 |
+
for b in &self.buckets {
|
| 240 |
+
if b.count > 0 {
|
| 241 |
+
eprintln!(" {:>10} {:>10} {:>12.1} {:>8}",
|
| 242 |
+
b.label, b.count, b.total_bytes as f64 / (1024.0 * 1024.0), b.freed_count);
|
| 243 |
+
}
|
| 244 |
+
}
|
| 245 |
+
eprintln!("{}\n", "=".repeat(55));
|
| 246 |
+
}
|
| 247 |
+
}
|
| 248 |
+
|
| 249 |
+
/// Global membrane state behind a mutex
|
| 250 |
+
static MEMBRANE: std::sync::LazyLock<Mutex<MembraneState>> =
|
| 251 |
+
std::sync::LazyLock::new(|| Mutex::new(MembraneState::new()));
|
| 252 |
+
|
| 253 |
+
// --- LD_PRELOAD hook functions ---
|
| 254 |
+
|
| 255 |
+
/// Get the original malloc function
|
| 256 |
+
unsafe fn real_malloc(size: size_t) -> *mut c_void {
|
| 257 |
+
type MallocFn = unsafe extern "C" fn(size_t) -> *mut c_void;
|
| 258 |
+
unsafe {
|
| 259 |
+
let sym = libc::dlsym(libc::RTLD_NEXT, c"malloc".as_ptr());
|
| 260 |
+
let func: MallocFn = std::mem::transmute(sym);
|
| 261 |
+
func(size)
|
| 262 |
+
}
|
| 263 |
+
}
|
| 264 |
+
|
| 265 |
+
/// Get the original free function
|
| 266 |
+
unsafe fn real_free(ptr: *mut c_void) {
|
| 267 |
+
type FreeFn = unsafe extern "C" fn(*mut c_void);
|
| 268 |
+
unsafe {
|
| 269 |
+
let sym = libc::dlsym(libc::RTLD_NEXT, c"free".as_ptr());
|
| 270 |
+
let func: FreeFn = std::mem::transmute(sym);
|
| 271 |
+
func(ptr)
|
| 272 |
+
}
|
| 273 |
+
}
|
| 274 |
+
|
| 275 |
+
/// Hooked malloc — records the allocation, then calls real malloc
|
| 276 |
+
#[unsafe(no_mangle)]
|
| 277 |
+
pub unsafe extern "C" fn malloc(size: size_t) -> *mut c_void {
|
| 278 |
+
let ptr = unsafe { real_malloc(size) };
|
| 279 |
+
|
| 280 |
+
REENTRANT.with(|r| {
|
| 281 |
+
if r.get() {
|
| 282 |
+
return;
|
| 283 |
+
}
|
| 284 |
+
r.set(true);
|
| 285 |
+
|
| 286 |
+
if let Ok(mut state) = MEMBRANE.try_lock() {
|
| 287 |
+
state.record_alloc(ptr as usize, size);
|
| 288 |
+
}
|
| 289 |
+
|
| 290 |
+
r.set(false);
|
| 291 |
+
});
|
| 292 |
+
|
| 293 |
+
ptr
|
| 294 |
+
}
|
| 295 |
+
|
| 296 |
+
/// Hooked free — records the deallocation, then calls real free
|
| 297 |
+
#[unsafe(no_mangle)]
|
| 298 |
+
pub unsafe extern "C" fn free(ptr: *mut c_void) {
|
| 299 |
+
if ptr.is_null() {
|
| 300 |
+
return;
|
| 301 |
+
}
|
| 302 |
+
|
| 303 |
+
REENTRANT.with(|r| {
|
| 304 |
+
if r.get() {
|
| 305 |
+
return;
|
| 306 |
+
}
|
| 307 |
+
r.set(true);
|
| 308 |
+
|
| 309 |
+
if let Ok(mut state) = MEMBRANE.try_lock() {
|
| 310 |
+
state.record_free(ptr as usize);
|
| 311 |
+
}
|
| 312 |
+
|
| 313 |
+
r.set(false);
|
| 314 |
+
});
|
| 315 |
+
|
| 316 |
+
unsafe { real_free(ptr) }
|
| 317 |
+
}
|
| 318 |
+
|
| 319 |
+
/// Print summary on process exit
|
| 320 |
+
#[unsafe(no_mangle)]
|
| 321 |
+
pub extern "C" fn condensate_summary() {
|
| 322 |
+
if let Ok(state) = MEMBRANE.lock() {
|
| 323 |
+
state.summary().print();
|
| 324 |
+
}
|
| 325 |
+
}
|
| 326 |
+
|
| 327 |
+
/// Called when the shared library is loaded (constructor)
|
| 328 |
+
#[used]
|
| 329 |
+
#[unsafe(link_section = ".init_array")]
|
| 330 |
+
static INIT: extern "C" fn() = {
|
| 331 |
+
extern "C" fn init() {
|
| 332 |
+
INITIALIZED.store(true, Ordering::SeqCst);
|
| 333 |
+
eprintln!("[condensate] Membrane active — tracking memory allocations");
|
| 334 |
+
|
| 335 |
+
unsafe { libc::atexit(condensate_summary) };
|
| 336 |
+
}
|
| 337 |
+
init
|
| 338 |
+
};
|
| 339 |
+
|
| 340 |
+
#[cfg(test)]
|
| 341 |
+
mod tests {
|
| 342 |
+
use super::*;
|
| 343 |
+
|
| 344 |
+
#[test]
|
| 345 |
+
fn test_membrane_state() {
|
| 346 |
+
let mut state = MembraneState::new();
|
| 347 |
+
state.sample_rate = 1; // track every alloc for testing
|
| 348 |
+
state.min_track_size = 0; // track all sizes
|
| 349 |
+
|
| 350 |
+
state.record_alloc(0x1000, 8192);
|
| 351 |
+
state.record_alloc(0x2000, 65536);
|
| 352 |
+
state.record_alloc(0x3000, 1_000_000);
|
| 353 |
+
|
| 354 |
+
assert_eq!(state.total_alloc_events, 3);
|
| 355 |
+
|
| 356 |
+
let summary = state.summary();
|
| 357 |
+
assert!(summary.current_allocated_mb > 0.0);
|
| 358 |
+
assert_eq!(summary.tracked_allocations, 3);
|
| 359 |
+
}
|
| 360 |
+
|
| 361 |
+
#[test]
|
| 362 |
+
fn test_free_tracking() {
|
| 363 |
+
let mut state = MembraneState::new();
|
| 364 |
+
state.sample_rate = 1;
|
| 365 |
+
state.min_track_size = 0;
|
| 366 |
+
|
| 367 |
+
state.record_alloc(0x1000, 100_000);
|
| 368 |
+
state.record_alloc(0x2000, 200_000);
|
| 369 |
+
assert_eq!(state.active.len(), 2);
|
| 370 |
+
|
| 371 |
+
state.record_free(0x1000);
|
| 372 |
+
assert_eq!(state.active.len(), 1);
|
| 373 |
+
assert_eq!(state.total_free_events, 1);
|
| 374 |
+
}
|
| 375 |
+
|
| 376 |
+
#[test]
|
| 377 |
+
fn test_size_buckets() {
|
| 378 |
+
let mut state = MembraneState::new();
|
| 379 |
+
|
| 380 |
+
state.record_alloc(0x1000, 32); // tiny
|
| 381 |
+
state.record_alloc(0x2000, 512); // small
|
| 382 |
+
state.record_alloc(0x3000, 8192); // medium
|
| 383 |
+
state.record_alloc(0x4000, 100_000); // large
|
| 384 |
+
state.record_alloc(0x5000, 2_000_000); // huge
|
| 385 |
+
|
| 386 |
+
let summary = state.summary();
|
| 387 |
+
// Check that buckets have counts
|
| 388 |
+
let total_bucket_count: u64 = summary.buckets.iter().map(|b| b.count).sum();
|
| 389 |
+
assert_eq!(total_bucket_count, 5);
|
| 390 |
+
}
|
| 391 |
+
}
|
rust_core/src/predictor.rs
CHANGED
|
@@ -4,26 +4,27 @@
|
|
| 4 |
//! When a path is accessed, spikes propagate to predicted-next
|
| 5 |
//! paths via direct successors, causal chains, and cluster co-activation.
|
| 6 |
|
|
|
|
| 7 |
use pyo3::prelude::*;
|
| 8 |
use crate::graph::AccessGraph;
|
| 9 |
|
| 10 |
/// A single prediction: what will be accessed, when, how confident.
|
| 11 |
-
#[pyclass]
|
| 12 |
#[derive(Clone, Debug)]
|
| 13 |
pub struct Prediction {
|
| 14 |
-
#[pyo3(get)]
|
| 15 |
pub path: String,
|
| 16 |
-
#[pyo3(get)]
|
| 17 |
pub confidence: f64,
|
| 18 |
-
#[pyo3(get)]
|
| 19 |
pub expected_delta_ms: f64,
|
| 20 |
-
#[pyo3(get)]
|
| 21 |
pub source_path: String,
|
| 22 |
-
#[pyo3(get)]
|
| 23 |
pub chain_depth: u32,
|
| 24 |
}
|
| 25 |
|
| 26 |
-
#[pymethods]
|
| 27 |
impl Prediction {
|
| 28 |
fn __repr__(&self) -> String {
|
| 29 |
format!(
|
|
@@ -34,22 +35,22 @@ impl Prediction {
|
|
| 34 |
}
|
| 35 |
|
| 36 |
/// Scoring results from prediction evaluation.
|
| 37 |
-
#[pyclass]
|
| 38 |
#[derive(Clone, Debug)]
|
| 39 |
pub struct ScoreResult {
|
| 40 |
-
#[pyo3(get)]
|
| 41 |
pub predictions_made: u32,
|
| 42 |
-
#[pyo3(get)]
|
| 43 |
pub hits: u32,
|
| 44 |
-
#[pyo3(get)]
|
| 45 |
pub misses: u32,
|
| 46 |
-
#[pyo3(get)]
|
| 47 |
pub accuracy: f64,
|
| 48 |
-
#[pyo3(get)]
|
| 49 |
pub direct_hits: u32,
|
| 50 |
-
#[pyo3(get)]
|
| 51 |
pub chain_hits: u32,
|
| 52 |
-
#[pyo3(get)]
|
| 53 |
pub cluster_hits: u32,
|
| 54 |
}
|
| 55 |
|
|
@@ -57,7 +58,7 @@ pub struct ScoreResult {
|
|
| 57 |
///
|
| 58 |
/// This is the proto-SNN. Production replaces this with real NeuroGraph
|
| 59 |
/// spike propagation.
|
| 60 |
-
#[pyclass]
|
| 61 |
pub struct RustPredictor {
|
| 62 |
/// Reference to the graph we learned from
|
| 63 |
/// (We store a copy of the data we need)
|
|
@@ -80,9 +81,9 @@ pub struct RustPredictor {
|
|
| 80 |
score_window_ns: u64,
|
| 81 |
}
|
| 82 |
|
| 83 |
-
#[pymethods]
|
| 84 |
impl RustPredictor {
|
| 85 |
-
#[new]
|
| 86 |
pub fn new() -> Self {
|
| 87 |
Self {
|
| 88 |
learned: false,
|
|
@@ -146,7 +147,7 @@ impl RustPredictor {
|
|
| 146 |
/// Predict what will be accessed next after `path`.
|
| 147 |
///
|
| 148 |
/// Returns top-K predictions sorted by confidence.
|
| 149 |
-
#[pyo3(signature = (path, top_k=10))]
|
| 150 |
pub fn predict(&self, path: &str, top_k: usize) -> Vec<Prediction> {
|
| 151 |
if !self.learned {
|
| 152 |
return Vec::new();
|
|
|
|
| 4 |
//! When a path is accessed, spikes propagate to predicted-next
|
| 5 |
//! paths via direct successors, causal chains, and cluster co-activation.
|
| 6 |
|
| 7 |
+
#[cfg(feature = "python")]
|
| 8 |
use pyo3::prelude::*;
|
| 9 |
use crate::graph::AccessGraph;
|
| 10 |
|
| 11 |
/// A single prediction: what will be accessed, when, how confident.
|
| 12 |
+
#[cfg_attr(feature = "python", pyclass)]
|
| 13 |
#[derive(Clone, Debug)]
|
| 14 |
pub struct Prediction {
|
| 15 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 16 |
pub path: String,
|
| 17 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 18 |
pub confidence: f64,
|
| 19 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 20 |
pub expected_delta_ms: f64,
|
| 21 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 22 |
pub source_path: String,
|
| 23 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 24 |
pub chain_depth: u32,
|
| 25 |
}
|
| 26 |
|
| 27 |
+
#[cfg_attr(feature = "python", pymethods)]
|
| 28 |
impl Prediction {
|
| 29 |
fn __repr__(&self) -> String {
|
| 30 |
format!(
|
|
|
|
| 35 |
}
|
| 36 |
|
| 37 |
/// Scoring results from prediction evaluation.
|
| 38 |
+
#[cfg_attr(feature = "python", pyclass)]
|
| 39 |
#[derive(Clone, Debug)]
|
| 40 |
pub struct ScoreResult {
|
| 41 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 42 |
pub predictions_made: u32,
|
| 43 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 44 |
pub hits: u32,
|
| 45 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 46 |
pub misses: u32,
|
| 47 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 48 |
pub accuracy: f64,
|
| 49 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 50 |
pub direct_hits: u32,
|
| 51 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 52 |
pub chain_hits: u32,
|
| 53 |
+
#[cfg_attr(feature = "python", pyo3(get))]
|
| 54 |
pub cluster_hits: u32,
|
| 55 |
}
|
| 56 |
|
|
|
|
| 58 |
///
|
| 59 |
/// This is the proto-SNN. Production replaces this with real NeuroGraph
|
| 60 |
/// spike propagation.
|
| 61 |
+
#[cfg_attr(feature = "python", pyclass)]
|
| 62 |
pub struct RustPredictor {
|
| 63 |
/// Reference to the graph we learned from
|
| 64 |
/// (We store a copy of the data we need)
|
|
|
|
| 81 |
score_window_ns: u64,
|
| 82 |
}
|
| 83 |
|
| 84 |
+
#[cfg_attr(feature = "python", pymethods)]
|
| 85 |
impl RustPredictor {
|
| 86 |
+
#[cfg_attr(feature = "python", new)]
|
| 87 |
pub fn new() -> Self {
|
| 88 |
Self {
|
| 89 |
learned: false,
|
|
|
|
| 147 |
/// Predict what will be accessed next after `path`.
|
| 148 |
///
|
| 149 |
/// Returns top-K predictions sorted by confidence.
|
| 150 |
+
#[cfg_attr(feature = "python", pyo3(signature = (path, top_k=10)))]
|
| 151 |
pub fn predict(&self, path: &str, top_k: usize) -> Vec<Prediction> {
|
| 152 |
if !self.learned {
|
| 153 |
return Vec::new();
|