Note research

Papers that have had more or less influence on Rust, or which one might want to consult for inspiration or to understand Rust's background.

Type system

• Region based memory management in Cyclone
• Safe manual memory management in Cyclone
• Typeclasses: making ad-hoc polymorphism less ad hoc
• Macros that work together
• Traits: composable units of behavior
• Alias burying - We tried something similar and abandoned it.
• External uniqueness is unique enough
• Uniqueness and Reference Immutability for Safe Parallelism

Concurrency

• Singularity: rethinking the software stack
• Language support for fast and reliable message passing in singularity OS
• Scheduling multithreaded computations by work stealing
• Thread scheduling for multiprogramming multiprocessors
• The data locality of work stealing
• Dynamic circular work stealing deque - The Chase/Lev deque
• Work-first and help-first scheduling policies for async-finish task parallelism - More general than fully-strict work stealing
• A Java fork/join calamity - critique of Java's fork/join library, particularly its application of work stealing to non-strict computation
• Scheduling techniques for concurrent systems
• Contention aware scheduling
• Balanced work stealing for time-sharing multicores
• Three layer cake
• Non-blocking steal-half work queues
• Reagents: expressing and composing fine-grained concurrency
• Algorithms for scalable synchronization of shared-memory multiprocessors

Other

• Crash-only software

Papers about Rust

• GPU programming in Rust
• Parallel closures: a new twist on an old idea - not exactly about rust, but by nmatsakis

Missing topics: L4, linear types, typestate