并发程序验证器CPV的设计与应用研究  

The Design Implementing and Improving of Subsequent Procedure Validating CPV

作　　者：白金山[1] 杜习慧[1] 赵莉莉[1] 李祥[1] 

机构地区：[1]贵州大学计算机软件与理论研究所,贵州贵阳550025

出　　处：《贵州大学学报（自然科学版）》2008年第1期60-64,100,共6页Journal of Guizhou University:Natural Sciences

基　　金：美国Gene Chu基金资助(GCF2006-001)

摘　　要：以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程,讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行。提高了CPV的速度与效率,最后在CPV1.1下设计实现了8皇后问题的并发求解。This article is based on CPV1.1, it has studied the designing and implementing of subsequent procedure validating deeply and discussed the structure and relationship of various data classic and the executing process of procedure particularly. On the base of this , some appropriate improvements have done. The improvements simplified the input mode and executingof the procedure, explained the method of the designing and implementing of subsequent procedure in detail.

关 键 词：并发程序 CPV 进程 状态 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]