a) Correct the following CS solution to the Bounded Buffer problem to work properly Comment on the overall logic/ideal behind the following CS implementation for processes C and P. What should be the initial values of the semaphore variables e, f and m, assuming an N-slot buffer? [Note: Write your corrected solution in the box next to each code section of C and P] P: full.V(f) www mutex.P(m) CS empty.V(e) wwwwwww mutex.V(m) wwwwwwwwwww. P: C: full.P(f) wwwww mutex.P(m) wwwwwwww CS mutex.V(m) wwwwwwwwwww empty.P(e) C: