Added lazy acquisition mode to semaphore_acq_t