NDLI: Implementing task scheduling and event handling in RTOS+

Content Provider	IEEE Xplore Digital Library
Author	Ngolah, C.F. Yingxu Wang Xinming Tan
Copyright Year	2004
Description	Author affiliation: Dept. of Electr. & Comput. Eng., Calgary Univ., Alta., Canada (Ngolah, C.F.; Yingxu Wang; Xinming Tan)
Abstract	An important component in the kernel of a real-time operating system (RTOS) is the task scheduler. Various solutions on task scheduling, such as priority inheritance and priority ceiling, have been proposed to deal with the priority-inversion problem that arises when a preemptive priority driven scheduling scheme is used. However, the priority inheritance protocol introduces drawbacks such as multiple blocking of tasks and deadlock, while the priority ceiling protocol is hardly supported by most existing real-time operating systems. We first present a formal description of a task scheduling algorithm that provides a solution to the priority inversion problem and eliminates multiple blocking of tasks running in a single processor platform. We use RTPA (real-time process algebra), a formal specification notation, to describe rigorously the architecture, and static and dynamic behaviours of the task scheduler. Our method employs a multi-queue based scheduling system in which all tasks pending on a resource or event are put into different queues with preassigned priorities. This technique eliminates the problem of priority inversion and prevents multiple-blocking and deadlock from happening. Based on the new method, a framework for implementing task scheduling and event handling is implemented for RTOS+, which is a portable real-time operating system developed by the authors.
Sponsorship	Cisco Syst. General Elec. Ryerson Univ. AVFX Audio Visual Bell Canada Dofasco Dye & Durham Gennum Corp. IEEE Canada Found. Univ. of Toronto Niagara College of Appl. Arts and Technol
Starting Page	1523
Ending Page	1526
File Size	399391
Page Count	4
File Format	PDF
ISBN	0780382536
ISSN	08407789
DOI	10.1109/CCECE.2004.1349696
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-05-02
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Real time systems Operating systems Protocols System recovery Processor scheduling Kernel Scheduling algorithm Algebra Formal specifications Dynamic scheduling
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal description of a real-time operating system using RTPA

Real-Time Operating Systems for Small Microcontrollers

Scheduling analysis of hybrid real-time task sets

Formal analysis for real-time scheduling

Hardware support for real-time operating systems (2003)

Operating system extensions for dynamic real-time applications

Modeling RTOS for Reactive Embedded Systems

Development of a highly optimized Preemptive Real Time Operating System (pRTOS)

Scheduling algorithms and operating systems support for real-time systems

Implementing task scheduling and event handling in RTOS+

Similar Documents

Formal description of a real-time operating system using RTPA

Real-Time Operating Systems for Small Microcontrollers

Scheduling analysis of hybrid real-time task sets

Formal analysis for real-time scheduling

Hardware support for real-time operating systems (2003)

Operating system extensions for dynamic real-time applications

Modeling RTOS for Reactive Embedded Systems

Development of a highly optimized Preemptive Real Time Operating System (pRTOS)

Scheduling algorithms and operating systems support for real-time systems

Implementing task scheduling and event handling in RTOS+