基于补库所的死锁预防策略-计算机学报.PDF

第卷第期 计 算 机 学 报 ３６ １１ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．１１ 年月 ２０１３１１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１３ 　 基于补库所的死锁预防策略 吴文慧 王寿光 （浙江工商大学信息与电子工程学院杭州 ） ３１００１８ 　 　 摘要 ， 文中基于补库所理论提出了活性控制器设计方法首先利用容量函数将原 网转变为有限容 ． 犓 Ｐｅｔｒｉ犖 　　 珦 量网再通过逐一增加值得到具有最大可达集的容量函数 然后根据 添加一组补库所最终得到活 犖， 犓 犓， 犓 ， ｍａｘ ｍａｘ ３ 性受控网 文中首先以 网模型为例与几种经典的死锁预防控制策略进行比较实例数据表明基于补库 犖′． ＳＰＲ ， ． ， ３ ２ ， ， ， ， 所理论设计的控制器不仅结构简单避免了信标计算还具有较好的行为许可性最后以 网模型为例说 ． ＳＰＧＲ 明基于补库所的死锁预防策略同样可以应用于一般 网 Ｐｅｔｒｉ． 关键词 ； ； 网死锁补库所控制器 Ｐｅｔｒｉ 　 中图法分类号 号 ／ ＴＰ３０１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０２２５７ 　　　 　 犃犇犲犪犱犾狅犮犽犘狉犲狏犲狀狋犻狅狀犘狅犾犻犮犅犪狊犲犱狅狀犆狅犿犾犲犿犲狀狋犪狉犘犾犪犮犲狊 狔 狆 狔 ＷＵＷｅｎＨｕｉＷＡＮＧＳｈｏｕＧｕａｎ 　 ｇ （ ， ， ） 犆狅犾犾犲犲狅犐狀狅狉犿犪狋犻狅狀犪狀犱犈犾犲犮狋狉狅狀犻犮犈狀犻狀犲犲狉犻狀犣犺犲犻犪狀犌狅狀狊犺犪狀犝狀犻狏犲狉狊犻狋犎犪狀狕犺狅狌３１００１８ 犵犳犳 犵 犵 犼犵犵犵 狔 犵