They work like semaphores, except that they need explicit initialization
and can optionally be shared between processes.