کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432256 688839 2015 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An optimal resource sharing protocol for generalized multiframe tasks
ترجمه فارسی عنوان
یک پروتکل بهینه برای به اشتراک گذاری منابع برای وظایف چند منظوره به طور کلی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


• We propose a scheduling algorithm for GMF tasks with shared resources.
• We prove that this algorithm is optimal, deadlock-free and enables stack sharing.
• We construct a feasibility test for GMF task sets with shared resources.
• The test is shown to be efficient, necessary and sufficient.

Many different task models of varying expressiveness have been proposed to capture the timing constraints of real-time workloads. However, techniques for optimal scheduling and exact feasibility analysis of systems with mutually-exclusive shared resources have been available only for relatively simple task models, such as the sporadic task model. We consider sharing of mutually-exclusive resources in task models that are more expressive in terms of the job-release patterns that can be modeled. We propose a new scheduling algorithm and show that it is optimal for scheduling generalized multiframe tasks with shared resources on uniprocessor systems. We also present an efficient feasibility test for such systems, and show that it is both sufficient and necessary.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 1, January 2015, Pages 92–105
نویسندگان
, , , ,