Cтраница 2
Обработка вершин интервалов в интервальном порядке, прямом или обратном, имеет важное значение при анализе информационных связей в программах ( см. гл. [16]
Если анализ информационных связей в однопроце-дурной программе производится в контексте графа хода выполнения программы, то для анализа межпроцедурных информационных связей необходимо определить кроме графа хода выполнения каждой процедуры, входящей в анализируемую программу, отношения вызовов, существующие между процедурами. [17]
Таким образом, для того чтобы для некоторой процедуры Wj W, ф, определить множество RQ ( WJ), необходимо производить анализ информационных связей внутри каждой вызывающей ее процедуры wi W. Однако для анализа информационных связей внутри некоторой процедуры wi W должны быть установлены те изменения, которые в ее потоке данных могут вносить вызываемые ею процедуры. Другими словами, должны быть установлены множества Def, Def, Use, Use и Pre для каждой вершины я - eGi, представляющей оператор вызова. [18]
Случай 3 отличается от случаев 1 и 2 тем, что в нем для присвоения номера значений элементу данных et должны быть использованы результаты анализа логических и информационных связей между различными линейными участками программы. Поэтому в этом случае последовательность обработки линейных участков программы во время нумерации значений играет важную роль. [19]
Этот анализ помогает ученым и специалистам найти своих единомышленников или оппонентов, ознакомиться с их методами работы и, возможно, вступить с ними в контакт Кроме того, анализ информационных связей между отдельными научными школами, коллективами или учеными позволяет определить их вклад в развитие науки, перспективность разрабатываемых ими проблем, продуктивность публикуемых результатов. [20]
Для подтверждения сказанного напомним, что в каждой точке программы текущее значение некоторой переменной, а в общем случае - возможные значения можно однозначно установить только на основе результатов анализа информационных связей в программе. [21]
В предлагаемой книге автор попытался рассмотреть основные вопросы, связанные с созданием единой универсальной методики машинонезависимой оптимизации программ, такие, как место выполнения оптимизации в процессе создания программ, промежуточный язык, на уровне которого следует производить анализ и последующую оптимизацию программ, анализ хода выполнения программ, анализ информационных связей в программах, обнаружение неэффективных мест в программах и реализация оптимизирующих преобразований. Особое место в книге отводится проблеме увеличения глубины приложений различных оптимизирующих преобразований. [22]
Анализ задач, проведенный с помощью матрицы смежности при разработке и внедрении подсистемы бухгалтерского учета на предприятиях по поставкам продукции, позволил ранжировать задачи по пяти комплексам. Анализ информационных связей свидетельствует о высокой зависимости задач пятого комплекса от решения задач предыдущих комплексов. Так, решение задач Учет издержек обращения и Сводный учет финансово-хозяйственной деятельности, относящихся к пятому комплексу, предполагает использовать в качестве входной информации данные, получаемые при решении задач всех предыдущих комплексов. [23]
Таким образом, для того чтобы для некоторой процедуры Wj W, ф, определить множество RQ ( WJ), необходимо производить анализ информационных связей внутри каждой вызывающей ее процедуры wi W. Однако для анализа информационных связей внутри некоторой процедуры wi W должны быть установлены те изменения, которые в ее потоке данных могут вносить вызываемые ею процедуры. Другими словами, должны быть установлены множества Def, Def, Use, Use и Pre для каждой вершины я - eGi, представляющей оператор вызова. [24]
U, так как при этом каждая вершина будет иметь право на обработку только тогда, когда все ее последователи уже обработаны. Отсюда следует, что алгоритм анализа информационных связей в программах не может быть однопроходным. [25]
Похоже, что мы уже исчерпали вс & полезные факты, которые нам могут дать линейные программы. Главными нашими достижениями являются открытие важности анализа информационных связей программы, а также извлечение из программы тех и только тех ее характеристик, которые нам помогают в решении задачи экономии памяти и которые изображаются в виде ее операторной схемы. После того как мы уже несколько освоились с этой находкой, давайте разберем подробнее, что такое информационная связь, как мы ее находим по заданной программе и как используем для распределения памяти. S к Т ведет цепочка операторов, и, наконец, в этой цепочке ни одни из операторов не имеет х своим результатом. Для построения информационных связей и вообще, для решения задачи экономии памяти, нам достаточно иметь операторную схему программы, в которой указаны символы операторов, их аргументы, результаты и сопоставленные им имена величин, а также порядок выполнения операторов. [26]
Алгоритм выполняется за три прохода. Затем обрабатывается каждый интервал первого порядка / ( А /) и производится анализ информационных связей в контексте интервала. При обработке каждого производного графа G ( k Kk ( m - 1), сначала определяются множества Use, Use и Def для каждой вершины и множества Def и Рте для каждого ребра. После этого граф GW обрабатывается аналогично графу хода выполнения программы. [27]
Изложены теоретические и практические основы глобальной ма-шинонезависимой оптимизации исходных программ, написанных на языках программирования высокого уровня. Подробно рассмотрены вопросы выбора места выполнения оптимизации, промежуточного представления программы, удобного для анализа и оптимизации, анализа логических и информационных связей в программах и собственно оптимизации. Рассмотрены также технологические возможности системы оптимизации и предпосылки создания на ее основе автоматизированной системы повышения качества программного продукта. [28]
Информационный аспект причинности имеет фундаментальное значение для изучения и объяснения социальных явлений и познавательных процессов. В той мере, в какой в обществе действуют люди, наделенные сознанием, которое в определенной степени складывается из совокупности информационных процессов, анализ информационных связей в социальных системах позволяет объяснить и целенаправленный характер человеческой деятельности, и формирование социальных групп, важнейшими из которых являются социальные группы, классы, и отношения, складывающиеся между ними. Но опять-таки следует иметь в виду, что в той мере, в какой основой жизнедеятельности общества является материальная деятельность, основанная на причинном воздействии людей на природу, вещественно-энергетические факторы присутствуют и в социальной причинности. [29]
Обратная польская запись операторов исходной программы безусловно отображает точную последовательность выполнения операций. Однако используемые при этом способы представления таких операторов исходной программы, как оператора безусловного перехода, условного оператора, оператора цикла и др., нарушающих линейность программы, существенно усложняют ОПЗ, а следовательно, и триадную запись с точки зрения анализа логических и информационных связей в программе и собственно оптимизации. В то же время на уровне промежуточных языков, используемых в трансляторах, не сохраняются все конструкции исходной программы. [30]