ارائه روشی برای زمانبندی فرایندهای غیرقطعی برای کاهش توأم تأخیر اجرا و گرمای تولید شده توسط پردازنده

Publish Year: 1395
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 420

This Paper With 10 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

RCEITT02_125

تاریخ نمایه سازی: 22 آبان 1395

Abstract:

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

Authors

محمدصادق محققی

عضو هیات علمی گروه علوم کامپیوتر، دانشگاه ولیعصر رفسنجان

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Abdeddau, Yasmina, Eugene Asarin, and Oded Maler. "Scheduling with timed ...
  • Dai, Peng, and Judy Goldsmith. "Topological Value Iteration Algorithm for ...
  • Jongerden, Marijn Remco. Model-based energy analysis of battery powered systems.(2010) ...
  • Joost-Pieter Katoen. Model Checking: One Can Do Much More Than ...
  • Megow, Nicole, Marc Uetz, and Tjark Vredeveld. "Models and algorithms ...
  • Puterman, Martin L. Markov decision processes: discrete stochastic dynamic progranuming ...
  • Silberschatz, Abraham, Peter B. Galvin, Greg Gagne, and A. Silberschatz. ...
  • Stallings, William. Operating systems.(1995) Vol. 4. Englewood Cliffs: Prentice Hall, ...
  • Tingting Han, Gallina, Lucia, Marlena Kwiatkowska, Andrea Marin, Sabina Rossi, ...
  • Vojtech, Forejt, Marta Kwiatkowska, Gethin Norman, and David Parker "Automated ...
  • Welland, Robert V., and Walter R Smith. "Stochastic priority-based task ...
  • Yang He, Dai, Shengxin, Mei Hong, Bing Guo, Qiongyu Zhang, ...
  • www.prismmo delchecker. org ...
  • نمایش کامل مراجع