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

摘要：

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

关键词：进程、同步、互斥、信号量、原语

所属期刊栏目：39

分类号：TP312(计算技术、计算机技术)

资助基金：中南民族大学中央高校基本科研业务费专项资金项目CZY11007;湖北省教育厅科研项目B20110804

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：308-312