2018 · 57 citations · 40 references
EngineeringPersistent MemoryComputer ArchitectureAtomic DurabilityTransactional SystemFault ToleranceTransaction ProcessingSoftware AnalysisMulti-channel Memory ArchitectureHardware SecurityParallel ComputingComputer EngineeringComputer ScienceMemory ArchitectureAcid TransactionsProgram AnalysisCloud ComputingConcurrent Data StructureSystem SoftwareTransactional Memory
The emergence of byte-addressable persistent (non-volatile) memory provides a low latency and high bandwidth path to durability. However, programmers need guarantees on what will remain in persistent memory in the event of a system crash. A widely accepted model for crash consistent programming is ACID transactions, in which updates within a transaction are made visible as well as durable in an atomic manner. However, existing software based proposals suffer from significant performance overheads. In this paper, we support both atomic visibility and durability in hardware. We propose DHTM (durable hardware transactional memory) that leverages a commercial HTM to provide atomic visibility and extends it with hardware support for redo logging to provide atomic durability. Furthermore, we leverage the same logging infrastructure to extend the supported transaction size (from being L1-limited to LLC-limited) with only minor changes to the coherence protocol. Our evaluation shows that DHTM outperforms the state-of-the-art by an average of 21% to 25% on TATP, TPC-C and a set of microbenchmarks. We believe DHTM is the first complete and practical hardware based solution for ACID transactions that has the potential to significantly ease the burden of crash consistent programming.
40
Nathan Binkert, Bradford M. Beckmann, Gabriel Black et al. · ACM SIGARCH Computer Architecture News · 2011 · 4.8K citations
Engineering, Computer Architecture, Software Engineering +21
Maurice Herlihy, J. Eliot B. Moss · 1993 · 2.2K citations
C. Mohan, Don Haderle, Bruce G. Lindsay et al. · ACM Transactions on Database Systems · 1992 · 1K citations · Full text