Chapter 8 Concurrency-P1

Concurrency:
Operating
Systems: Mutual Exclusion
Internals
and
and
Design Synchronization
Principles
Seventh Edition
By William
Stallings
 Operating System design is concerned
with the management of processes
and threads:
 Multiprogramming
 Multiprocessing
 Distributed Processing
• Multiprogramming:
The management of multiple processes
within a uniprocessor system
• Multiprocessing :
within a multiprocessor
• Distributed processing:
executing on multiple, distributed computer
systems.
Concurrency encompasses a host of
design issues, including communication
among processes, sharing of and competing
for resources (such as memory, files, and I/O
access), synchronization of the activities of
multiple processes, and allocation of processor
time to processes.
These issues arise not just in multiprocessing and

distributed processing environments but even in
single-processor multiprogramming
systems.
Multiple
Applications
Structured
Applications Operatin
invented to allow g System
processing time to Structure
be shared among extension of
active applications modular design
and structured
programming OS themselves
implemented as a
set of processes
or threads
C o n c u r renc y Key Terms
Table 5.1 Some Key Terms Related to Concurrency

 Interleaving and overlapping
 can be viewed as examples of concurrent
processing
 both present the same problems
 Uniprocessor– the relative speed of execution
of processes cannot be predicted
 depends on activities of other processes
 the way the OS handles interrupts
 scheduling policies of the OS
Diffi culties of Concurrency
 Sharing of global resources
 Diffi cult
for the OS to manage the
allocation of resources optimally
 Diffi cultto locate programming errors as
results are not deterministic and
reproducible
 Occurswhen multiple processes
or threads read and write data
items
 Thefinal result depends on the order
of execution
 the “loser” of the race is the process
that updates last and will determine
the final value of the variable
Operating System Concerns
 Design and management issues raised by the existence
of concurrency:
 The O S must:
 be able to keep track of various processes
 allocate and de-allocate resources for each
active process
 protect the data and physical resources of each
process against interference by other processes
 ensure that the processes and outputs are independent
of the processing speed (-----)
Process Interaction
Resource Competition
 Concurrent processes come into conflict when
they
are competing for use of the same resource
 for example: I/O devices, memory, processor time, clock
In the case of competing processes
three control problems must be faced:
• the need for mutual exclusion

•
• starvation
Mutual Exclusion
Figure 5.1 Illustration of Mutual Exclusion

 Must be enforced
 A process that halts must do so
without interfering with other
processes
 No deadlock or starvation
 A process must not be denied access to a critical
section when there is no other process using it
 No assumptions are made about relative process
speeds or number of processes
 A process remains inside its critical section for a
finite time only
–uniprocessor system –the efficiency of
execution could be
– disabling interrupts noticeably degraded
guarantees mutual
exclusion –this approach will not
work in amultiprocessor
architecture
 Special Machine Instructions
 Compare&Swap Instruction
 also called a “compare and exchange
instruction”
 a compare is made between a memory value
and a test value
 if the values are the same a swap
occurs
 carried out atomically
Figure 5.2 Hardware Support for Mutual Exclusion
Exchange Instruction
Figure 5.2 Hardware Support for Mutual Exclusion

 Applicable to any number of processeson
either a single processor or multiple
processors sharing main memory
 Simple and easy to verify

It can be used to support multiple critical
sections; each critical section can be defined
by its own variable
Special Machine Instruction:
Disadvantages

Busy‐waiting is employed, thus while
a process is waiting for access to a critical
section it continues to consume processor
time

Starvation is possible when a process
leaves a critical section and more than one
process is waiting
 Deadlock is possible
Semaphore
A variable that has an
There is no way to
integer value upon
inspect or
which only three
semaphores
manipulate other
operations are
these three
than
defined:
operations
1) May be initialized to a nonnegative integer value

2) The semWait operation decrements the value
3) The semSignal operation increments the value
Consequences
There is no way to
There is no way to know which process You don’t know
know before a will continue whether another
process decrements immediately on a process is waiting so
a semaphore uniprocessor system the number of
whether it will when two unblocked processes
block or not processes are may be zero or one
running
concurrently
Semaphore Primiti ves
Binary SemaphorePrimitives
 A queue is used to hold processes waiting on the
semaphore
Strong Semaphores
• the process that has been blocked the longest
is released from the queue first (FIFO)
Weak Semaphores
• the order in which processes are removed from
the queue is not specified
Here processes A, B, and C depend on
a result from process D.
Initially (1), A is running; B, C, and D are
ready; and the semaphore count is 1,
indicating that one of D’s results is
available.
When A issues a semWait instruction on
semaphore s , the semaphore decrements to
0, and A can continue to execute;
subsequently it rejoins the ready queue.
Then B runs (2), eventually issues a

semWait instruction, and is blocked,
allowing D to run (3).
When D completes a new result, it issues a

semSignal instruction, which allows B to
move to the ready queue (4).
D rejoins the ready queue and C
begins to run (5) but is blocked
when it issues a semWait
instruction.
Similarly, A and B run and are blocked
on the semaphore, allowing D to
resume execution (6).
When D has a result, it issues a

semSignal , which transfers C to the
ready queue.
Later cycles of D will release A and

B from the Blocked state.

Chapter 8 Concurrency-P1

Uploaded by

Copyright:

Available Formats

Chapter 8 Concurrency-P1

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Chapter 8 Concurrency-P1

Uploaded by

Copyright:

Available Formats

Concurrency:

These issues arise not just in multiprocessing and

Table 5.1 Some Key Terms Related to Concurrency

• the need for mutual exclusion

Figure 5.1 Illustration of Mutual Exclusion

Figure 5.2 Hardware Support for Mutual Exclusion

1) May be initialized to a nonnegative integer value

Then B runs (2), eventually issues a

When D completes a new result, it issues a

When D has a result, it issues a

Later cycles of D will release A and

You might also like

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