ternary-lease

Distributed lease management for GPU resources with ternary states. {+1=held, 0=expired, -1=revoked}. Renewal, revocation, deadlock detection.

Why This Matters

ternary-lease

Distributed lease management for GPU resources with ternary states.

The Five-Layer Stack

This crate is part of the Oxide Stack — a distributed GPU runtime built on five layers:

┌─────────────────┐
│  cudaclaw        │  Persistent GPU kernels, warp consensus, SmartCRDT
├─────────────────┤
│  cuda-oxide      │  Flux → MIR → Pliron → NVVM → PTX compiler
├─────────────────┤
│  flux-core       │  Bytecode VM + A2A agent protocol
├─────────────────┤
│  pincher         │  "Vector DB as runtime, LLM as compiler"
├─────────────────┤
│  open-parallel   │  Async runtime (tokio fork)
└─────────────────┘

The key insight: ternary values {-1, 0, +1} map directly to GPU compute. They pack 16× denser than FP32, enable XNOR+popcount matmul, and conservation laws become compile-time checks.

Design

Every value in this crate follows ternary algebra (Z₃):

This isn't arbitrary — ternary is the natural encoding for:

1. BitNet b1.58 (Microsoft) — ternary LLMs at 60% less power
2. GPU warp voting — hardware ballot returns ternary consensus
3. Conservation laws — {-1, 0, +1} preserves quantity

Key Types

pub enum LeaseState
pub struct Lease
pub struct LeaseManager
pub fn new
pub fn acquire
pub fn renew
pub fn revoke
pub fn state
pub fn tick
pub fn find_deadlocks
pub fn held_by
pub fn active_count

Usage

[dependencies]
ternary-lease = "0.1.0"

use ternary_lease::*;
// See src/lib.rs tests for complete working examples

Testing

git clone https://github.com/SuperInstance/ternary-lease.git
cd ternary-lease
cargo test    # 8 tests

Stats

License

Apache-2.0