20615

Анализ потока

Лекция

Коммуникация, связь, радиоэлектроника и цифровые приборы

Управление распределением памяти и сборка мусора Задачи решаемые компиляторами: выделение памяти инициализация выделенной памяти некоторыми начальными значениями предоставление возможности программисту использования этой памяти при прекращении использования памяти ее освобождение обеспечение повторного использования освобождающей памяти. Проблемы управления памятью: ограниченность памяти ошибки явного управления памятью особенности возникновения ошибок при работе с памятью труднонаходимость проблема освобождения ресурсов...

Русский

2013-07-31

121.5 KB

0 чел.

Лекция №16

Анализ потока

Необходимо определить свойства передачи управления между операторами программы. Найденные свойства используется на этапе оптимизации.

Для решения задачи анализа потока управления используется графовая модель.

Используется ориентированный граф с двумя выделенными вершинами “старт” и “стоп”, такими, что в “старт” не заходит никакая дуга, а из “стоп” не выходит. Любая производительная вершина такого графа меньше или равна хотя бы одному пути из “старта” в “стоп”.

Путем в графе называется последовательность вершин такая, что между каждой последующей и предыдущей вершиной существует ребро.

Вершина V обязательно предшествует вершине W, если V принадлежит каждому пути в графе от “старт” до W.Каждая вершина, следовательно, предшествует сама себе.

Вершина V строго и обязательно предшествует вершине W, если она обязательно ей предшествует и не совпадает с ней.

Вершина V непосредственно предшествует W, если она является ближайшей строго предшествующей вершиной.

   

дерево предшествования      граф

Фрагментом называется произвольный подграф графа управления, для которого выполняются четыре множества вершин:

  1.  множество входящих вершин, принадлежащих F, и для которых существует путь от старта графа W не соединенных вершин графа,
  2.  множество начальных вершин, принадлежащих F, в которых входит хотя бы одна дуга из не F.
  3.  множество выходных вершин, принадлежащих F, из которых выходит хотя бы одна дуга за пределы F,
  4.  множество конечных вершин, не принадлежащих F, в которые входит хотя бы одна дуга из F.

Альтом называется фрагмент, имеющий одну начальную вершину.

Луч – фрагмент, являющийся альтом, таким, что произвольная его вершина, отличная от начальной и выходной, имеет одного предка и потомка, каждый из которого принадлежит лучу.

Сильно связанным подграфом называется граф, состоящий из взаимно-достижимых вершин.

Управление распределением памяти и сборка мусора

Задачи, решаемые компиляторами:

  1.  выделение памяти,
  2.  инициализация выделенной памяти некоторыми начальными значениями,
  3.  предоставление возможности программисту использования этой памяти,
  4.  при прекращении использования памяти ее освобождение,
  5.  обеспечение повторного использования освобождающей памяти.

Проблемы управления памятью:

  1.  ограниченность памяти,
  2.  ошибки явного управления памятью,
  3.  особенности возникновения ошибок при работе с памятью (труднонаходимость),
  4.  проблема освобождения ресурсов,
  5.  решение проблем уничтожения и утилизации памяти,
  6.  проблема отслеживания путей доступа к структурам, использующим память.

- мусор и “висячие” ссылки,

- статическая и динамическая память

Разработка практически всех языков программирования ориентируется на ту или иную методику управления памятью. Например, в Фортране запрещен рекурсивный вызов подпрограмм.

Отслеживание свободной памяти при помощи подсчета ссылок:

каждому элементу памяти ставится в соответствие свой счетчик ссылок таким образом, что при изменении количества ссылок изменится счетчик,

Отслеживание свободной памяти при помощи разметки:

проблема поиска свободной памяти возникает только при ее нехватки. Все живые элементы помечаются, а неживые уничтожаются.

Использование понятийпоколения объектов”:

  1.  чем моложе объект, тем меньше всего время жизни, и наоборот,
  2.  молодые объекты сильнее связаны друг с другом и обычно используются одновременно.


 

А также другие работы, которые могут Вас заинтересовать

18648. Какими техническими характеристиками можно оценить выбор ЭВМ 14.49 KB
  Какими техническими характеристиками можно оценить выбор ЭВМ Структуру ЭВМ определяет следующая группа характеристик: технические и эксплуатационные характеристики ЭВМ быстродействие и производительность показатели надежности достоверности точности емкост
18649. Бухгалтерский баланс и его строение 15.06 KB
  Бухгалтерский баланс и его строение. Важнейшим элементом б/у является бух. баланс. Баланс это способ обобщенной группировки и текущего учета имущества предприятия по функциональной роли и источникам его образования в денежной оценке на определенную дату. Это таблица ...
18650. Архивы документов и их виды 14.9 KB
  Архивы документов и их виды. Архив учреждение или структурное подразделение организации осуществляющие хранение комплектование учет и использование архивных документов; Государственный архив федеральное государственное учреждение создаваемое Правительством ...
18651. Жизненный цикл (ЖЦ) ПИ. Фазы, стадии, этапы 15.79 KB
  Жизненный цикл ЖЦ ПИ. Фазы стадии этапы. Как и любое изделие ПИ имеет свой цикл жизни т.е. интервал времени от начального момента возникновения объективной необходимости в ПИ до момента изъятия его из эксплуатации. ЖЦ программного изделия заканчивается в результате е
18652. Планирование 15.21 KB
  Планирование. Планирование представляет собой определение стоящих перед организацией задач и путей их выполнения. Процесс планирования обычно включает в себя два направления: 1 Стратегическое; 2 Текущее т.е. составление производственных планов. Стратегическое пл...
18653. Файловые системы в современных операционных системах 16.71 KB
  Файловые системы в современных операционных системах. Файловая система это часть операционной системы назначение которой состоит в том чтобы обеспечить пользователю удобный интерфейс при работе с данными хранящимися на диске и обеспечить совместное использование...
18654. Особенности рынка ценных бумаг 15.55 KB
  Особенности рынка ценных бумаг Рынок ценных бумаг сегмент финансового рынка который включает в себя операции по куплепродаже и выпуску ценных бумаг. Он аккумулирует денежные накопления граждан юридических лиц а также государства и направляет их на развитие ведущи
18655. Структура данных в реляционных моделях 14.34 KB
  Структура данных в реляционных моделях. Реляционная модель данных разработанная Э.Коддом в 1970г. логическая модель данных описывающая: структуры данных в виде изменяющихся во времени наборов отношений; теоретикомножественные операции над данными: объединени...
18656. Опишите принцип функционирования экономического объекта как системы 14.73 KB
  Опишите принцип функционирования экономического объекта как системы Экономическая информационная система система функционирование которой во времени заключается в сборе хранении обработке и распространении информации о деятельности какоголибо экономического...