Read–write locks are fundamentally asymmetric in that many reader scan enter at once but only one writer can enter. Design a symmetric locking proto col for two types of threads: RED and BLUE. For...

Read–write locks are fundamentally asymmetric in that many reader scan enter at once but only one writer can enter. Design a symmetric locking proto col for two types of threads: RED and BLUE. For correctness, never allow A red and BLUE thread to enter simultaneously. For progress, allow for multiple RED threads or multiple BLUE threads to enter at once, and have a symmetric fairness mechanism for draining RED threads to allow waiting BLUE threads to enter, and vice vers

a. Show that your implementation is correct, and describe the exact fairness property it guarantees and why you chose to use it. Exercise