Rust

From OSDev.wiki
Jump to navigation Jump to search

Rust is a systems language sponsored by Mozilla, focused on three things: safety, speed, and concurrency. It accomplishes many of these goals through strong compile-time checks, allowing for very little overhead at runtime. Performance is comparable to C or C++, while being free of many of the problems caused by things like dangling pointers, buffer overflows, and iterator invalidation.

While Rust is very much a "curly-brace" language, it also takes many cues from ML. Almost everything is an expression, and there is a very strong type system including sum types and powerful generics.

Rust provides a mechanism to subvert its safety checks when necessary, by adding an 'unsafe' annotation to portions of your code. This allows you full access to raw pointers, while controlling exactly how they are used. Often, Rust code that uses unsafe will do so as an implementation detail, allowing for them to expose a safe interface.

Operating System Development

Rust has a comparable amount of runtime to C and C++, and has set up its standard library to be amenable towards OS development. Specifically, the standard library (std) consists of two smaller parts: core and alloc. Core consists of the primitive, platform-independent components of the standard library. It doesn't include things like allocation, threading, and other higher-level features. Alloc is used for managing heap allocations, smart pointers, and simple data collections. Std builds on top of core and alloc to add other OS dependent features, such as files and processes. Using only core and alloc instead of std is as easy as adding the no_std annotation to your main source file.

Every Rust compiler is a cross-compiler, which makes setup easier.

Active Projects

Past Projects

Rust went through a long and public development process and used to have a significantly larger runtime. There were lots of experiments pre-1.0, thus these projects are of historical interest, but aren't guaranteed to run or even build.


Libraries

  • libx86: Library to program x86 hardware.
  • x86_64: Library to program x86_64 hardware.
  • bootloader: A rust bootloader.
  • libcpu: Library to program CPUs. Now absorbed into libx86.
  • slabmalloc: Low-level memory allocator for liballoc.
  • multiboot: Library to read multiboot layout.
  • spin: Various synchronization primitives implemented with spinning. Closely mimics `std::sync`'s interface.
  • fringe: Context switching agnostic to how stacks are allocated.

See Also