C# Class Microsoft.Zing.ZingerSchedulerState

Public Properties

Property	Type	Description
numOfTimesCurrStateDelayed	int

Property	Type	Description
PprocessToZingprocess	int>.Dictionary

Method	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState	Clone current scheduler state for new zing state.
Finish ( int processId ) : void	This function is called when a Zing process has finished execution.
GetZingProcessId ( int P_ProcessId ) : int	This function returns the Zing process Id corresponding to the P process.
Map ( int P_ProcessId ) : void	This function Maps P process to Zing Process
Start ( int processId ) : void	This function is called by Zinger Explorer whenever a Zing Processes is created.
ZingerSchedulerState ( ) : System	Defualt Constructor
ZingerSchedulerState ( ZingerSchedulerState copyThis ) : System	Copy Construtor

Clone current scheduler state for new zing state.

public abstract Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
isCloneForFrontier	bool
return	ZingerSchedulerState

This function is called when a Zing process has finished execution.

public Finish ( int processId ) : void
processId	int
return	void

This function returns the Zing process Id corresponding to the P process.

public GetZingProcessId ( int P_ProcessId ) : int
P_ProcessId	int
return	int

This function Maps P process to Zing Process

public Map ( int P_ProcessId ) : void
P_ProcessId	int
return	void

This function is called by Zinger Explorer whenever a Zing Processes is created.

public Start ( int processId ) : void
processId	int
return	void

Defualt Constructor

public ZingerSchedulerState ( ) : System
return	System

Copy Construtor

public ZingerSchedulerState ( ZingerSchedulerState copyThis ) : System
copyThis	ZingerSchedulerState
return	System

Map from the P Statemachine id to Zing Process Id.

protected Dictionary PprocessToZingprocess
return	int>.Dictionary

public int numOfTimesCurrStateDelayed
return	int