You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Sean McBride
06910736d1
|
3 years ago | |
---|---|---|
.. | ||
Makefile | 3 years ago | |
README.md | 3 years ago | |
states.dot | 3 years ago | |
states.svg | 3 years ago |
README.md
This is a state transition diagram of a sandbox. This maps to the state transition functions defined in runtime/include/sandbox_set_as_*.h
Technically, this does not capture all state transitions to or from SANDBOX_INTERRUPTED, as any state can be interrupted by a SIGALRM and this would clutter the diagram. The only transitions shown to or from SANDBOX_INTERRUPTED are those leading to SANDBOX_PREEMPTED, as this reflects actual changes to a sandbox within the scheduler. All other transitions to/from SANDBOX_INTERRUPTED are mostly concerned with preventing scheduler execution time from being counted against sandbox execution times.