相关学术研究

相关学术研究

如下是部分对 Rust 有影响的学术论文。通过阅读它们可以更好的理解 Rust 的背景，甚至迸发出更精彩的想法。

类型系统

• 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

并发性

• 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 循环双向队列
• 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 策略到非严格计算的应用。
• 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

关于 Rust 的论文

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