Linux' userfaultfd for garbage collection (2016) | Hacker News Reader