Vi presenterar en ny statisk analys för att dra slutsatsen den parallella kostnaden för distribuerade system. Parallellkostnaden skiljer sig från standardbegreppet seriekostnad genom att utnyttja den verkligt samtidiga genomförandemodellen för distribuerad bearbetning för att fånga upp kostnaden för synkroniserade uppgifter som utförs parallellt. Det är utmanande att analysera parallell kostnad eftersom man behöver dra en sund slutsats parallellism mellan uppgifter medan redovisning för väntande och sysslolösa processortider på de olika platserna. Vår analys fungerar i tre faser: (1) Det utför först en block-nivå analys för att uppskatta de seriella kostnaderna för blocken mellan synkroniseringspunkter i programmet; (2) Därefter konstruerar det en distribuerad flöde graf (DFG) för att fånga parallellismen, väntan och inaktiva tider på platserna i det distribuerade systemet; Slutligen, (3) den parallella kostnaden kan erhållas som vägen för maximal kostnad i DFG. En prototypimplementering visar att den föreslagna analysen är korrekt och genomförbar.
REF utarbetade en statisk analys för att dra slutsatsen att de distribuerade systemen skulle kosta parallellt.
Parallel Cost Analysis of Distributed Systems
{'venue': 'SAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}