Enveloping implicit assumptions of intrusive data structures within ownership type system

Cited 3 time in webofscience Cited 0 time in scopus
  • Hit : 375
  • Download : 57
DC FieldValueLanguage
dc.contributor.authorLee, Keunhongko
dc.contributor.author강지훈ko
dc.contributor.authorYoon, Wonsupko
dc.contributor.authorKim, Joongiko
dc.contributor.authorMoon, Sueko
dc.date.accessioned2020-07-02T01:20:30Z-
dc.date.available2020-07-02T01:20:30Z-
dc.date.created2020-06-26-
dc.date.created2020-06-26-
dc.date.created2020-06-26-
dc.date.created2020-06-26-
dc.date.created2020-06-26-
dc.date.issued2019-10-27-
dc.identifier.citation10th Wokrshop on Programming Languages and Operationg Systems (co-located with SOSP), pp.16 - 22-
dc.identifier.urihttp://hdl.handle.net/10203/275090-
dc.description.abstractIntrusive 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.languageEnglish-
dc.publisherACMS IGOPS-
dc.titleEnveloping implicit assumptions of intrusive data structures within ownership type system-
dc.typeConference-
dc.identifier.wosid000534223600003-
dc.identifier.scopusid2-s2.0-85075757983-
dc.type.rimsCONF-
dc.citation.beginningpage16-
dc.citation.endingpage22-
dc.citation.publicationname10th Wokrshop on Programming Languages and Operationg Systems (co-located with SOSP)-
dc.identifier.conferencecountryCN-
dc.identifier.conferencelocationDeerhurst Resort, Huntsville, Ontario, Canada-
dc.identifier.doi10.1145/3365137.3365403-
dc.contributor.localauthor강지훈-
dc.contributor.localauthorMoon, Sue-
dc.contributor.nonIdAuthorLee, Keunhong-
dc.contributor.nonIdAuthorYoon, Wonsup-
dc.contributor.nonIdAuthorKim, Joongi-
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 3 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0