bounded buffer problem with two buffers