Embedded Systems 6. Real-Time Operating Systems: Lothar Thiele

Embedded Systems
6. Real-Time Operating Systems

Lothar Thiele
Swiss Federal
Institute of Technology
6-1
Computer Engineering
and Networks Laboratory
Contents of Course
1. Embedded Systems Introduction
2. Software Introduction
3. Real-Time Models
4. Periodic/Aperiodic Tasks
7. System Components
10. Models
8. Communication
11. Architecture
Synthesis
9. Low Power Design
5. Resource Sharing
6. Real-Time OS
12. Model Based Design
Software and
Programming
Swiss Federal
Processing and
Communication
6- 2
Hardware
Embedded OS
Why an OS at all?
Same reasons why we need one for a traditional computer.
Not all services are needed for any device.
Large variety of requirements and environments:

Critical applications with high functionality (medical
applications, space shuttle, ).
Critical applications with small functionality (ABS, pace
maker, )
Not very critical applications with varying functionality (PDA,
phone, smart card, microwave ofen, )
Swiss Federal
6- 3
Embedded OS
Why is a desktop OS not suited?
Monolithic kernel is too feature reach.
Monolithic kernel is not modular, fault-tolerant, configurable,
modifiable, .
Takes too much space.
Not power optimized.
Not designed for mission-critical applications.
Timing uncertainty too large.
Swiss Federal
6- 4
Embedded Operating Systems

