ran the foo object alloe on heap monitor vars ar alloe on stack - - PDF document
Announcements 4410 lets 9 17,9 19 for Tutorial on Semaphores attended Tapia Conference students who es4410 student welcome to attend Best any 9 29 Hollister B 14 2 3pm 430pm Sunday Assignment 2 hints For problem l Crated sections always terminate
4410
Announcements
Tutorial on Semaphores
lets 9 17,9 19 for
students who
attended Tapia Conference
es4410 student welcome to attend
Sunday
9 29
3pm 430pm
Hollister B 14 2
Assignment 2 hints
For problem l
Crated sections always terminate
Non critical sections
Nes
is
a For problem2
mutual exclusion protocols are
expected to
work for
Nz
2
processes
Looking ahead
prelim 1
is Thurs 10 10
1 2 weeks
Likely Naew
session
10 8
in class
Beyond Semaphores
9 26 2019
54410
FBS
Synchronization primitives
shared memory Semaphore's
Monitors
legions
Tension
general.ly
expoessweness
Vs
usability clarity
Exploit
syntax
compilers
f syntaxcheday
ran the
foo
ar
monitor vars
alloe on heap
alloe on stack
Var locals
code
i I 1
2 operation P1 P2
Var locals
code
initialization
schematic representation of monitor
Support for synchronization Muta
t
and synch
perkperation
Opi
OPI
pi
R
VI
locals
Regulge that B holds
t
N
end
BB
monitor
bufffo
N
strt
len
slob
On Htt
insert
b
portion
need
a slot
buff stettler
to
Len
ler 11
slots
slots
I
rmv
was wal porton
need
a ponton
vale
buffett
len
ler
1
slots
slots H
sht
start
I mod Ntt
begin stit
Len
O
slots
end
a Boolean
condition variables
f
ta
a
n
condition
associateBee
c wet
releases math lockfor Monta
blocks process
c continue
exit monitor te unblock 1 process
I
e.ua EEhBe
cortina
end
BB
monitor
buff
strt
len
slob
Ntl
slots og
B
space
space
condition
stuff
condita
Lento G Bstuff
insert
b
portion
needas
if slots
then spacewet
buff stettler
to
Len
lent
slots
slots
1
stuff continue
RMV
was wal parton
needa.io
n
iflen otherstuffwait
Vale buffett
len
ler
1
slots
slots11
Sth
start 11 mod Nti
space continue
begin slit
Len
O
slots
_0
end BB
II
runs after esignal
InBc
IAB
e signal
I
17in
to monitor
Implemented of signayargest senates
entry queue
for monitor
conditanqueue for each condition variable
urgent queue
for monitor
monitorcall
monitor ri use
then
add thread to entayqua
else grant access
e wait
Put thread on queue for
a
Inooke scheduler
c signal
Put thread on urgentqueue
If conditaqua for
c notempty
then
run head next
else
invokescheduler
scheduler
An thread
Else any
thread on entgque Run it
Implemented of signayargest seventies with semphs
M monitor
Vor Mateen semaphumit D
semen semaphore Hit argon
semaphore hit G
Pfmutexm
C court
c court 4
c wait
if urgcounta
urgeoutneurgeout l
Is.ge
nEEm
e signal
urgcountainurgcounty11
end
qfurgcountm othf.LYYm9uTIm
4410
Announcements
10 1
Tutorial on this
week's lectures
10 1,10 3
Sunday
10 6
3pm 430pm
Hollister 1314
Looking ahead
prelim 1
is Thurs
10 10
11
week
Likely Kaew
session
10 8
in class
Beyondsemaphaeskon.HN
Monitor
Vad
Manker
vars
C condition
Be
Opi
Oprah pi
R
VI
locals
end
c wet
thread suspended
e continue
thread exits Monitor a
Ehead blocked an
c
runs
thread suspends
urgent
queue I
thred blocked
are
rung
Aent
monitor
xaranti
integer
man
Condition
wzacnt
deposit
ant
end
Mor Signal
withdraw
W
integer
whale ants
w
do
inor.ua
end antares
to
end A cut
My
notify
Suppose signal operation
digged.oteaue
il
Note Actually
I need
notes
notify
Implementater of agungatenartees
entry queue
for monitor
conditanqueue for each condition variable
monitorcall
monitor ri
use
then
add thread to entagquea
else grant access
e wait
Put thread on queue for conditioner
Inooke scheduler
c notify
I process
made
runnable
taut continue exeauty in monitor
c notify
htt
all process
made runnable continue executing an monitor
scheduler
Pick
some
runnable thread
to
run
it
at most
in monitor
e continue
thread exits monitor
thread suspends
urgent
queue
e notify
thread continues to
exec in Mordor
C wait
C continue E signal
immediately
e notify
eventually
compare with
Use of notify
is tricky
tooprocesses can Acquire when f instead ofwhite
Monitor
var
locked
boolean init false
Q
condition
Acquire operation
de
Q wait end
locked
true
end
Release
locked
Q notify
end
end monitor
Cautions
when using
mortars
call
M op
f
Priority Inversion
thread
A
high pro
B
med pro
C looks mute M
C yields processor to B
B
runs long computaton
e
i
i
i
B yields processes to A
blocked due to
C
i
A yields processor to B
continues long computation
Deconstructing Monitors
Critical Regions
Yetanother synchronizationpinata
Good ref Birrell
AnIntroductiontoPrograngwiti
Threads
Monitor
mutual exclusion forceps
ideas
card synch
Cwulhin ops
selectee mutes
due to visibility
rules for vars
looks define regions
syntax of
a
region
star
M
Lock
region in de
end
Condition variables allow release of locks wait
notify
notifyAll
Var M
Lock
space Condition with m
stuff
condefeon with M
1
re
ion
m de
Touffffstittler modeN
yal
ler
lent stuff signal
end
re non Moto
while een
Tal
but stiff
sht
Coletti med N
Lem
een
t
space signal
end
associate sets of
variables
with
each lock
allows arbitrary firegraingroupingof
variables
problems if
each
Varts
associated
with multiple locks
Message Passing
send
m to
dest
receive
m
wce
Various design deasons
How to specify destfatnd sofa
forsend
for receue
directnanny
sender
names
recewen
receiver names sender
0442
charnels
Problem
Processes need to know each other's homes
asymetric direct hang
sender names receiver
receiver names nobody
bloday
synchronous
causes primitue to
delayuntil some event
nonbloday
asynchronous
primitive continues
bloclaysend sender delayed until msg
received
client
send
yz to e
Sen
g
receive val
receive a b e
I l
send res to
Buffery capacity
How manysent but notreceived Msgs
allowed
O
capaaly
N
capacity
send
as
V
receive
as
p
b