Pilsen l vs acquire l release Vb Gen vs Classic Problems Cake'd - - PDF document

SLIDE 1

Semaphores

eon't

Synchronization

atomic load 4 store

• nly

Peterson's mutual exclusion

interlock

instructors TS

Gestaset

semaphores

generalsemaphores

OS

sem

binarysemaphores

0 Esem El

PGen

Lawaitsen

• ther

seu

seu

i

V Sen

Gen

sente

looks

vs

binary semaphores

acquire

l

vs

Pilsen

release

l

vs

Vb Gen

SLIDE 2

ClassicProblems

Cake'd sectarilmutual exclusive

selective

mutual excluss

K

mutual

exchesce

Boarded

Buffer

N producos

consumers

I

produce

I

consumer

SLIDE 3

Techniques

Assertions characterize slate

I

PET

Q3

fCtB

preG h P

T EP

preA AQ T

Q

interference freedom

Encode

conditions

to await

as semph value

E g

await N Ca

r

• E

P slots

where

I

slots

Nica

r

a splitbnaysemaphores

today

SLIDE 4

11cm

causes

some

process

delayed

• n Pln

to

resume

Choice is

non deterministic

In

x

x

Rm

und

f

Phys

very

I

m

Maman

Wmd

O

SLIDE 5

Program execution

as

an alternating

sequence

• f

Pcm

11cm

• perators

Example program flow

Mem

Mzt Mz

My

B

Bz

Bz

By

wi

b

wi.ir

f TB then pay me

w

wz

f

twatjiiii.me

while

X

f

loop

f

T1

does

a

f

is

f IBztheef

Ly

f

some process is

if starty waiting

I

d

V

If notBy the

my PGA Ms

Was

Plm Plm

1cm

it

SLIDE 6

PC

p

wet

wi

VCI

Tf

if

Bither

Inn

else af

um

v

Pcm

1

Ii

if

wison Bath Hmu

if nBe

then we we11

T

Pla

SLIDE 7

SLIDE 8

Readers

wriers Problem

Database

9

T

T

Assume

end

O

O

follows State

processes

startRead

Start

Write

Read

Write

End Read

Eadwrite

i

Readers exclude writers

butnot readers

writers exclude

writers and readers

SLIDE 9

Readers

wriers Problem

Def

r

• f current readers

w

• fcurrent waters

IIe

Ro

N

Wso

d

w

• v

w

Idr

• D

O

SLIDE 10

start

Reed

Await

w

• r

rtI EndRead

f

r

I

IIe

Ro

N

Wso

d

ferox

well

F o

SLIDE 11

Statute

W

w 11

EndWile

W W

I

IIe

Ro

N

Wso

d

ferox

well

FOD

SLIDE 12

I10

Ro

N

Wso

d

ferox

well

F o

Rn

Uri

Wrt I I

started

aw

atfw

• tfw tothentpf.co

Ew 03

a

r

rtI

X

EndRead

PG

n

r

r

I

X

n

Pcn

Ww

_cow ti V

d f

w fo

tr

• theatPGr

stotwnteaatw

• nr

EW

• rr
• f.to

Wt l

I

End wrote Pem

W

W

I

www.ww

I

I

if

w

• h

r

• Aww

0 then

sr

else

if

w

• Awr
• ther V

sw

else

Ven

t

add assigns

to

raw

wr

wr

I

add await

to

ensure Ino holds

use seraphs for blocking

add Pops

add

X

• ps to

unblock

gives and

• nly unblock if waiting

adjust Ww

Wr

I 6

add mater to orotect vars

Pcm Xo

SLIDE 13

I10

Ro

N

Wso

d

ferox

well

F OD

started Pff

w

• then

wr

wrH HMM

w 03

f

rt I

End

Read

Pem

r

r

l

V

StartWale

Pem

n

f w fo

v

r 10 then Ww

WwH V

Rsr

Wn e

wt I

I End wrote Pem

W

w

I

I

if

w

• r

r

• r

w w

• then

Ww

ww

1 Vfr

else if

w

• r

w r

• then

writer

I

Vcsw

else

Vem