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