A Linux kernel module that provides a named semaphore with death notifications.