DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Keunhong | ko |
dc.contributor.author | 강지훈 | ko |
dc.contributor.author | Yoon, Wonsup | ko |
dc.contributor.author | Kim, Joongi | ko |
dc.contributor.author | Moon, Sue | ko |
dc.date.accessioned | 2020-07-02T01:20:30Z | - |
dc.date.available | 2020-07-02T01:20:30Z | - |
dc.date.created | 2020-06-26 | - |
dc.date.created | 2020-06-26 | - |
dc.date.created | 2020-06-26 | - |
dc.date.created | 2020-06-26 | - |
dc.date.created | 2020-06-26 | - |
dc.date.issued | 2019-10-27 | - |
dc.identifier.citation | 10th Wokrshop on Programming Languages and Operationg Systems (co-located with SOSP), pp.16 - 22 | - |
dc.identifier.uri | http://hdl.handle.net/10203/275090 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | ACMS IGOPS | - |
dc.title | Enveloping implicit assumptions of intrusive data structures within ownership type system | - |
dc.type | Conference | - |
dc.identifier.wosid | 000534223600003 | - |
dc.identifier.scopusid | 2-s2.0-85075757983 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 16 | - |
dc.citation.endingpage | 22 | - |
dc.citation.publicationname | 10th Wokrshop on Programming Languages and Operationg Systems (co-located with SOSP) | - |
dc.identifier.conferencecountry | CN | - |
dc.identifier.conferencelocation | Deerhurst Resort, Huntsville, Ontario, Canada | - |
dc.identifier.doi | 10.1145/3365137.3365403 | - |
dc.contributor.localauthor | 강지훈 | - |
dc.contributor.localauthor | Moon, Sue | - |
dc.contributor.nonIdAuthor | Lee, Keunhong | - |
dc.contributor.nonIdAuthor | Yoon, Wonsup | - |
dc.contributor.nonIdAuthor | Kim, Joongi | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.