Method | Description | |
---|---|---|
Delay ( |
Perform the delay operation. Move process at the start of the list to the end.
|
|
Finish ( |
This function is called by Zinger whenever a process has finished execution. Remove the process from list of enabled processes.
|
|
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 ( |
Returns the first element in the list.
|
|
OnBlocked ( |
This function is called when a process is blocked on dequeue. There are no more events to be serviced and the queue is empty.
|
|
OnEnabled ( |
This function is called on a enqueue operation. A process is enabled if it has messages in its queue to be serviced
|
|
RoundRobinDBSched ( ) : System | ||
Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void |
This function is called by Zinger whenever a new process is created. Add the new created process at the end of RR list.
|
|
ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void |
This function is provided for extending or customizing the delayingExplorer.
|
public Delay ( |
||
zSchedState | ||
return | void |
public Finish ( |
||
ZSchedulerState | ||
processId | int | process Id of the completed process |
return | void |
public MaxDelayReached ( |
||
zSchedState | ||
return | bool |
public Next ( |
||
zSchedState | ||
return | int |
public OnBlocked ( |
||
ZSchedulerState | ||
sourceSM | int | Process that is blocked |
return | void |
public OnEnabled ( |
||
ZSchedulerState | ||
targetSM | int | The process that is enabled because of an enqueue |
sourceSM | int | This parameter is passed for debugging purposes |
return | void |
public Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void | ||
ZSchedulerState | ZingerSchedulerState | |
processId | int | process Id of the newly created process |
return | void |
public ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void | ||
ZSchedulerState | ZingerSchedulerState | |
return | void |