(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. data_mutex should have been initialized to O instead of 1 O B. Semaphores are used for synchronization in this solution O C. Indefinite postponement may occur. O D. Deadlock may occur