Professional Documents
Culture Documents
CH 3 Os
CH 3 Os
CH 3 Os
Operating System Concepts – 9th Edition Silberschatz, Galvin and Gagne ©2013
Chapter 3: Processes
Process Concept
Process Scheduling
Operations on Processes
Inter-process Communication (IPC)
Examples of IPC Systems
Communication in Client-Server Systems
Operating System Concepts – 9th Edition 3.2 Silberschatz, Galvin and Gagne ©2013
Objectives
To introduce the notion of a process -- a program in
execution, which forms the basis of all computation
To describe the various features of processes, including
scheduling, creation and termination, and communication
To explore interprocess communication using shared memory
and message passing
To describe communication in client-server systems
Operating System Concepts – 9th Edition 3.3 Silberschatz, Galvin and Gagne ©2013
Process Concept
Process – a program in execution; process execution must
progress in sequential fashion
Program is passive entity stored on disk (executable file),
process is active
Program becomes process when executable file loaded
into memory
Execution of program started via:
GUI mouse clicks,
command line entry of its name,
etc
One program can be several processes
Consider multiple users executing the same program
Operating System Concepts – 9th Edition 3.4 Silberschatz, Galvin and Gagne ©2013
Process Structure
A process is more than the program code, which is sometimes
known as the text section.
It also includes the current activity:
The value of the program counter
The contents of the processor's registers.
It also includes the process stack, which contains temporary
data (such as function parameters, return addresses, and local
variables)
It also includes the data section, which contains global
variables.
It may also include a heap, which is memory that is
dynamically allocated during process run time.
Operating System Concepts – 9th Edition 3.5 Silberschatz, Galvin and Gagne ©2013
Process in Memory
Operating System Concepts – 9th Edition 3.6 Silberschatz, Galvin and Gagne ©2013
Process State
Operating System Concepts – 9th Edition 3.7 Silberschatz, Galvin and Gagne ©2013
Process Control Block (PCB)
Operating System Concepts – 9th Edition 3.8 Silberschatz, Galvin and Gagne ©2013
Operating System Concepts – 9th Edition 3.9 Silberschatz, Galvin and Gagne ©2013
int i=0;
char c=‘a’;
char s[20];
Return(a+b);----}
int x=5;-
float f;------------
return 0;------------- }
Operating System Concepts – 9th Edition 3.10 Silberschatz, Galvin and Gagne ©2013
int i=0;
char c=‘a’;
char s[20];
Return(a+b);----Stack
int x=5;-
float f;------------Stack
return 0;-------------Stack
Operating System Concepts – 9th Edition 3.11 Silberschatz, Galvin and Gagne ©2013
Threads
So far, process has a single thread of execution
Consider having multiple program counters per process
Multiple locations can execute at once
Multiple threads of control -> threads
Need storage for thread details, multiple program counters
in PCB
Covered in the next chapter
Operating System Concepts – 9th Edition 3.12 Silberschatz, Galvin and Gagne ©2013
CPU Switch From Process to Process
Operating System Concepts – 9th Edition 3.13 Silberschatz, Galvin and Gagne ©2013
Process Scheduling
Operating System Concepts – 9th Edition 3.14 Silberschatz, Galvin and Gagne ©2013
Scheduling Queues
Operating System Concepts – 9th Edition 3.15 Silberschatz, Galvin and Gagne ©2013
Ready Queue And Various I/O Device Queues
Operating System Concepts – 9th Edition 3.16 Silberschatz, Galvin and Gagne ©2013
Representation of Process Scheduling
Operating System Concepts – 9th Edition 3.17 Silberschatz, Galvin and Gagne ©2013
Schedulers
Short-term scheduler (or CPU scheduler) – selects which process
should be executed next and allocates a CPU
Sometimes the only scheduler in a system
Short-term scheduler is invoked frequently (milliseconds) (must
be fast)
Long-term scheduler (or job scheduler) – selects which processes
should be brought into the ready queue
Long-term scheduler is invoked infrequently (seconds, minutes)
(may be slow)
The long-term scheduler controls the degree of multiprogramming
Processes can be described as either:
I/O-bound process – spends more time doing I/O than
computations, many short CPU bursts
CPU-bound process – spends more time doing computations; few
very long CPU bursts
Long-term scheduler strives for good process mix
Operating System Concepts – 9th Edition 3.18 Silberschatz, Galvin and Gagne ©2013
Medium term scheduler
intermediate level of scheduling
The key idea behind a medium-term scheduler is that sometimes it can be
advantageous to remove a process from memory (and from active
contention for the CPU) and thus reduce the degree of multiprogramming.
Later, the process can be reintroduced into memory, and its execution can
be continued where it left off. This scheme is called swapping.
Operating System Concepts – 9th Edition 3.20 Silberschatz, Galvin and Gagne ©2013
Context Switch
When CPU switches to another process, the system must
save the state of the old process and load the saved state
for the new process via a context switch
Context of a process represented in the PCB
Context-switch time is pure overhead; the system does no
useful work while switching
The more complex the OS and the PCB the longer the
context switch
Time dependent on hardware support
Some hardware provides multiple sets of registers per
CPU multiple contexts loaded at once
Operating System Concepts – 9th Edition 3.21 Silberschatz, Galvin and Gagne ©2013
Interprocess Communication
Processes within a system may be independent or
cooperating
Cooperating processes can affect or be affected by other
processes, including sharing data
Independent processes cannot affect other processes
Reasons for having cooperating processes:
Information sharing
Computation speedup (multiple processes running in
parallel)
Modularity
Convenience
Cooperating processes need interposes communication (IPC)
Operating System Concepts – 9th Edition 3.23 Silberschatz, Galvin and Gagne ©2013
Communications Models
Two models of IPC
Shared memory
Message passing
Operating System Concepts – 9th Edition 3.24 Silberschatz, Galvin and Gagne ©2013
Shared Memory Systems
Operating System Concepts – 9th Edition 3.25 Silberschatz, Galvin and Gagne ©2013
Synchronization
Cooperating processes that access shared data need to
synchronize their actions to ensure data consistency
Maintaining data consistency requires mechanisms to ensure
the orderly execution of cooperating processes
Illustration of the problem – The producer-Consumer problem
Producer process produces information that is consumed
by a Consumer process.
The information is passed from the Producer to the
Consumer via a buffer.
Two types of buffers can be used:
unbounded-buffer places no practical limit on the size
of the buffer
bounded-buffer assumes that a fixed buffer size
Operating System Concepts – 9th Edition 3.26 Silberschatz, Galvin and Gagne ©2013
Message Passing Systems
Operating System Concepts – 9th Edition 3.27 Silberschatz, Galvin and Gagne ©2013
Message Passing (Cont.)
Operating System Concepts – 9th Edition 3.28 Silberschatz, Galvin and Gagne ©2013
Implementation of Communication Link
Physical:
Shared memory
Hardware bus
Network
Logical:
Direct or indirect
Synchronous or asynchronous
Automatic or explicit buffering
Operating System Concepts – 9th Edition 3.29 Silberschatz, Galvin and Gagne ©2013
Direct Communication
Processes must name each other explicitly:
send (P, message) – send a message to process P
receive(Q, message) – receive a message from process Q
Properties of communication link
Links are established automatically
A link is associated with exactly one pair of communicating
processes
Between each pair there exists exactly one link
The link may be unidirectional, but is usually bi-directional
Operating System Concepts – 9th Edition 3.30 Silberschatz, Galvin and Gagne ©2013
This scheme exhibits symmetry in addressing; that is, both the sender
process and the receiver process must name the other to communicate.
A variant of this scheme employs asymmetry in addressing
only the sender names the recipient; the recipient is not required to name
the sender
Disadvantage
limited modularity of the resulting process definitions (Changing the
identifier of a process)
Operating System Concepts – 9th Edition 3.31 Silberschatz, Galvin and Gagne ©2013
Indirect Communication
Messages are directed and received from mailboxes (also
referred to as ports)
Each mailbox has a unique id
Processes can communicate only if they share a mailbox
Operations
create a new mailbox (port)
send and receive messages through mailbox
delete a mailbox
Primitives are defined as:
send(A, message) – send a message to mailbox A
receive(A, message) – receive a message from mailbox A
Operating System Concepts – 9th Edition 3.32 Silberschatz, Galvin and Gagne ©2013
Indirect Communication (Cont.)
Properties of communication link
Link established only if processes share a common
mailbox
A link may be associated with many processes
Each pair of processes may share several
communication links
Link may be unidirectional or bi-directional
Operating System Concepts – 9th Edition 3.33 Silberschatz, Galvin and Gagne ©2013
Indirect Communication Issues
Mailbox sharing
P1, P2, and P3 share mailbox A
P1, sends; P2 and P3 receive
Who gets the message?
Solutions
Allow a link to be associated with at most two processes
Allow only one process at a time to execute a receive
operation
Allow the system to select arbitrarily the receiver.
Sender is notified who the receiver was.
Operating System Concepts – 9th Edition 3.34 Silberschatz, Galvin and Gagne ©2013
Blocking and Non-blocking schemes
Message passing may be either blocking or non-blocking
Blocking is considered synchronous
Blocking send -- the sender is blocked until the message is
received
Blocking receive -- the receiver is blocked until a message
is available
Non-blocking is considered asynchronous
Non-blocking send -- the sender sends the message and
continue
Non-blocking receive -- the receiver receives:
A valid message, or
Null message
Different combinations possible
If both send and receive are blocking, we have a rendezvous
Operating System Concepts – 9th Edition 3.35 Silberschatz, Galvin and Gagne ©2013
Operating System Concepts – 9th Edition 3.36 Silberschatz, Galvin and Gagne ©2013
Buffering
Whether communication is direct or indirect, messages
exchanged by communicating processes reside in a
temporary queue.
Such queues can be implemented in three ways:
1. Zero capacity – no messages are queued on a link.
Sender must wait for receiver (rendezvous)
2. Bounded capacity – finite length of n messages Sender
must wait if link full
3. Unbounded capacity – infinite length Sender never waits
Operating System Concepts – 9th Edition 3.37 Silberschatz, Galvin and Gagne ©2013
Bounded-Buffer Solution
Shared data
#define BUFFER_SIZE 10
typedef struct {
. . .
} item;
item buffer[BUFFER_SIZE];
int in = 0;
int out = 0;
Solution presented in the next two slides is correct, but only 9 out of 10
buffer elements can be used
Compiler-Assembly code-consumed by an assembler
Assembler-Obj modules- consumed loader
Operating System Concepts – 9th Edition 3.38 Silberschatz, Galvin and Gagne ©2013
Bounded-Buffer – Producer
item next_produced;
while (true) {
/* produce an item in next produced */
while (((in + 1) % BUFFER_SIZE) == out)
; /* do nothing */
buffer[in] = next_produced;
in = (in + 1) % BUFFER_SIZE;
}
In=9+1%10==0
In=0+1%10=1
=1+1
2+1
3+1
9+1%10=
Operating System Concepts – 9th Edition 3.39 Silberschatz, Galvin and Gagne ©2013
Bounded Buffer – Consumer
item next_consumed;
while (true) {
while (in == out)
; /* do nothing */
next_consumed = buffer[out];
out = (out + 1) % BUFFER_SIZE;
Operating System Concepts – 9th Edition 3.40 Silberschatz, Galvin and Gagne ©2013
Process Concept
An operating system executes a variety of programs:
Batch system – jobs
Time-shared systems – user programs or tasks
Textbook uses the terms job and process almost interchangeably
Process – a program in execution; process execution must
progress in sequential fashion
Multiple parts
The program code, also called text section
Current activity including program counter, processor registers
Stack containing temporary data
Function parameters, return addresses, local variables
Data section containing global variables
Heap containing memory dynamically allocated during run time
Operating System Concepts – 9th Edition 3.41 Silberschatz, Galvin and Gagne ©2013
Process Concept
Process – a program in execution; process execution must
progress in sequential fashion
Multiple parts
The program code, also called text section
Current activity including program counter, processor
registers
Stack containing temporary data
Function parameters, return addresses, local variables
Data section containing global variables
Heap containing memory dynamically allocated during run
time
Operating System Concepts – 9th Edition 3.42 Silberschatz, Galvin and Gagne ©2013
Diagram of Process State
Operating System Concepts – 9th Edition 3.43 Silberschatz, Galvin and Gagne ©2013
Synchronization
Cooperating processes Concurrent access to shared data may
result in data inconsistency
Maintaining data consistency requires mechanisms to ensure
the orderly execution of cooperating processes
Illustration of the problem – The producer-Consumer problem
Producer process produces information that is consumed
by a Consumer process.
The information is passed from the Producer to the
Consumer via a buffer.
Two types of buffers can be used:
unbounded-buffer places no practical limit on the size
of the buffer
bounded-buffer assumes that a fixed buffer size
Operating System Concepts – 9th Edition 3.44 Silberschatz, Galvin and Gagne ©2013
Synchronization
Cooperating processes Concurrent access to shared data may
result in data inconsistency
Maintaining data consistency requires mechanisms to ensure
the orderly execution of cooperating processes
Illustration of the problem – The producer-Consumer problem
Producer process produces information that is consumed
by a Consumer process.
The information is passed from the Producer to the
Consumer via a buffer.
Two types of buffers can be used:
unbounded-buffer places no practical limit on the size
of the buffer
bounded-buffer assumes that a fixed buffer size
Operating System Concepts – 9th Edition 3.45 Silberschatz, Galvin and Gagne ©2013
Synchronization
Concurrent access to shared data may result in data
inconsistency
Maintaining data consistency requires mechanisms to ensure
the orderly execution of cooperating processes
Illustration of the problem – The producer-Consumer problem
Producer process produces information that is consumed
by a Consumer process.
The information is passed from the Producer to the
Consumer via a buffer.
Two types of buffers can be used:
unbounded-buffer places no practical limit on the size
of the buffer
bounded-buffer assumes that a fixed buffer size
Operating System Concepts – 9th Edition 3.46 Silberschatz, Galvin and Gagne ©2013
Bounded-Buffer Solution – Shared Memory
Shared data
#define BUFFER_SIZE 10
typedef struct {
. . .
} item;
item buffer[BUFFER_SIZE];
int in = 0;
int out = 0;
Solution presented in the next two slides is correct, but only 9 out
of 10 buffer elements can be used
Operating System Concepts – 9th Edition 3.47 Silberschatz, Galvin and Gagne ©2013
Bounded-Buffer – Producer
item next_produced;
while (true) {
/* produce an item in next produced */
while (((in + 1) % BUFFER_SIZE) == out)
; /* do nothing */
buffer[in] = next_produced;
in = (in + 1) % BUFFER_SIZE;
}
Operating System Concepts – 9th Edition 3.48 Silberschatz, Galvin and Gagne ©2013
Bounded Buffer – Consumer
item next_consumed;
while (true) {
while (in == out)
; /* do nothing */
next_consumed = buffer[out];
out = (out + 1) % BUFFER_SIZE;
Operating System Concepts – 9th Edition 3.49 Silberschatz, Galvin and Gagne ©2013
Producer-Consumer with Rendezvous
Producer-consumer synchronization becomes trivial with rendezvous (blocking send and receive)
message next_produced;
while (true) {
/* produce an item in next produced */
send(next_produced);
}
message next_consumed;
while (true) {
receive(next_consumed);
Operating System Concepts – 9th Edition 3.50 Silberschatz, Galvin and Gagne ©2013
End of Chapter 3
Operating System Concepts – 9th Edition Silberschatz, Galvin and Gagne ©2013