Logo des Repositoriums

Frühjahrs- und Herbsttreffen der Fachgruppen

https://dl.gi.de/handle/20.500.12116/30631
Auflistung nach:

Auflistung Frühjahrs- und Herbsttreffen der Fachgruppen nach Schlagwort "bug detection"

1 - 1 von 1
  • Textdokument
    Improvements in Crash Consistency Testing for Persistent Memory File Systems
    (Tagungsband des FG-BS Frühjahrstreffens 2024, 2024) Werling, Lukas; Oder, Thomas-Christian; Wäldele, Lucas; Ritz, Daniel; Bellosa, Frank
    Achieving crash consistency in persistent memory (PM) applications is difficult due to the need for fine-granular cache flushes and memory fences. File systems are no exception. Previous works have found numerous bugs in PM file systems, but crash consistency testing as part of file system development is still rare. With this paper, we make crash consistency testing easier by improving Vinter, a crash consistency testing tool for file systems based on virtual machines. We introduce support for cross-media file systems with NVMe and PM that are not covered by other testing tools. To speed up testing, we add an alternative algorithm for simulating crashes that focuses on logic bugs rather than misuse of PM primitives.