|
|||||
|
|
| 并发程序模型的可信性研究 | |
| 作者姓名： | 张广泉 |
| 摘 要： | 讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析－首先提出了种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进上步限制每一与语名相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＣＲ程序的交替计算结果与实际的重叠执行结果一致的 |
| 关 键 词： | 并发程序 交替计算 限制临界引用 可信性 |
| 本文献已被 维普 等数据库收录！ | |