Kernel Threads as workers with a simple producer/consumer model with equal probability of generation and consumption