Update semaphore_buffer_worker.c