Order of mutex release — Bounded buffer problem with semaphore

Question

Here are some definition

1. n buffers, each hold one item
2. Semaphore mutex initialized to the value 1
3. Semaphore full initialized to the value 0