A distributed NVRAM-based memory allocator. A related programming language "adonis" is at https://github.com/a1exwang/adonis-lang