You are on page 1of 201

@ McGraw-Hill Education

PROPRIETARY MATERIAL. © 2009 The McGraw-Hill Companies, Inc. All rights reserved. No part of this PowerPoint slide may be displayed, reproduced or distributed
in any form or by any means, without the prior written permission of the publisher, or used beyond the limited distribution to teachers and educators permitted by McGraw-Hill
for their individual course preparation. If you are a student using this PowerPoint slide, you are using it without permission.
1
@ McGraw-Hill Education

2
@ McGraw-Hill Education

PROPRIETARY MATERIAL. © 2009 The McGraw-Hill Companies, Inc. All rights reserved. No part of this PowerPoint slide may be displayed, reproduced or distributed
in any form or by any means, without the prior written permission of the publisher, or used beyond the limited distribution to teachers and educators permitted by McGraw-Hill
for their individual course preparation. If you are a student using this PowerPoint slide, you are using it without permission.
3
@ McGraw-Hill Education

Designing with RTOS

Operating System Basics

✔ The Operating System acts as a bridge between the user


applications/tasks and the underlying system resources
through a set of system functionalities and services
✔ OS manages the system resources and makes them
available to the user applications/tasks on a need basis
✔ The primary functions of an Operating system is
✔ Make the system convenient to use
✔ Organize and manage the system resources efficiently
and correctly
The Operating System Architecture 4
@ McGraw-Hill Education

Designing with RTOS

The Operating System Architecture 5


@ McGraw-Hill Education

Designing with RTOS


The Kernel

✔ The kernel is the core of the operating system


✔ It is responsible for managing the system resources and
the communication among the hardware and other
system services
✔ Kernel acts as the abstraction layer between system
resources and user applications

6
@ McGraw-Hill Education

Designing with RTOS


✔ Kernel contains a set of system libraries and services.
For a general purpose OS, the kernel contains different
services like
✔Process Management
✔Primary Memory Management
✔File System management
✔I/O System (Device) Management
✔Secondary Storage Management
✔Protection
✔Time management
✔Interrupt Handling
7
@ McGraw-Hill Education

✔ Process Management
✔ Deals with managing the processes/tasks.
✔ Includes setting up the memory space for the
process, loading the process’s code into
memory space, allocating system resources,
✔ scheduling and managing the execution of the
process,
✔ Setting up and managing the Process Control
Block (PCB)
✔ Inter Process Communication and
synchronisation, process termination/deletion,
etc. 8
@ McGraw-Hill Education

✔ Primary Memory Management


✔ RAM a volatile memory – processes are loaded,
variables and shared data are stored
✔ Memory Management Unit (MMU)
✔ Keeping track of which part of the memory area is
currently used by which process
✔ Allocating and De-allocating memory space on a
need basis (Dynamic Memory Allocation)

9
@ McGraw-Hill Education

✔ File System management


✔ File could be a program (source code, .exe…), text files, image
files, word docs. audio/video…
✔ The file operation is a useful service provided by the OS.
✔ The file system management service of kernel is responsible for
✔ Creation, deletion and alteration
✔ Saving in secondary storage memory
✔ Providing automatic allocation of file space based on available free
space
✔ Providing a flexible naming convention
✔ OS dependent

10
@ McGraw-Hill Education

✔ I/O System (Device) Management


✔ Kernel is responsible for routing the I/O requests coming from
different user applications to the appropriate I/O devices
✔ No direct access to IO devices, only through APIs exposed by
kernel
✔ Kernel maintains a list of all the IO devices of the system-
available in advance or dynamically updates
✔ Device Manager- handles device related operations
✔ The kernel talks to the IO device through a set of low-level
systems calls which are implemented in a service, called
device drivers
✔ Device drivers are specific to device or type
✔ Device Manager is responsible for
✔ Loading and unloading of device drivers
✔ Exchanging information and the system specific control
signals to and from device.
11
@ McGraw-Hill Education

✔ Secondary Storage Management


✔ Manages secondary storage memory devices if
connected to the system
✔ Disk storage allocation
✔ Disk scheduling
✔ Free disk space management

12
@ McGraw-Hill Education

✔ Protection
✔ Through multiple users with different levels of
access permissions
✔ Windows XP- ‘Administrator’, ‘Standard’,
Restricted’…

✔ Interrupt Handling
✔ Kernel provides handler mechanism for all ext./int
interrupts generated by the system

13
@ McGraw-Hill Education

Designing with RTOS


Kernel Space and User Space
✔ The program code corresponding to the kernel
applications/services are kept in a contiguous area (OS
dependent) of primary (working) memory and is
protected from the un-authorized access by user
programs/applications
✔ The memory space at which the kernel code is located is
known as ‘Kernel Space’
✔ All user applications are loaded to a specific area of
primary memory and this memory area is referred as
‘User Space’
14
@ McGraw-Hill Education

Designing with RTOS

Kernel Space and User Space


✔ The partitioning of memory into kernel and user
space is purely Operating System dependent
✔ An operating system with virtual memory
support, loads the user applications into its
corresponding virtual memory space with
demand paging technique
✔ Most of the operating systems keep the kernel
application code in main memory and it is not
swapped out into the secondary memory
15
@ McGraw-Hill Education

Designing with RTOS


Monolithic Kernel
✔ All kernel services run in the kernel space
✔ All kernel modules run within the same memory space under a single kernel
thread
✔ The tight internal integration of kernel modules in monolithic kernel
architecture allows the effective utilization of the low-level features of the
underlying system
✔ The major drawback of monolithic kernel is that any error or failure in any one
of the kernel modules leads to the crashing of the entire kernel application
✔ LINUX, SOLARIS, MS-DOS kernels are examples of monolithic kernel

16
@ McGraw-Hill Education

Designing with RTOS


Microkernel
✔ The microkernel design incorporates only the
essential set of Operating System services
into the kernel
✔ Rest of the Operating System services are
implemented in programs known as ‘Servers’
which runs in user space
✔ The kernel design is highly modular
provides OS-neutral abstraction
✔ Memory management, process management,
timer systems and interrupt handlers are
examples of essential services, which forms
the part of the microkernel
✔ QNX, Minix 3 kernels are examples for
microkernel

17
@ McGraw-Hill Education

Designing with RTOS


Types of Operating Systems
Depending on the type of kernel and kernel services, purpose and type of computing
systems where the OS is deployed and the responsiveness to applications, Operating
Systems are classified into
General Purpose Operating System (GPOS)
✔ Operating Systems, which are deployed in general computing systems
✔ The kernel is more generalized and contains all the required services to execute
generic applications
✔ Need not be deterministic in execution behavior
✔ May inject random delays into application software and thus cause slow
responsiveness of an application at unexpected times
✔ Usually deployed in computing systems where deterministic behavior is not an
important criterion
✔ Personal Computer/Desktop system is a typical example for a system where
GPOSs are deployed.
✔ Windows XP/MS-DOS etc are examples of General Purpose Operating System
18
@ McGraw-Hill Education

Designing with RTOS


Real Time Purpose Operating System (RTOS)

✔ Operating Systems, which are deployed in embedded systems demanding


