Memory persistency

S Pelley, PM Chen, TF Wenisch - ACM SIGARCH Computer Architecture …, 2014 - dl.acm.org
Emerging nonvolatile memory technologies (NVRAM) promise the performance of DRAM
with the persistence of disk. However, constraining NVRAM write order, necessary to ensure …

Delegated persist ordering

A Kolli, J Rosen, S Diestelhorst, A Saidi… - 2016 49th Annual …, 2016 - ieeexplore.ieee.org
Systems featuring a load-store interface to persistent memory (PM) are expected soon,
making in-memory persistent data structures feasible. Ensuring persistent data structure …

Language-level persistency

A Kolli, V Gogte, A Saidi, S Diestelhorst… - Proceedings of the 44th …, 2017 - dl.acm.org
The commercial release of byte-addressable persistent memories, such as Intel/Micron 3D
XPoint memory, is imminent. Ongoing research has sought mechanisms to allow …

Memory models: A case for rethinking parallel languages and hardware

SV Adve, HJ Boehm - Communications of the ACM, 2010 - dl.acm.org
Memory models Page 1 90 communicaTionS of The acm | AUgUST 2010 | VOl. 53 | NO. 8
review articles Il lu s r a t Io n b y G W e n Va n H e e most pARALLeL pRogRAms today are …

Automatic inference of memory fences

M Kuperstein, M Vechev, E Yahav - ACM SIGACT News, 2012 - dl.acm.org
We addresses the problem of automatic verification and fence inference in concurrent
programs running under relaxed memory models. Modern architectures implement relaxed …

End-to-end sequential consistency

A Singh, S Narayanasamy, D Marino… - ACM SIGARCH …, 2012 - dl.acm.org
Sequential consistency (SC) is arguably the most intuitive behavior for a shared-memory
multithreaded program. It is widely accepted that language-level SC could significantly …

Hiding the long latency of persist barriers using speculative execution

S Shin, J Tuck, Y Solihin - Proceedings of the 44th Annual International …, 2017 - dl.acm.org
Byte-addressable non-volatile memory technology is emerging as an alternative for DRAM
for main memory. This new Non-Volatile Main Memory (NVMM) allows programmers to store …

TriCheck: Memory model verification at the trisection of software, hardware, and ISA

C Trippel, YA Manerkar, D Lustig, M Pellauer… - ACM SIGPLAN …, 2017 - dl.acm.org
Memory consistency models (MCMs) which govern inter-module interactions in a shared
memory system, are a significant, yet often under-appreciated, aspect of system design …

Rebooting virtual memory with midgard

S Gupta, A Bhattacharyya, Y Oh… - 2021 ACM/IEEE 48th …, 2021 - ieeexplore.ieee.org
Computer systems designers are building cache hierarchies with higher capacity to capture
the ever-increasing working sets of modern workloads. Cache hierarchies with higher …

Relaxed persist ordering using strand persistency

V Gogte, W Wang, S Diestelhorst… - 2020 ACM/IEEE 47th …, 2020 - ieeexplore.ieee.org
Emerging persistent memory (PM) technologies promise the performance of DRAM with the
durability of Flash. Several language-level persistency models have emerged recently to aid …