Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 88
  • Download : 0
Intrusive data structures (IDSes) are heavily used in system programming, where achieving high performance is one of the most important design goals. Yet, they are not supported in today's ownership type system that offer memory-safety without garbage collection. Instead, IDSes force programmers to choose either unsafety or runtime overhead. This limitation stems from the implicit assumptions pertaining to the memory layouts and access patterns created by IDSes. In this paper, we propose a new technique, referred to as ownership pooling, which defines ownership for IDSes. Ownership pooling consists of three new types, FieldOf, OwnershipPool, and Shared, and their conversion rules. We implemented the proposed types within Rust's type system and compared its performance capabilities against the existing memory-safe implementations and the C++ implementation without memory safety as baseline. The performance of our implementation shows far better performance than that of the existing memory-safe ones and comparable to that of C++ implementation without memory safety.
Publisher
Association for Computing Machinery
Issue Date
2020-10-28
Language
English
Citation

ACM Symposium on Operating Systems Principles(SOSP 2019)

DOI
10.1145/3365137.3365403
URI
http://hdl.handle.net/10203/275090
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0