selected publications conference paper Proposing a mechanism for reliably locking VIA communication memory in Linux 2002