4.1.6 finite buffer producer consumer solution