theory monitor/semaphore/big-o