PraBorrow

The PraBorrow Framework - A distributed systems framework for Rust that enforces memory safety guarantees across network boundaries.

"Memory safety with sovereign integrity."

Overview

PraBorrow extends Rust's ownership model to distributed systems, providing:

• Sovereign<T> - Wrapper type that tracks ownership across nodes
• Constitution - Derive macro for invariant enforcement
• RawResource - Zero-copy buffer management
• Leasing - Time-bounded resource sharing

Quick Start

[dependencies]
praborrow = "0.2"

use praborrow::prelude::*;

#[derive(Constitution)]
struct Account {
    #[invariant("self.balance >= 0")]
    balance: i64,
}

fn main() {
    let account = Sovereign::new(Account { balance: 100 });
    
    // Access is safe while domestic
    println!("Balance: {}", account.balance);
    
    // Annex moves resource to foreign jurisdiction
    account.annex().unwrap();
    
    // Further access would panic with "SOVEREIGNTY VIOLATION"
}

Crates

License

MIT License - See LICENSE

PraBorrow (Bahasa Indonesia)

The PraBorrow Framework - Sebuah framework sistem terdistribusi untuk Rust yang menegakkan jaminan keamanan memori (memory safety) lintas batas jaringan.

"Keamanan memori dengan integritas kedaulatan (sovereign integrity)."

Ikhtisar (Overview)

PraBorrow memperluas model kepemilikan (ownership model) Rust ke sistem terdistribusi, menyediakan:

• Sovereign<T> - Tipe wrapper yang melacak kepemilikan antar node.
• Constitution - Macro derive untuk penegakan invarian.
• RawResource - Manajemen buffer zero-copy.
• Leasing - Pembagian sumber daya dengan batas waktu.

Memulai Cepat (Quick Start)

[dependencies]
praborrow = "0.9.0"

use praborrow::prelude::*;

#[derive(Constitution)]
struct Account {
    #[invariant("self.balance >= 0")]
    balance: i64,
}

fn main() {
    let account = Sovereign::new(Account { balance: 100 });
    
    // Akses aman selama statusnya domestic
    println!("Saldo: {}", account.balance);
    
    // Annex memindahkan sumber daya ke yurisdiksi asing
    account.annex().unwrap();
    
    // Akses lebih lanjut akan memicu panic dengan "SOVEREIGNTY VIOLATION"
}

Crate

Lisensi (License)

Lisensi MIT - Lihat LICENSE