Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Proceedings ArticleDOI
A comparison of two context allocation approaches for fast protected calls
TL;DR: This work presents and evaluates two approaches for implementing contexts for cross-domain calls in a conventional pipelined architecture retrofitted with a simple capability mechanism, and indicates that the unified context solution performs markedly better than the separate context solution.
Proceedings ArticleDOI
A fast capability extension to a RISC architecture
TL;DR: Simulated executions of benchmark programs show that the performance penalty of using the capability mechanism is in the range of 16% to 19%, an acceptable price to pay for security.
Dissertation
A language-independent methodology for compiling declarations into open platform frameworks
TL;DR: This dissertation presents a generalised methodology for developing declaration-driven frameworks in a wide spectrum of host programming languages, and shows that rich declaration languages, which express modularity, resource permissions and application control flow, can be compiled into frameworks that provide strong guarantees to end users.
Journal ArticleDOI
Recovering Purity with Comonads and Capabilities
TL;DR: In this paper, the authors take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types.
Dissertation
Sparsely faceted arrays: a mechanism supporting parallel allocation, communication, and garbage collection
Jeremy Brown,Thomas F. Knight +1 more
TL;DR: It is argued that conventional tracing techniques such as mark/sweep and copying GC are inherently unscalable in parallel systems, and a parallel memory-management strategy is presented, based on reference-counting, that is capable of garbage collecting sparsely faceted arrays.