avila-atom
Atomic Computational Structures - High-performance fundamental data structures built from first principles.
Features
- Zero-cost abstractions - No runtime overhead vs manual implementation
- Memory efficiency - Contiguous allocation for optimal cache locality
- Compile-time optimization - Monomorphization enables aggressive inlining
- no_std compatible - Works in embedded and OS development contexts
Data Structures
Core Types
-
Option<T>- Optional value (presence/absence)- Zero-cost abstraction with enum-based representation
- Null pointer optimization for references
-
Result<T, E>- Result type (success/failure)- Tagged union for error handling
- Zero-cost compared to manual error codes
-
DynamicArray<T>- Growable contiguous array- O(1) amortized push with geometric growth
- 24 bytes header (ptr + len + capacity)
-
AssociativeArray<K, V>- Key-value storagestd: HashMap with O(1) average lookupno_std: BTreeMap with O(log n) lookup
-
StringBuffer- UTF-8 encoded string- Guaranteed valid UTF-8 at all times
- Efficient growable capacity
Advanced Types
-
FixedArray<T, N>- Stack-allocated fixed-size array- Zero heap allocation
- Compile-time size known
-
CacheAlignedArray<T, N>- Cache-line aligned array- 64-byte alignment prevents false sharing
- Optimal for multithreaded performance
-
SmallString- Small string optimization- Stores ≤23 bytes inline (no heap)
- Automatic heap promotion for larger strings
Performance Modules
-
perf- Branch prediction hints and alignmentlikely()/unlikely()- Branch prediction hintsassume_aligned()- Pointer alignment assertions
-
simd- SIMD-optimized operations (x86_64)- AVX2/AVX-512 feature detection
- Vectorized memory operations
- 2-4x faster for large buffers
-
DynamicArrayExt- Extended array operationsreserve_exact_fast()- Smart capacity managementextend_from_slice_fast()- Optimized slice extensionclear_and_resize()- Memory-efficient resizing
Memory Management (v0.4.0+)
-
arena::Arena- Bump allocator for batch allocations- O(1) allocation, O(1) bulk deallocation
- Zero per-object overhead
- Perfect for temporary allocations
-
pool::ObjectPool<T>- Object reuse without reallocation- Eliminates allocation overhead
- Per-thread pools for multithreading
- Automatic slot reuse
Concurrency (v0.4.0+)
-
lockfree::LockFreeStack<T>- Wait-free LIFO stack- No mutex overhead
- Compare-and-swap operations
- Thread-safe push/pop
-
lockfree::AtomicCounter- Cache-line padded counter- Prevents false sharing
- Lock-free increment/get/set
- 64-byte alignment
-
lockfree::RingBuffer<T, N>(v0.5.0+) - SPSC circular buffer- Single-producer single-consumer
- Const generic power-of-2 capacity
- Lock-free with Acquire/Release semantics
- Zero-copy inter-thread communication
Advanced Data Structures (v0.5.0+)
-
btree::BPlusTree<K, V>- Cache-optimized B+Tree- 16-way fanout for cache-line alignment
- Database-grade ordered storage
- O(log N) operations
-
robinhood::RobinHoodMap<K, V>- Robin Hood hash table- Linear probing with displacement tracking
- FNV-1a hash for excellent distribution
- Superior cache performance vs chaining
- Bounded probe length variance
Compression (v0.5.0+)
compress- Inline compression algorithmsrle_encode()/rle_decode()- Run-length encoding (2-10x for repetitive data)delta_encode()/delta_decode()- Delta encoding for sequential data- Zero heap allocations, in-place compression
Usage
Add to your Cargo.toml:```toml
[dependencies]
avila-atom = "0.5"
### Examples
```rust
use avila_atom::{DynamicArray, AssociativeArray, StringBuffer};
// Dynamic array with type inference
let mut numbers = DynamicArray::new();
numbers.push(1);
numbers.push(2);
numbers.push(3);
// Map with convenient macro
use avila_atom::map;
let config = map! {
"host" => "localhost",
"port" => "8080",
};
// UTF-8 string buffer
let mut text = StringBuffer::from("Hello, ");
text.push_str("Ávila!");
assert_eq!(text.len(), 14); // UTF-8 byte count
Macros
use ;
// Map with capacity pre-allocation
let m = map! ;
// Dynamic array
let v = list!;
// Fixed-size stack array
let arr = array!;
assert_eq!;
Performance Optimizations
use ;
use CacheAlignedArray;
use ;
// Cache-aligned array for multithreading
let aligned = new;
// Smart capacity management
let mut v = new;
v.reserve_exact_fast; // Only allocates if needed
v.extend_from_slice_fast;
// Branch prediction hints
SIMD Operations (x86_64)
use ;
Arena Allocator
use Arena;
let mut arena = with_capacity;
// Allocate multiple values
let val1 = arena.alloc_value.unwrap;
let val2 = arena.alloc_value.unwrap;
// Use values...
println!;
// Bulk deallocation
arena.reset; // O(1) - frees all at once
Object Pool
use ObjectPool;
let mut pool = with_capacity;
// Acquire object
let id = pool.acquire;
// Use object
if let Some = pool.get_mut
// Release back to pool (for reuse)
pool.release;
Lock-Free Concurrency
use ;
use thread;
// Lock-free stack
let stack = new;
let handles: = .map.collect;
for handle in handles
// Atomic counter (cache-line padded)
let counter = new;
let handles: = .map.collect;
for handle in handles
assert_eq!;
Advanced Structures (v0.5.0+)
use RobinHoodMap;
use RingBuffer;
use ;
use DynamicArray;
// Robin Hood hash map
let mut map = new;
map.insert;
map.insert;
assert_eq!;
// Lock-free SPSC ring buffer (power-of-2 capacity)
let buffer: = new;
buffer.push;
buffer.push;
assert_eq!;
// Run-length encoding compression
let data = ;
let mut compressed = new;
rle_encode;
// Result: [3, 1, 2, 2, 1, 3] = 3 ones, 2 twos, 1 three
Performance Characteristics
| Operation | Complexity | Notes |
|---|---|---|
DynamicArray::push |
O(1) amortized | Geometric growth (2x) |
DynamicArray::get |
O(1) | Direct index access |
AssociativeArray::get |
O(1) avg / O(log n) | HashMap / BTree |
StringBuffer::push_str |
O(n) | UTF-8 validation required |
FixedArray operations |
O(1) | Stack-allocated, inlined |
Arena::alloc |
O(1) | Bump pointer increment |
Arena::reset |
O(1) | Bulk deallocation |
ObjectPool::acquire |
O(1) | Slot reuse from free list |
LockFreeStack::push/pop |
O(1) | Wait-free CAS operations |
RobinHoodMap::insert/get |
O(1) avg | Bounded probe length |
RingBuffer::push/pop |
O(1) | Lock-free SPSC |
BPlusTree::insert |
O(log N) | 16-way fanout |
rle_encode/decode |
O(n) | 2-10x compression |
Compile-Time Guarantees
use static_assert_size;
// Verify structure sizes for ABI compatibility
static_assert_size!; // Two pointers on 64-bit
no_std Support
Disable default features and enable alloc:
[]
= { = "0.2", = false }
Note: AssociativeArray falls back to BTreeMap in no_std mode.
Architecture
Built following the Ávila Engineering Philosophy:
- Stack-preferred - Minimize heap allocations
- Zero dependencies - Built from Rust core types
- Performance-first - Optimized for modern CPU architectures
- Type-safe - Compile-time guarantees prevent runtime errors
License
Licensed under either of:
- Apache License, Version 2.0 (LICENSE-APACHE)
- MIT license (LICENSE-MIT)
at your option.
Contributing
Contributions are welcome! Please ensure:
- All tests pass (
cargo test) - Code is formatted (
cargo fmt) - No clippy warnings (
cargo clippy) - Documentation is updated
Part of the Ávila Computational Stack - Building high-performance systems from first principles.