Transcript Lecture14

Advanced Operating Systems - Spring 2009
Lecture 14 – February 25, 2009
 Dan C. Marinescu
 Email: [email protected]
 Office: HEC 439 B.
 Office hours: M, Wd 3 – 4:30 PM.
 TA: Chen Yu
 Email: [email protected]
 Office: HEC 354.
 Office hours: M, Wd 1.00 – 3:00 PM.
1
Last, Current, Next Lecture
 Last time:
 CPU Scheduling
 Today
 M/M/m systems
 Scheduling Algorithms
 Memory management
 Next time:
 Caching and Virtual Memory
2
Scheduling algorithms
 A scheduling problems is defined by



( ,  , : )
( ) The machine environment
(  ) A set of side constrains and characteristics
( ) The optimality criterion
 Machine environments:
 1  One-machine.





P  Parallel identical machines
Q  Parallel machines of different speeds
R  Parallel unrelated machines
O  Open shop. m specialized machines; a job requires a number of
operations each demanding processing by a specific machine
F  Floor shop
One-machine environment
 n jobs 1,2,….n.
 pj amount of time required by job j.
 rj  the release time of job j, the time when job j is




available for processing.
wj  the weight of job j.
dj due time of job j; time job j should be completed.
A schedule S specifies for each job j which pj units of time
are used to process the job.
CSj  the completion time of job j under schedule S.
CSmax = max CSj 1 n
S
C
 The average completion time is

j
n j 1
 The makespan of S is:
One-machine environment (cont’d)
n
S
w
C
 j j
 Average weighted completion time:
 Optimality criteria  minimize:
 the makespan CSmax
j 1
n
S
C
 the average completion time :  j
j 1
 The average weighted completion time:
n
S
w
C
 j j
j 1
 L j  C  d j  the lateness of job j
n
S
 Lmax  max j 1 L j maximum lateness of any job
under schedule S. Another optimality criteria,
S
j
minimize maximum lateness.
Priority rules for one machine environment
 Theorem: scheduling jobs according to SPT – shortest processing time is
optimal for 1 ||  C j
 Theorem: scheduling jobs in non-decreasing order of
is optimal for 1 ||  w j C j
wj
pj
Earliest deadline first (EDF)
 Dynamic scheduling algorithm for real-time OS.
 When a scheduling event occurs (task finishes, new task
released, etc.) the priority queue will be searched for the
process closest to its deadline. This process will then be
scheduled for execution next.
 EDF is an optimal scheduling preemptive algorithm for
uniprocessors, in the following sense: if a collection of
independent jobs, each characterized by an arrival time, an
execution requirement, and a deadline, can be scheduled
(by any algorithm) such that all the jobs complete by their
deadlines, the EDF will schedule this collection of jobs such
that they all complete by their deadlines.
7
EDF
The schedulability test for EDF is:
n
U 
j 1
Process
Execution Time
dj
1
pj
Period
P1
1
8
P2
2
5
P3
4
10
In this case U = 1/8 +2/5 + 4/10 = 0.925 = 92.5%
It has been proved that the problem of deciding if it is
possible to schedule a set of periodic processes is NPhard if the periodic processes use semaphores to enforce
mutual exclusion.
8
Priority Inversion
 A high priority process is blocked by a lower priority one.
 Example: J1 and J3 share a data structure guarded by a
binary semaphore S.
 prty(J1) > prty(J2) > prty(J3).
 J1 in initiated while J3 is in its critical section
 When J1 attempts to enter the critical section it is blocked.
 The duration of this blocking cannot be determined as
because J3 can be preempted by a higher priority job J2. prty
9