A pure-actor virtual machine with object-capabilities and memory-safety. The uFork processor architecture features instruction-level concurrency, automatic memory-management, and fine-grained resource limits.
The blog post "Memory Safety Simplifies Microprocessor Design" describes the high-level architecture, and the rationale behind it.
The initial prototype is implemented in C and hosts a Scheme REPL with actor extensions.
The Rust/WASM version is intended to be a more-robust implementation. Multiple instances of the WASM component can be instantiated to simulate a multi-core or distributed system.
An FPGA implementation is planned for the future.
- uFork Project Summary
- uFork Virtual Machine Reference Manual
- Specification for Sponsor semantics
- Meta-circular LISP/Scheme interpreter evolution
- uFork Design Notes
Apache License, Version 2.0