Suppose that you have four processes Po, P., P2 and P3 that their critical part is executed only once. We want to execute them in the following order P1, P3, P2, Po. Provide an abstract design of the required synchronization. You can use the functions: sem_init(value) Sets a value to semaphore wait(semapore) The wait functionality of a semaphore signal(semapore) The signal functionality of a semaphore