2026-09-08T11:38:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26105 2026-09-05T19:37:03Z ddc:004 open_access

Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs Gonçalves, João Fragoso Santos, José Rodrigues, Rodrigo Matos, Miguel persistent memory concurrency crash consistency Persistent Memory offers byte-addressable persistence but exposes developers to new concurrency bugs - persistency-induced races - where a thread might read unpersisted data, potentially leading to inconsistencies after crashes. Existing tools face important practical limitations: they either require exhaustive exploration of thread interleavings, depend on application-specific semantics or specialized testing drivers, or report many interleavings that do not correspond to real persistency-induced races. This paper introduces a hybrid approach for detecting persistency-induced races that overcomes these limitations. Our method operates without application-specific knowledge and does not require observing the exact racy interleaving during testing. Instead, by precisely extending the detection window around persistent memory accesses, we can infer the existence of racy interleavings whenever conflicting executions are observed. Our evaluation across multiple applications found 26 bugs (7 new) demonstrating that our approach provides a principled and practical foundation for detecting persistency-induced races. Schloss Dagstuhl – Leibniz-Zentrum für Informatik João Gonçalves and José Fragoso Santos and Rodrigo Rodrigues and Miguel Matos 2026 Is Part Of LIPIcs, Volume 372, 40th European Conference on Object-Oriented Programming (ECOOP 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2026.9 urn:nbn:de:0030-drops-261052 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2026.9 eng https://creativecommons.org/licenses/by/4.0/legalcode