Template:cpp/thread/dsc binary semaphore