Improved comments in semaphore/mutex code