bounded_buffer_problem Solution to the the bounded buffer problem. Implemented on the Linux kernel version 4.8.8.