Dijkstra introduced guarded actions

Dijkstra introduced guarded actions (commands) in [D75]. The same article showed the importance of nondeterminism and techniques for handling it. No one should miss Dijkstra’s landmark book A Discipline of Programming [D76] for an in-depth look at pro- gram derivation and reasoning about its correctness. In [D68], Dijkstra illustrated the importance of atomic actions when he introduced the P and V operators for solving the CS problem. The database community is well versed with the concept of atomic actions in the specification of the ACID* properties of transactions.
Lamport extensively studied the role of atomicity in the correctness proof of concurrent programs (see [L77] and [L79]). In [L74], Lamport presented his bakery algorithm that showed how to implement a coarse-grained atomic action (like a CS) without the support of read–write atomicity at the hardware level. Francez presented a comprehensive study of fairness in his book [F86]—we have chosen only three important types of fairness here. Central and distributed schedulers are two prominent scheduling models in a distributed computation. It is unclear who introduced these first and seems to be folklore—but widely used in correctness proofs.

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

Дейкстра представила охраняемую действия (команды) в [D75]. Та же статья показала важность детерминизма и методов для его обработки. Никто не должен пропустить Дейкстры ориентир книги дисциплина программирования [D76] для глубокий взгляд на вывод про грамм и рассуждения о ее правильности. В [D68] Дейкстра проиллюстрировал важность атомарных действий, когда он представил операторов P и V для решения проблемы CS. База данных сообщества хорошо разбирается с концепцией атомарных действий в спецификации КИСЛОТЫ * свойства транзакций. Лэмпорт подробно изучил роль атомарность в правильности доказательства параллельных программ (см. [L77] и [L79]). В [L74] Лэмпорт представил его пекарне алгоритм, который показал, как реализовать крупнозернистой атомарных действий (например, CS) без поддержки атомарности чтения записи на аппаратном уровне. Francez представил всеобъемлющее исследование справедливости в своей книге [F86] — мы выбрали только три важных вида справедливости здесь. Центральные и распределенные планировщики являются два видных планирования модели в распределенных вычислений. Неясно, кто представил эти первые и фольклор, кажется, но широко используется в правильности доказательства.

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

Дейкстра представил охранял действия (команды) в [D75]. В той же статье показали важность недетерминизма и методы для работы с ней. Никто не должен пропустить ориентир книгу Дейкстры дисциплина программирования [D76] для взгляда углубленного в про- грамме вывода и рассуждения о его правильности. В работе [D68] Дейкстра проиллюстрировал важность атомарных действий , когда он ввел операторы Р и V для решения задачи CS. Сообщество баз данных хорошо разбирается с концепцией атомных действий в описании свойств ACID * сделок.
Лампорт изучена роль атомарностью в правильности доказательства параллельных программ (см [L77] и [L79]). В работах [L74], Лампорт представил свою пекарню алгоритм , который показал , как реализовать крупнозернистой элементарное действие (подобно CS) без поддержки чтения-записи атомарностью на аппаратном уровне. Francez представил всеобъемлющее исследование справедливости в своей книге [F86] -мы выбрали только три важных типа справедливости здесь. Центральные и распределенные планировщики два известных моделей планирования в распределенных вычислений. Пока неясно , кто ввел их в первую очередь и , кажется, фольклорно-но широко используется в доказательствах корректности.

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

дейкстра представил охраняют действия (команды) 5x5 в [].в этой же статье свидетельствует о важности nondeterminism и методов для его рассмотрения.никто не должен пропустить дейкстры исторической книги дисциплина программ [d76] для углубленного посмотри на про - грамм, происхождение и рассуждения о его правильности.[в d68], дейкстра, свидетельствует о важности атомной действия, когда он представил P и V операторов для решения "проблемы.в базе данных сообщества хорошо знакома с концепцией атомной действия в спецификации кислота * свойства сделок.лэмпорт подробно изучить роль атомарность в правильности доказательства параллельных программ (см. [l77] и [l79]).в [L.74], лэмпорт представил свою пекарню алгоритм, который показал, каким образом осуществлять грубозернистыми атомной действий (как CS) без поддержки читать - писать атомарность на аппаратном уровне.francez представлено комплексное исследование по справедливости в своей книге [f86] - мы выбрали лишь три важных видов справедливости здесь.для центральной и распространены два видных расписание модели в распределенных вычислений.неясно, кто представил эти первые и, как представляется, фольклор, но широко используется в достоверности доказательств.