Пример взаимодействующих автоматов — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м (→Pictures) |
ANA (обсуждение | вклад) м (→NEW) |
||
| Строка 149: | Строка 149: | ||
<html><img src="https://docs.google.com/drawings/d/e/2PACX-1vTdDmWimp7Jwyes-a-bw9NYnhEyR7Qb7OOFl5HTGrAqdvBowHSnDn1REGeE7zkKkBkdSUPf8LvWEswW/pub?w=900"></html> | <html><img src="https://docs.google.com/drawings/d/e/2PACX-1vTdDmWimp7Jwyes-a-bw9NYnhEyR7Qb7OOFl5HTGrAqdvBowHSnDn1REGeE7zkKkBkdSUPf8LvWEswW/pub?w=900"></html> | ||
| + | |||
| + | == Граф переходов для 3 потоков == | ||
| + | |||
| + | <graphviz> | ||
| + | digraph G { | ||
| + | ratio = "auto" ; | ||
| + | Cal_Free [label="CalFree: 0001\n cal_ready = 11\n last_thread = 1|0" style=bold] | ||
| + | Cal_RST [shape=none label=""] | ||
| + | { rank=same | ||
| + | Cal_Work11 [label="CalWork_11: 0010\n cal_ready = 10\n last_thread = 0"] | ||
| + | Cal_Work12 [label="CalWork_12: 0010\n cal_ready = 01\n last_thread = 1"] | ||
| + | } | ||
| + | Cal_Work2 [label="CalWork_2: 0100\n cal_ready = 01|10\n last_thread = 1|0"] | ||
| + | Cal_Work3 [label="CalWork_3: 1000\n cal_ready = 01|10\n last_thread = 1|0"] | ||
| + | |||
| + | Cal_RST -> Cal_Free [label="reset"] | ||
| + | |||
| + | Cal_Free -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"] | ||
| + | Cal_Free -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"] | ||
| + | Cal_Free -> Cal_Work12 [label="cal_req = 10\nlast_thread = 0|1"] | ||
| + | Cal_Free -> Cal_Work11 [label="cal_req = 01\nlast_thread = 0|1"] | ||
| + | |||
| + | Cal_Work11 -> Cal_Work2 | ||
| + | Cal_Work12 -> Cal_Work2 | ||
| + | |||
| + | Cal_Work2 -> Cal_Work3 | ||
| + | |||
| + | Cal_Work3 -> Cal_Free [label="cal_req = 00"] | ||
| + | Cal_Free -> Cal_Free [label="cal_req = 00"] | ||
| + | Cal_Work3 -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"] | ||
| + | Cal_Work3 -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"] | ||
| + | |||
| + | last_thread_RST [shape=none label=""] | ||
| + | last_thread1 [label="last_thread: 1" style=bold] | ||
| + | last_thread0 [label="last_thread: 0"] | ||
| + | |||
| + | last_thread_RST -> last_thread1 [label="reset"] | ||
| + | |||
| + | last_thread0 -> last_thread0 [label="cal_req = 01|00"] | ||
| + | last_thread0 -> last_thread1 [label="cal_req = 11"] | ||
| + | last_thread1 -> last_thread0 [label="cal_req = 11"] | ||
| + | last_thread1 -> last_thread1 [label="cal_req = 10|00"] | ||
| + | |||
| + | } | ||
| + | </graphviz> | ||
== NEW == | == NEW == | ||
Версия 13:07, 19 ноября 2017
Содержание |
Расширенный вариант графа переходов
Очень Расширенный вариант графа переходов
Pictures
Граф переходов для 3 потоков