Configurability
No single RTOS will fit all needs, no overhead for
unused functions/data tolerated configurability needed. For
example, there are many embedded systems without disc, a
keyboard, a screen or a mouse.
Configurability examples:
Simplest form: remove unused functions (by linker for example).
Conditional compilation (using #if and #ifdef commands).
Verification is a potential problem of systems with a large number of
derived operating systems:
each derived operating system must be tested thoroughly;
for example, eCos (open source RTOS from Red Hat) includes 100 to 200
configuration points.
Swiss Federal
6- 5
http://www.windriver.com/products/development_tools/ide/tornado2/tornado_2_ds.pdf
Example: Configuration of VxWorks
Windriver
Swiss Federal
6- 6
Embedded operating systems

Device drivers handled by tasks instead of integrated drivers:
Improve predictability; everything goes through scheduler
Effectively no device that needs to be supported by all versions
of the OS, except maybe the system timer.
RTOS
Swiss Federal
Standard OS
6- 7

Interrupts can be employed by any process
For standard OS: would be serious source of unreliability.
Embedded programs can be considered to be tested .
It is possible to let interrupts directly start or stop tasks (by storing the
tasks start address in the interrupt table). More efficient and
predictable than going through OS services.
However, composability suffers: if a specific task is connected to
some interrupt, it may be difficult to add another task which also
needs to be started by the same event.
If real-time processing is of concern, time to handle interrupts need to
be considered. For example, they may be handled by the scheduler.
Swiss Federal
6- 8

Protection mechanisms are not always necessary:
ES typically designed for a single purpose, untested programs
rarely loaded, SW considered reliable.
Privileged I/O instructions not necessary and tasks can do their
own I/O.
Example: Let switch be the address of some switch. Simply use
load register,switch
instead of an OS call.
However, protection mechanisms may be needed for safety and

security reasons.
Swiss Federal
6- 9
Real-time Operating Systems

A real-time operating system is an operating system that
supports the construction of real-time systems.
Three key requirements:
1. The timing behavior of the OS must be predictable.
services of the OS: Upper bound on the execution time!
RTOSs must be deterministic:
unlike standard Java,
upper bound on times during which interrupts are disabled,
almost all activities are controlled by scheduler.
Swiss Federal
6- 10
Process Management Services

External
interrupt
Interrupt
dispatch
Interrupt
service
Timer
interrupt
Time service &
events
System calls
(trap)
Scheduling
&
dispatcher
Task
execution
Services (create thread,

sleep, notify, send,)
kernel
Swiss Federal
6- 11
Real-time Operating Systems

2. OS must manage the timing and scheduling
OS possibly has to be aware of task deadlines;

(unless scheduling is done off-line).
OS must provide precise time services with high resolution.
3. The OS must be fast
Practically important.
Swiss Federal
6- 12
Main Functionality of RTOS-Kernels

Process management:
Execution of quasi-parallel tasks on a processor using
processes or threads (lightweight process) by
maintaining process states, process queuing,
preemptive tasks (fast context switching) and quick
interrupt handling
CPU scheduling (guaranteeing deadlines, minimizing
process waiting times, fairness in granting resources such as
computing power)
Process synchronization (critical sections, semaphores,
monitors, mutual exclusion)
Inter-process communication (buffering)
Support of a real-time clock as an internal time reference
Swiss Federal
6- 13
Context Switching
Swiss Federal
6- 14
Process States
Minimal Set of Process States:
terminate
wait
wait
run
end_cycle
dispatch
preemption
activate
Swiss Federal
signal
TIMER
ready
6- 15
idle
resume
Process states
Run:
A task enters this state as it starts executing on the processor
Ready:
State of those tasks that are ready to execute but cannot be executed
because the processor is assigned to another task.
Wait:
A task enters this state when it executes a synchronization primitive to
wait for an event, e.g. a wait primitive on a semaphore. In this case,
the task is inserted in a queue associated with the semaphore. The
task at the head is resumed when the semaphore is unlocked by a
signal primitive.
Idle:
A periodic job enters this state when it completes its execution and has
to wait for the beginning of the next period.
Swiss Federal
6- 16
Threads
A thread is an execution stream within the context of a thread
state; e.g., a thread is a basic unit of CPU utilization.
The key difference between processes and threads: multiple
threads share parts of their state.
Typically shared: memory.
Typically owned: registers, stack.
Thread advantages and characteristics

Faster to switch between threads; switching between user-level
threads requires no major intervention by operating system.
Typically, an application will have a separate thread for each
distinct activity.
Thread Control Block (TCB) stores information needed to
manage and schedule a thread
Swiss Federal
6- 17
Multiple Threads within a Process
Swiss Federal
6- 18
Process Management
Process synchronization:
In classical operating systems, synchronization and mutual
exclusion is performed via semaphores and monitors.
In real-time OS, special semaphores and a deep integration
into scheduling is necessary (priority inheritance protocols,
.).
Further responsibilities:
Initializations of internal data structures (tables, queues, task
description blocks, semaphores, )
Swiss Federal
6- 19
Communication Mechanisms
Problem: the use of shared resources for implementing
message passing schemes may cause priority inversion
and blocking.
Swiss Federal
6- 20
Communication mechanisms
Synchronous communication:
Whenever two tasks want to communicate they must be
synchronized for a message transfer to take place (rendezvous)
They have to wait for each other.
Problem in case of dynamic real-time systems: Estimating
the maximum blocking time for a process rendez-vous.
In a static real-time environment, the problem can be solved
off-line by transforming all synchronous interactions into
precedence constraints.
Swiss Federal
6- 21
Communication mechanisms
Asynchronous communication:
Tasks do not have to wait for each other
The sender just deposits its message into a channel and
continues its execution; similarly the receiver can directly
access the message if at least a message has been
deposited into the channel.
More suited for real-time systems than synchronous comm.
Mailbox: Shared memory buffer, FIFO-queue, basic
operations are send and receive, usually has fixed capacity.
Problem: Blocking behavior if channel is full or empty;
alternative approach is provided by cyclical asynchronous
buffers.
Sender
Empfnger
mailbox
Swiss Federal
6- 22
Class 1: Fast Proprietary Kernels

Fast proprietary kernels
For hard real-time systems, these kernels are questionable,
because they are designed to be fast, rather than to be
predictable in every respect
Examples include
QNX, PDOS, VCOS, VTRX32, VxWORKS.
Swiss Federal
6- 23
Class 2: Extensions to Standard OSs

Real-time extensions to standard OS:
Attempt to exploit comfortable main stream OS.
RT-kernel running all RT-tasks.
Standard-OS executed as one task.
+ Crash of standard-OS does not affect RT-tasks;

- RT-tasks cannot use Standard-OS services;
less comfortable than expected
Swiss Federal
6- 24
Example RT Linux
Init
Bash
RT-tasks cannot use standard

OS calls.
Commercially available from
fsmlabs (www.fsmlabs.com)
Mozilla
scheduler
Linux-Kernel
driver
RT-Task
RT-Task
interrupts
I/O
RT-Linux
RT-Scheduler
interrupts
interrupts
revival of the concept:

hypervisor
Hardware
Swiss Federal
6- 25
Example: Posix 1.b RT-extensions to Linux

Standard scheduler can be replaced by POSIX scheduler
implementing priorities for RT tasks
RT-Task
RT-Task
Init
Bash
Mozilla
Special RT-calls and

standard OS calls
available.
Easy programming, no
guarantee for meeting
deadline
POSIX 1.b scheduler
Linux-Kernel
driver
I/O, interrupts
Hardware
Swiss Federal
6- 26
Class 3: Research Systems

Research systems trying to avoid limitations:
Include MARS, Spring, MARUTI, Arts, Hartos, DARK, and Melody
Research issues:
low overhead memory protection,

temporal protection of computing resources
RTOSes for on-chip multiprocessors
quality of service (QoS) control (besides real-time constraints).
Swiss Federal
6- 27

Embedded Systems 6. Real-Time Operating Systems: Lothar Thiele

Uploaded by

Copyright:

Available Formats

Embedded Systems 6. Real-Time Operating Systems: Lothar Thiele

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Embedded Systems 6. Real-Time Operating Systems: Lothar Thiele

Uploaded by

Copyright:

Available Formats

Embedded Systems

6. Real-Time Operating Systems

9. Low Power Design

Large variety of requirements and environments:

Embedded Operating Systems

Example: Configuration of VxWorks

Embedded operating systems

Embedded Operating Systems

Embedded Operating Systems

However, protection mechanisms may be needed for safety and

Real-time Operating Systems

unlike standard Java,

upper bound on times during which interrupts are disabled,

almost all activities are controlled by scheduler.

Process Management Services

Services (create thread,

Real-time Operating Systems

OS possibly has to be aware of task deadlines;

OS must provide precise time services with high resolution.

3. The OS must be fast

Main Functionality of RTOS-Kernels

Thread advantages and characteristics

Multiple Threads within a Process

Class 1: Fast Proprietary Kernels

Class 2: Extensions to Standard OSs

+ Crash of standard-OS does not affect RT-tasks;

RT-tasks cannot use standard

revival of the concept:

Example: Posix 1.b RT-extensions to Linux

Special RT-calls and

POSIX 1.b scheduler

Class 3: Research Systems

low overhead memory protection,

You might also like

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.