Counting semaphore (source code)

= Counting semaphore

A <semaphore> with a nonnegative number of available permits. Its contract must state initial availability and whether unmatched releases beyond an initial or configured bound are allowed.