Regardless of how nondeterminism is

Regardless of how nondeterminism is handled, we would expect the value of x to be an arbitrary sequence of 0’s and 15’s. However, there are some subtle issues that require closer examination.
If each assignment is an indivisible action, then the previous conclusion is definitely true. However, this has not been specified in the program! To realize how such a specification can make a difference, assume that x is a four-bit integer x3x2x1x0 and assume that each assignment is executed in four steps—each step updating only one bit of x. Thus, x := 0 is translated to x3 := 0; x2 := 0; x1 := 0; x0 = 0 and x := 15 is translated to x3 := 1; x2 := 1; x1 := 1; x0 = 1. With both guards constantly enabled, the scheduler may choose to interleave the actions in the following sequence:

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

Независимо от того, как детерминизма мы ожидаем значение x для произвольной последовательности 0 и 15's. Однако есть некоторые тонкие вопросы, которые требуют более внимательного изучения.Если каждое назначение неделимое действие, предыдущий вывод определенно верно. Однако это не был указан в программе! Чтобы понять, как такая Спецификация может изменить ситуацию, предположим, что x x3x2x1x0 4 разрядное целое число и предполагается, что каждое задание выполняется в четыре этапа — каждый шаг обновления только один бит x. Таким образом, x: = 0, переводится в x3: = 0; x2: = 0; x1: = 0; x0 = 0 и x: = 15, переводится в x3: = 1; x2: = 1; x1: = 1; x0 = 1. С обоих охранников постоянно включен планировщик может выбрать interleave действия в следующей последовательности:

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

Вне зависимости от того, как обрабатывается недетерминизм, мы ожидаем , что значение х , чтобы произвольная последовательность из 0 и 15 -х годов. Тем не менее, есть некоторые тонкие вопросы , которые требуют более тщательного изучения.
Если каждое задание является неделимой действие, то предыдущий вывод, безусловно , верно. Тем не менее, это не было указано в программе! Для того, чтобы понять , как такая спецификация может сделать разницу, предположим , что х представляет собой четырехэтажное разрядное целое число x3x2x1x0 и предположим , что каждое задание выполняется в четыре этапа, каждый шаг обновлять только один бит х. Таким образом, х: = 0 транслируется x3: = 0; x2: = 0; x1: = 0; x0 = 0 и х: = 15 переводится на x3: = 1; x2: = 1; x1: = 1; x0 = 1. С обоих охранников постоянно включен, планировщик может выбрать чередовать действия в следующей последовательности:

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

независимо от того, как nondeterminism осуществляется, мы рассчитываем на то, что стоимость X к произвольной последовательности 0 - 15. однако, есть некоторые тонкие вопросы, которые требуют более тщательного изучения.если каждое задание - неделимое действий, то предыдущее заключение, безусловно, верно.это, однако, не было указано в программе!чтобы понять, как такое требование может изменить ситуацию к лучшему, предположить, что X - четыре - целое x3x2x1x0 и предположить, что каждого назначения осуществляется в четыре этапа каждый шаг обновление только один бит. таким образом, X = 0, переведенная на X3: = 0; X2: = 0; X1: = 0; х0 - 0 - х: = 15 переводится на X3: = 1; X2: = 1; X1: = 1; х0 - 1.с охранников постоянно включен, диспетчер может interleave действия в следующей последовательности: