通过r . Devillers
ACM通信，1977年10月，第20卷第10期，第741-745页
10.1145/359842.359854
评论
死锁避免问题可以非正式地定义为，根据关于进程、资源、操作系统等的一些先验信息，确定可能在不危及系统平稳运行的情况下实现的“安全情况”。当每个流程通过需求定义步骤的流程图指定其未来需求时，对现象的全局方法及其作为操作系统和流程之间的博弈的解释允许将风险和安全概念形式化。这种博弈的二部图表示可以用来明确地构造安全状态集并研究它们的性质。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
