HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
Persistent Memory (PM) enables the development of fast, persistent applications without employing costly HDD/SSD-based I/O operations. Since caches are volatile and CPUs may reorder and stall memory accesses for performance, developers must use low-level instructions to ensure a consistent state in case of a crash. Failure to do so can result in data corruption, data loss, or undefined behavior. In concurrent executions, this exposes a new class of bugs.
Authors
- Miguel Matos (ORCID: https://orcid.org/0000-0001-6916-2866)
- João Calvino Soares de Oliveira (ORCID: https://orcid.org/0000-0002-0393-6133)
- João Gonçalves (ORCID: https://orcid.org/0000-0002-0131-1324)
Institutions
- Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento (PT)
Publication Details
- Published
- 2025-03-26
- DOI
- https://doi.org/10.1145/3689031.3717477
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Commission
- Fundação para a Ciência e a Tecnologia