Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 52

Слабое совместное вычисление возникает, если результаты зависят от способа исполнения группы операторов. Как говорят, в данном случае ис­полнение не детерминировано. Например, слабое совместное вычисление возникает в той форме условного оператора, которую предложил Э. Дейкс тра [30] и интенсивно использовал Д. Грис [27]:

Этот оператор исполняется следующим образом. Совместно вычисляются все условия пока одно из них, например А^, не окажется истинным. Далее берется и исполняется соответствующий выполнившемуся условию оператор Sj. Если истинных условий не оказалось вообще, оператор (1.2) выдает ошибку. Например, вычисление минимума двух чисел в форме Дейкстры выглядит, как показано ниже:

Если наши данные не являются числами и лишь предупорядочены (см., напр., [34]), то не определено, какое значение получит г в итоге, но это нам и безразлично. Даже если мы рассматриваем обычные числа, то в случае х — у мы можем получить результат путем двух различных действий.

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

Исполнение следующего фрагмента программы иллюстрирует, что ис­пользовать параллелизм и совместность нужно весьма осторожно.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама