added semaphored access to the array of prenotation