Consider the following figure as a semaphore-based solution to the producer consumer problem using a bounded buffer. The initial value for semaphore of mutex=1, semaphore of full =0 and semaphore of empty = 10. Test this solution and evaluated it if the processes executed concurrently according to the following cases: a) If the execution starting by the producer. b) If the execution starting by the consumer. c) If there is a problem with this solution, how can this be remedied.

Producer	Consumer
Wait (mutex); Wait (empty); Produce item Signal (full); Signal (mutex);	Wait (mutex); Wait (full); Consume item Signal (empty); Signal (mutex);