| 
|
QuoteRef: walkD7_2000
topics >
all references >
ThesaHelp:
references t-z
ThesaHelp:
ACM references m-z
Topic:
memory management by regions or memory pool
Topic:
continuation
Topic:
security by capabilities
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
memory management by garbage collection
Topic:
operating system kernel
Topic:
safe use of pointers
Topic:
critical regions
Topic:
owned resources and data objects
Reference
Walker, D., Crary, K., Morrisett, G., "Typed memory management via static capabilities", ACM Transactions on Programming Languages and Systems, 22, 4, July 2000, pp. 701-771. Google
abstract ;;Quote: Capability Language (CL), provably safe intermediate language for region-based memory management; supports aliasing and extensible OS; best for continuation-passing languages
702 ;;Quote: many systems for untrusted OS extensions depend on a trusted garbage collector
702 ;;Quote: secure, region-based memory allocation has a smaller trusted computing base with constant-time operations, easily identified bottlenecks, safe memory operations, and deallocated regions
715 ;;Quote: region-based, capability language tracks unique memory accesses; i.e., non-aliased accesses
740 ;;Quote: use unique capabilities to avoid copying user data into kernel space and to ensure mutually exclusive access
740 ;;Quote: associate capability and type with each object; guarantees exclusive ownership for deallocation or reuse; extends linear type systems
ThesaHelp: references t-z (309 items)
ThesaHelp: ACM references m-z (280 items)
Topic: memory management by regions or memory pool (17 items)
Topic: continuation (16 items)
Topic: security by capabilities (65 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: memory management by garbage collection (113 items)
Topic: operating system kernel (67 items)
Topic: safe use of pointers (102 items)
Topic: critical regions (58 items)
Topic: owned resources and data objects (12 items)