清华大学操作系统试题考研试卷

1 给出一个并发程序的描述： semaphore X1=X2=Y=1; int c1=c2=0; procedure f1: p(X1) if (++c1 = 1) p(Y) v(X1) compute A p(X1) if (--c1 = 0) v(Y) v(X1) procedure f2: p(X2) if (++c2 = 1) p(Y) v(X2) compute B p(X2) if (--c2 = 0) v(Y) v(X2)