Nikita Danilov wrote:
And to convert almost all calls to down/up to mutex_{down,up}. At which point, it no longer makes sense to share the same data-type for semaphore and mutex.
If we're going to call it a mutex, it would make sense to use familiar terminology and call it lock/unlock rather than down/up.
Chris