(Choose only one answer) A solution to the Readers-Writers problem is given below. Which of the following statements is TRUE? int reader=0; semaphore read_mutex=1, data_mutex=1; process reader() { while (true) { p(read_mutex); reader=reader+1; if (reader==1) p(data_mutex); v (read_mutex); -- read data p(read_mutex); reader=reader-1; if (reader==0) v (data_mutex); v (read_mutex); } } process writer() { while (true) { -- execute -- p(data_mutex); -- write data v (data_mutex); } } Select one: O A. Semaphores are used for synchronization in this solution O B. Deadlock may occur O C. data_mutex should have been initialized to O instead of 1 O D. Indefinite postponement may occur