CMU-CS-88-208

Download PDF
3 downloads 82 Views 959KB Size Report
Comment
x'.waiters = rem_waiter(x, tid) ) pause(subatomic x) = composition of relinquish; reacquire end pre x.locker = self modifies x sequence operation relinquish.