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

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

а, Ь, с, с! могут вычисляться в любом порядке, перемежаясь с вычисле­ниями того из подвыражений а*Ь, с*с1, для которого уже готовы исходные данные. Если а, Ь, с, с1 являются простыми переменными, то действитель­но безразлично, с точки зрения результата, в каком порядке их вычислять. Но вычисление операнда может иметь побочный эффект, то есть вызывать не относящиеся к использующему оператору и не обозначенные явно дей­ствия. Например, побочный эффект появляется при вызове функции, в теле которой меняются значения глобальных переменных. Распознавать такие си­туации в общем случае невозможно. И поэтому в руководствах по языкам можно часто увидеть загадочную фразу «побочный эффект игнорируется», смысл которой соответствует тому, что в данном месте могут быть элементы совместного вычисления.

Явно и достаточно четко концепция совместного исполнения была про­ведена лишь в Алголе 68, в котором был введен другой разделитель операто­ров: вместе с оставшимся как признак строго последовательного испол­нения

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама