相關(guān)學術(shù)研究

相關(guān)學術(shù)研究

如下是部分對 Rust 有影響的學術(shù)論文。通過閱讀它們可以更好的理解 Rust 的背景，甚至迸發(fā)出更精彩的想法。

類型系統(tǒng)

• 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 我們試過類似的并且會將之摒棄。
• External uniqueness is unique enough
• Uniqueness and Reference Immutability for Safe Parallelism
• Region Based Memory Management

并發(fā)性

• 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 循環(huán)雙向隊列
• Work-first and help-first scheduling policies for async-finish task parallelism 比非嚴格 work-steal 策略更通用。
• A Java fork/join calamity 針對 Java 中的 fork/join 庫的批判, 尤其是 JAVA 中的 work-steal 策略到非嚴格計算的應(yīng)用。
• 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

其他

Crash-only software
Composing High-Performance Memory Allocators
Reconsidering Custom Memory Allocation

關(guān)于 Rust 的論文

GPU programming in Rust
Parallel closures: a new twist on an old idea - 提到的不完全是 rust，但是是由 nmatsakis 提出的。