Rust 参考文献

これは Rust に関連する資料の読書リストです。 Rust の設計に、これまでのある時点で影響を与えた先行研究、および Rust に関する出版物を含みます。

型システム

並行性

Java fork/join の惨事 - Java の fork/join ライブラリに対する批判。特に、非厳密計算へのワークスティーリングの適用について
共有メモリ型マルチプロセッサにおけるスケーラブルな同期アルゴリズム
タイムシェアリング型マルチコアのためのバランスの取れたワークスティーリング
競合を考慮したスケジューリング
動的な循環型ワークスティーリング deque - Chase/Lev deque
エポックベースの再利用。
Singularity OS における高速で信頼性の高いメッセージベース通信のための言語サポート
ノンブロッキングな steal-half ワークキュー
Reagents: 細粒度並行性の表現と合成
ワークスティーリングによるマルチスレッド計算のスケジューリング
並行システムのためのスケジューリング技法
Singularity: ソフトウェアスタックの再考
ワークスティーリングのデータ局所性
マルチプログラミング・マルチプロセッサのためのスレッドスケジューリング
共有メモリプログラミングのための三層ケーキ
async-finish タスク並列性のための work-first および help-first スケジューリングポリシー - 完全に厳密なワークスティーリングより一般的

その他

Rust に関する論文

Rust における GPU プログラミング: システムレベル言語での高水準抽象化の実装。 Eric Holk による初期の GPU 関連の研究。
並列クロージャ: 古いアイデアへの新たなひねり
- 正確には Rust に関するものではありませんが、nmatsakis によるものです
Patina: Rust プログラミング言語の形式化。 Eric Reed による、型システムのサブセットの初期の形式化。
経験報告: Rust を用いた Servo Web ブラウザエンジンの開発。 Lars Bergstrom によるもの。
Rust における汎用 Radix Trie の実装。 Michael Sproul による学部論文。
Reenix: Rust による Unix 風オペレーティングシステムの実装。 Alex Light による学部論文。
HPC 環境における潜在的なプログラミング言語の性能および生産性メトリクスの評価。 Florian Wilkens による学士論文。 C、Go、Rust を比較しています。
Nom: Rust における、バイト指向、ストリーミング、ゼロコピーのパーサーコンビネータライブラリ。 Geoffroy Couprie による、VLC のための研究。
グラフベースの高階中間表現。 Rust 風の言語である Impala で実装された実験的な IR。
ステンシルコードのコードリファインメント。 Impala を使用した別の論文。
Rust における fork-join とその仲間による並列化。 Linus Farnstrand の修士論文。
Rust のためのセッション型。 Philip Munksgaard の修士論文。 Servo のための研究。
所有権は窃盗である: Rust で組み込み OS を構築した経験 - Amit Levy ほか
trust は Rust なしでは綴れない。 Aria Beingessner の修士論文。
Rust-Bio: 高速で安全なバイオインフォマティクスライブラリ。 Johannes Köster
安全で、正しく、高速な低レベルネットワーキング。 Robert Clipsham の修士論文。
Rust traits の形式化。 Jonatan Milewski の修士論文。
高性能 GC 実装のための言語としての Rust
関数的純化による Rust プログラムの簡潔な検証。 Sebastian Ullrich の修士論文。
2017 年らしいパーサーの書き方 Langsec Workshop のための Pierre Chifflier と Geoffroy Couprie によるもの
Rust でカーネルを書く理由
RustBelt: Rust プログラミング言語の基盤を保護する
Oxide: Rust の本質。 Aaron Weiss、Olek Gierczak、Daniel Patterson、Nicholas D. Matsakis、および Amal Ahmed によるもの。