0 votes 0 votes check if progress and bound and wait satisfies or not? load Ri m[lock] cmp Ri #o JNZ to step 1 STORE m[lock] #1 critical section Store m[lock] #0 eyeamgj asked Nov 17, 2017 eyeamgj 482 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
0 votes 0 votes Mutual exclusion is not satisfied {more then one process are entering into critical section} Progress is satisfied Bounded waiting is not satisfied Akash Mittal answered Nov 17, 2017 Akash Mittal comment Share Follow See all 6 Comments See all 6 6 Comments reply Show 3 previous comments Akash Mittal commented Nov 17, 2017 reply Follow Share preemption is temporary halt, eventually, p1 will come back and execute its remaining code and which make flag to 0 0 votes 0 votes eyeamgj commented Nov 17, 2017 reply Follow Share Ok thanks 0 votes 0 votes eyeamgj commented Nov 17, 2017 reply Follow Share And than why bound and wait is not satisfied 0 votes 0 votes Please log in or register to add a comment.