semaphore: similar to thread_create(), semaphore_create() is used by Mach