LockDoc: Trace-Based Analysis of Locking in the Linux Kernel

Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk. LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. In George Candea, Robbert van Renesse, Christof Fetzer, editors, Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]

Abstract

Abstract is missing.