Enabling the Rust Compiler to Reason about Fork/Join Parallelism via Tapir
Rust + Cilk is an extension to the Rust language incorporating Cilk’s keywords for language level parallelism. The Rust + Cilk compiler leverages the Rust compiler’s static verification of data race freedom and the OpenCilk parallelism platform’s strong theoretical guarantees for performance of para...
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thesis |
| Publicat: |
Massachusetts Institute of Technology
2024
|
| Accés en línia: | https://hdl.handle.net/1721.1/156790 |