C# Class Microsoft.Zing.ZingerDelayingScheduler

Public Methods

Method	Description
Delay ( ZingerSchedulerState ZSchedulerState ) : void	This function is called by Zinger to delay the DBScheduler.
Finish ( ZingerSchedulerState ZSchedulerState, int processId ) : void	This function is called by Zinger whenever a process has finished execution.
Invoke ( ZingerSchedulerState ZSchedulerState ) : void	This function is called in response to invoke-scheduler function in the zing model.
MaxDelayReached ( ZingerSchedulerState ZSchedulerState ) : bool	this function is called from zing scheduler to know how many times delay should be called on a particular state to explore all its successors.
Next ( ZingerSchedulerState ZSchedulerState ) : int	This function is called by Zinger to obtain next process to be scheduled.
OnBlocked ( ZingerSchedulerState ZSchedulerState, int sourceSM ) : void	This function is called when a P process is blocked on a dequeue
OnEnabled ( ZingerSchedulerState ZSchedulerState, int targetSM, int sourceSM ) : void	This function is called when a P process is enabled.
OtherOperations ( ZingerSchedulerState ZSchedulerState ) : void	Unhandled operation or a special operation.
Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void	This function is called by Zinger whenever a new process is created.
ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void	This function is invoked from within the zinger explorer

This function is called by Zinger to delay the DBScheduler.

public abstract Delay ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	ZingerSchedulerState
return	void

This function is called by Zinger whenever a process has finished execution.

public abstract Finish ( ZingerSchedulerState ZSchedulerState, int processId ) : void
ZSchedulerState	ZingerSchedulerState
processId	int	process Id of the completed process
return	void

This function is called in response to invoke-scheduler function in the zing model.

public Invoke ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	ZingerSchedulerState
return	void

this function is called from zing scheduler to know how many times delay should be called on a particular state to explore all its successors.

public abstract MaxDelayReached ( ZingerSchedulerState ZSchedulerState ) : bool
ZSchedulerState	ZingerSchedulerState
return	bool

This function is called by Zinger to obtain next process to be scheduled.

public abstract Next ( ZingerSchedulerState ZSchedulerState ) : int
ZSchedulerState	ZingerSchedulerState
return	int

This function is called when a P process is blocked on a dequeue

public abstract OnBlocked ( ZingerSchedulerState ZSchedulerState, int sourceSM ) : void
ZSchedulerState	ZingerSchedulerState
sourceSM	int
return	void

This function is called when a P process is enabled.

public abstract OnEnabled ( ZingerSchedulerState ZSchedulerState, int targetSM, int sourceSM ) : void
ZSchedulerState	ZingerSchedulerState
targetSM	int
sourceSM	int
return	void

Unhandled operation or a special operation.

public OtherOperations ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	ZingerSchedulerState
return	void

This function is called by Zinger whenever a new process is created.

public abstract Start ( ZingerSchedulerState ZSchedulerState, int processId ) : void
ZSchedulerState	ZingerSchedulerState
processId	int	process Id of the newly created process
return	void

This function is invoked from within the zinger explorer

public abstract ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState	ZingerSchedulerState
return	void