一个分布式K互斥算法的概率模型检测

• 作者: 刘来 骆翔宇
• 来源期刊: 计算机应用研究
• 关键词: 分布式K互斥算法 概率模型检测 PRISM 平均及时时间
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1036-1039
• 页数: 4页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.04.018

摘要

传统的验证方法难以保证分布式K互斥算法的有效性和安全性.为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证.通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大.如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率.最后证明了这一结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆翔宇	华侨大学计算机科学与技术学院	12	73	4.0	8.0
3	刘来	华侨大学计算机科学与技术学院	1	2	1.0	1.0