QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks
QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks
复制标题
QuickCheck：使用推测来减少 NVM 框架中的检查开销
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
J. Torrellas
中科院分区：
文献类型：
--
作者：
Thomas Shull;Jian Huang;J. Torrellas
字节可寻址的非易失性存储器（NVM）正在作为一种革命性的技术出现，其提供接近DRAM的性能和可扩展的存储器容量。为了促进NVM的可用性，已经提出了新的编程框架来自动或半自动地维护崩溃一致的数据结构，从而减轻了程序员开发持久性应用程序的负担。虽然这些新的框架大大提高了程序员的生产力，但它们也需要许多运行时检查以正确执行持久对象，这会显著影响应用程序的性能。通过对各种工作负载的表征研究，我们发现这些程序员友好的NVM框架中的这些持久性检查的开销可以是相当大的，高达214%。此外，我们发现程序几乎总是在给定的站点上独占地访问持久或非持久对象，使得这些检查的行为具有高度可预测性。在本文中，我们提出了快速检查，偏见持久性检查的基础上，他们的预期行为的技术，并利用投机优化，以进一步减少这些持久性检查的开销。我们评估QuickCheck与各种数据密集型应用程序，如键值存储。我们的实验表明，QuickCheck提高了持久化Java框架的性能平均为48.2%的应用程序，不需要数据持久化，并通过8.0%的持久memcached实现运行YCSB。
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. While these new frameworks greatly improve programmer productivity, they also require many runtime checks for correct execution on persistent objects, which significantly affect the application performance. With a characterization study of various workloads, we find that the overhead of these persistence checks in these programmer-friendly NVM frameworks can be substantial and reach up to 214%. Furthermore, we find that programs nearly always access exclusively either a persistent or a non-persistent object at a given site, making the behavior of these checks highly predictable. In this paper, we propose QuickCheck, a technique that biases persistence checks based on their expected behavior, and exploits speculative optimizations to further reduce the overheads of these persistence checks. We evaluate QuickCheck with a variety of data intensive applications such as a key-value store. Our experiments show that QuickCheck improves the performance of a persistent Java framework on average by 48.2% for applications that do not require data persistence, and by 8.0% for a persistent memcached implementation running YCSB.