A forum for Spin users
You are not logged in.
Pages: 1
let their are 2 atomic section in a process P and in init process i created 3 instance of that process P then in execution let 1st instance of P is inside 1st atomic section then, are other 2 instance of process P is allowed to enter 2nd atomic section without executing 1st atomic section or not?
Basically i want to know what will be the execution sequence.
Offline
the execution of an atomic sequence is indivisible
so no other processes can execute any statements while process P is inside its atomic
(until either P finishes the atomic sequence, or it blocks on an unexecutable statement)
Offline
Pages: 1