计算机科学 ›› 2012, Vol. 39 ›› Issue (Z6): 113-116.

• • 上一篇    下一篇

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

张宝哲,帖军,蒋天发   

  1. (中南民族大学计算机科学学院 武汉430074)
  • 出版日期:2018-11-16 发布日期:2018-11-16

Research of Barber Model Based on Semaphore with Complicated Semantics

  • Online:2018-11-16 Published:2018-11-16

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

关键词: 进程,同步,互斥,信号量,原语

Abstract: 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.

Key words: Process, Synchronization, Mutex, Semaphore, Primitive

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!