| Variable |
Description
|
|---|
| int jmp |
Stores the position (label) from where the process
continues execution when it is called next time. It's initial value is
0. |
| int sequence_nr |
This variable is used by the kernel to check
whether a process is already scheduled for execution in the current
simulation cycle. Each simulation cycle is assigned a unique sequence
number. If a process shall be activated during the current simulation
cycle this sequence number is compared with ``sequence_nr''. If
both values differ the process is registered for execution in the
current simulation cycle and ``sequence_nr'' is set to the
current sequence number. Otherwise, the process has been already
registered and no further action is taken. This technique prevents that
a process is registered more than once in each simulation cycle. |
| int timeout_jmp |
Stores the label number at which execution continues
when a timeout condition becomes active. |
| string iname |
Instance name of the process. |
| |
|
|---|
