php sem_get https://www.thinbug.com/q/35523382 https://stackoverflow.com/questions/12493438/synchronized-functions-using-php
