C# Класс ExternalDelayingExplorer.CustomDelayingScheduler

Наследование: Microsoft.Zing.ZingerDelayingScheduler

Открытые методы

Метод	Описание
CustomDelayingScheduler ( ) : System
Delay ( ZingerSchedulerState ZSchedulerState ) : void	remove the process at the start of the sortedList and push it at the end.
Finish ( ZingerSchedulerState ZSchedulerState, int processId ) : void	Remove process from the list if completed
MaxDelayReached ( ZingerSchedulerState ZSchedulerState ) : bool	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 ( ZingerSchedulerState ZSchedulerState ) : int	Returns the first element in the list.
OnBlocked ( ZingerSchedulerState ZSchedulerState, int sourceSM ) : void	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 ( ZingerSchedulerState ZSchedulerState, int targetSM, int sourceSM ) : void	This function is called on a enqueue operation. A process is enabled if it has messages in its queue to be serviced
OtherOperations ( ZingerSchedulerState ZSchedulerState ) : void
Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void	This function is called by Zinger whenever a new process is created. Add the new created process to the enabledProcesses List and also assign random priority.
ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void

Описание методов

CustomDelayingScheduler() публичный Метод

public CustomDelayingScheduler ( ) : System
Результат	System

Delay() публичный Метод

remove the process at the start of the sortedList and push it at the end.

public Delay ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
Результат	void

Finish() публичный Метод

Remove process from the list if completed

public Finish ( ZingerSchedulerState ZSchedulerState, int processId ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
processId	int
Результат	void

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).

public MaxDelayReached ( ZingerSchedulerState ZSchedulerState ) : bool
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
Результат	bool

Next() публичный Метод

Returns the first element in the list.

public Next ( ZingerSchedulerState ZSchedulerState ) : int
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
Результат	int

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.

public OnBlocked ( ZingerSchedulerState ZSchedulerState, int sourceSM ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
sourceSM	int	Process that is blocked
Результат	void

OnEnabled() публичный Метод

This function is called on a enqueue operation. A process is enabled if it has messages in its queue to be serviced

public OnEnabled ( ZingerSchedulerState ZSchedulerState, int targetSM, int sourceSM ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
targetSM	int	The process that is enabled because of an enqueue
sourceSM	int	This parameter is passed for debugging purposes
Результат	void

OtherOperations() публичный Метод

public OtherOperations ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
Результат	void

Start() публичный Метод

This function is called by Zinger whenever a new process is created. Add the new created process to the enabledProcesses List and also assign random priority.

public Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
processId	int	process Id of the newly created process
Результат	void

ZingerOperation() публичный Метод

public ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	Microsoft.Zing.ZingerSchedulerState
Результат	void