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

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

زمانبندی، سیستم های عامل، وارسی مدل، فرایندهای تصمیم مارکوف، بهینه سازی، مدیریت دمای پردازنده