実行API

Layer 4: Extend Framework

実行APIは、評価器、初期化器、非同期評価スケジューラー、ランタイムの登録機構を公開します。 Runner は内部実装であるため、この公開一覧には含めません。

saealib.execution.AsyncEvaluationScheduler	Coordinate asynchronous requests and serialized state mutation.
saealib.execution.PollResult	The state and progress observed by one asynchronous poll.
saealib.execution.RuntimeFactory	Factory protocol for runtimes selected by a provider registry.
saealib.execution.RuntimeRegistration	One explicit runtime selection rule.
saealib.execution.RuntimeRegistry	Runtime selection errors on conflict; compiler rules do not select a runtime.
saealib.execution.create_runtime	Create a runtime through the replaceable default provider registry.
saealib.execution.default_runtime_registry	Runtime selection errors on conflict; compiler rules do not select a runtime.

評価器、評価Request、初期化器の詳細は Evaluation と Initialization を参照してください。