real-time response
✔ Deterministic in execution behavior. Consumes only known amount of time for
kernel applications
✔ Implements scheduling policies for executing the highest priority
task/application always
✔ Implements policies and rules concerning time-critical allocation of a system’s
resources
✔ Windows CE, QNX, VxWorks MicroC/OS-II etc are examples of Real Time
Operating Systems (RTOS

19
@ McGraw-Hill Education

Designing with RTOS


The Real Time Kernel
The kernel of a Real Time Operating System is referred as Real
Time kernel. In complement to the conventional OS kernel, the Real
Time kernel is highly specialized and it contains only the minimal
set of services required for running the user applications/tasks. The
basic functions of a Real Time kernel are
–Task/Process management
–Task/Process scheduling
–Task/Process synchronization
–Error/Exception handling
–Memory Management
–Interrupt handling
–Time management
20
@ McGraw-Hill Education

Designing with RTOS


Real Time Kernel – Task/Process Management
Deals with setting up the memory space for the tasks,
loading the task’s code into the memory space, allocating
system resources, setting up a Task Control Block (TCB)
for the task and task/process termination/deletion. A Task
Control Block (TCB) is used for holding the information
corresponding to a task. TCB usually contains the
following set of information
•Task ID: Task Identification Number
•Task State: The current state of the task. (E.g. State= ‘Ready’ for a
task which is ready to execute)
•Task Type: Task type. Indicates what is the type for this task. The
task can be a hard real time or soft real time or background task. 21
@ McGraw-Hill Education

Designing with RTOS


Real Time Kernel – Task/Process Management
•Task Priority: Task priority (E.g. Task priority =1 for task with
priority = 1)
•Task Context Pointer: Context pointer. Pointer for context saving
•Task Memory Pointers: Pointers to the code memory, data memory
and stack memory for the task
•Task System Resource Pointers: Pointers to system resources
(semaphores, mutex etc) used by the task
•Task Pointers: Pointers to other TCBs (TCBs for preceding, next
and waiting tasks)
•Other Parameters Other relevant task parameters
The parameters and implementation of the TCB is kernel dependent.
The TCB parameters vary across different kernels, based on the task
management implementation 22
@ McGraw-Hill Education

Designing with RTOS


• Task/Process Scheduling: Deals with sharing the CPU
among various tasks/processes. A kernel application
called ‘Scheduler’ handles the task scheduling.
Scheduler is nothing but an algorithm implementation,
which performs the efficient and optimal scheduling of
tasks to provide a deterministic behavior.
• Task/Process Synchronization: Deals with
synchronizing the concurrent access of a resource,
which is shared across multiple tasks and the
communication between various tasks.

23
@ McGraw-Hill Education

Designing with RTOS


• Error/Exception handling: Deals with registering and
handling the errors occurred/exceptions raised during
the execution of tasks. Insufficient memory, timeouts,
deadlocks, deadline missing, bus error, divide by zero,
unknown instruction execution etc, are examples of
errors/exceptions. Errors/Exceptions can happen at the
kernel level services or at task level. Deadlock is an
example for kernel level exception, whereas timeout is
an example for a task level exception. The OS kernel
gives the information about the error in the form of a
system call (API).

24
@ McGraw-Hill Education

Designing with RTOS


Memory Management
✔The memory management function of an RTOS kernel is
slightly different compared to the General Purpose
Operating Systems
✔In general, the memory allocation time increases
depending on the size of the block of memory needs to be
allocated and the state of the allocated memory block
(initialized memory block consumes more allocation time
than un-initialized memory block)
✔Since predictable timing and deterministic behavior are
the primary focus for an RTOS, RTOS achieves this by
compromising the effectiveness of memory allocation
25
@ McGraw-Hill Education

Designing with RTOS


Memory Management
✔RTOS generally uses ‘block’ based memory allocation technique,
instead of the usual dynamic memory allocation techniques used by
the GPOS.
✔RTOS kernel uses blocks of fixed size of dynamic memory and the
block is allocated for a task on a need basis. The blocks are stored in
a ‘Free buffer Queue’.
✔Most of the RTOS kernels allow tasks to access any of the memory
blocks without any memory protection to achieve predictable timing
and avoid the timing overheads
✔RTOS kernels assume that the whole design is proven correct and
protection is unnecessary. Some commercial RTOS kernels allow
memory protection as optional and the kernel enters a fail-safe
mode when an illegal memory access occurs
26
@ McGraw-Hill Education

Designing with RTOS


✔Memory Management

✔The memory management function of an RTOS kernel is slightly


different compared to the General Purpose Operating Systems
✔A few RTOS kernels implement Virtual Memory concept for
memory allocation if the system supports secondary memory
storage (like HDD and FLASH memory).
✔In the ‘block’ based memory allocation, a block of fixed memory is
always allocated for tasks on need basis and it is taken as a unit.
Hence, there will not be any memory fragmentation issues.
✔The memory allocation can be implemented as constant functions
and thereby it consumes fixed amount of time for memory
allocation. This leaves the deterministic behavior of the RTOS
kernel untouched 27
@ McGraw-Hill Education

Designing with RTOS


Interrupt Handling
✔Interrupts inform the processor that an external device or an
associated task requires immediate attention of the CPU.
✔Interrupts can be either Synchronous or Asynchronous.
✔Interrupts which occurs in sync with the currently executing task is
known as Synchronous interrupts. Usually the software interrupts
fall under the Synchronous Interrupt category. Divide by zero,
memory segmentation error etc are examples of Synchronous
interrupts.
✔For synchronous interrupts, the interrupt handler runs in the same
context of the interrupting task.
✔Asynchronous interrupts are interrupts, which occurs at any point of
execution of any task, and are not in sync with the currently
executing task.
28
@ McGraw-Hill Education

Designing with RTOS


✔The interrupts generated by external devices (by asserting the
Interrupt line of the processor/controller to which the interrupt line
of the device is connected) connected to the processor/controller,
timer overflow interrupts, serial data reception/ transmission
interrupts etc are examples for asynchronous interrupts.
✔For asynchronous interrupts, the interrupt handler is usually written
as separate task (Depends on OS Kernel implementation) and it runs
in a different context. Hence, a context switch happens while
handling the asynchronous interrupts.
✔Priority levels can be assigned to the interrupts and each interrupts
can be enabled or disabled individually.
✔Most of the RTOS kernel implements ‘Nested Interrupts’
architecture. Interrupt nesting allows the pre-emption (interruption)
of an Interrupt Service Routine (ISR), servicing an interrupt, by a
higher priority interrupt. 29
@ McGraw-Hill Education

Designing with RTOS


Time Management
✔Interrupts inform the processor that an external device or an
associated task requires immediate attention of the CPU.
✔Accurate time management is essential for providing precise time
reference for all applications
✔The time reference to kernel is provided by a high-resolution Real
Time Clock (RTC) hardware chip (hardware timer)
✔The hardware timer is programmed to interrupt the
processor/controller at a fixed rate. This timer interrupt is referred
as ‘Timer tick’
✔The ‘Timer tick’ is taken as the timing reference by the kernel. The
‘Timer tick’ interval may vary depending on the hardware timer.
Usually the ‘Timer tick’ varies in the microseconds range

30
@ McGraw-Hill Education

Designing with RTOS


Time Management
✔The time parameters for tasks are expressed as the multiples of the
‘Timer tick’
✔The System time is updated based on the ‘Timer tick’
✔If the System time register is 32 bits wide and the ‘Timer tick’
interval is 1 microsecond, the System time register will reset in
232 * 10-6/ (24 * 60 * 60) = 49700 Days =~ 0.0497 Days = 1.19 hrs
If the ‘Timer tick’ interval is 1 millisecond, the System time
register will reset in
232 * 10-3 / (24 * 60 * 60) = 497 Days = 49.7 Days =~ 50 Days

31
@ McGraw-Hill Education

Designing with RTOS


Time Management
The ‘Timer tick’ interrupt is handled by the ‘Timer Interrupt’
handler of kernel. The ‘Timer tick’ interrupt can be utilized for
implementing the following actions.

✔Save the current context (Context of the currently executing task)


✔Increment the System time register by one. Generate timing error
and reset the System time register if the timer tick count is greater
than the maximum range available for System time register
✔Update the timers implemented in kernel (Increment or decrement
the timer registers for each timer depending on the count direction
setting for each register. Increment registers with count direction
setting = ‘count up’ and decrement registers with count direction
setting = ‘count down’)
32
@ McGraw-Hill Education

Designing with RTOS


Time Management
✔Activate the periodic tasks, which are in the idle state
✔Invoke the scheduler and schedule the tasks again based
on the scheduling algorithm
✔Delete all the terminated tasks and their associated data
structures (TCBs)
✔Load the context for the first task in the ready queue. Due
to the re-scheduling, the ready task might be changed to a
new one from the task, which was pre-empted by the
‘Timer Interrupt’ task

33
@ McGraw-Hill Education

Designing with RTOS


Hard Real-time System
✔A Real Time Operating Systems which strictly adheres to the timing constraints for a task
✔A Hard Real Time system must meet the deadlines for a task without any slippage
✔ Missing any deadline may produce catastrophic results for Hard Real Time Systems,
including permanent data lose and irrecoverable damages to the system/users
✔Emphasize on the principle ‘A late answer is a wrong answer’
✔Air bag control systems and Anti-lock Brake Systems (ABS) of vehicles are typical
examples of Hard Real Time Systems
✔As a rule of thumb, Hard Real Time Systems does not implement the virtual memory
model for handling the memory. This eliminates the delay in swapping in and out the code
corresponding to the task to and from the primary memory
✔The presence of Human in the loop (HITL) for tasks introduces un-expected delays in the
task execution. Most of the Hard Real Time Systems are automatic and does not contain a
‘human in the loop’

34
@ McGraw-Hill Education

Designing with RTOS


Soft Real-time System
✔Real Time Operating Systems that does not guarantee meeting deadlines, but,
offer the best effort to meet the deadline
✔Missing deadlines for tasks are acceptable if the frequency of deadline missing is
within the compliance limit of the Quality of Service (QoS)
✔A Soft Real Time system emphasizes on the principle ‘A late answer is an
acceptable answer, but it could have done bit faster’
✔Soft Real Time systems most often have a ‘human in the loop (HITL)’
✔Automatic Teller Machine (ATM) is a typical example of Soft Real Time System.
If the ATM takes a few seconds more than the ideal operation time, nothing fatal
happens.
✔An audio video play back system is another example of Soft Real Time system.
No potential damage arises if a sample comes late by fraction of a second, for
play back

35
@ McGraw-Hill Education

Designing with RTOS


Tasks, Processes & Threads
✔In the Operating System context, a task is defined as the program in
execution and the related information maintained by the Operating
system for the program
✔Task is also known as ‘Job’ in the operating system context
✔A program or part of it in execution is also called a ‘Process’
✔The terms ‘Task’, ‘job’ and ‘Process’ refer to the same entity in the
Operating System context and most often they are used
interchangeably
✔A process requires various system resources like CPU for executing
the process, memory for storing the code corresponding to the
process and associated variables, I/O devices for information
exchange etc
36
@ McGraw-Hill Education

Designing with RTOS


The structure of a Processes
✔The concept of ‘Process’ leads to concurrent execution (pseudo parallelism) of
tasks and thereby the efficient utilization of the CPU and other system resources
✔Concurrent execution is achieved through the sharing of CPU among the
processes
✔A process mimics a processor in properties and holds a set of registers, process
status, a Program Counter (PC) to point to the next executable instruction of the
process, a stack for holding the local variables associated with the process and
the code corresponding to the process

37
@ McGraw-Hill Education

Designing with RTOS


The structure of a Processes
✔A process, which inherits all the properties of the CPU, can be
considered as a virtual processor, awaiting its turn to have its
properties switched into the physical processor
✔When the process gets its turn, its registers and Program counter
register becomes mapped to the physical registers of the CPU

38
@ McGraw-Hill Education

Designing with RTOS


Memory organization of a Processes
✔The memory occupied by the process is segregated
into three regions namely; Stack memory, Data
memory and Code memory
✔The ‘Stack’ memory holds all temporary data such
as variables local to the process
✔Data memory holds all global data for the process
✔The code memory contains the program code
(instructions) corresponding to the process
✔On loading a process into the main memory, a
specific area of memory is allocated for the process
✔The stack memory usually starts at the highest
memory address from the memory area allocated for
the process (Depending on the OS kernel
implementation)
39
@ McGraw-Hill Education

Designing with RTOS


Process States & State Transition
✔The creation of a process to its termination is not a
single step operation
✔The process traverses through a series of states during
its transition from the newly created state to the
terminated state

40
@ McGraw-Hill Education

Designing with RTOS


Process States & State
Transition
✔The cycle through which a
process changes its state from
‘newly created’ to ‘execution
completed’ is known as ‘Process
Life Cycle’. The various states
through which a process
traverses through during a
Process Life Cycle indicates the
current status of the process with
respect to time and also provides
information on what it is allowed
to do next
41
@ McGraw-Hill Education
Designing with RTOS
Process States & State Transition

• Created State: The state at which a process is being created is


referred as ‘Created State’. The Operating System recognizes a
process in the ‘Created State’ but no resources are allocated to
the process
• Ready State: The state, where a process is incepted into the
memory and awaiting the processor time for execution, is known
as ‘Ready State’. At this stage, the process is placed in the
‘Ready list’ queue maintained by the OS
• Running State: The state where in the source code instructions
corresponding to the process is being executed is called ‘Running
State’. Running state is the state at which the process execution
happens.

42
@ McGraw-Hill Education
Designing with RTOS
Process States & State Transition
• Blocked State/Wait State: Refers to a state where a running
process is temporarily suspended from execution and does not
have immediate access to resources. The blocked state might
have invoked by various conditions like- the process enters a
wait state for an event to occur (E.g. Waiting for user inputs such
as keyboard input) or waiting for getting access to a shared
resource like semaphore, mutex etc
• Completed State: A state where the process completes its
execution
✔ The transition of a process from one state to another is known as
‘State transition’
✔ When a process changes its state from Ready to running or from
running to blocked or terminated or from blocked to running, the
CPU allocation for the process may also change 43
@ McGraw-Hill Education

Designing with RTOS


Threads
✔A thread is the primitive that can execute code
✔A thread is a single sequential flow of control within a process
✔‘Thread’ is also known as lightweight process
✔A process can have many threads of execution
✔ Different threads, which are part of a process, share the same address space;
meaning they share the data memory, code memory and heap memory area
✔ Threads maintain their own thread status (CPU register values), Program
Counter (PC) and stack

44
@ McGraw-Hill Education

Designing with RTOS

45
The Concept of multithreading
@ McGraw-Hill Education

Designing with RTOS


The Concept of multithreading

Use of multiple threads to execute a process brings the following


advantage.
✔Better memory utilization. Multiple threads of the same process share the
address space for data memory. This also reduces the complexity of inter
thread communication since variables can be shared across the threads.
✔Since the process is split into different threads, when one thread enters a
wait state, the CPU can be utilized by other threads of the process that do
not require the event, which the other thread is waiting, for processing.
This speeds up the execution of the process.
✔Efficient CPU utilization. The CPU is engaged all time.

46
@ McGraw-Hill Education

Designing with RTOS


Thread Standards

Thread standards deal with the different standards


available for thread creation and management.
These standards are utilized by the Operating
Systems for thread creation and thread
management. It is a set of thread class libraries.
The commonly available thread class libraries are

47
@ McGraw-Hill Education

POSIX Threads: POSIX stands for Portable Operating


System Interface. The POSIX.4 standard deals with the
Real Time extensions and POSIX.4a standard deals with
thread extensions. The POSIX standard library for thread
creation and management is ‘Pthreads’. ‘Pthreads’ library
defines the set of POSIX thread creation and management
functions in ‘C’ language.
POSIX Thread Creation
int pthread_create(pthread_t *new_thread_ID, const pthread_attr_t
*attribute, void * (*start_function)(void *), void *arguments);
48
@ McGraw-Hill Education

Designing with RTOS


Thread Standards
Win32 Threads: Win32 threads are the threads supported by
various flavors of Windows Operating Systems. The Win32
Application Programming Interface (Win32 API) libraries provide
the standard set of Win32 thread creation and management
functions. Win32 threads are created with the API

WIN32 Thread Creation

HANDLE CreateThread (LPSECURITY_ATTRIBUTES


lpThreadAttributes,DWORD dwStackSize, LPTHREAD_START_ROUTINE
lpStartAddress, LPVOID lpParameter, DWORD dwCreationFlags, LPDWORD
lpThreadId );

49
@ McGraw-Hill Education
Designing with RTOS
•Java Threads: Java threads are the threads supported by Java programming
Language. The java thread class ‘Thread’ is defined in the package ‘java.lang’.
This package needs to be imported for using the thread creation functions
supported by the Java thread class. There are two ways of creating threads in
Java: Either by extending the base ‘Thread’ class or by implementing an
interface. Extending the thread class allows inheriting the methods and variables
of the parent class (Thread class) only whereas interface allows a way to achieve
the requirements for a set of classes
import java.lang.*; Java Thread Creation
public class MyThread extends Thread
{ public void run()
{
System.out.println("Hello from MyThread!");
}
public static void main(String args[])
{
(new MyThread()).start();
}
50
}
@ McGraw-Hill Education
Designing with RTOS
User & Kernel level threads

• User Level Thread: : User level threads do not have


kernel/Operating System support and they exist solely
in the running process. Even if a process contains
multiple user level threads, the OS treats it as single
thread and will not switch the execution among the
different threads of it. It is the responsibility of the
process to schedule each thread as and when required.
In summary, user level threads of a process are
non-preemptive at thread level from OS perspective.

51
@ McGraw-Hill Education
Designing with RTOS
User & Kernel level threads
• Kernel Level/System Level Thread: Kernel level threads are
individual units of execution, which the OS treats as separate
threads. The OS interrupts the execution of the currently running
kernel thread and switches the execution to another kernel thread
based on the scheduling policies implemented by the OS.
✔ The execution switching (thread context switching) of user level
threads happen only when the currently executing user level
thread is voluntarily blocked. Hence, no OS intervention and
system calls are involved in the context switching of user level
threads. This makes context switching of user level threads very
fast.
✔ Kernel level threads involve lots of kernel overhead and involve
system calls for context switching. However, kernel threads
maintain a clear layer of abstraction and allow threads to use
52
system calls independently
@ McGraw-Hill Education

Designing with RTOS


Thread binding Models
• Many-to-One Model: Many user level threads are mapped to a
single kernel thread. The kernel treats all user level threads as
single thread and the execution switching among the user level
threads happens when a currently executing user level thread
voluntarily blocks itself or relinquishes the CPU. Solaris Green
threads and GNU Portable Threads are examples for this.
• One-to-One Model: Each user level thread is bonded to a
kernel/system level thread. Windows XP/NT/2000 and Linux
threads are examples of One-to-One thread models.
• Many-to-Many Model: In this model many user level threads
are allowed to be mapped to many kernel threads. Windows
NT/2000 with ThreadFiber package is an example for this.

53
@ McGraw-Hill Education

Designing with RTOS


Thread V/s Process

Thread Process
Thread is a single unit of Process is a program in execution
execution and is part of process. and contains one or more threads.

A thread does not have its own Process has its own code memory,
data memory and heap memory. data memory and stack memory.
It shares the data memory and
heap memory with other threads
of the same process.

A thread cannot live A process contains at least one


independently; it lives within thread.
the process.

54
@ McGraw-Hill Education

Designing with RTOS


Thread V/s Process
Thread Process
There can be multiple threads in Threads within a process share the
a process. The first thread code, data and heap memory. Each
(main thread) calls the main thread holds separate memory area
function and occupies the start for stack (shares the total stack
of the stack memory of the memory of the process).
process.

Threads are very inexpensive to Processes are very expensive to


create create. Involves many OS
overhead.
Context switching is Context switching is complex and
inexpensive and fast involves lot of OS overhead and is
comparatively slower.
If a thread expires, its stack is If a process dies, the resources
reclaimed by the process. allocated to it are reclaimed by the
OS and all the associated threads of
the process also dies.
55
@ McGraw-Hill Education

Designing with RTOS


Multiprocessing & Multitasking
✔ The ability to execute multiple processes simultaneously is
referred as multiprocessing
✔ Systems which are capable of performing multiprocessing are
known as multiprocessor systems
✔ Multiprocessor systems possess multiple CPUs and can execute
multiple processes simultaneously
✔ The ability of the Operating System to have multiple programs in
memory, which are ready for execution, is referred as
multiprogramming
✔ Multitasking refers to the ability of an operating system to hold
multiple processes in memory and switch the processor (CPU)
from executing one process to another process
56
@ McGraw-Hill Education

Designing with RTOS


Multiprocessing & Multitasking
✔ Multitasking involves ‘Context switching’, ‘Context saving’ and
‘Context retrieval’
✔ Context switching refers to the switching of execution context
from task to other
✔ When a task/process switching happens, the current context of
execution should be saved to (Context saving) retrieve it at a later
point of time when the CPU executes the process, which is
interrupted currently due to execution switching
✔ During context switching, the context of the task to be executed is
retrieved from the saved context list. This is known as Context
retrieval

57
@ McGraw-Hill Education

Designing with RTOS


Multitasking – Context Switching

58
@ McGraw-Hill Education

Designing with RTOS


Types of Multitasking
Depending on how the task/process execution switching act is
implemented, multitasking can is classified into
• Co-operative Multitasking: Co-operative multitasking is the
most primitive form of multitasking in which a task/process gets
a chance to execute only when the currently executing
task/process voluntarily relinquishes the CPU. In this method,
any task/process can avail the CPU as much time as it wants.
Since this type of implementation involves the mercy of the tasks
each other for getting the CPU time for execution, it is known as
co-operative multitasking. If the currently executing task is
non-cooperative, the other tasks may have to wait for a long time
to get the CPU

59
@ McGraw-Hill Education

Designing with RTOS


Types of Multitasking
• Preemptive Multitasking: Preemptive multitasking
ensures that every task/process gets a chance to execute.
When and how much time a process gets is dependent
on the implementation of the preemptive scheduling. As
the name indicates, in preemptive multitasking, the
currently running task/process is preempted to give a
chance to other tasks/process to execute. The
preemption of task may be based on time slots or
task/process priority

60
@ McGraw-Hill Education

Designing with RTOS


Types of Multitasking
•Non-preemptive Multitasking: The process/task, which
is currently given the CPU time, is allowed to execute
until it terminates (enters the ‘Completed’ state) or enters
the ‘Blocked/Wait’ state, waiting for an I/O. The
co-operative and non-preemptive multitasking differs in
their behavior when they are in the ‘Blocked/Wait’ state.
In co-operative multitasking, the currently executing
process/task need not relinquish the CPU when it enters
the ‘Blocked/Wait’ sate, waiting for an I/O, or a shared
resource access or an event to occur whereas in
non-preemptive multitasking the currently executing task
relinquishes the CPU when it waits for an I/O.
61
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling
✔ In a multitasking system, there should be some
mechanism in place to share the CPU among the
different tasks and to decide which process/task is to be
executed at a given point of time
✔ Determining which task/process is to be executed at a
given point of time is known as task/process scheduling
✔ Task scheduling forms the basis of multitasking
✔ Scheduling policies forms the guidelines for determining
which task is to be executed when

62
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling
✔ The scheduling policies are implemented in an algorithm and it is
run by the kernel as a service
✔ The kernel service/application, which implements the scheduling
algorithm, is known as ‘Scheduler’
✔ The task scheduling policy can be pre-emptive, non-preemptive or
co-operative
✔ Depending on the scheduling policy the process scheduling
decision may take place when a process switches its state to
✔ ‘Ready’ state from ‘Running’ state
✔ ‘Blocked/Wait’ state from ‘Running’ state
✔ ‘Ready’ state from ‘Blocked/Wait’ state
✔ ‘Completed’ state
63
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling - Scheduler Selection
The selection of a scheduling criteria/algorithm should consider
•CPU Utilization: The scheduling algorithm should always make
the CPU utilization high. CPU utilization is a direct measure of how
much percentage of the CPU is being utilized.
•Throughput: This gives an indication of the number of processes
executed per unit of time. The throughput for a good scheduler
should always be higher.
•Turnaround Time: It is the amount of time taken by a process for
completing its execution. It includes the time spent by the process
for waiting for the main memory, time spent in the ready queue,
time spent on completing the I/O operations, and the time spent in
execution. The turnaround time should be a minimum for a good
scheduling algorithm.
64
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling - Scheduler Selection

The selection of a scheduling criteria/algorithm should consider


•Waiting Time: It is the amount of time spent by a process in the
‘Ready’ queue waiting to get the CPU time for execution. The
waiting time should be minimal for a good scheduling algorithm.
•Response Time: It is the time elapsed between the submission of a
process and the first response. For a good scheduling algorithm, the
response time should be as least as possible.

65
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling - Queues
The various queues maintained by OS in association with
CPU scheduling are
• Job Queue: Job queue contains all the processes in the
system
• Ready Queue: Contains all the processes, which are
ready for execution and waiting for CPU to get their
turn for execution. The Ready queue is empty when
there is no process ready for running.
• Device Queue: Contains the set of processes, which are
waiting for an I/O device

66
@ McGraw-Hill Education

Designing with RTOS


Task Scheduling – Task transition through various Queues

67
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – First Come First Served (FCFS)/
First In First Out (FIFO) Scheduling

✔ Allocates CPU time to the processes based on the order in which they enters the
‘Ready’ queue
✔ The first entered process is serviced first
✔ It is same as any real world application where queue systems are used; E.g.
Ticketing
Drawbacks:
✔ Favors monopoly of process. A process, which does not contain any I/O
operation, continues its execution until it finishes its task
✔ In general, FCFS favors CPU bound processes and I/O bound processes may have to
wait until the completion of CPU bound process, if the currently executing process is a
CPU bound process. This leads to poor device utilization.
✔ The average waiting time is not minimal for FCFS scheduling algorithm

68
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – First Come First Served (FCFS)/
First In First Out (FIFO) Scheduling
• Three processes with process IDs P1, P2, P3 with estimated completion time
10, 5, 7 milliseconds respectively enters the ready queue together in the order
P1, P2, P3. Calculate the waiting time and Turn Around Time (TAT) for each
process and the Average waiting time and Turn Around Time (Assuming there
is no I/O waiting for the processes).
The sequence of execution of the processes by the CPU is represented as

Assuming the CPU is readily available at the time of arrival of P1, P1 starts
executing without any waiting in the ‘Ready’ queue. Hence the waiting time for
P1 is zero.
69
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – First Come First Served (FCFS)/
First In First Out (FIFO) Scheduling
Waiting Time for P1 = 0 ms (P1 starts executing first)
Waiting Time for P2 = 10 ms (P2 starts executing after completing P1)
Waiting Time for P3 = 15 ms (P3 starts executing after completing P1 and P2)
Average waiting time = (Waiting time for all processes) / No. of Processes
= (Waiting time for (P1+P2+P3)) / 3
= (0+10+15)/3 = 25/3 = 8.33 milliseconds
Turn Around Time (TAT) for P1 = 10 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P2 = 15 ms (-Do-)
Turn Around Time (TAT) for P3 = 22 ms (-Do-)
Average Turn Around Time = (Turn Around Time for all processes) / No. of Processes
= (Turn Around Time for (P1+P2+P3)) / 3
= (10+15+22)/3 = 47/3
= 15.66 milliseconds
Average Turn Around Time (TAT) is the sum of average waiting time and average execution time.
The average Execution time = (Execution time for all processes)/No. of processes
= (Execution time for (P1+P2+P3))/3
= (10+5+7)/3 = 22/3 = 7.33 milliseconds
Average Turn Around Time = Average Waiting time + Average execution time
= 8.33 + 7.33
= 15.66 milliseconds
70
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Last Come First Served (LCFS)/
Last In First Out (LIFO) Scheduling

✔ Allocates CPU time to the processes based on the order in which they are
entered in the ‘Ready’ queue
✔ The last entered process is serviced first
✔ LCFS scheduling is also known as Last In First Out (LIFO) where the process,
which is put last into the ‘Ready’ queue, is serviced first

Drawbacks:
✔ Favors monopoly of process. A process, which does not contain any I/O
operation, continues its execution until it finishes its task
✔ In general, LCFS favors CPU bound processes and I/O bound processes may
have to wait until the completion of CPU bound process, if the currently
executing process is a CPU bound process. This leads to poor device utilization.
✔ The average waiting time is not minimal for LCFS scheduling algorithm
71
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Last Come First Served (LCFS)/
Last In First Out (LIFO) Scheduling
• Three processes with process IDs P1, P2, P3 with estimated completion time 10, 5, 7 milliseconds
respectively enters the ready queue together in the order P1, P2, P3 (Assume only P1 is present in
the ‘Ready’ queue when the scheduler picks up it and P2, P3 entered ‘Ready’ queue after that). Now
a new process P4 with estimated completion time 6ms enters the ‘Ready’ queue after 5ms of
scheduling P1. Calculate the waiting time and Turn Around Time (TAT) for each process and the
Average waiting time and Turn Around Time (Assuming there is no I/O waiting for the
processes).Assume all the processes contain only CPU operation and no I/O operations are involved.

Initially there is only P1 available in the Ready queue and the scheduling sequence will be P1, P3, P2.
P4 enters the queue during the execution of P1 and becomes the last process entered the ‘Ready’
queue. Now the order of execution changes to P1, P4, P3, and P2 as given below.

72
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Last Come First Served (LCFS)/
Last In First Out (LIFO) Scheduling
The waiting time for all the processes are given as

Waiting Time for P1 = 0 ms (P1 starts executing first)


Waiting Time for P4 = 5 ms (P4 starts executing after completing P1. But P4 arrived
after 5ms of execution of P1. Hence its waiting time = Execution start time – Arrival Time = 10-5 = 5)
Waiting Time for P3 = 16 ms (P3 starts executing after completing P1 and P4)
Waiting Time for P2 = 23 ms (P2 starts executing after completing P1, P4 and P3)
Average waiting time = (Waiting time for all processes) / No. of Processes
= (Waiting time for (P1+P4+P3+P2)) / 4
= (0 + 5 + 16 + 23)/4 = 44/4
= 11 milliseconds

Turn Around Time (TAT) for P1 = 10 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P4 = 11 ms (Time spent in Ready Queue + Execution Time = (Execution Start Time – Arrival
Time) + Estimated Execution Time = (10-5) + 6 = 5 + 6)
Turn Around Time (TAT) for P3 = 23 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P2 = 28 ms (Time spent in Ready Queue + Execution Time)

Average Turn Around Time = (Turn Around Time for all processes) / No. of Processes
= (Turn Around Time for (P1+P4+P3+P2)) / 4
= (10+11+23+28)/4 = 72/4
= 18 milliseconds
73
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Shortest Job First (SJF) Scheduling

✔ Allocates CPU time to the processes based on the execution completion time
for tasks
✔ The average waiting time for a given set of processes is minimal in SJF
scheduling
✔ Optimal compared to other non-preemptive scheduling like FCFS
Drawbacks:
✔ A process whose estimated execution completion time is high may not get a
chance to execute if more and more processes with least estimated execution
time enters the ‘Ready’ queue before the process with longest estimated
execution time starts its execution
✔ May lead to the ‘Starvation’ of processes with high estimated completion time
✔ Difficult to know in advance the next shortest process in the ‘Ready’ queue for
scheduling since new processes with different estimated execution time keep
entering the ‘Ready’ queue at any point of time.
74
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Shortest Job First (SJF) Scheduling

• Three processes with process IDs P1, P2, P3 with estimated completion time 10, 5, 7 milliseconds
respectively enters the ready queue together in the order P1, P2, P3 (Assume only P1 is present in
the ‘Ready’ queue when the scheduler picks up it and P2, P3 entered ‘Ready’ queue after that). Now
a new process P4 with estimated completion time 6ms enters the ‘Ready’ queue after 5ms of
scheduling P1. Calculate the waiting time and Turn Around Time (TAT) for each process and the
Average waiting time and Turn Around Time (Assuming there is no I/O waiting for the
processes).Assume all the processes contain only CPU operation and no I/O operations are involved.

Initially there is only P1 available in the Ready queue and the scheduling sequence will be P1, P3, P2.
P4 enters the queue during the execution of P1 and becomes the last process entered the ‘Ready’
queue. Now the order of execution changes to P1, P4, P3, and P2 as given below.

75
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Shortest Job First (SJF) Scheduling

The waiting time for all the processes are given as

Waiting Time for P1 = 0 ms (P1 starts executing first)


Waiting Time for P4 = 5 ms (P4 starts executing after completing P1. But P4 arrived
after 5ms of execution of P1. Hence its waiting time = Execution start time – Arrival Time = 10-5 = 5)
Waiting Time for P3 = 16 ms (P3 starts executing after completing P1 and P4)
Waiting Time for P2 = 23 ms (P2 starts executing after completing P1, P4 and P3)
Average waiting time = (Waiting time for all processes) / No. of Processes
= (Waiting time for (P1+P4+P3+P2)) / 4
= (0 + 5 + 16 + 23)/4 = 44/4
= 11 milliseconds

Turn Around Time (TAT) for P1 = 10 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P4 = 11 ms (Time spent in Ready Queue + Execution Time = (Execution Start Time – Arrival
Time) + Estimated Execution Time = (10-5) + 6 = 5 + 6)
Turn Around Time (TAT) for P3 = 23 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P2 = 28 ms (Time spent in Ready Queue + Execution Time)

Average Turn Around Time = (Turn Around Time for all processes) / No. of Processes
= (Turn Around Time for (P1+P4+P3+P2)) / 4
= (10+11+23+28)/4 = 72/4
= 18 milliseconds
76
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Priority based Scheduling

✔ A priority, which is unique or same is associated with each task


✔ The priority of a task is expressed in different ways, like a priority number, the
time required to complete the execution etc.
✔ In number based priority assignment the priority is a number ranging from 0 to
the maximum priority supported by the OS. The maximum level of priority is
OS dependent.
✔ Windows CE supports 256 levels of priority (0 to 255 priority numbers, with 0
being the highest priority)
✔ The priority is assigned to the task on creating it. It can also be changed
dynamically (If the Operating System supports this feature)
✔ The non-preemptive priority based scheduler sorts the ‘Ready’ queue based on
the priority and picks the process with the highest level of priority for execution

77
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Priority based Scheduling

• Three processes with process IDs P1, P2, P3 with estimated completion time 10, 5, 7 milliseconds
and priorities 0, 3, 2 (0- highest priority, 3 lowest priority) respectively enters the ready queue
together. Calculate the waiting time and Turn Around Time (TAT) for each process and the
Average waiting time and Turn Around Time (Assuming there is no I/O waiting for the processes)
in priority based scheduling algorithm.

• The scheduler sorts the ‘Ready’ queue based on the priority and schedules the process with the
highest priority (P1 with priority number 0) first and the next high priority process (P3 with
priority number 2) as second and so on. The order in which the processes are scheduled for
execution is represented as

78
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Priority based Scheduling
The waiting time for all the processes are given as

Waiting Time for P1 = 0 ms (P1 starts executing first)


Waiting Time for P3 = 10 ms (P3 starts executing after completing P1)
Waiting Time for P2 = 17 ms (P2 starts executing after completing P1 and P3)

Average waiting time = (Waiting time for all processes) / No. of Processes
= (Waiting time for (P1+P3+P2)) / 3
= (0+10+17)/3 = 27/3
= 9 milliseconds

Turn Around Time (TAT) for P1 = 10 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P3 = 17 ms (-Do-)
Turn Around Time (TAT) for P2 = 22 ms (-Do-)

Average Turn Around Time = (Turn Around Time for all processes) / No. of Processes
= (Turn Around Time for (P1+P3+P2)) / 3
= (10+17+22)/3 = 49/3
= 16.33 milliseconds

79
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Priority based Scheduling
Drawbacks:
✔ Similar to SJF scheduling algorithm, non-preemptive priority based algorithm
also possess the drawback of ‘Starvation’ where a process whose priority is low
may not get a chance to execute if more and more processes with higher
priorities enter the ‘Ready’ queue before the process with lower priority starts
its execution.
✔ ‘Starvation’ can be effectively tackled in priority based non-preemptive
scheduling by dynamically raising the priority of the low priority task/process
which is under starvation (waiting in the ready queue for a longer time for
getting the CPU time)
✔ The technique of gradually raising the priority of processes which are waiting in
the ‘Ready’ queue as time progresses, for preventing ‘Starvation’, is known as
‘Aging’.

80
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling

✔ Employed in systems, which implements preemptive multitasking model


✔ Every task in the ‘Ready’ queue gets a chance to execute. When and how often
each process gets a chance to execute (gets the CPU time) is dependent on the
type of preemptive scheduling algorithm used for scheduling the processes
✔ The scheduler can preempt (stop temporarily) the currently executing
task/process and select another task from the ‘Ready’ queue for execution
✔ When to pre-empt a task and which task is to be picked up from the ‘Ready’
queue for execution after preempting the current task is purely dependent on the
scheduling algorithm
✔ A task which is preempted by the scheduler is moved to the ‘Ready’ queue. The
act of moving a ‘Running’ process/task into the ‘Ready’ queue by the scheduler,
without the processes requesting for it is known as ‘Preemption’
✔ Time-based preemption and priority-based preemption are the two important
approaches adopted in preemptive scheduling
81
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Preemptive SJF Scheduling/
Shortest Remaining Time (SRT)
✔ The non preemptive SJF scheduling algorithm sorts the ‘Ready’ queue only
after the current process completes execution or enters wait state, whereas the
preemptive SJF scheduling algorithm sorts the ‘Ready’ queue when a new
process enters the ‘Ready’ queue and checks whether the execution time of the
new process is shorter than the remaining of the total estimated execution time
of the currently executing process
✔ If the execution time of the new process is less, the currently executing process
is preempted and the new process is scheduled for execution
✔ Always compares the execution completion time (ie the remaining execution
time for the new process) of a new process entered the ‘Ready’ queue with the
remaining time for completion of the currently executing process and schedules
the process with shortest remaining time for execution

82
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Preemptive SJF Scheduling

• Three processes with process IDs P1, P2, P3 with estimated completion time 10, 5, 7 milliseconds
respectively enters the ready queue together. A new process P4 with estimated completion time
2ms enters the ‘Ready’ queue after 2ms. Assume all the processes contain only CPU operation
and no I/O operations are involved.

• At the beginning, there are only three processes (P1, P2 and P3) available in the ‘Ready’ queue
and the SRT scheduler picks up the process with the Shortest remaining time for execution
completion (In this example P2 with remaining time 5ms) for scheduling. Now process P4 with
estimated execution completion time 2ms enters the ‘Ready’ queue after 2ms of start of execution
of P2. The processes are re-scheduled for execution in the following order

83
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Preemptive SJF Scheduling
The waiting time for all the processes are given as

Waiting Time for P2 = 0 ms + (4 -2) ms = 2ms (P2 starts executing first and is interrupted by P4 and has to wait till the completion of
P4 to get the next CPU slot)
Waiting Time for P4 = 0 ms (P4 starts executing by preempting P2 since the execution time for completion of P4 (2ms) is less than
that of the Remaining time for execution completion of P2 (Here it is 3ms))
Waiting Time for P3 = 7 ms (P3 starts executing after completing P4 and P2)
Waiting Time for P1 = 14 ms (P1 starts executing after completing P4, P2 and P3)
Average waiting time = (Waiting time for all the processes) / No. of Processes
= (Waiting time for (P4+P2+P3+P1)) / 4
= (0 + 2 + 7 + 14)/4 = 23/4
= 5.75 milliseconds

Turn Around Time (TAT) for P2 = 7 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P4 = 2 ms
(Time spent in Ready Queue + Execution Time = (Execution Start Time – Arrival Time) + Estimated Execution Time = (2-2) + 2)
Turn Around Time (TAT) for P3 = 14 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P1 = 24 ms (Time spent in Ready Queue + Execution Time)

Average Turn Around Time = (Turn Around Time for all the processes) / No. of Processes
= (Turn Around Time for (P2+P4+P3+P1)) / 4
= (7+2+14+24)/4 = 47/4
= 11.75 milliseconds
84
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Round Robin (RR) Scheduling

✔ Each process in the ‘Ready’ queue is executed for a


pre-defined time slot.
✔ The execution starts with picking up the first process
in the ‘Ready’ queue. It is executed for a pre-defined
time
✔ When the pre-defined time elapses or the process
completes (before the pre-defined time slice), the next
process in the ‘Ready’ queue is selected for
execution.
✔ This is repeated for all the processes in the ‘Ready’
queue
✔ Once each process in the ‘Ready’ queue is executed
for the pre-defined time period, the scheduler comes
back and picks the first process in the ‘Ready’ queue
again for execution
✔ Round Robin scheduling is similar to the FCFS
scheduling and the only difference is that a time slice
based preemption is added to switch the execution
between the processes in the ‘Ready’ queue 85
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Round Robin Scheduling

• Three processes with process IDs P1, P2, P3 with estimated completion time 6, 4, 2 milliseconds
respectively, enters the ready queue together in the order P1, P2, P3. Calculate the waiting time and
Turn Around Time (TAT) for each process and the Average waiting time and Turn Around Time
(Assuming there is no I/O waiting for the processes) in RR algorithm with Time slice= 2ms.

• The scheduler sorts the ‘Ready’ queue based on the FCFS policy and picks up the first process P1
from the ‘Ready’ queue and executes it for the time slice 2ms. When the time slice is expired, P1 is
preempted and P2 is scheduled for execution. The Time slice expires after 2ms of execution of P2.
Now P2 is preempted and P3 is picked up for execution. P3 completes its execution within the time
slice and the scheduler picks P1 again for execution for the next time slice. This procedure is
repeated till all the processes are serviced. The order in which the processes are scheduled for
execution is represented as

86
@ McGraw-Hill Education

Designing with RTOS


Non-preemptive scheduling – Round Robin Scheduling
The waiting time for all the processes are given as

Waiting Time for P1 = 0 + (6-2) + (10-8) = 0+4+2= 6ms (P1 starts executing first and waits for two time slices to get
execution back and again 1 time slice for getting CPU time)
Waiting Time for P2 = (2-0) + (8-4) = 2+4 = 6ms (P2 starts executing after P1 executes for 1 time slice and waits for two
time slices to get the CPU time)
Waiting Time for P3 = (4 -0) = 4ms (P3 starts executing after completing the first time slices for P1 and P2 and completes its
execution in a single time slice.)
Average waiting time = (Waiting time for all the processes) / No. of Processes
= (Waiting time for (P1+P2+P3)) / 3
= (6+6+4)/3 = 16/3
= 5.33 milliseconds

Turn Around Time (TAT) for P1 = 12 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P2 = 10 ms (-Do-)
Turn Around Time (TAT) for P3 = 6 ms (-Do-)

Average Turn Around Time = (Turn Around Time for all the processes) / No. of Processes
= (Turn Around Time for (P1+P2+P3)) / 3
= (12+10+6)/3 = 28/3
= 9.33 milliseconds

87
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Priority based Scheduling

✔ Same as that of the non-preemptive priority based scheduling except for the
switching of execution between tasks
✔ In preemptive priority based scheduling, any high priority process entering the
‘Ready’ queue is immediately scheduled for execution whereas in the
non-preemptive scheduling any high priority process entering the ‘Ready’
queue is scheduled only after the currently executing process completes its
execution or only when it voluntarily releases the CPU
✔ The priority of a task/process in preemptive priority based scheduling is
indicated in the same way as that of the mechanisms adopted for
non-preemptive multitasking

88
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Priority based Scheduling

• Three processes with process IDs P1, P2, P3 with estimated completion time 10, 5, 7 milliseconds
and priorities 1, 3, 2 (0- highest priority, 3 lowest priority) respectively enters the ready queue
together. A new process P4 with estimated completion time 6ms and priority 0 enters the ‘Ready’
queue after 5ms of start of execution of P1. Assume all the processes contain only CPU operation
and no I/O operations are involved.

• At the beginning, there are only three processes (P1, P2 and P3) available in the ‘Ready’ queue
and the scheduler picks up the process with the highest priority (In this example P1 with priority
1) for scheduling. Now process P4 with estimated execution completion time 6ms and priority 0
enters the ‘Ready’ queue after 5ms of start of execution of P1. The processes are re-scheduled for
execution in the following order

89
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Priority based Scheduling
The waiting time for all the processes are given as

Waiting Time for P1 = 0 + (11-5) = 0+6 =6 ms (P1 starts executing first and gets preempted by P4 after 5ms and
again gets the CPU time after completion of P4)
Waiting Time for P4 = 0 ms (P4 starts executing immediately on entering the ‘Ready’ queue, by preempting P1)
Waiting Time for P3 = 16 ms (P3 starts executing after completing P1 and P4)
Waiting Time for P2 = 23 ms (P2 starts executing after completing P1, P4 and P3)
Average waiting time = (Waiting time for all the processes) / No. of Processes
= (Waiting time for (P1+P4+P3+P2)) / 4
= (6 + 0 + 16 + 23)/4 = 45/4
= 11.25 milliseconds
Turn Around Time (TAT) for P1 = 16 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P4 = 6ms (Time spent in Ready Queue + Execution Time = (Execution Start Time –
Arrival Time) + Estimated Execution Time = (5-5) + 6 = 0 + 6)
Turn Around Time (TAT) for P3 = 23 ms (Time spent in Ready Queue + Execution Time)
Turn Around Time (TAT) for P2 = 28 ms (Time spent in Ready Queue + Execution Time)
Average Turn Around Time = (Turn Around Time for all the processes) / No. of Processes
= (Turn Around Time for (P2+P4+P3+P1)) / 4
= (16+6+23+28)/4 = 73/4
= 18.25 milliseconds
90
@ McGraw-Hill Education

Designing with RTOS


Preemptive scheduling – Priority based Scheduling
Summary:
✔ Priority based preemptive scheduling gives real time attention to high priority
tasks
✔ Priority based preemptive scheduling is adopted in systems which demands
‘Real Time’ behavior
✔ Most of the RTOSs implements the preemptive priority based scheduling
algorithm for process/task scheduling
✔ Preemptive priority based scheduling also possess the same drawback of
non-preemptive priority based scheduling – ‘Starvation’
✔ This can be eliminated by the ‘Aging’ technique (Temporarily boosting the
priority of a task which is ‘starving’ for a long time

91
@ McGraw-Hill Education

Multitasking and Task Scheduling


Learning Summary
✔ The ability of a system to execute multiple processes/tasks simultaneously is known as
multiprocessing, whereas the ability of an operating system to hold multiple processes in
memory and switch the processor (CPU) from executing one process to another process is
known as multitasking.
✔ Multitasking involves Context Switching, Context Saving and Context Retrieval
✔ Co-operative multitasking, Preemptive multitasking and Non-preemptive multitasking are the
three important types of multitasking which exist in the Operating system context
✔ CPU utilization, Throughput, Turn Around Time (TAT), Waiting Time and Response Time are
the important criterions that need to be considered for the selection of a scheduling algorithm
for task scheduling
✔ A good scheduling algorithm provides high CPU utilization, minimum Turn Around Time
(TAT), maximum throughput and least response time.
✔ Job queue, Ready queue and Device queue are the important queues maintained by an
operating system in association with CPU scheduling
✔ First Come First Served (FCFS)/First in First Out (FIFO), Last Come First Served (LCFS)/Last
in First Out (LIFO), Shortest Job First (SJF), priority based scheduling etc are examples for
Non-preemptive scheduling,
✔ Preemptive SJF Scheduling/ Shortest Remaining Time (SRT), Round Robin (RR) scheduling
and priority based scheduling are examples for preemptive scheduling
92
@ McGraw-Hill Education

93
@ McGraw-Hill Education

Designing with RTOS


Task Communication
In a multitasking system, multiple tasks/processes run concurrently (in pseudo parallelism)
and each process may or may not interact between. Based on the degree of interaction,
the processes /tasks running on an OS are classified as

• Co-operating Processes: In the co-operating interaction model one process requires the
inputs from other processes to complete its execution.
• Competing Processes: The competing processes do not share anything among
themselves but they share the system resources. The competing processes compete for
the system resources such as file, display device etc

The co-operating processes exchanges information and communicate through


• Co-operation through sharing: Exchange data through some shared resources.
• Co-operation through Communication: No data is shared between the processes. But
they communicate for execution synchronization.

94
@ McGraw-Hill Education

Designing with RTOS


Inter Process (Task) Communication (IPC)
✔ IPC refers to the mechanism through which tasks/processes communicate each other
✔ IPC is essential for task /process execution co-ordination and synchronization
✔ Implementation of IPC mechanism is OS kernel dependent
✔ Some important IPC mechanisms adopted by OS kernels are:
✔ Shared Memory
✔ Global Variables
✔ Pipes (Named & Un-named)
✔ Memory mapped Objects
✔ Message Passing
✔ Message Queues
✔ Mailbox
✔ Mail slot
✔ Signals
✔ Remote Procedure Calls (RPC)

95
@ McGraw-Hill Education

Designing with RTOS


IPC – Shared Memory
✔ Processes share some area of the memory to communicate among them
✔ Information to be communicated by the process is written to the shared
memory area
✔ Processes which require this information can read the same from the shared
memory area
✔ Same as the real world concept where a ‘Notice Board’ is used by the college
to publish the information for students (The only exception is; only college has
the right to modify the information published on the Notice board and students
are given ‘Read’ only access. Meaning it is only a one way channel)

Concept of Shared Memory

96
@ McGraw-Hill Education

Designing with RTOS


IPC – Shared Memory: Pipes
‘Pipe’ is a section of the shared memory used by processes for
communicating. Pipes follow the client-server architecture. A
process which creates a pipe is known as pipe server and a process
which connects to a pipe is known as pipe client. A pipe can be
considered as a conduit for information flow and has two conceptual
ends. It can be unidirectional, allowing information flow in one
direction or bidirectional allowing bi-directional information flow. A
unidirectional pipe allows the process connecting at one end of the
pipe to write to the pipe and the process connected at the other end
of the pipe to read the data, whereas a bi-directional pipe allows both
reading and writing at one end

Concept of Shared Memory 97


@ McGraw-Hill Education

Designing with RTOS


IPC – Shared Memory: Pipes
The implementation of ‘Pipes’ is OS dependent. Microsoft® Windows Desktop
Operating Systems support two types of ‘Pipes’ for Inter Process Communication.
Namely;
•Anonymous Pipes: The anonymous pipes are unnamed, unidirectional pipes used
for data transfer between two processes.
•Named Pipes: Named pipe is a named, unidirectional or bi-directional pipe for
data exchange between processes. Like anonymous pipes, the process which
creates the named pipe is known as pipe server. A process which connects to the
named pipe is known as pipe client. With named pipes, any process can act as both
client and server allowing point-to-point communication. Named pipes can be
used for communicating between processes running on the same machine or
between processes running on different machines connected to a network

Concept of Shared Memory 98


@ McGraw-Hill Education

Designing with RTOS

IPC – Shared Memory: Memory Mapped Objects


✔ A shared memory technique adopted by certain Real Time Operating Systems
for allocating a shared block of memory which can be accessed by multiple
process simultaneously (of course certain synchronization techniques should
be applied to prevent inconsistent results).
✔ A mapping object is created and physical storage for it is reserved and
committed.
✔ A process can map the entire committed physical area or a block of it to its
virtual address space
✔ All read and write operation to this virtual address space by a process is
directed to its committed physical area
✔ Any process which wants to share data with other processes can map the
physical memory area of the mapped object to its virtual memory space and
use it for sharing the data.

Concept of Shared Memory 99


@ McGraw-Hill Education

Designing with RTOS

Concept of Shared Memory 10


0
@ McGraw-Hill Education

Designing with RTOS


IPC – Shared Memory: Memory Mapped Objects
Windows CE 5.0 RTOS uses the memory mapped object based shared memory technique for Inter
Process Communication

//Create a Mapping from the system memory

CreateFileMapping (HANDLE hFile, LPSECURITY_ATTRIBUTES lpFileMappingAttributes, DWORD flProtect,


DWORD dwMaximumSizeHigh, DWORD dwMaximumSizeLow, LPCTSTR lpName)

lpFileMappingAttributes: The security attributes and it must be NULL.


flProtect : Specify read write access for the shared memory area. PAGE_READONLY Read only
access PAGE_READWRITE Read-Write access
dwMaximumSizeHigh : Specifies the higher order 32 bits of the maximum size of the memory mapped
object
dwMaximumSizeLow : Specifies the lower order 32 bits of the maximum size of the memory mapped
object.
lpName : Points to a null terminated string specifying the name of the memory mapped object. The
memory mapped object is created as unnamed object if the parameter lpName is NULL.

10
1
@ McGraw-Hill Education

Designing with RTOS


IPC – Shared Memory: Memory Mapped Objects

// Maps a view of the memory mapped object to the address space of the calling process

MapViewOfFile (HANDLE hFileMappingObject DWORD dwDesiredAccess, DWORD dwFileOffsetHigh, DWORD


dwFileOffsetLow, DWORD dwNumberOfBytesToMap)

hFileMappingObject : Specifies the handle to an existing memory mapped object


dwDesiredAccess : Specify the read write access for the mapped view area. FILE_MAP_WRITE makes
the view access read-write, provided the memory mapped object hFileMappingObject is created with
read-write access, whereas the value FILE_MAP_READ gives read only access to the shared memory
dwFileOffsetHigh : Specifies the higher order 32 bits of the memory offset where mapping is to begin
from the memory mapped object
dwFileOffsetLow specifies the lower order 32 bits of the memory offset where mapping is to begin
from the memory mapped object. A value of ‘0’ for both of these maps the view from the beginning
memory area of the memory object
dwNumberOfBytesToMap : Specifies the number of bytes of the memory object to map. If
dwNumberOfBytesToMap is zero, the entire memory area owned by the memory mapped object is
mapped.
10
2
@ McGraw-Hill Education

Designing with RTOS


IPC – Message Passing
✔ A synchronous/asynchronous information exchange mechanism
for Inter Process/ thread Communication
✔ Through shared memory lot of data can be shared whereas only
limited amount of info/data is passed through message passing
✔ Message passing is relatively fast and free from the
synchronization overheads compared to shared memory

10
3
@ McGraw-Hill Education

Designing with RTOS


IPC – Message Passing: Message Queues

✔ Process which wants to talk to another process


posts the message to a First-In-First-Out
(FIFO) queue called ‘Message queue’, which
stores the messages temporarily in a system
defined memory object, to pass it to the desired
process
✔ Messages are sent and received through send
(Name of the process to which the message is
to be sent, message) and receive (Name of the
process from which the message is to be
received, message) methods
✔ The messages are exchanged through a Concept of Message Queue
message queue
✔ The implementation of the message queue,
send and receive methods are OS kernel
dependent.

10
4
@ McGraw-Hill Education

Designing with RTOS


IPC – Message Passing: Mailbox

✔ A special implementation of message queue


✔ Usually used for one way communication
✔ Only a single message is exchanged through
mailbox whereas ‘message queue’ can be used for
exchanging multiple messages
✔ One task/process creates the mailbox and other
tasks/process can subscribe to this mailbox for
getting message notification
✔ The implementation of the mailbox is OS kernel
dependent
✔ The MicroC/OS-II RTOS implements mailbox as a
mechanism for inter task communication
Concept of Message Queue

10
5
@ McGraw-Hill Education

Designing with RTOS


IPC – Message Passing: Signal
✔ An asynchronous notification mechanism
✔ Mainly used for the execution synchronization of tasks process/tasks
✔ Signal do not carry any data and are not queued
✔ The implementation of signals is OS kernel dependent
✔ VxWorks RTOS kernel implements ‘signals’ for inter process communication
✔ A task/process can create a set of signals and register for it
✔ A task or Interrupt Service Routine (ISR) can signal a ‘signal’
✔ Whenever a specified signal occurs it is handled in a signal handler associated
with the signal

10
6
@ McGraw-Hill Education

Designing with RTOS


IPC – Remote Procedure Call (RPC)
✔ The IPC mechanism used by a process to call a procedure of another process running on
the same CPU or on a different CPU which is interconnected in a network
✔ In the object oriented language terminology RPC is also known as Remote Invocation or
Remote Method Invocation (RMI)
✔ RPC is mainly used for distributed applications like client-server applications
✔ With RPC it is possible to communicate over a heterogeneous network (i.e. Network
where Client and server applications are running on different Operating systems)
✔ The CPU/Process containing the procedure which needs to be invoked remotely is
known as server
✔ The CPU/Process which initiates an RPC request is known as client
✔ In order to make the RPC communication compatible across all platforms it should stick
on to certain standard formats
✔ Interface Definition Language (IDL) defines the interfaces for RPC
✔ Microsoft Interface Definition Language (MIDL) is the IDL implementation from
Microsoft for all Microsoft platforms
✔ The RPC communication can be either Synchronous (Blocking) or Asynchronous
(Non-blocking) 10
7
@ McGraw-Hill Education

Designing with RTOS


IPC – Remote Procedure Call (RPC)

Concept of Remote Procedure Call (RPC) for IPC


10
8
@ McGraw-Hill Education

Designing with RTOS


IPC – Remote Procedure Call (RPC)
✔ RPC uses sockets for implementing communication
✔ Socket is a logical endpoint in a two-way communication link between two
applications running on a network.
✔ A port number is associated with a socket so that the network layer of the
communication channel can deliver the data to the designated application
✔ Sockets are of different types namely; Internet sockets (INET), UNIX sockets etc.
✔ The INET Socket works on Internet Communication protocol. TCP/IP, UDP etc are
the communication protocols used by INET sockets
✔ INET sockets are classified into:
✔ Stream Sockets
✔ Datagram Sockets
✔ Stream sockets are connection oriented and they use TCP to establish a reliable
connection
✔ Datagram Sockets rely on UDP for establishing a connection

10
9
@ McGraw-Hill Education

Multitasking and Task Communication


Learning Summary
✔ Processes in a multitasking system can be either Co-operating or Competing
✔ The co-operating processes share data for communicating among the processes
through Inter Process Communication (IPC), whereas competing processes do not
share anything among themselves but they share the system resources like display
devices, keyboard etc
✔ Shared memory, message passing and Remote Procedure Calls (RPC) are the
important IPC mechanisms through which co-operating processes communicate in
an Operating system environment
✔ Pipes (Named & Un-named), shared buffers, memory mapped objects etc are
examples of shared memory
✔ Message queues, mailbox, signals etc are examples of message passing technique
✔ The implementation of the IPC mechanism is OS kernel dependent

11
0
@ McGraw-Hill Education

11
1
@ McGraw-Hill Education

PROPRIETARY MATERIAL. © 2009 The McGraw-Hill Companies, Inc. All rights reserved. No part of this PowerPoint slide may be displayed, reproduced or distributed
in any form or by any means, without the prior written permission of the publisher, or used beyond the limited distribution to teachers and educators permitted by McGraw-Hill
for their individual course preparation. If you are a student using this PowerPoint slide, you are using it without permission.
11
2
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization

✔ Multiple processes may try to access and modify shared resources in a


multitasking environment. This may lead to conflicts and inconsistent results
✔ Processes should be made aware of the access of a shared resource by each
process and should not be allowed to access a shared resource when it is
currently being accessed by another processes
✔ The act of making processes aware of the access of shared resources by each
process to avoid conflicts is known as ‘Task/Process Synchronization’
✔ Task Synchronization is essential for avoiding conflicts in shared resource
access and ensuring a specified sequence for task execution
✔ Various synchronization issues may arise in a multitasking environment if
processes are not synchronized properly in shared resource access

11
3
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Racing
Have a look at the following piece of code
#include <stdio.h>
//****************************************************************
//counter is an integer variable and Buffer is a byte array shared //between two processes Process A and Process B
char Buffer[10] = {1,2,3,4,5,6,7,8,9,10};
short int counter = 0;
//****************************************************************
// Process A
void Process_A (void) {
int i;
for (i =0; i<5; i++)
{
if (Buffer[i] > 0)
counter++;
}
}
//****************************************************************
// Process B
void Process_B(void) {
int j;
for (j =5; j<10; j++)
{
if (Buffer[j] > 0)
counter++;
}
}
//****************************************************************
//Main Thread.
int main() {
DWORD id;
CreateThread(NULL,0, (LPTHREAD_START_ROUTINE)Process_A, (LPVOID)0,0,&id);
CreateThread(NULL,0, (LPTHREAD_START_ROUTINE)Process_B, (LPVOID)0,0,&id);
Sleep(100000);
return 0;
}
11
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Racing
From a programmer perspective, the value of counter will be 10 at
the end of execution of processes A & B. But it need not be
always. program statement counter++; looks like a single
statement from a high level programming language (C Language)
perspective. The low level implementation of this statement is
dependent on the underlying processor instruction set and the
(cross) compiler in use. The low level implementation of the high
level program statement counter++; under Windows XP
operating system running on an Intel Centrino Duo processor is
given below. The code snippet is compiled with Microsoft Visual
Studio 6.0 compiler.
mov eax,dword ptr [ebp-4];Load counter in Accumulator
add eax,1 ; Increment Accumulator by 1
mov dword ptr [ebp-4],eax ;Store counter with Accumulator 11
5
@ McGraw-Hill Education

Designing with RTOS


At the processor instruction level, the value of the variable counter is
loaded to the Accumulator register (EAX Register). The memory
variable counter is represented using a pointer. The base pointer
register (EBP Register) is used for pointing to the memory variable
counter. After loading the contents of the variable counter to the
Accumulator, the Accumulator content is incremented by one using
the add instruction. Finally the content of Accumulator is loaded to
the memory location which represents the variable counter. Both the
processes Process A and Process B contain the program statement
counter++; Translating this into the machine instruction.

11
6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Racing
Imagine a situation where a process switching (context switching) happens from
Process A to Process B when Process A is executing the counter++; statement.
Process A accomplishes the counter++; statement through three different low
level instructions. Now imagine that the process switching happened at the
point where Process A executed the low level instruction mov eax,dword ptr
[ebp-4] and is about to execute the next instruction add eax,1. The scenario is
illustrated below.

11
7
@ McGraw-Hill Education

Designing with RTOS

Process B increments the shared variable ‘counter’ in the middle of


the operation where Process A tries to increment it. When Process A
gets the CPU time for execution, it starts from the point where it got
interrupted (If Process B is also using the same registers eax and ebp
for executing counter++; instruction, the original content of these
registers will be saved (PUSHed) by Process B before using it and
the contents will be retrieved (POPed) after finishing the operation.
Hence the content of eax and ebp remains intact irrespective of
context switching). Though the variable counter is incremented by
Process B, Process A is unaware of it and it increments the variable
with the old value. This leads to the loss of one increment for the
variable counter.

11
8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock
Deadlock is the condition in which a process is waiting for a resource held by
another process which is waiting for a resource held by the first process

Process A holds a resource ‘x’ and it wants a resource ‘y’ held by Process B.
Process B is currently holding resource ‘y’ and it wants the resource ‘x’ which
is currently held by Process A. Both hold the respective resources and they
compete each other to get the resource held by the respective processes

Deadlock Visualization 11
Scenarios leading to Deadlock
9
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Conditions favoring
deadlock
❑ Mutual Exclusion: The criteria that only one process can hold a
resource at a time. Meaning processes should access shared
resources with mutual exclusion. Typical example is the
accessing of display device in an embedded device
❑ Hold & Wait: The condition in which a process holds a shared
resource by acquiring the lock controlling the shared access and
waiting for additional resources held by other processes
❑ No Resource Preemption: The criteria that Operating System
cannot take back a resource from a process which is currently
holding it and the resource can only be released voluntarily by the
process holding it

12
0
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Conditions favoring
deadlock
❑ Circular Wait: A process is waiting for a resource which is
currently held by another process which in turn is waiting for a
resource held by the first process. In general there exists a set of
waiting process P0, P1 …. Pn with P0 is waiting for a resource
held by P1 and P1 is waiting for a resource held by P0, ……, Pn is
waiting for a resource held by P0 and P0 is waiting for a resource
held by Pn and so on… This forms a circular wait queue.

‘Deadlock’ is a result of the combined occurrence of these four


conditions listed above. These conditions are first described by E.
G. Coffman in 1971 and it is popularly known as Coffman
conditions.
12
1
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Handling deadlock

A smart OS may foresee the deadlock condition and will act


proactively to avoid such a situation. Now if a deadlock occurred,
how the OS responds to it? The reaction to deadlock condition by
OS is non uniform. The OS may adopt any of the following
techniques to detect and prevent deadlock conditions.
❑ Ignore Deadlocks: Always assume that the system design is
deadlock free. This is acceptable for the reason the cost of
removing a deadlock is large compared to the chance of
happening a deadlock. UNIX is an example for an OS following
this principle. A life critical system cannot pretend that it is
deadlock free for any reason

12
2
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Handling deadlock
❑ Detect and Recover: This approach suggests the detection of a deadlock
situation and recovery from it. This is similar to the deadlock condition that
may arise at a traffic junction. When the vehicles from different directions
compete to cross the junction, deadlock (traffic jam) condition is resulted. Once
a deadlock (traffic jam) is happened at the junction, the only solution is to back
up the vehicles from one direction and allow the vehicles from opposite
direction to cross the junction. If the traffic is too high, lots of vehicles may
have to be backed up to resolve the traffic jam. This technique is also known as
‘back up cars’ technique
Operating Systems keep a resource graph in their memory. The resource
graph is updated on each resource request and release. A deadlock condition
can be detected by analyzing the resource graph by graph analyzer algorithms.
Once a deadlock condition is detected, the system can terminate a process or
preempt the resource to break the deadlocking cycle.

12
3
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Handling deadlock

❑ Avoid Deadlocks: Deadlock is avoided by the careful resource allocation


techniques by the Operating System. It is similar to the traffic light mechanism
at junctions to avoid the traffic jams.
❑ Prevent Deadlocks: Prevent the deadlock condition by negating one of the four
conditions favoring the deadlock situation.
✔ Ensure that a process does not hold any other resources when it requests a
resource. This can be achieved by implementing the following set of
rules/guidelines in allocating resources to processes
1. A process must request all its required resource and the resources should be
allocated before the process begins its execution.
2. Grant resource allocation requests from processes only if the process does
not hold a resource currently

12
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Deadlock: Handling deadlock
✔ Ensure that resource preemption (resource releasing) is possible at
operating system level. This can be achieved by implementing the
following set of rules/guidelines in resources allocation and
releasing
1. Release all the resources currently held by a process if a
request made by the process for a new resource is not able to
fulfill immediately.
2. Add the resources which are preempted (released) to a
resource list describing the resources which the process
requires to complete its execution.
3. Reschedule the process for execution only when the process
gets its old resources and the new resource which is requested
by the process.
12
5
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Livelock & Starvation
❑ Livelock
The Livelock condition is similar to the deadlock condition
except that a process in livelock condition changes its state with
time. While in deadlock a process enters in wait state for a
resource and continues in that state forever without making any
progress in the execution. In a livelock condition a process always
do something but unable to make any progress in the execution
completion. The livelock condition is better explained with the
real world example, two people attempting to cross each other in a
narrow corridor. Both of the persons move towards each side of
the corridor to allow the opposite person to cross. Since the
corridor is narrow, none of them are able to cross each other. Here
both of the persons perform some action but still they are unable
to achieve their target- Cross each other 12
6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Livelock & Starvation

❑ Starvation
In the task synchronization issue context, starvation is the
condition in which a process does not get the resources required to
continue its execution for a long time. As time progresses the
process starves on resource. Starvation may arise due to various
conditions like byproduct of preventive measures of deadlock,
scheduling policies favoring high priority tasks and tasks with
shortest execution time etc.

12
7
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Dining Philosophers Problem
Five philosophers (It can be ‘n’. The number 5 is taken for illustration) are sitting around a round table,
involved in eating and brainstorming. At any point of time each philosopher will be in any one of the three
states: eating, hungry or brainstorming. (While eating the philosopher is not involved in brainstorming
and while brainstorming the philosopher is not involved in eating). For eating, each philosopher requires
2 forks. There are only 5 forks available on the dining table (‘n’ for ‘n’ number of philosophers) and they
are arranged in a fashion one fork in between two philosophers. The philosopher can only use the forks on
his/her immediate left and right that too in the order pickup the left fork first and then the right fork.
Analyze the situation and explain the possible outcomes of this scenario.

12
8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Dining Philosophers Problem
❑ Scenario 1: All philosophers involve in brainstorming together and try to eat together. Each philosopher picks up
the left fork and unable to proceed since two forks are required for eating the spaghetti present in the plate.
Philosopher-1 thinks that Philosopher-2 sitting to the right of him/her will put the fork down and waits for it.
Philosopher-2 thinks that Philosopher-3 sitting to the right of him/her will put the fork down and waits for it and
so on. This forms a circular chain of un-granted requests. If the philosophers continue in this state waiting for the
fork from the philosopher sitting to the right of each, they will not make any progress in eating and this will result
in starvation of the philosophers and deadlock.
❑ Scenario 2: All philosophers start brainstorming together. One of the philosophers is hungry and he/she picks up
the left fork. When the philosopher is about to pick up the right fork, the philosopher sitting to his right also
become hungry and he tries to grab the left fork which is the right fork for his neighboring philosopher who is
trying to lift it, resulting in a ‘Race condition’
❑ Scenario 3: All philosophers involve in brainstorming together and try to eat together. Each philosopher picks up
the left fork and unable to proceed, since two forks are required for eating the spaghetti present in the plate. Each
of them anticipates that the adjacently sitting philosopher will put his/her fork down and waits for a fixed duration
and after this puts the fork down. Each of them again tries to lift the fork after a fixed duration of time. Since all
philosophers are trying to lift the fork together, none of them will be able to grab two forks. This condition leads
to livelock and starvation of philosophers, where each philosopher tries to do something, but they are unable to
make any progress in achieving the target.

12
9
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Dining Philosophers Problem

The ‘Real Problems’ in the ‘Dining Philosophers problem’ 13


(a) Starvation & Deadlock (b) Racing (c) Livelock & Starvation 0
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Producer Consumer/Bounded Buffer Problem

✔ A common data sharing problem where two tasks/processes concurrently access


a shared buffer with fixed size
✔ A thread/process which produces data is called ‘Producer thread/process’ and
a thread/process which consumes the data produced by a producer
thread/process is known as ‘Consumer thread/process’
✔ There may be chances where in which the producer produces data at a faster
rate than the rate at which it is consumed by the consumer. This will lead to
‘buffer overrun’ where the producer tries to put data to a full buffer
✔ If the consumer consumes data at a faster rate than the rate at which it is
produced by the producer, it will lead to the situation ‘buffer under-run’ in
which the consumer tries to read from an empty buffer and will end up in
reading the old data

13
1
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Producer Consumer/Bounded Buffer Problem

13
2
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Readers-Writers Problem

✔ A common issue observed in processes competing for limited shared resources


✔ Characterized by multiple processes trying to read and write shared data
concurrently
✔ A typical real world example for the Readers-Writers problem is the banking
system where one process tries to read the account information like available
balance and the other process tries to update the available balance for that
account. This will result in inconsistent results.
✔ If multiple processes try to read a shared data concurrently it may not create any
impacts, whereas when multiple processes try to write and read concurrently it
will definitely create inconsistent results

13
3
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion

✔ Priority inversion is the byproduct of the combination of blocking based (lock


based) process synchronization and pre-emptive priority scheduling
✔ ‘Priority inversion’ is the condition in which a high priority task needs to wait
for a low priority task to release a resource which is shared between the high
priority task and the low priority task and a medium priority task which doesn’t
require the shared resource for its execution preempts the low priority task and
continue its execution
✔ Priority based preemptive scheduling technique ensures that a high priority task
is always executed first, whereas the lock based process synchronization
mechanism (like mutex, semaphore etc) ensures that a process will not access a
shared resource, which is currently in use by another process
✔ The synchronization technique is only interested in avoiding conflicts that may
arise due to the concurrent access of the shared resources and not at all bothered
about the priority of the process which tries to access the shared resource.
13
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion

Priority inversion is the byproduct of the combination of blocking based


(lock based) process synchronization and pre-emptive priority scheduling. ‘ 13
5
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion Avoidance
Policies: Priority Inheritance

A low-priority task that is currently accessing (by holding the lock) a


shared resource requested by a high-priority task temporarily ‘inherits’
the priority of that high-priority task, from the moment the
high-priority task raises the request. Boosting the priority of the low
priority task to that of the priority of the task which requested the
shared resource holding by the low priority task eliminates the
preemption of the low priority task by other tasks whose priority are
below that of the task requested the shared resource and thereby
reduces the delay in waiting to get the resource requested by the high
priority task. The priority of the low priority task which is temporarily
boosted to high is brought to the original value when it releases the
shared resource. 13
6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion Avoidance Policy: Priority
Inheritance

Priority inheritance is only a work around and it will not


eliminate the delay in waiting the high priority task to get the
resource from the low priority task. The only thing is that it
helps the low priority task to continue its execution and release
the shared resource as soon as possible.

13
7
@ McGraw-Hill Education

13
Priority Inversion Avoidance Policy: Priority Inheritance 8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion Avoidance Policies: Priority
Ceiling

A priority is associated with each shared resource. The priority associated to each
resource is the priority of the highest priority task which uses this shared resource.
This priority level is called Ceiling priority. Whenever a task accesses a shared
resource, the scheduler elevates the priority of the task to that of the ceiling priority
of the resource. If the task which accesses the shared resource is a low priority task,
its priority is temporarily boosted to the priority of the highest priority task to which
the resource is also shared. This eliminates the pre-emption of the task by other
medium priority tasks leading to priority inversion. The priority of the task is
brought back to the original level once the task completes the accessing of the shared
resource. ‘Priority Ceiling’ brings the added advantage of sharing resources without
the need for synchronization techniques like locks. Since the priority of the task
accessing a shared resource is boosted to the highest priority of the task among
which the resource is shared, the concurrent access of shared resource is
automatically handled. Another advantage of ‘Priority Ceiling’ technique is that all
the overheads are at compile time instead of run-time 13
9
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Issues – Priority Inversion Avoidance Policy: Priority Ceiling

The biggest drawback of ‘Priority Ceiling’ is that it may


produce hidden priority inversion. With ‘Priority Ceiling’
technique, the priority of a task is always elevated no
matter another task wants the shared resources. This
unnecessary priority elevation always boosts the priority of
a low priority task to that of the highest priority tasks
among which the resource is shared and other tasks with
priorities higher than that of the low priority task is not
allowed to preempt the low priority task when it is
accessing a shared resource
14
0
@ McGraw-Hill Education

Task Synchronization Issues – Priority Inversion Avoidance Policy: Priority Ceiling

14
1
@ McGraw-Hill Education

Multitasking and Task Communication


Learning Summary
✔ Racing, deadlock, livelock, starvation, producer-consumer problem,
Readers-Writers problem and priority inversion are some of the problems involved
in shared resource access in task communication through sharing
✔ The ‘Dining Philosophers Problem’ is a real life representation of the deadlock,
starvation, livelock and ‘Racing’ issues in shared resource access in Operating
system context
✔ Priority Inversion is the condition in which a medium priority task gets the CPU for
execution, when a high priority task needs to wait for a low priority task to release
a resource which is shared between the high priority task and the low priority task
✔ Priority Inheritance and Priority Ceiling are the two mechanisms for avoiding
Priority Inversion in a multitasking environment

14
2
@ McGraw-Hill Education

14
3
@ McGraw-Hill Education

PROPRIETARY MATERIAL. © 2009 The McGraw-Hill Companies, Inc. All rights reserved. No part of this PowerPoint slide may be displayed, reproduced or distributed
in any form or by any means, without the prior written permission of the publisher, or used beyond the limited distribution to teachers and educators permitted by McGraw-Hill
for their individual course preparation. If you are a student using this PowerPoint slide, you are using it without permission.
14
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Techniques

Process/Task synchronization is essential for


✔ Avoiding conflicts in resource access (racing, deadlock,
starvation, livelock etc) in multitasking environment.
✔ Ensuring proper sequence of operation across processes. The
producer consumer problem is a typical example for processes
requiring proper sequence of operation. In producer consumer
problem, accessing the shared buffer by different processes is
not the issue, the issue is the writing process should write to
the shared buffer only if the buffer is not full and the consumer
thread should not read from the buffer if it is empty. Hence
proper synchronization should be provided to implement this
sequence of operations
14
5
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization Techniques

Process/Task synchronization is essential for


✔ Communicating between processes
The code memory area which holds the program
instructions (piece of code) for accessing a shared
resource (like shared memory, shared variables etc) is
known as ‘Critical Section’. In order to synchronize
the access to shared resources, the access to the
critical section should be exclusive

14
6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion
✔ In order to synchronize the access to shared resources,
the access to the critical section should be exclusive
✔ The exclusive access to critical section of code is
provided through mutual exclusion mechanism
✔ Mutual Exclusion mechanisms can be implemented
through
✔ Busy Waiting/Spin lock
✔ Sleep & Wakeup

14
7
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting
Uses a lock variable for implementing mutual exclusion. Each
process/thread checks this lock variable before entering the
critical section. The lock is set to ‘1’ by a process/thread if the
process/thread is already in its critical section; otherwise the lock
is set to ‘0’

//Inside parent thread/ main thread corresponding to a process


bool bFlag; //Global declaration of lock Variable.
bFlag= FALSE; //Initialize the lock to indicate it is available.
//………………………………………………………………………………………………
//Inside the child threads/ threads of a process
while(bFlag == TRUE); //Check the lock for availability
bFlag=TRUE; //Lock is available. Acquire the lock
//Rest of the source code dealing with shared resource access
14
8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting

The major challenge in implementing the lock variable based


synchronization is the non-availability of a single atomic instruction
which combines the reading, comparing and setting of lock variable.
Most often the three different operations related to the locks viz: The
operation of Reading the lock variable, checking its present value
and setting it are achieved with multiple low level instructions. The
low level implementation of these operations are dependent on the
underlying processor instruction set and the (cross) compiler in use.
The low level implementation of the ‘Busy waiting’ code snippet,
which we discussed earlier, under Windows XP operating system
running on Intel Centrino Duo processor is given below. The code
snippet is compiled with Microsoft Visual Studio 6.0 compiler
14
9
@ McGraw-Hill Education

Designing with RTOS


--- D:\Examples\counter.cpp ----------------------------------------
1: #include <stdio.h>
2: #include <windows.h>
3:
4: int main()
5: {
//Code memory Opcode Operand
00401010 push ebp
00401011 mov ebp,esp
00401013 sub esp,44h
00401016 push ebx
00401017 push esi
00401018 push edi
00401019 lea edi,[ebp-44h]
0040101C mov ecx,11h
00401021 mov eax,0CCCCCCCCh
00401026 rep stos dword ptr [edi]
6: //Inside parent thread/ main thread corresponding to a process
7: bool bFlag; //Global declaration of lock Variable.
8: bFlag= FALSE; //Initialize the lock to indicate it is //available.
00401028 mov byte ptr [ebp-4],0
9: //………………………………………………………………………………………………………………………………………………
10: //Inside the child threads/ threads of a process
11: while(bFlag == TRUE); //Check the lock for availability
0040102C mov eax,dword ptr [ebp-4]
0040102F and eax,0FFh
00401034 cmp eax,1
00401037 jne main+2Bh (0040103b)
00401039 jmp main+1Ch (0040102c)
12: bFlag=TRUE; //Lock is available. Acquire the lock
0040103B mov byte ptr [ebp-4],1 15
0
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

The high level instructions (while(bFlag==false); and bFlag=true;),


corresponding to the operation of Reading the lock variable, checking its
present value and setting it is implemented in the processor level using six low
level instructions. This may lead to synchronization issues when a process is
pre-empted before completing the set of the required instructions and another
process access the lock variable

15
1
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting -
Locks

Most of the processors support a single instruction ‘Test and Set


Lock (TSL)’ for testing and setting the lock variable. The ‘Test
and Set Lock (TSL)’ instruction call copies the value of the lock
variable and sets it to a nonzero value. It should be noted that the
implementation and usage of ‘Test and Set Lock (TSL)’
instruction is processor architecture dependent. The Intel 486 and
above family of processors support the ‘Test and Set Lock (TSL)’
instruction with a special instruction CMPXCHG - Compare and
Exchange

15
2
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

CMPXCHG dest,src

This instruction compares the Accumulator (EAX register) with


‘dest’. If the Accumulator and ‘dest’ contents are equal, ‘dest’ is
loaded with ‘src’. If not, the Accumulator is loaded with ‘dest’.
Executing this instruction changes the six status bits of the Program
Control and Status register EFLAGS. The destination (‘dest’) can be
a register or a memory location. The source (‘src’) is always a
register. This instruction makes the accessing, testing and
modification of the lock variable a single atomic instruction

15
3
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

How the CMPXCHG instruction support provided by the Intel® family of


processors (486 and above) is made available to processes/threads is OS kernel
implementation dependent. Windows CE/Windows XP kernels support the
compare and exchange hardware feature provided by Intel® family of
processors, through the API call InterlockedCompareExchange (LPLONG
Destination, LONG Exchange, LONG Comperand). The variable Destination is
the long pointer to the destination variable. The Destination variable should be
of type ‘long’. The variable Exchange represents the exchange value. The value
of Destination variable is replaced with the value of Exchange variable. The
variable Comperand specifies the value which needs to be compared with the
value of Destination variable. The function returns the initial value of the
variable ‘Destination

15
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

//Inside parent thread/ main thread corresponding to a process


long bFlag; //Global declaration of lock Variable.
bFlag=0; //Initialize the lock to indicate it is available.
//………………………………………………………………………………………………
………………………………………………………………………………
//Inside the child threads/ threads of a process
//Check the lock for availability & acquire the lock if available.
while (InterlockedCompareExchange (&bFlag, 1, 0) == 1);

The InterlockedCompareExchange function is implemented as ‘Compiler intrinsic


function’. The ‘code for Compiler intrinsic functions’ are inserted inline while
compiling the code. This avoids the function call overhead and makes use of the
built-in knowledge of the optimization technique for intrinsic functions. The
compiler can be instructed to use the intrinsic implementation for a function using
the compiler directive #pragma intrinsic (intrinsic-function-name) 15
5
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

#include "stdafx.h"
#include <intrin.h>
#include <windows.h>

long bFlag; //Global declaration of lock Variable.


//Declare InterlockedCompareExchange as intrinsic function
#pragma intrinsic(_InterlockedCompareExchange)

void child_thread(void)
{
//Inside the child thread of a process
//Check the lock for availability & acquire the lock if available.
//The lock can be set by any other threads
while (_InterlockedCompareExchange (&bFlag, 1, 0) == 1);

//Rest of the source code dealing with shared resource access 15


6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks
The assembly code generated for the intrinsic interlocked function while
(_InterlockedCompareExchange (&bFlag, 1, 0) == 1); when compiled using Visual
Studio 2005 compiler, on Windows XP platform with Service Pack 2 running on an
Intel® Centrino® Duo processor is given below

//Check the lock for availability & acquire the lock if available.
//The lock can be set by any other threads
while (_InterlockedCompareExchange (&bFlag, 1, 0) == 1);
004113DE mov ecx,1
004113E3 mov edx,offset bFlag (417178h)
004113E8 xor eax,eax
004113EA lock cmpxchg dword ptr [edx],ecx
004113EE cmp eax,1
004113F1 jne child_thread+35h (4113F5h)
004113F3 jmp child_thread+1Eh (4113DEh)
//Rest of the source code dealing with shared resource access
15
//........................................................... 7
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting - Locks

✔ The lock based mutual exclusion implementation always checks the state of a lock and
waits till the lock is available. This keeps the processes/threads always busy and forces
the processes/threads to wait for the availability of the lock for proceeding further.
✔ The ‘Busy waiting’ technique can also be visualized as a lock around which the
process/thread spins, checking for its availability
✔ Spin locks are useful in handling scenarios where the processes/threads are likely to be
blocked for a shorter period of time on waiting the lock, as they avoid OS overheads on
context saving and process re-scheduling
✔ Another drawback of Spin lock based synchronization is that if the lock is being held for
a long time by a process and if it is preempted by the OS, the other threads waiting for
this lock may have to spin a longer time for getting it.
✔ The ‘Busy waiting’ mechanism keeps the process/threads always active, performing a
task which is not useful and leads to the wastage of processor time and high power
consumption.

15
8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion: Busy Waiting -
Locks

✔ The lock based mutual exclusion implementation always checks


the state of a lock and waits till the lock is available. This keeps
the processes/threads always busy and forces the processes/threads
to wait for the availability of the lock for proceeding further.
✔ The ‘Busy waiting’ technique can also be visualized as a lock
around which the process/thread spins, checking for its availability
✔ Spin locks are useful in handling scenarios where the
processes/threads are likely to be blocked for a shorter period of
time on waiting the lock, as they avoid OS overheads on context
saving and process re-scheduling

15
9
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion through Sleep &
Wakeup

✔ The process which owns the critical section sends a wakeup


message to the process, which is sleeping as a result of waiting for
the access to the critical section, when the process leaves the
critical section
✔ The ‘Sleep & Wakeup’ policy for mutual exclusion can be
implemented in different ways. Implementation of this policy is
OS kernel dependent

16
0
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Semaphore

✔ A sleep and wakeup based mutual exclusion implementation for


shared resource access
✔ Semaphore is a system resource and a process which wants to
access the shared resource can first acquire this system object to
indicate the other processes which wants the shared resource that
the shared resource is currently in use by it
✔ The resources which are shared among a process can be either for
exclusive use by a process or for using by a number of processes
at a time

16
1
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Semaphore
✔ The display device of an embedded system is a typical example of
a shared resource which needs exclusive access by a process
✔ The Hard disk (secondary storage) of a system is a typical
example for sharing the resource among a limited number of
multiple processes
✔ Based on the implementation Semaphores can be classified into
✔Binary Semaphore
✔Counting Semaphore
✔Mutual exclusion Semaphore

16
2
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Counting Semaphore

✔ limits the use of resources by a fixed number of processes/threads


✔ ‘Counting Semaphore’ maintains a count between zero and a
maximum value
✔ ‘Counting Semaphore’ limits the usage of the resource to the
maximum value of the count supported by it
✔ The count associated with a ‘Semaphore object’ is decremented by
one when a process/thread acquires it and the count is incremented
by one when a process/thread releases the ‘Semaphore object’

16
3
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Counting Semaphore

✔ The state of the counting semaphore object is set to ‘signaled’


when the count of the object is greater than zero
✔ The state of the ‘Semaphore object’ is set to non-signaled when
the semaphore is acquired by the maximum number of
processes/threads that the semaphore can support (i.e. when the
count associated with the ‘Semaphore object’ becomes zero)
✔ The creation and usage of ‘counting semaphore object’ is OS
kernel dependent

16
4
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup: Counting Semaphore

The Concept of Counting Semaphore 16


5
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Binary Semaphore
✔ Implements exclusive access to shared resource by allocating the
resource to a single process at a time and not allowing the other
processes to access it when it is being used by a process.
✔ ‘Only one process/thread can own the ‘binary semaphore’ at a
time
✔ The state of a ‘binary semaphore’ object is set to signaled when it
is not owned by any process/thread, and set to non-signaled when
it is owned by any process/thread.
✔ The implementation of binary semaphore is OS kernel dependent.
Under certain OS kernel it is referred as mutex.
✔ The creation and usage of ‘counting semaphore object’ is OS
kernel dependent
16
6
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup: Binary Semaphore

The Concept of Binary Semaphore 16


7
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Mutual Exclusion Semaphore

✔A special implementation of the binary semaphore by certain


Real-time operating systems like VxWorks and uC/OS-II to prevent
priority inversion problems in shared resource access
✔The mutual exclusion semaphore has an option to set a tasks priority
to the highest priority of the task which is being pended while
attempting to acquire the semaphore which is currently held by a low
priority task
✔This ensures that the low priority task which is currently holding the
semaphore, when a high priority task is waiting for it, is not
pre-empted by a medium priority task

16
8
@ McGraw-Hill Education

Designing with RTOS


Task Synchronization – Mutual Exclusion - Sleep & Wakeup:
Events
A synchronization technique which uses notification mechanism for
synchronization.
✔In concurrent execution we may come across situations which
demand the processes to wait for a particular sequence for its
operations. A typical example for this is the producer consumer
threads, where the consumer thread should wait for the consumer
thread to produce the data and producer thread should wait for the
consumer thread to consume the data before producing fresh data.
✔A thread/process can wait for an event and another thread/process
can set this event for processing by the waiting thread/process
✔The creation and handling of event objects for notification is OS
kernel dependent
✔The uC/OS-II kernel uses ‘events’ for task synchronization.
16
9
@ McGraw-Hill Education

Multitasking and Task Communication


Learning Summary
✔ The act of preventing the access of a shared resource by a
task/process when it is currently being held by another
task/process is known as mutual exclusion.
✔ Mutual exclusion can be implemented through either busy
waiting (spin lock) or sleep and wakeup technique
✔ Test and Set, Flags etc are examples for Busy waiting based
mutual exclusion implementation
✔ Semaphores, mutex, and events are examples of Sleep and
Wakeup based mutual exclusion
✔ Binary Semaphore implements exclusive shared resource
access, whereas Counting Semaphore limits the concurrent
access to a shared resource, and Mutual exclusion Semaphore
avoids priority inversion in shared resource access
17
0
@ McGraw-Hill Education

17
1
@ McGraw-Hill Education

ES Development Environment
• Various Tools used
• Various steps followed
• Input/Output files

17
2
@ McGraw-Hill Education

EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Introduction
– Application programs are typically developed, compiled, and run on host system
– Embedded programs are targeted to a target processor (different from the development/host
processor and operating environment) that drives a device or controls
– What tools are needed to develop, test, and locate embedded software into the target processor
and its operating environment?

• Distinction
– Host: Where the embedded software is developed, compiled, tested, debugged, optimized, and
prior to its translation into target device. (Because the host has keyboards, editors, monitors,
printers, more memory, etc. for development, while the target may have not of these
capabilities for developing the software.)
– Target: After development, the code is cross-compiled, translated – cross-assembled, linked
(into target processor instruction set) and located into the target

17
3
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• 9.1 Introduction – 1

• Cross-Compilers –
– Native tools are good for host, but to port/locate embedded code to target, the host must have a tool-chain
that includes a cross-compiler, one which runs on the host but produces code for the target processor
– Cross-compiling doesn’t guarantee correct target code due to (e.g., differences in word sizes, instruction
sizes, variable declarations, library functions)

• Cross-Assemblers and Tool Chain


– Host uses cross-assembler to assemble code in target’s instruction syntax for the target
– Tool chain is a collection of compatible, translation tools, which are ‘pipelined’ to produce a complete
binary/machine code that can be linked and located into the target processor
– (See Fig 9.1)

17
4
@ McGraw-Hill Education

Development Tools

● In the Development Cycle of an Embedded


System we use
● Software Tools
● Hardware Tools
❑ Choice of Tools are critical and will decide the
Development Time

17
5
@ McGraw-Hill Education

Development Tools

• Software Tools
– Compiler, Assembler, Linker
– Librarian/ Archives
– CPLD (Complex Programmable Logic Devices) , FPGA
Compilers
– Schematics Generation, PCB Layout Design – EDA Tools,
Electronic Design Automation
– etc……

17
6
@ McGraw-Hill Education

Development Tools

• Hardware Tools
– Device Programmers
• Mainly used to download code to memory on board
• Uses many types interface serial , parallel, JTAG
• An aid to make the embedded system run independently
– CPU Simulators
• Application program which runs on the host machine
• Not connected to any target but will simulate the target CPU
instruction execution on host machine
• Can be used only for logical source level debugging
– CPU Emulators
• Generally uses JTAG, older versions use parallel & serial
interfaces
• Emulates the processor on the host machine
• Is very useful in source level debugging 17
7
@ McGraw-Hill Education

Development Tools
• Hardware Tools
– Multimeter
• Used for basic electrical measurements like voltage and current
measurements
• Can be used as a debugging tool to check continuity in hardware
• Some high end multimeters provide scope facility for low
frequencies
– Oscilloscope
• Used to measure signals - A powerful hardware debugging tool
• Most of the hardware issues can be resolved using a oscilloscope
• Mainly of 2 types storage and real time oscilloscopes

17
8
@ McGraw-Hill Education

• The µVision IDE from Keil combines project


management, make facilities, source code editing,
program debugging, and complete simulation in one
powerful environment. The µVision development
platform is easy-to-use and helping you quickly create
embedded programs that work. The µVision editor and
debugger are integrated in a single application that
provides a seamless embedded project development
environment.

17
9
@ McGraw-Hill Education

18
0
@ McGraw-Hill Education

Development Tools

Software Development Flow – Normal Application

Host Development Platform – Desk Top


18
1
@ McGraw-Hill Education

18
2
@ McGraw-Hill Education

Development Tools

Software Development
Flow – Embedded
Application
Assembly

CPU

18
3
@ McGraw-Hill Education

EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Linker/Locators for Embedded Software


• Native linkers are different from cross-linkers (or locators) that perform
additional tasks to locate embedded binary code into target processors

• Address Resolution –
– Native Linker: produces host machine code on the hard-drive (in a
named file), which the loader loads into RAM, and then schedules (under
the OS control) the program to go to the CPU.

– In RAM, the application program/code’s logical addresses for, e.g.,


variable/operands and function calls, are ordered or organized by the
linker. The loader then maps the logical addresses into physical
addresses – a process called address resolution. The loader then loads
the code accordingly into RAM (see Fig ) In the process the loader also
resolves the addresses for calls to the native OS routines

18
4
@ McGraw-Hill Education

18
5
@ McGraw-Hill Education

EMBEDDED SOFTWARE DEVELOPMENT TOOLS

– Locator: produces target machine code (which the locator glues into the
RTOS) and the combined code (called map) gets copied into the target
ROM. The locator doesn’t stay in the target environment, hence all
addresses are resolved, guided by locating-tools and directives, prior to
running the code (See Figs)

18
6
@ McGraw-Hill Education

18
7
@ McGraw-Hill Education

18
8
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Locating Program Components – Segments

• Unchanging embedded program (binary code) and constants must be kept in ROM to be
remembered even on power-off
• Changing program segments (e.g., variables) must be kept in RAM
• Chain tools separate program parts using segments concept
• Chain tools (for embedded systems) also require a ‘start-up’ code to be in a separate
segment and ‘located’ at a microprocessor-defined location where the program starts
execution
• Some cross-compilers have default or allow programmer to specify segments for
program parts, but cross-assemblers have no default behavior and programmer must
specify segments for program parts

• (See Fig 9.5 - locating of object-code segments in ROM and RAM)

18
9
@ McGraw-Hill Education

19
0
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Locating Program Components – Segments – 1

• Telling/directing the locator where (which segments) to place parts

• E.g., Fig 9.6


– The –Z tells which segments (list of segments) to use and the start-address of the first segment
– The first line tells which segments to use for the code parts, starting at address 0; and the second line tells
which segments to use for the data parts, starting at x8000
– The proper names and address info for the directing the locator are usually in the cross-compiler
documentation
– Other directives: range of RAM and ROM addresses, end of stack address (segment is placed below this
address for stack to grow towards the end)
– Segments/parts can also be grouped, and the group is located as a unit

19
1
@ McGraw-Hill Education

19
2
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Initialized Data and Constant Strings

• Segments with initialized values in ROM are shadowed (or copied into RAM) for correct reset of
initialized variables, in RAM, each time the system comes up (esp. for initial values that are take
#define constants, and which can be changed)
• In C programs, a host compiler may set all uninitialized variable to zero or null, but this is not
generally the case for embedded software cross-compilers (unless the startup code in ROM does so
• If part(s) of a constant string is(are) expected to be changed during run-time, the cross-compiler
must generate a code to allow ‘shadowing’ of the string from ROM

19
3
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• Locator Maps and Executing Out of RAM

• Output file of locators are Maps – list addresses of all segments


• Maps are useful for debugging

• An ‘advanced’ locator is capable of running (albeit slowly) a startup code in ROM, which (could
decompress and) load the embedded code from ROM into RAM to execute quickly since RAM is
faster, especially for RISC microprocessors

• (See Fig 9.7 – Maps)

19
4
@ McGraw-Hill Education

19
5
@ McGraw-Hill Education

19
6
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• 9.3 Getting Embedded Software into Target System

• Moving maps into ROM or PROM, is to create a ROM using hardware tools or a PROM
programmer (for small and changeable software, during debugging)
• If PROM programmer is used (for changing or debugging software), place PROM in a socket
(which makes it erasable – for EPROM, or removable/replaceable) rather than ‘burnt’ into circuitry
• PROM’s can be pushed into sockets by hand, and pulled using a chip puller
• The PROM programmer must be compatible with the format (syntax/semantics) of the Map

• (See Fig 9.8)

19
7
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• 9.3 Getting Embedded Software into Target System – 1

• ROM Emulators – Another approach is using a ROM emulator (hardware) which emulates the
target system, has all the ROM circuitry, and a serial or network interface to the host system. The
locator loads the Map into the emulator, especially, for debugging purposes.

• Software on the host that loads the Map file into the emulator must understand (be compatible
with) the Map’s syntax/semantics

• (See Fig 9.9)

19
8
@ McGraw-Hill Education

19
9
@ McGraw-Hill Education

9.0 EMBEDDED SOFTWARE DEVELOPMENT TOOLS

• 9.3 Getting Embedded Software into Target System – 2

• Using Flash Memory


– For debugging, a flash memory can be loaded with target Map code using a software on the host over a
serial port or network connection (just like using an EPROM)
– Advantages:

• No need to pull the flash (unlike PROM) for debugging different embedded code
• Transferring code into flash (over a network) is faster and hassle-free
• New versions of embedded software (supplied by vendor) can be loaded into flash memory by customers over a
network - Requires a) protecting the flash programmer, saving it in RAM and executing from there, and reloading into
flash after new version is written and b) the ability to complete loading new version even if there are crashes and
protecting the startup code as in (a)
• Modifying and/or debugging the flash programming software requires moving it into RAM, modify/debug, and
reloading it into target flash memory using above methods

20
0
@ McGraw-Hill Education

Development Tools

Communication Bus Target


Serial, Parallel, Ethernet,
(JTAG), etc. Board
Host
Platform CPU, Memory,

Compiler,Assembler, Peripherals,…

Simulator, Run time


Monitor, Loader,….

20
1

You might also like