Spinroot

A forum for Spin users

You are not logged in.

#1 2019-02-11 19:09:51

marc15
Member
Registered: 2019-02-07
Posts: 34

can a process check if n-processes are in a valid end state?

I have to model subprocesses and I want process A to check if process B and other processes are in a valid end state. If and only if B and n processes are in end-states, go on with A.

I've got a workaround now, but it's work. Is there no easy way for doing so?

Offline

#2 2019-02-11 20:17:04

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: can a process check if n-processes are in a valid end state?

http://spinroot.com/spin/Man/remoterefs.html
probably helps?

Offline

#3 2019-02-11 22:29:43

marc15
Member
Registered: 2019-02-07
Posts: 34

Re: can a process check if n-processes are in a valid end state?

but remoterefs are only accessible inside of never claims, aren't they?

Offline

#4 2019-02-11 22:39:16

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: can a process check if n-processes are in a valid end state?

true, they should only be used in never claims
may still work in proctypes, but you'll probably get a warning and should not use p.o. reduction....

Offline

#5 2019-02-11 22:53:19

marc15
Member
Registered: 2019-02-07
Posts: 34

Re: can a process check if n-processes are in a valid end state?

ok, thank you!!

Offline

Board footer

Powered by FluxBB