self doubt

Question

Process P0:-                                                                                          Process P1

while(1)                                                                                                  while(1)

{                                                                                                             {

   int[0]=True;                                                                                              int[1]=True;

   while(int[1]==True);                                                                                 while(int[0]=True);

   //CS//                                                                                                       //CS//

   int[0]=False;                                                                                            int[1]=False;

}                                                                                                              }

Initially, int[0]=int[1]=false;

Will this algorithm satisfy progress and why?

Comments

here this code can have deadlock hence NO progress.!

Answer 1

Deadlock so no progress

Comments

@Prateek Raghuvanshi @Arjun sir Can you comment on bounded waiting for the above code?