CS 260r 2017 L19: Verifying RCU (4/4)
Email address
Question 1
Given a singly-linked RCU list of ints, the following code returns the first int (or -1 if the list is empty): {{ head = rcuReadStart(list); i = head ? head->data : -1; rcuQuiescentState(list, list->wcounter); return i; }} This code should verify given the RCU specifications in Figure 3, but if you switched the order of the `i` assignment with `rcuQuiescentState`, the code would be incorrect and would not verify. Why not? Give an intuitive answer, a specific answer involving Figure 3, or, preferably, both.
Your answer
Submit
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard. Report Abuse - Terms of Service - Additional Terms