diff options
Diffstat (limited to 'doc/user/states.txt')
-rw-r--r-- | doc/user/states.txt | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/doc/user/states.txt b/doc/user/states.txt deleted file mode 100644 index 265d1e8c6f..0000000000 --- a/doc/user/states.txt +++ /dev/null @@ -1,26 +0,0 @@ - +-------------------------------------------------------------+ - | Non-existent | - | +-------------------------------------------------------+ | - | | | | - | | | | - | | Creating +---------+ Deleting | | - | | -------------------> | Dormant | -------------------> | | - | | +---------+ | | - | | | | | - | | Starting | | | - | | | | | - | | V Deleting | | - | | +-------> +-------+ -------------------> | | - | | Yielding / +----- | Ready | ------+ | | - | | / / +-------+ <--+ \ | | - | | / / \ \ Blocking | | - | | / / Dispatching Readying \ \ | | - | | / V \ V | | - | | +-----------+ Blocking +---------+ | | - | | | Executing | --------------> | Blocked | | | - | | +-----------+ +---------+ | | - | | | | - | | | | - | +-------------------------------------------------------+ | - | Non-existent | - +-------------------------------------------------------------+ |