| A Method to Detect the Abnormal Phenomenonin PVM Program Based on Petri Net |
| |
| 作者姓名： | JIANG Chanaiun |
| |
| 作者单位： | JIANG Chanaiun(Department of Computer Science，Shandong Mining Institute，Tat'an 271019)(Department of Computer Science，Tough University，Shanghai 200092)LI Caiwei(Institute of Automation，Chinese Acadamy of Sciences，Beijing 100080)ZHANG Zhaoqing and QI |
| |
| 摘 要： | 1IntroductionWiththedevelopmentofcomputerscience,parallelmodelandparajleltreatingarepaidmoreandmoreextensiveattention.Parallelprogrammingunderparajlelenvironmentisthenecessarypathforpeopletoreajizetheconcurrentcomputation.However,programmingunderparallelenvironmentismuchmoredifficultthanserialenvironmentforparajlelprograminvolvesmorethanoneprocesswhichruninmorethanoneprocessor.Moreover,theseprocessesoftencommunicateeachother.Sotheparallelprogrammustensureboththecorrectnessofcomputationandcomm…
|
A Method to Detect the Abnormal Phenomenon in PVM Program Based on Petri Net |
| |
| JIANG Chanaiun.A Method to Detect the Abnormal Phenomenonin PVM Program Based on Petri Net[J].Journal of Systems Science and Systems Engineering,1999(2). |
| |
| Authors: | JIANG Chanaiun |
| |
| Abstract: | The parallel program verification can be divided into two aspects, the communicationand computation verification. In this paper, we mainly study the communication verification. First,we establish the Petri net specification for communication functions and basic statements of PVM;then, we give the steps of designing program verification model and abstract the abnormal phenomenonthat users often meet in the PVM parallel program into the characters of Petri net (including soleinformation, insufficient information, deadlock and livelock); finally, we give some detection algorithmto help users to eliminate these errors. In order to decrease the complexity of verification, we proposeseveral rules to simple the verification model. |
| |
| Keywords: | parallel program verification Petri net verification model verification algorithm |
| 本文献已被 CNKI 等数据库收录！ |
