OS Process Synchronization

Mutual Exclusion

Progress

Bounded Waiting

All of the mentioned

after a process has made a request to enter its critical section and before the request is granted

when another process is in its critical section

before a process has made a request to enter its critical section

none of the mentioned

continue()

wakeup()

getup()

start()

process, semaphore

process, monitor

semaphore, semaphore

monitor, monitor

growing & shrinking phase

shrinking & creation phase

creation & growing phase

destruction & creation phase

after a particular process

periodically

atomically

none of the mentioned

suspended until another process invokes the signal operation

waiting for another process to complete before it can itself call the signal operation

stopped until the next process in the queue finishes execution

none of the mentioned

puts the system into a deadlock state

suspends some default process execution

nothing happens

the output is unpredictable

to ensure atomicity

to keep data consistent

that records data on stable storage

all of the mentioned

stop()

block()

hold()

wait()