dc.contributor.advisor | Hetland, Magnus Lie | |
dc.contributor.author | Thoresen, Martin Hafskjold | |
dc.date.accessioned | 2018-10-17T14:00:41Z | |
dc.date.available | 2018-10-17T14:00:41Z | |
dc.date.created | 2018-06-08 | |
dc.date.issued | 2018 | |
dc.identifier | ntnudaim:18958 | |
dc.identifier.uri | http://hdl.handle.net/11250/2568522 | |
dc.description.abstract | Concurrent 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.language | eng | |
dc.publisher | NTNU | |
dc.subject | Datateknologi, Algoritmer og HPC | |
dc.title | CMR: Concurrent Memory Reclamation | |
dc.type | Master thesis | |