QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks
Thomas Shull, Jian Huang, Josep Torrellas · 2019
Byte addressable, Non-Volatile Memory (NVM) is emerging as a revolutionary technology that provides near-DRAM performance and scalable memory capacity. To facilitate the usability of NVM, new programming frameworks have been proposed to automatically or semi-automatically maintain crash-consistent data structures, relieving much of the burden of developing persistent applications from programmers.