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