a thread-safe random number generator implemented as a kernel module