Статья 457

При таком положении дел реальное параллельное вычисление не будет адекватно представлено.

вычисление

вычисление

Например, в программе, приведенной ниже, в процессе условия всех переходов выполняются, поэтому возможна такая последовательность. Но она не отражает параллельного вычисления этой программы. Процесс вовсе не учитывается в таком сценарии, хотя его переходы могут выполняться, когда процесс находится в метке или. Примером справедливого планирования процессов для этой программы будет последовательность.

В связи с этим при моделировании параллельного вычисления принимается следующая предпосылка справедливого планирования процессов.

Ни один процесс, готовый к работе, который возможен, не должен оставаться незапланированным.
В соответствии с этими предпосылками мы можем теперь определить выполнение параллельной программы как последовательность программных состояний в которой
каждое состояние характеризуется текущими метками всех параллельных процессов программы и текущими значениями программных переменных,
каждое последующее состояние получено из предшествующего в результате осуществления соответствующего перехода представляющего выполнение команды одного из параллельных процессов,
эта последовательность - результат справедливого планирования параллельных процессов данной программы.