cpp/thread/counting semaphore/acquire

Atomically decrements the internal counter by if it is greater than ; otherwise blocks until it is greater than  and can successfully decrement the internal counter.

Preconditions
(none)

Parameters
(none)

Exceptions
May throw std.