4 ms·
Related - Alex Lochmann's LockDoc (EuroSys 2019) to document locking patterns and find locking-rule violations in the Linux kernel: https://ess.cs.tu-dortmund.
by johndoe0815 4y ago
Related - Alex Lochmann's LockDoc (EuroSys 2019) to document locking patterns and find locking-rule violations in the Linux kernel:
https://ess.cs.tu-dortmund.de/Staff/al/Publications/files/eurosys-2019-lockdoc-lochmann.pdf https://ess.cs.tu-dortmund.de/Staff/al/Publications/files/eu...
and its application to FreeBSD: https://dl.gi.de/bitstream/handle/20.500.12116/37389/Paper04.pdf https://dl.gi.de/bitstream/handle/20.500.12116/37389/Paper04...