Claude (sandbox)
301e3463e3
Per-actor stack shapes on every spawn surface (SpawnOpts stack_reserve/ guard_size, Config defaults, pool rule: only default-shaped recycle); sampled stack high-water + MADV_FREE shrink at actor-park (THRESHOLD 256 KiB, COOLDOWN 64 parks, redzone 1 page); pool-recycle MADV_DONTNEED above the retained 64 KiB entry end; SIGSEGV overflow diagnostics (two-tier: in-guard definitive / 1 MiB overshoot 'stepped over', prior handler chained for foreign faults) with per-scheduler sigaltstack; and the per-actor introspection surface (ActorInfo.stack: reserve, guard, sampled depth, parks_since_shrink, shrinks). Amendments ratified during implementation, for the RFC changelog: - DEFAULT_STACK_GUARD 64 KiB -> 1 MiB, following the kernel's post-Stack- Clash stack_guard_gap convention; PROT_NONE width is VA-only and free. - §7's motivating segfault was a cargo-vendored gz build, not SQLite as the RFC text says (cc-built C lacks -fstack-clash-protection; distro libraries have it — the risky class is vendored builds). - §4 hibernate() deferred to the jar (bolt-on: force-flag on the §3 shrink path, ~10 lines when wanted). Gates (jobrunner box, 2026-08-08): reclaim gate PASS at c3 and again at tip (3.0 MiB LazyFree -> kernel reclaim -> Rss to one live page -> re-spike bit-identical, live data intact; MADV_PAGEOUT stands in for memcg — cgroup2 is RO in the job container — driving the same reclaim path). E1 interleaved A/B vs v0.5.0: every ka cell (the E1 subject) within +0.3..+2.9% at tip; close-mode control cells within noise except t8-c4 close, which is bistable (~40-44k vs ~46-49k modes for BOTH variants, base self-disagrees by 11% across rounds); 6 rounds across two runs are inconclusive there and a 10-round focused run is noted in the handoff as deferred follow-up, accepted for this release. No breaking API changes since v0.5.0: SpawnOpts fields and ActorInfo gained members (exhaustive-construction downstream will need the new ActorInfo.stack field; urus does not construct it).
111 lines
2.7 KiB
TOML
111 lines
2.7 KiB
TOML
[package]
|
||
name = "smarm"
|
||
version = "0.6.0"
|
||
edition = "2021"
|
||
rust-version = "1.95"
|
||
|
||
[lints.rust]
|
||
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(loom)"] }
|
||
|
||
[lints.clippy]
|
||
# Library code must never hide a panic behind unwrap/expect. Both are denied; an
|
||
# intentional panic is written explicitly as `match { Err(e) => panic!(..) }`.
|
||
# panic!/unreachable! are deliberately left un-linted as the blessed explicit
|
||
# form. Enforced on the library target only (`cargo clippy --lib`); tests and
|
||
# examples unwrap freely and are not gated.
|
||
unwrap_used = "deny"
|
||
expect_used = "deny"
|
||
|
||
[features]
|
||
default = ["rq-mutex"]
|
||
smarm-trace = []
|
||
# RFC 007: native causal profiling. Zero cost when off (cf. smarm-trace): the
|
||
# hook in `maybe_preempt` and the resume-path fast-forward compile away; the
|
||
# two Slot ledger fields exist regardless and stay 0 (budget_cycles precedent).
|
||
smarm-causal = []
|
||
# RFC 016 Chunk 2: cycle-accurate per-actor time-budget accounting. Off by
|
||
# default — it costs two extra RDTSC reads per actor resume on the hot path
|
||
# (D6). The `ActorInfo.budget_cycles` field exists regardless; it just stays 0
|
||
# unless this is enabled.
|
||
budget-accounting = []
|
||
# RFC 016 Chunk 4: the live observer gen_server (src/observer.rs). Off by
|
||
# default (DECISION D10) — the read primitive (Chunks 1–3) is always present
|
||
# and unflagged; only the optional gen_server transport sits behind this, so a
|
||
# release build pays nothing for an observer it never starts.
|
||
observer = []
|
||
# Run-queue selection: exactly one, compile-time (see src/run_queue.rs).
|
||
# Non-default variants need --no-default-features (features are additive).
|
||
rq-mutex = []
|
||
rq-mpmc = []
|
||
rq-striped = []
|
||
|
||
[build-dependencies]
|
||
cc = "1"
|
||
|
||
[dependencies]
|
||
libc = "0.2"
|
||
|
||
[target.'cfg(loom)'.dependencies]
|
||
loom = "0.7"
|
||
|
||
[dev-dependencies]
|
||
libc = "0.2"
|
||
tokio = { version = "1", features = ["rt", "rt-multi-thread", "macros", "sync", "time"] }
|
||
|
||
[profile.dev]
|
||
panic = "unwind"
|
||
|
||
[profile.release]
|
||
panic = "unwind"
|
||
lto = "thin"
|
||
codegen-units = 1
|
||
|
||
[[bench]]
|
||
name = "primes"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "multi_scheduler"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "general"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "smarm_favored"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "tokio_favored"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "rq_micro"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "rq_runtime"
|
||
harness = false
|
||
|
||
[[bench]]
|
||
name = "switch_cost"
|
||
harness = false
|
||
|
||
# RFC 016 Chunk 4 — the live observer dump. Needs the optional gen_server.
|
||
[[example]]
|
||
name = "observer"
|
||
required-features = ["observer"]
|
||
|
||
[[example]]
|
||
name = "causal_pipeline"
|
||
required-features = ["smarm-causal"]
|
||
|
||
[[example]]
|
||
name = "causal_attrib_probe"
|
||
required-features = ["smarm-causal"]
|
||
|
||
[[example]]
|
||
name = "causal_probe"
|
||
required-features = ["smarm-causal"]
|