Concurrency 如何通过在CSP中添加另一个进程来避免并行执行进程中的死锁_Concurrency_Deadlock_Probe_Fdr

Concurrency 如何通过在CSP中添加另一个进程来避免并行执行进程中的死锁

concurrency

Concurrency 如何通过在CSP中添加另一个进程来避免并行执行进程中的死锁,concurrency,deadlock,probe,fdr,Concurrency,Deadlock,Probe,Fdr,PC1和PC2以相同的字母表并行运行。他们陷入僵局。我想找到一个进程（字母表尚未定义），我可以与PC1和PC2并行运行，这将解决死锁问题。有什么想法吗问候这是到目前为止我的代码文件 channel printA, printB, printC, printD PC1 = printA -> printB -> printC -> printD aPC1 = {printA, printB, printC, printD} PC2 = printA -> prin

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