Problems on Synchronization

Two processes, A and B, both increment a shared counter variable counter initialized to 0. Process A performs 3 increments, while Process B performs 2 increments. They use a semaphore S initialized to 2 to control access to the counter, but they mist...