C# 클래스 Microsoft.Zing.ZingerDelayingScheduler

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드 설명
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

메소드 상세

Delay() 공개 추상적인 메소드

This function is called by Zinger to delay the DBScheduler.
public abstract Delay ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState ZingerSchedulerState
리턴 void

Finish() 공개 추상적인 메소드

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
리턴 void

Invoke() 공개 메소드

This function is called in response to invoke-scheduler function in the zing model.
public Invoke ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState ZingerSchedulerState
리턴 void

MaxDelayReached() 공개 추상적인 메소드

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
리턴 bool

Next() 공개 추상적인 메소드

This function is called by Zinger to obtain next process to be scheduled.
public abstract Next ( ZingerSchedulerState ZSchedulerState ) : int
ZSchedulerState ZingerSchedulerState
리턴 int

OnBlocked() 공개 추상적인 메소드

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
리턴 void

OnEnabled() 공개 추상적인 메소드

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
리턴 void

OtherOperations() 공개 메소드

Unhandled operation or a special operation.
public OtherOperations ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState ZingerSchedulerState
리턴 void

Start() 공개 추상적인 메소드

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
리턴 void

ZingerOperation() 공개 추상적인 메소드

This function is invoked from within the zinger explorer
public abstract ZingerOperation ( ZingerSchedulerState ZSchedulerState ) : void
ZSchedulerState ZingerSchedulerState
리턴 void