Yashme: detecting persistency races-Reference-Cited by-同舟云学术

Yashme: detecting persistency races

Published:2022-02-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Gorjiara Hamed¹,Xu Guoqing Harry²,Demsky Brian¹

Affiliation:

1. University of California at Irvine, USA

2. University of California at Los Angeles, USA

Funder

National Science Foundation

Office of Naval Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3503222.3507766

Reference61 articles.

1. Persistence programming models for non-volatile memory

2. Jeff Bonwick Matt Ahrens Val Henson Mark Maybee and Mark Shellenbaum. 2003. The Zettabyte File System. Sun Microsystems Solaris. Jeff Bonwick Matt Ahrens Val Henson Mark Maybee and Mark Shellenbaum. 2003. The Zettabyte File System. Sun Microsystems Solaris.

3. Hardware Transactional Memory Meets Memory Persistency

4. Atlas

5. Verifying a high-performance crash-safe file system using a tree specification

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Memento: A Framework for Detectable Recoverability in Persistent Memory;Proceedings of the ACM on Programming Languages;2023-06-06

2. Mumak: Efficient and Black-Box Bug Detection for Persistent Memory;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08

3. Scoped Buffered Persistency Model for GPUs;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27

4. Checking robustness to weak persistency models;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09