[aadl]: Thread state semantics

[Thomas Driessen]

Hi,

I'm currently reading the book MBE with AADL and have some questions
regarding the semantics of the different states a thread can have.

Activate/Deactivate:
Is there a Activate/Deactivate state for each mode? So if the enclosing
process has the modes 1 and 2, and a thread is active only in 1, then are
there the thread states Activate1/Deactivate1 and Activate2/Deactivate2? Or
is there only one Activate/Deactivate state for all possible modes and when
writing code for theses states, one would need additional information about
which mode is about to be entered/left?
Also, when can this state switch occur? Anytime during execution of a
thread? Only before/after execution?

Initialize/Finalize: If the thread is periodic, are those states then
passed through during each execution of the thread? Or are those states
only visited once at Initialization/Finalization of the thread itself?

Any help on this topic is appreciated.

Kind regards,
Thomas
-------------- next part --------------
HTML attachment scrubbed and removed