MadeEasy Subject Test: Operating System - Process Synchronization

Question

Consider the following ‘C’ code

Assume P1 and P2 are two concurrent processes and sharing the global variables x, y and z. Assignments
and tests are atomic. Consider the following statements :
S1 : P1 and P2 terminates                           S2 : P1 terminates but P2 does not
S3 : P2 terminates but P1 does not            S4 : Neither P1 nor P2 terminates
 

my answer S1 and S4 but solution is different

Comments

answer s1,s2,s4??

---

please explain

---

s2 is P1 will terminate when x>y but P2 will not because they are still not equal

---

x will never be greater than y

---

it will be when multiple p1's are run

---

I think you have a wrong notion of concurrency
Multiple processes can run together but not multiple instances of same process

---

https://en.wikipedia.org/wiki/Readers%E2%80%93writers_problem#First_readers-writers_problem   ---reader writer problem is example of concurrency have a look what it says about multiple instance

---

There are multiple readers and multiple writers hence multiple processes not multiple instances of the same process

I dont I'm able to explain this properly
you should ask some more experienced member they will probably be able to help

---

That is called multiple instances of the same process refers to the same process run with different instance like pid ; in multiple readers you don't write a different code for each process rather you run with different instances

---

By the way what is the ans given?

---

No answer in solution they have provided a solution for different problem :P

---

and you are approaching this wrong diffrent pid means different process id no relation with how any time you write code

---

https://gateoverflow.in/288625/madeeasy-series-operating-system-process-synchronization

Answer 1

These are 4 possibilities  

 

Hope it will help

Answer 2

answer could be S1,S2 and S4...

S3 not possible because if P2 terminate P1 has to terminate..