1

PC1 和 PC2 使用相同的字母表并行运行。他们陷入僵局。我想找到一个可以与 PC1 和 PC2 并行运行的进程(字母尚未定义),这将解决死锁问题。有任何想法吗?

问候。

到目前为止,这是我的代码文件。

channel printA, printB, printC, printD

PC1 = printA -> printB -> printC -> printD

aPC1 = {printA, printB, printC, printD}

PC2 = printA -> printB -> printD -> printC

aPC2 = {printA, printB, printC, printD}

DEADLOCKAVOIDANCE = ?

aDEADLOCKAVOIDANCE = {?}

P = (PC1 [aPC1||aPC2] PC2) [union(PC1,PC2)||aDEADLOCKAVOIDANCE] DEADLOCKAVOIDANCE
4

0 回答 0