1 votes 1 votes " No Progress Implies Alays Deadlock " "Deadlock implies always No Progress " Operating System operating-system + – Anjana Babu asked Jan 10, 2017 • reopened Jan 10, 2017 by Bikram Anjana Babu 560 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 1 votes 1 votes https://gateoverflow.in/?qa=blob&qa_blobid=8914138165937713753 slide 18 and 21 both r true sentence. Bikram answered Jan 10, 2017 • selected Jan 10, 2017 by Bikram Bikram comment Share Follow See all 10 Comments See all 10 10 Comments reply Pavan Kumar Munnam commented Jan 10, 2017 reply Follow Share sir what if two processes do not want to enter the CS , so there is no progress and there is no deadlock also 0 votes 0 votes saurabh rai commented Jan 10, 2017 reply Follow Share sir in dekker's soln it is nt progress does it implies deadlock ? 0 votes 0 votes Bikram commented Jan 10, 2017 reply Follow Share can you give some example for that situation and WHy 2 process DONT WANT to enter their CS ? are they preempted ? are there any any other condition occur ? see that above slide, in general deadlock means No progress. 0 votes 0 votes Bikram commented Jan 10, 2017 reply Follow Share @rai A good solution to the critical section problem must satisfy the following three conditions: Mutual Exclusion Progress Bounded Waiting in Dekker's algo progress occurs hence no deadlock. Dekker's algorithm is based on busy waiting ... it will allow only one process in, based on whose turn it is. If one process is already in the critical section, the other process will busy wait for the first process to exit. Dekker's algorithm guarantees mutual exclusion, freedom from deadlock, and freedom from starvation . https://en.wikipedia.org/wiki/Dekker's_algorithm 0 votes 0 votes Pavan Kumar Munnam commented Jan 10, 2017 reply Follow Share like two processes are waiting for a event to happen or a signal they have to receive 0 votes 0 votes Bikram commented Jan 10, 2017 reply Follow Share in that case only one of them get that event or that signal but what about other one ? it should go in CS 0 votes 0 votes target2017 commented Jan 10, 2017 reply Follow Share In strict alternation approach or turn variable approach; there is NO Progress, but No Deadlock. 0 votes 0 votes Bikram commented Jan 10, 2017 reply Follow Share https://www.quora.com/Why-doesnt-the-strict-alternation-algorithm-satisfy-the-progress-condition-How-do-I-check-that-algorithm-is-satisfying-that-condition-or-not that strict alternation is not a general case though! it is a special case. 0 votes 0 votes Pavan Kumar Munnam commented Jan 10, 2017 reply Follow Share no both are not contending for CS my thing is like this P1 , P2 <concurrent execution> signal==true { ENTRYSECTION CS REMAINDER SECTION } 0 votes 0 votes Bikram commented Jan 10, 2017 reply Follow Share if 2 process are waiting to enter Cs then at a time only 1 of them can enter that satisfy ME. 0 votes 0 votes Please log in or register to add a comment.