کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433029 689211 2014 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Using an adversary simulator to evaluate global EDF scheduling of sporadic task sets on multiprocessors
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Using an adversary simulator to evaluate global EDF scheduling of sporadic task sets on multiprocessors
چکیده انگلیسی


• We present a new adversary simulator for Global EDF scheduling of sporadic task sets on multiprocessors.
• Evaluation shows that the proposed adversary simulator is better than the classic simulator and other classic necessary test.
• We estimate the uncertainty area regarding Global EDF scheduling.

Schedulability analysis of real-time multiprocessor systems is usually based on sufficient but not necessary tests that produce pessimistic results. One difficulty in evaluating the effectiveness of sufficient schedulability tests has been distinguishing the cause of a task set failing the test, i.e., finding out whether the task set is in fact not schedulable or it is actually schedulable but the test itself is too pessimistic. Necessary schedulability tests help to distinguish between these two situations, since if a task set fails in the test then it is guaranteed to be unschedulable. An adversary simulator is a scheduling simulator that uses the non-determinism of the task model to generate scenarios that will stress a specific scheduling algorithm, improving the odds of a deadline miss. In this paper we describe a new adversary simulator algorithm for sporadic task sets executed on multiprocessors scheduled by Global Earliest Deadline First (G-EDF). It is shown that this new adversary simulator is more effective as a necessary test than existing approaches. We also estimate the uncertainty regarding G-EDF by applying to the same task sets a well-known sufficient schedulability test from the literature and the necessary schedulability test based on the adversary simulator.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Parallel and Distributed Computing - Volume 74, Issue 10, October 2014, Pages 3037–3044
نویسندگان
, , ,