基于信号量机制的理发师模型在复杂语义下的研究

摘要

理发师问题是计算机科学中多系统进程间通信和同步的经典问题之一,研究者们多在原始版本基础上进行扩展,形成较多版本,没有考虑问题语义变化产生的新问题。从生活原型和问题语义的角度出发,对理发师问题进行新的语义分析,提出面向资源的模式分析方法,给出了利用Try-p信号量机制和PV原语解决具有复杂语义进程间同步问题的算法和方案。