基于骨架的apla39;語言程序到mpic并行程序的自動轉(zhuǎn)換

1、江西師范大學(xué)碩士學(xué)位論文基于骨架的Apla語言程序到MPIC并行程序的自動轉(zhuǎn)換姓名：于程遠申請學(xué)位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：萬劍怡20080501AbstractSincesoftwarecrisisbrokeout，therehavemanynewmethodsandnewtoolsavailabletosolveproblemsresultedfromitHowevertheseexistingsolutionsca

2、ilnotliberatepeoplefromsoftwarecrisisthoroughlyDevelopingcorrectandefficientalgorithmicprogramswithformalmethodsiscalledrevolutionaryapproachbycurrentcomputerworldtoovercomesoftwarecrisisandimprovesoftware’Sreliabilityan

3、dproductivityBasedonresearchofseveralprojectssupportedby863HiTechProgrammeandNationalNaturalScienceFoundationofChinaProfessorXueJinyunproposedasimpleandpracticableapproachforformaldevelopmentandprovingofAlgorithmicprogra

4、msPARapproachInadditionRadlisdefinedfordescribingalgorithmicspecificationsandalgorithms，andAplaisdefinedfordescribingabstractprogramsAutomaticprogramtransformationistheimportantcomponentofPARmethod，whichisaidedtoolfordev

5、elopingadvancedlanguageprogramwithPARmethodAutomaticprogramtransformationbynowcanjustproducesequentialprogram，buttodayparallelprogramismoreandmoreimportantSOthatwemustexpandautomaticprogramtransformationtodealwithparalle

6、lprogramsthispaperstudiesallautomaticprogramtransformationfromAplatoNIPICparallelprogramMostparallelprogrammingmodelsatpresentarestudyingonparallelprogrammingbasicallyTheyofferabstractplatformsforparallelprogramming，butl

7、ackofmethodthatCanguideefficientlyprogrammerstodevelopparallelprogramsThestudyontheskeletalparallelprogrammingisallimportantpartoftheparallelprogrammingmodelresearchByprovidingtheprogrammerwithskeletonsenvisagedastheuniv

8、ersalstrategyconstructsforsolvingtheproblem，itmakestheprogrammers’diversionfromtheimplementationdetailoftheproblem’SparallelismtotheproblemSotheskeletalparallelprogrammingisknownasahigh—levelprogrammingmethodInthispapert

9、heimplementationoftheautomaticprogramtransformationisbaseonskeletonTheprimaryworkwehavedonehereislistedasfollows(1)Researchingthestudiesontheskeletalparallelprogrammingandsearchingforafeasiblesolutiontotheproblemsanddiff

10、icultiesoftheskeletonconceptandprogramminglanguagecooperatedwithPARmethod(2)ResearchingontheDivide&ConquerskeletonsDevelopingtheprimaryimplementationoftheDivide&ConquerskeletonsbasedontheCHtemplateanditscompositivelibrar

11、y(3)FurtherstudyonPARapproachRaisingaparallelextensionofAplaandformingmeApla十language(4)ImplementationoftheautomaticprogramtransformationfromApla十programstoM【PIC抖parallelprogramsbasedonskeleton(5)Providesomeexampleswithu