From any global state si, the execu

From any global state si, the execution of an eligible action takes the system to the next state Si+1. The central concept is that of a transition system. A computation is a sequence of atomic actions S0 → S1 → S2 → ⋯ → Sf that transforms a given initial state S0 to a final state Sf. A sequence of states and state transitions is also called a behavior of the system. With partial ordering of events and nondeterministic scheduling of actions, such sequences are not always unique—depending on the system characteristics and implementation policies, the sequence of actions from any given configuration can vary from one run to another. Yet, from the perspective of a system designer, it is important to certify that the system operates correctly for every possible run.
Figure 5.1 represents the history of a computation that begins from the initial global state A and ends in the final global state L. Each arc corresponds to an atomic action that causes a state transition. Note that in each of the states B and G, there are two possible actions: this corresponds to either data-dependent actions or nondeterministic choices made by the scheduler(s). The history can be represented as the set of the following three state sequences: {ABCDEFL, ABGHIFL, ABGJKIFL}. If a computation does not terminate, then some of the behaviors can be infinite.

Результаты (русский) 1:

Из любого глобального состояния si выполнение соответствующих действий принимает систему к следующему состоянию Si + 1. Центральная концепция является переходной системы. Вычисление представляет собой последовательность атомарных действий S0 → S1 → S2 → ⋯ → Sf, который преобразует заданный начальное состояние S0 на конечное состояние Sf. Последовательность состояний и переходов состояний также называется поведением системы. С частичным порядком событий и недетерминированные планирование действий, такие последовательности не всегда являются уникальными — в зависимости от характеристик системы и осуществления политики, последовательность действий из любой заданной конфигурации может варьироваться от одного выполнения к другой. Тем не менее с точки зрения конструктора систем, важно подтвердить, что система работает правильно для каждого возможного запуска.Рисунок 5.1 представляет историю вычислений, которая начинается с первоначального глобального состояния A и заканчивается в окончательном глобальное состояние л Каждая дуга соответствует atomic действие, которое вызывает переход состояния. Обратите внимание, что в каждом из государств B и G, есть два возможных действий: это соответствует зависимых от данных действий или недетерминированные выбор планировщики. История может быть представлена как набор следующих последовательности трех состояний: {ABCDEFL, ABGHIFL, ABGJKIFL}. Если вычисление не завершается, то некоторые из поведения может быть бесконечным.

Результаты (русский) 2:

Из любого глобального состояния си, исполнение правомочного действия переводит систему в следующее состояние Si + 1. Центральным понятием является то , что системы перехода. Вычисление представляет собой последовательность действий атомных S0 → S1 → S2 → ⋯ → Sf, превращающий заданного начального состояния S0 в конечное состояние Sf. Последовательность состояний и переходов состояний также называют поведение системы. С частичным упорядочением событий и недетерминированном планирования действий, такие последовательности не всегда уникальны, в зависимости от характеристик системы и политики осуществления, последовательность действий из любой заданной конфигурации может меняться от одного прогона к другому. Тем не менее, с точки зрения дизайнера системы, важно , чтобы подтвердить , что система работает правильно для каждого возможного запуска.
Рисунок 5.1 представляет историю вычисления , которая начинается с начального глобального состояния А и заканчивается в конечном состоянии глобального L. Каждая дуга соответствует атомному действия , которое вызывает переход состояния. Следует отметить , что в каждом из состояний B и G, существуют два возможных действия: это соответствует либо действий зависимым от данных или недетерминированными выбора , сделанного планировщика (ов). История может быть представлена как совокупность следующих трех государственных последовательностей: {ABCDEFL, ABGHIFL, ABGJKIFL}. Если вычисление не завершается, то некоторые из поведения может быть бесконечным.

Результаты (русский) 3:

от каких - либо глобальной си, исполнение соответствующего решения принимает систему очередной государственной Si + 1.центральная идея состоит в том, что такой переход системы.расчеты, представляет собой последовательность действий S0 - S1 - S2 по - ⋯ → сф, что превращает в первоначальное состояние S0 окончательного государства сф.ряд государств и государственных преобразований также назвал поведение системы.с частичным заказа мероприятий и nondeterministic расписание мероприятий, таких эпизодов, не всегда являются уникальными в зависимости от характеристик системы и осуществление политики, последовательность действий от какой - либо конкретной конфигурации может варьироваться от одного бежать в другую.но, с точки зрения системы, дизайнер, важно подтвердить, что система работает правильно на все возможные бежать.диаграмма 5.1 представляет истории вычислений, что начинается от первоначального глобального государства и заканчивается в конечном состоянии глобальной л. каждый дуги соответствует атомным действия, которые приводят государство экономикой.следует отметить, что в каждом из государств, B и G, существует два возможных действий: это соответствует либо зависят от действий или nondeterministic выбора, сделанного планировщик (S).история может быть представлена как набор следующие три государства: {abcdefl последовательности, abghifl, abgjkifl}.если расчеты, не прекращается, а затем некоторые из поведение может быть бесконечным.