Producer-consummer problem