SpawnExecutor¶
- from Worker
Purpose¶
Informs the supervisor about the need to spawn a new Executor.
Structure¶
| Field | Type | Description |
|---|---|---|
spawn |
Unit | no information needed in V1 |
Effects¶
A new Executor instance is spawned or (a finished Executor is reused).
Triggers¶
- ExecutorPIDAssigned→Worker: send ExecutorPIDAssigned to the worker that sent the message