QuickCheck: Using speculation to reduce the overhead of checks in NVM frameworks

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationVEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
EditorsJennifer B. Sartor, Mayur Naik, Jennifer B. Sartor
PublisherAssociation for Computing Machinery, Inc
Pages137-151
Number of pages15
ISBN (Electronic)9781450360203
DOIs
StatePublished - Apr 14 2019
Event15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019 - Providence, United States
Duration: Apr 14 2019 → …

Publication series

NameVEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Conference

Conference15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019
CountryUnited States
CityProvidence
Period4/14/19 → …

Keywords

  • JIT Compilation
  • Java
  • Non-Volatile Memory

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'QuickCheck: Using speculation to reduce the overhead of checks in NVM frameworks'. Together they form a unique fingerprint.

  • Cite this

    Shull, T., Huang, J., & Torrellas, J. (2019). QuickCheck: Using speculation to reduce the overhead of checks in NVM frameworks. In J. B. Sartor, M. Naik, & J. B. Sartor (Eds.), VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (pp. 137-151). (VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments). Association for Computing Machinery, Inc. https://doi.org/10.1145/3313808.3313822