Tutorial 0 - 25th September 2019 Flashcards

PROMELA and Spin Exercises

1
Q

Can active processes run more than once?

A

No

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Can processes interfere in changing the order by which they atomically execute, or can they also interfere by executing one line of one process, then one line of another, etc?

A

Both are possible. Even within conditional lines, a conditional check can be made in one process, then a line in another will execute, before returning to execute the body of the conditional in the first process.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly