Show simple item record

dc.contributor.advisorHetland, Magnus Lie
dc.contributor.authorThoresen, Martin Hafskjold
dc.date.accessioned2018-10-17T14:00:41Z
dc.date.available2018-10-17T14:00:41Z
dc.date.created2018-06-08
dc.date.issued2018
dc.identifierntnudaim:18958
dc.identifier.urihttp://hdl.handle.net/11250/2568522
dc.description.abstractConcurrent memory reclamation is the problem of deciding whether a memory allocation is still in use or not in a concurrent system. This thesis presents a new memory management system called CMR for the Rust programming language and proves its correctness. We also show implementations of four concurrent data structures using CMR\@. Experimental results show that CMR may be viable for certain workloads, although intrinsic properties of the system may prevent it from general adoption.
dc.languageeng
dc.publisherNTNU
dc.subjectDatateknologi, Algoritmer og HPC
dc.titleCMR: Concurrent Memory Reclamation
dc.typeMaster thesis


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record