Abstract | ||
---|---|---|
Capability Hardware Enhanced RISC Instructions (CHERI) supplement the conventional memory management unit (MMU) with instruction-set architecture (ISA) extensions that implement a capability system model in the address space. CHERI can also underpin a hardware-software object-capability model for scalable application compartmentalization that can mitigate broader classes of attack. This article describes ISA additions to CHERI that support fast protection-domain switching, not only in terms of low cycle count, but also efficient memory sharing with mutual distrust. The authors propose ISA support for sealed capabilities, hardware-assisted checking during protection-domain switching, a lightweight capability flow-control model, and fast register clearing, while retaining the flexibility of a software-defined protection-domain transition model. They validate this approach through a full-system experimental design, including ISA extensions, a field-programmable gate array prototype (implemented in Bluespec SystemVerilog), and a software stack including an OS (based on FreeBSD), compiler (based on LLVM), software compartmentalization model, and open-source applications. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/MM.2016.84 | IEEE Micro |
Keywords | Field | DocType |
Memory management,Systems modeling,Reduced instruction set computing,Program processors,Capability engineering | Memory protection,Computer architecture,Computer science,Instruction set,Parallel computing,Real-time computing,Reduced instruction set computing,Memory management,Systems architecture,SystemVerilog,Memory management unit,Scalability | Journal |
Volume | Issue | ISSN |
36 | 5 | 0272-1732 |
Citations | PageRank | References |
10 | 0.50 | 6 |
Authors | ||
19 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert N. M. Watson | 1 | 488 | 36.14 |
Robert Norton | 2 | 135 | 6.15 |
Jonathan Woodruff | 3 | 154 | 6.16 |
Simon W. Moore | 4 | 402 | 33.76 |
Peter G. Neumann | 5 | 633 | 175.98 |
Jonathan Anderson | 6 | 231 | 14.68 |
D. Chisnall | 7 | 238 | 14.94 |
Brooks Davis | 8 | 176 | 9.02 |
Ben Laurie | 9 | 297 | 14.00 |
Michael Roe | 10 | 49 | 2.93 |
Nirav Dave | 11 | 195 | 14.61 |
Khilan Gudka | 12 | 103 | 6.99 |
Alexandre Joannou | 13 | 23 | 1.78 |
A. Theodore Markettos | 14 | 106 | 9.93 |
Ed Maste | 15 | 10 | 0.50 |
Steven J. Murdoch | 16 | 806 | 57.90 |
Colin Rothwell | 17 | 33 | 1.59 |
Stacey Son | 18 | 66 | 3.57 |
Munraj Vadera | 19 | 75 | 2.71 |