Skip to main content

Automatic Task Splitting for Uniprocessor Systems Scheduled with Non-Preemptive EDF | Chapter 03 | Theory and Applications of Mathematical Science Vol. 1

Although preemptive scheduling dominates non-preemptive scheduling from a schedulability perspective, the latter will often be chosen by developers of real-time systems with resource constraints due to the inherently lower system overheads, easier code implementation and timing analysis. This paper is concerned with the uniprocessor scheduling of periodic and sporadic tasks with arbitrary relative deadlines in real-time systems using the non-preemptive version of the Earliest Deadline First (npEDF) algorithm. Although npEDF is known to be optimal among the non-preemptive work-conserving schedulers, it can still be restrictive in the sense that there exists uniprocessor-feasible task sets (with arbitrarily low CPU utilization) that are not schedulable with npEDF. For such task sets, system developers are forced to either consider the use of an alternate scheduling strategy or refactor the task software in some beneficial way. One such beneficial way is to apply a concept known as ‘task splitting’. However to date, little guidance has been available to assist developers with the latter process, and it is often performed on an ad-hoc basis. This paper will propose the application of a fast and efficient task splitting technique to assist developers with this software refactoring process, which can thus be used to maximize the achievable CPU utilization whilst retaining the benefits of non-preemption. Examples and experimental results are given to illustrate the performance of the algorithm. For random but representative task sets, the results also indicate that in the average case only a relatively small number of tasks require the application of task splitting to become schedulable under npEDF.

Author(s) Details

Michael Short
School of Computing, Engineering and Digital Technologies, Teesside University, Middlesbrough, UK.

View Books: http://bp.bookpi.org/index.php/bpi/catalog/book/117

Comments

Popular posts from this blog

Greening Regional Airports: A Vision for Carbon Neutral Infrastructure | Chapter 12 | Contemporary Perspective on Science, Technology and Research Vol. 3

 This study provides an overview of the energy demand of a regional airport, divided into individual time horizons. The electrification of aircraft systems raises the question of whether airports will be among the largest electricity consumers in our infrastructure in the future. Sustainability and especially emission reductions are significant challenges for airports that are currently being addressed. The Clean Sky 2 project GENESIS addresses the environmental sustainability of hybrid-electric 50-passenger aircraft systems in a life cycle perspective to support the development of a technology roadmap for the transition to sustainable and competitive electric aircraft systems. This article originates from the GENESIS research and describes various options for ground power supply at a regional airport. Potential solutions for airport infrastructure with a short (2030), medium (2040), and long (2050) time horizon are proposed. In addition to the environmental and conservation benefi...

There is No Standard Model of ZFC and ZFC2 | Chapter 03 | Advances in Mathematics and Computer Science Vol. 1

In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An possible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZF C+ ∃ M ZFC st ), (ii) ¬Con(N F+ ∃ M NF st ), (iii) ¬Con(ZF C 2 ), (iv) let k be an inaccessible cardinal then ¬Con(ZF C+ ∃ κ), (v) ¬Con(ZF C+ (V=L)), (vi) ¬Con(ZF+ (V=L)). Author   Details: Jaykov Foukzon Israel Institute of Technology, Haifa, Israel Men'kova Elena Romanovna All-Russian Research Institute for Optical and Physical Measurements, Moscow, Russia Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/221/408-1 View Volume: https://doi.org/10.9734/bpi/amacs/v1

Occipital Dermal Sinus Tract Causing Craniospinal Infection: A Review | Chapter 13 | New Visions in Medicine and Medical Science Vol. 4

  Dermal sinus is a rare congenital condition characterized by a pathological tract connecting the skin to deeper tissues of the central nervous system, potentially leading to severe infectious complications. It arises from a failure in the separation of ectodermal layers during early gestation. Diagnosing dermal sinus tract in newborns requires a careful physical examination, focusing on midline dimples in the occipital region associated with cutaneous abnormalities like hairy nevus or hyperpigmentation. The presence of drainage, abnormal hair distribution, or localized swelling may indicate a sinus tract. Regular examination for dimples or sinuses is recommended for infants and children with recurrent meningitis or infections. Early detection is crucial to prevent severe complications like meningitis, with Staphylococcus aureus being a common causative organism. Neuroradiological studies, including computed tomography (CT) scan and magnetic resonance imaging (MRI), with histopath...