集册 Rust 语言中文版 相关学术研究

相关学术研究

欢马劈雪     最近更新时间:2020-08-04 05:37:59

205

如下是部分对 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
展开阅读全文