旗語

Question

我有這個例子，我正試圖弄明白什麼樣的順序發言將運行，我相信這將是，X，A，B，Y

我會是正確的條件同步這樣說。我的邏輯是語句X首先與A並行運行，但是當我們到達信號量時，它仍然爲0，因此我們允許語句B由於信號增量而運行。現在我們終於可以運行Y了？

Answer 1

因爲進程並行運行，所以X和A的順序無法確定 - 我們可以將其表示爲（X | A） - 表示這兩者中的任何一個都被執行。

現在，該信號量：由於平行的過程，動作的順序再次是（等待（consyn）|信號（consyn），其中不同的結果

如果等待（consyn）首先執行和信號（consyn），則結果爲（X | A）（Y | B），P1和P2結束。如果順序相反並且信號量實現使用信號遞增其值並等待遞減，則結果是（X | A）（Y | B），其中P1和P2結束。 Y），（A，B）和（A，Y-瓜爾膠信號量的犧牲者）被保留下來。

Answer 2

對於陳述的順序，你可以說很少。您有訂單X /等待/ Y.您有訂單A /信號/ B並且您有訂單信號/ Y.就是這樣。如果你對等待/信號不感興趣只是工具，那麼Y在A之後執行，這就是你所知道的。

在執行P1的第一條語句之前，P2可以完全運行到它的結尾。