License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2023.39
URN: urn:nbn:de:0030-drops-182322
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18232/
Harris, Sarah ;
Cooksey, Simon ;
Vollmer, Michael ;
Batty, Mark
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
Abstract
Memory safety issues are a serious concern in systems programming. Rust is a systems language that provides memory safety through a combination of a static checks embodied in the type system and ad hoc dynamic checks inserted where this analysis becomes impractical. The Morello prototype architecture from ARM uses capabilities, fat pointers augmented with object bounds information, to catch failures of memory safety. This paper presents a compiler from Rust to the Morello architecture, together with a comparison of the performance of Rust’s runtime safety checks and the hardware-supported checks of Morello. The cost of Morello’s always-on memory safety guarantees is 39% in our 19 benchmark suites from the Rust crates repository (comprising 870 total benchmarks). For this cost, Morello’s capabilities ensure that even unsafe Rust code benefits from memory safety guarantees.
BibTeX - Entry
@InProceedings{harris_et_al:LIPIcs.ECOOP.2023.39,
author = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark},
title = {{Rust for Morello: Always-On Memory Safety, Even in Unsafe Code}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {39:1--39:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18232},
URN = {urn:nbn:de:0030-drops-182322},
doi = {10.4230/LIPIcs.ECOOP.2023.39},
annote = {Keywords: Compilers, Rust, Memory Safety, CHERI}
}
