This preview shows page 1. Sign up to view the full content.
Unformatted text preview: when do you test them? Part2: OBL_Table Q1: Prove that your solution avoids deadlock Q2: Prove that your solution ensures fairness while avoiding starvation (even if some philosophers are not hungry). Note: you must not make any assumtions about the order that the lock and condition variable primitives enable waiting threads. Q3: Explain your testing strategy including a discussion of the assertions you include in your code. What invariants must hold and when do you test them?...
View Full Document
- Spring '09
- Operating Systems