Tutorial 0 - 25th September 2019 Flashcards Preview

CS4052 Logic and Software Verification > Tutorial 0 - 25th September 2019 > Flashcards

Flashcards in Tutorial 0 - 25th September 2019 Deck (2)
Loading flashcards...
1

Can active processes run more than once?

No

2

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?

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.