{"title":"摘要","authors":"A. I. El-Nashar, N. Masaki","doi":"10.1515/9783839449196-003","DOIUrl":null,"url":null,"abstract":"Program correctness is one of the most difficult challenges in paralle programming. Message Passing Interface MPI is widely used in writing parallel applications. Since MPI is not a compiled language, the programmer will be enfaced with several programming bugs.This paper presents the most common programming bugs arise in MPI programs to help the programmer to compromise between the advantage of parallelism and the extra effort needed to detect and fix such bugs. An algebraic specification of an MPI-like programming language, called Simple MPI (SMPI), to be used in writing MPI programs specification has also been proposed. In addition, both nondeterminacy and deadlocks arise in SMPI programs have been verified using Maud system.","PeriodicalId":123161,"journal":{"name":"Post-Apartheid Criticism","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Abstract\",\"authors\":\"A. I. El-Nashar, N. Masaki\",\"doi\":\"10.1515/9783839449196-003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Program correctness is one of the most difficult challenges in paralle programming. Message Passing Interface MPI is widely used in writing parallel applications. Since MPI is not a compiled language, the programmer will be enfaced with several programming bugs.This paper presents the most common programming bugs arise in MPI programs to help the programmer to compromise between the advantage of parallelism and the extra effort needed to detect and fix such bugs. An algebraic specification of an MPI-like programming language, called Simple MPI (SMPI), to be used in writing MPI programs specification has also been proposed. In addition, both nondeterminacy and deadlocks arise in SMPI programs have been verified using Maud system.\",\"PeriodicalId\":123161,\"journal\":{\"name\":\"Post-Apartheid Criticism\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-12-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Post-Apartheid Criticism\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1515/9783839449196-003\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Post-Apartheid Criticism","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/9783839449196-003","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Program correctness is one of the most difficult challenges in paralle programming. Message Passing Interface MPI is widely used in writing parallel applications. Since MPI is not a compiled language, the programmer will be enfaced with several programming bugs.This paper presents the most common programming bugs arise in MPI programs to help the programmer to compromise between the advantage of parallelism and the extra effort needed to detect and fix such bugs. An algebraic specification of an MPI-like programming language, called Simple MPI (SMPI), to be used in writing MPI programs specification has also been proposed. In addition, both nondeterminacy and deadlocks arise in SMPI programs have been verified using Maud system.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
