Automatically deriving cost models for structured parallel processes using hylomorphisms

همبستگی ساختاری با استفاده از اسکلت الگوریتمی توجهای می تواند کارکرد نگارشی نرم افزار موازی را بسیار آسان کند، زیرا مشکلات رایج، مانند مشکلات نژادی مانند شرایط مسابقه، توسط طراحی حذف می شوند. با این حال، انتخاب بهترین ترکیبی از اسکلت الگوریتمی برای تولید سریع سرعت موازی خوب برای یک برنامه خاص در یک معماری موازی خاص، هنوز یک مشکل دشوار است. این مقاله از مفاهیم متحد کننده هیلومورفیسمها، یک الگوی بازگشت عام استفاده می کند تا بتواند درمورد هر دو ویژگی صحیح عملکرد و ویژگی های زمانبندی فوق العاده برنامه های موازی ساختار یافته، را بیاموزد. ما قبلا هیلومورفیسم ها را برای ارائه معانی معانی برای اسکلت ها استفاده کرده ایم و ثابت کرد که یک ساختار موازی داده شده برای یک برنامه منطبق با صحت عملکرد است. این مقاله بر روی این موضوع گسترش می یابد، ارائه معانی عملیاتی ساده برای اسکلت الگوریتمی و معانی هزینه ای است که می تواند به صورت خودکار از معانی عملیاتی حاصل شود. ما ثابت می کنیم که هر دو معناشناسی با توجه به معناشناسی دینی که قبلا تعریف شده است، صحیح هستند. این به این معنی است که ما اکنون می توانیم به طور خودکار و ایستا یک ساختار موازی قابل اطمینان را برای یک برنامه مشخص با توجه به یک مدل هزینه برای یک (کلاس) از معماری موازی انتخاب کنیم. با تجزیه و تحلیل آماری اتوماتیک از مدل هزینه ما، می توانیم با دقت پیش بینی زمان های موازی و سرعت را نیز پیش بینی کنیم.