Question

Given a code snippet as question,are there any fast tricks to Test the three neccesary conditions for the process synchonization.

Answer 1

First do check for mutual exclusiveness. Then do for bounded waiting and progress. Its not difficult to do- in coming week we will take on all previous questions given below and the same technique should work in almost all of them.

https://gateoverflow.in/tag/process-synchronization

Comments

Thanks for reply,Arjun. I am able to check the Mutual exclusion condition by bringing one process in critical and testing the others. But have confusions regarding the bounded wait and progress tests. If i get a reference or a good example aomewhere then that would be very useful. Thanks.

---

You are welcome. I hope it will be clear when previous year questions are answered. If you have any particular question you can post here- or choose from some prev question.