C# Класс Microsoft.Zing.ZingerSchedulerState

Открытые свойства

Свойство	Тип	Описание
numOfTimesCurrStateDelayed	int

Свойство	Тип	Описание
PprocessToZingprocess	int>.Dictionary

Метод	Описание
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
Результат	ZingerSchedulerState

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

public Finish ( int processId ) : void
processId	int
Результат	void

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

public GetZingProcessId ( int P_ProcessId ) : int
P_ProcessId	int
Результат	int

This function Maps P process to Zing Process

public Map ( int P_ProcessId ) : void
P_ProcessId	int
Результат	void

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

public Start ( int processId ) : void
processId	int
Результат	void

Defualt Constructor

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

Copy Construtor

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

Map from the P Statemachine id to Zing Process Id.

protected Dictionary PprocessToZingprocess
Результат	int>.Dictionary

public int numOfTimesCurrStateDelayed
Результат	int