Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System

Keunhong Lee
Keunhong Lee
Jeehoon Kang
Jeehoon Kang
Wonsup Yoon
Wonsup Yoon
Joongi Kim
Joongi Kim

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, pp. 16-22, 2019.

Cited by: 0|Bibtex|Views58|DOI:https://doi.org/10.1145/3365137.3365403
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

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 overhe...More

Code:

Data:

Your rating :
0

 

Tags
Comments