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