Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lothar Thiele
4. Periodic/Aperiodic Tasks
9. Low Power Design
5. Resource Sharing
6. Real-Time OS
Configurability examples:
Simplest form: remove unused functions (by linker for example).
Conditional compilation (using #if and #ifdef commands).
Validation 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 Computer Engineering
Institute of Technology 6- 5 and Networks Laboratory
Example: Configuration of VxWorks
http://www.windriver.com/products/development_tools/ide/tornado2/tornado_2_ds.pdf
Windriver
Swiss Federal Computer Engineering
Institute of Technology 6- 6 and Networks Laboratory
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 Standard OS
External
interrupt
Interrupt Interrupt
dispatch service
Timer
interrupt
Scheduling Task
Time service & execution
&
events
dispatcher
kernel
terminate
run end_cycle
wait TIMER
wait dispatch
preemption idle
signal ready
activate resume
Further responsibilities:
Initializations of internal data structures (tables, queues, task
description blocks, semaphores, )
Sender Empfnger
mailbox
Swiss Federal Computer Engineering
Institute of Technology 6- 22 and Networks Laboratory
Class 1: Fast Proprietary Kernels
Fast proprietary kernels
Examples include
QNX, PDOS, VCOS, VTRX32, VxWORKS.
Hardware
Swiss Federal Computer Engineering
Institute of Technology 6- 25 and Networks Laboratory
Example RT Linux
RT-tasks cannot use standard
Init Bash Mozilla OS calls.
Commercially available from
fsmlabs (www.fsmlabs.com)
scheduler
Linux-Kernel
RT-Task RT-Task
driver
interrupts
RT-Scheduler
RT-Linux interrupts
I/O
interrupts
Hardware
Swiss Federal Computer Engineering
Institute of Technology 6- 26 and Networks Laboratory
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)
formally verified kernel properties