實質(zhì)上是兩個進程的同步問題,設(shè)信號量S1和S2分別表示可揀白子和黑子,不失一般性,若令先揀白子。
有兩個優(yōu)先級相同的進程P1和P2,各自執(zhí)行的操作如下,信號量S1和S2初值均為0。試問P1、P2并發(fā)執(zhí)行后,x、y、z的值各為多少?