atomic?

arian · 2013-06-06 19:30:55

I've recently developed in Spin and I have a question to solve, in my project I have two prototypes and run tolamente need a first or another later.
They function as two finite state machines to represent a client-server architecture for a stop and wait protocol

spinroot · 2013-06-06 19:37:48

you mean two 'proctypes' ? and you want to run one to completion before enabling the other?

arian · 2013-06-06 19:43:33

that's right, two proctypes and I need to run first one then the other

spinroot · 2013-06-06 19:44:28

just send a message from the first to the second process, and have the second process wait for that message

arian · 2013-06-06 19:48:33

when you say "send a message" you mean using data send by the channel?

spinroot · 2013-06-06 19:49:46

mtype = { go };
chan q = [0] of { mtype };

active proctype One() { .....; q!go }
active proctype Two() { q?go; ..... }

arian · 2013-06-06 19:58:48

the run well, correct?
init
{
atomic { run controlador(2,1); run agente(2,1) }
}

spinroot · 2013-06-06 20:45:21

you don't need a run statement if the proctypes are declared 'active'
but if you omit that, then yes, that's how you can start the processes as well

arian · 2013-06-13 14:53:18

the process that initiates the communication is the controller, running all states, and then send to the agent, which analyzes the information received and if all is well, send your answer ... so should sudecer, that's why I need to run around a complete process and then the other, that's where my question lies, I can not run all the prototype and then the other

Spinroot

#1 2013-06-06 19:30:55

atomic?

#2 2013-06-06 19:37:48

Re: atomic?

#3 2013-06-06 19:43:33

Re: atomic?

#4 2013-06-06 19:44:28

Re: atomic?

#5 2013-06-06 19:48:33

Re: atomic?

#6 2013-06-06 19:49:46

Re: atomic?

#7 2013-06-06 19:58:48

Re: atomic?

#8 2013-06-06 20:45:21

Re: atomic?

#9 2013-06-13 14:53:18

Re: atomic?

Board footer