Method | Description | |
---|---|---|
Delay ( |
Move the process on top of stack to the bottom of the stack. Moving the process to the bottom of the stack deviates the scheduler from following the casual order of events (RTC strategy).
|
|
Finish ( |
Remove the completed process from Stack so that it is never scheduled again.
|
|
MaxDelayReached ( |
This function is used internally by the ZING explorer. It checks if we have applied the maximum number of delays in the current state. Applying any more delay operations will not lead to new transitions/states being explored. Maximum delay operations for a state is always (totalEnabledProcesses - 1).
|
|
Next ( |
Return process at the top of stack. This process is executed next and follows the deterministic schedule.
|
|
OnBlocked ( |
This function is called when a process is blocked. In the context of asynchronous message passing programs, a process is blocked when its queue is empty and the process is waiting for an event. The process that gets blocked is poped off the stack.
|
|
OnEnabled ( |
This function is called when an enqueue is performed on a process, hence it has a pending event to be serviced.
|
|
RunToCompletionDelayingScheduler ( ) : System | ||
Start ( |
Push newly created process on top of Stack
|
|
ZingerOperation ( |
This function is provided for extending or customizing the delayingExplorer.
|
public Delay ( |
||
zSchedState | ||
return | void |
public Finish ( |
||
zSchedState | ||
processId | int | Process id to be removed from the stack |
return | void |
public MaxDelayReached ( |
||
zSchedState | ||
return | bool |
public Next ( |
||
zSchedState | ||
return | int |
public OnBlocked ( |
||
ZSchedulerState | ||
sourceSM | int | This parameter is passed for debugging purposes |
return | void |
public OnEnabled ( |
||
ZSchedulerState | ||
targetSM | int | targetSM is the target process in which the event was enqueued. /// This process is pushed on top of the stack to follow event enqueue order. |
sourceSM | int | This parameter is passed for debugging purposes |
return | void |
public RunToCompletionDelayingScheduler ( ) : System | ||
return | System |
public Start ( |
||
zSchedState | ||
processId | int | process Id of the newly created process |
return | void |
public ZingerOperation ( |
||
ZSchedulerState | ||
return | void |