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