DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs.

Xinwei Fu Dongyoon Lee Changwoo Min

Published in: OSDI (2022)

Keyphrases

memory usage
memory space
memory requirements
knowledge base
source code
computing power
neural network
test cases
main memory
memory size
low memory
real world
information retrieval
search engine
software systems
memory management