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

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

Research of Barber Model Based on Semaphore with Complicated Semantics

The sleeping barber model problem in computer science is a classic inter-process communication and synchro- nization problem between multiple operating system processes, however, most researchers was used to introduce extra functions to extend the original model, ignoring new complicated problems arose from semantic changes and not giving innovative solutions. Based on life prototype and semantics of new model, this paper redefined the barber model with complicated semantics,and proposed analysis pattern of resource oriented and provided solutions and algorithms of in- ter-process synchronization problems within complicated semantics based on Try-p semaphore and p-v primitives.