C++20 introduces counting_semaphore and binary_semaphore, which support blocking acquire() and non-blocking try_acquire() as well as timed try_acquire_for() and try_acquire_until(). On platforms that