naive mutexes, pseudo producer-consumer test