Search Results for "separation"

eduOS-rs is a teaching operating system written in Rust, developed by RWTH Aachen University to support courses on systems programming and operating systems. It serves as a practical and educational tool that demonstrates key OS concepts like memory management, multitasking, privilege separation, and system call handling in a safe and modern language. Designed to run on x86_64 hardware using QEMU, eduOS-rs leverages Rust’s ownership model and type safety to reduce bugs common in low-level systems development. It is a valuable resource for students and instructors alike, providing clear, structured examples of kernel development.

...Unlike general-purpose emulators like QEMU, crosvm avoids full hardware emulation and focuses on modern paravirtualized I/O using the virtio standard, reducing complexity and attack surface. Written in Rust, it emphasizes memory safety and modularity, allowing sandboxed device emulation with fine-grained privilege separation. crosvm underpins several ChromeOS subsystems, including Android Runtime for Chrome (ARCVM) and Crostini Linux containers, enabling rich application compatibility within a tightly controlled environment.

Spice is a portable runtime offering developers a unified SQL interface to materialize, accelerate, and query data from any database, data warehouse, or data lake. Spice connects, fuses, and delivers data to applications, machine-learning models, and AI backends, functioning as an application-specific, tier-optimized Database CDN. The Spice runtime, written in Rust, is built-with industry-leading technologies such as Apache DataFusion, Apache Arrow, Apache Arrow Flight, SQLite, and DuckDB....

...Its architecture splits a thin UI layer from a high-performance core engine (written in Rust) that handles buffer editing, syntax highlighting, undo/redo, searching, and background processing asynchronously. This separation lets the core focus on speed and concurrency, while multiple frontends (macOS, GTK, web) handle rendering, input, and platform bridging. Xi is designed to scale to huge files (gigabyte scale) without lag, thanks to a rope data structure and efficient diffing algorithms. Plugins communicate with the core via JSON-RPC, enabling asynchronous extensions without blocking editing responsiveness. ...