Базы данных
<<  Создание однотабличной базы данных Методы анализа данных  >>
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Анализ потока управления и потока данных в программе
Содержание
Содержание
Содержание
Содержание
Содержание
Содержание
Содержание
Содержание
Содержание
Содержание
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
Структура компилятора
int func( int a, int b) { int res = 0; int c = 10; int d = 20; int i,
int func( int a, int b) { int res = 0; int c = 10; int d = 20; int i,
int func( int a, int b) { int res = 0; int c = 10; int d = 20; int i,
int func( int a, int b) { int res = 0; int c = 10; int d = 20; int i,
Граф потока управления
Граф потока управления
Граф потока управления
Граф потока управления
Граф потока управления с промежуточным представлением
Граф потока управления с промежуточным представлением
Обязательное предшествование (доминирование)
Обязательное предшествование (доминирование)
Свойство доминирования/постдоминирования
Свойство доминирования/постдоминирования
Свойство доминирования/постдоминирования
Свойство доминирования/постдоминирования
Свойство доминирования/постдоминирования
Свойство доминирования/постдоминирования
Дерево доминаторов
Дерево доминаторов
Дерево постдоминаторов
Дерево постдоминаторов
Глубинное остовное дерево (depth-first spanning tree)
Глубинное остовное дерево (depth-first spanning tree)
Глубинное остовное дерево (пример)
Глубинное остовное дерево (пример)
Выделение сильно связных подграфов
Выделение сильно связных подграфов
Разметка циклов
Разметка циклов
Разметка циклов
Разметка циклов
Дерево циклов
Дерево циклов
Несводимые циклы
Несводимые циклы
Несводимые циклы
Несводимые циклы
Компоненты с одним входом и одним выходом
Компоненты с одним входом и одним выходом
Дерево структуры программы (program structure tree)
Дерево структуры программы (program structure tree)
Классический анализ потока данных
Классический анализ потока данных
Время жизни переменных
Время жизни переменных
Итерационный алгоритм определения времени жизни переменных
Итерационный алгоритм определения времени жизни переменных
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Форма статического единственного присваивания в виде Def-Use графа
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Фронт доминирования
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Метод нумераций значений (пример)
Литература к лекции
Литература к лекции
Картинки из презентации «Анализ потока управления и потока данных в программе» к уроку информатики на тему «Базы данных»

Автор: Google. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока информатики, скачайте бесплатно презентацию «Анализ потока управления и потока данных в программе.ppt» со всеми картинками в zip-архиве размером 902 КБ.

Анализ потока управления и потока данных в программе

содержание презентации «Анализ потока управления и потока данных в программе.ppt»
Сл Текст Сл Текст
1Анализ потока управления и потока 15Глубинное остовное дерево (пример).
данных в программе. Новиков Сергей. 16Выделение сильно связных подграфов.
2Содержание. Agenda. Структура 17Разметка циклов.
компилятора Пример программы на С Линейная 18Дерево циклов.
последовательность операций Анализ потока 19Несводимые циклы. Несводимый цикл –
управления Анализ потока данных Примеры цикл с более, чем одним входом Цикл можно
оптимизаций Литература к лекции. свести путем дублирования кода.
3Структура компилятора. Compiler 20Компоненты с одним входом и одним
structure. .c .cpp .f77 ... .c .cpp .F ... выходом.
.o .obj. .out .exe. Low-Level IR. 21Дерево структуры программы (program
Low-Level IR. 1.Препроцессор 2.Front-End structure tree).
3.Оптимизации 4.Кодогенератор 5.Ассемблер 22Классический анализ потока данных.
6.Линкер. Компилятор - переводит исходный 23Время жизни переменных.
код программы (написанные на языке 24Итерационный алгоритм определения
высокого уровня) в эквивалентный код на времени жизни переменных.
языке целевой платформы. Ядро компилятора. 25Форма статического единственного
High-Level IR. Low-Level IR. asm. присваивания. Фрагмент программы z = 3;
High-Level IR. High-Level IR. 1. 2. 4. 5. if(P) { y = 5; } else { y = z + 2; } x =
6. y; SSA - форма. z = 3. if(P). y1=5.
4int func( int a, int b) { int res = 0; y2=z+2. y3=phi(y1,y2). x=y3.
int c = 10; int d = 20; int i, j, k = 0; 26Форма статического единственного
for ( i = 0; i < 100; i++ ) { for ( j = присваивания в виде Def-Use графа.
0; j < 100; j++ ) { if ( i + j < a + 27Построение SSA/Def-Use графа.
b ) { res += a + b + i; } else { res += c Построение phi-функций Для каждой
+ d + j; } res += b + i; } k++; } return переменной определяем узлы cfg, в которых
res; }. Пример (исходый код программы на она инициализируется Запускаем алгоритм
С). поиска итерационного фронта доминирования
51. MOVE.s32 <s32:0> -> res // (сложность O(|N|*|DF|)*B/size(word)) N –
line:3,0 2. MOVE.s32 <s32:10> -> количество узлов в графе потока управления
c // line:4,0 3. MOVE.s32 <s32:20> DF – итерационный фронт доминирования для
-> d // line:5,0 4. MOVE.s32 одного узла (в среднем 1-2 на задачах) B –
<s32:0> -> k // line:6,0 5. количество переменных size(word) – размер
MOVE.s32 <s32:0> -> i // line:8,0 слова в битовом векторе По результатам
6. GOTO <mo_l0:#nil> // line:8,0 7. работы алгоритма строим phi-функции
LABEL // … 52. IF bool_tvar.15, Линковка записей и чтений.
<mo_l0:#nil>, <mo_l0:#nil> // 28Фронт доминирования. CFG CFG+DOM
line:8,0 53. LABEL // 54. MOVE.s32 res Dominance Frontier. START. START. START.
-> D.1572 // line:23,0 55. MOVE.s32 d. b. STOP. STOP. STOP. Дуги дерева
D.1572 -> D.1552 // 56. RETURN D.1552 доминаторов. J-дуги.
//. Линейная последовательность операций. 29Метод нумераций значений. Хорошо
6Граф потока управления. зарекомендовавшая себя техника потокового
7Граф потока управления. анализа. Анализ присваивает одинаковые
8Граф потока управления с промежуточным номера операциям, вырабатывающие
представлением. одинаковые значения. Номера называются
9Действия на графе потока управления. классами эквивалентности. Алгоритмическая
Обход (нумерация) Обход в глубину (depth сложность O(N * D * Argmax) N количество
first) 1. для каждого преемника { 2. операций D глубина дерева циклов Argmax
устанавливаем номер ++ 3. обходим максимальное число аргументов у операции.
рекурсивно преемника } Обход в ширину 30Метод нумераций значений (пример).
(reverse post order) 1. для каждого “0”. Классы эквивалентности: 1,2,3,4. 1.
преемника { 2. обходим рекурсивно foo = bar = 0; j = i = 0; 3. 2. A = i; B =
преемника } 3. устанавливаем номер -- j; A = j + 100; B = i + 100; foo += a[i] +
Маркирование Клонирование Построение (3*A + 2*B); bar += a[j] + (7*B – 2*A);
дерева доминаторов/постдоминаторов i++; j++; 4. if ( i % 2). return (foo –
Построение дерева циклов. bar);
10Обязательное предшествование 31int func( int a, int b) { int res = 0;
(доминирование). int c = 10; int d = 20; int i, j, k = 0;
11Свойство for ( i = 0; i < 100; i++ ) { for ( j =
доминирования/постдоминирования. Узел d 0; j < 100; j++ ) { if ( i + j < a +
доминирует/постдоминирует узел n если b ) { res += a + b + i; } else { res += c
любой путь от стартового/стопового узла к + d + j; } res += b + i; } k++; } return
n проходит через d Алгоритмы построения res; }. Исходый код программы.
дерева доминаторов/постдоминаторов 32Примеры оптимизаций. 16 (с + d)
Простейший алгоритм O(N*N) Lengauer-Tarjan подстановка констант 11,13 (a+b) сбор
алгоритм O((N+E)log(N+E)). общих подвыражений 13,18 (b+i) удаление
12Дерево доминаторов. частично избыточных вычислений 20 (k++)
13Дерево постдоминаторов. удаление избыточных вычислений 11 (a+b)
14Глубинное остовное дерево (depth-first вынос инвариантных вычислений из цикла.
spanning tree). 33Литература к лекции.
Анализ потока управления и потока данных в программе.ppt
http://900igr.net/kartinka/informatika/analiz-potoka-upravlenija-i-potoka-dannykh-v-programme-240132.html
cсылка на страницу

Анализ потока управления и потока данных в программе

другие презентации на тему «Анализ потока управления и потока данных в программе»

«Передача данных» - Начальный разделитель. Решение сетевой задачи начинается с работы протокола прикладного уровня. Транспортный уровень оговаривает порядок передачи и доступа к удаленным файлам. Распределенная стратегия. Структура таблицы маршрутизации приведена на рис. 12. Сформированный кадр отправляется в канал связи и на таймере устанавливается тайм - аут.

«Информация и данные» - Виды и способы организации запросов. 2. Системы управления базами данных. Информационные системы. Для формального определения таблицы используется понятие отношения (relation - отношение). Изменения структуры БД. Введите в структуру базы данных поля Номер и Пол. Составляющие информационной системы. Типы БД.

«База данных» - Используемые данные в БД. Интерфейс БД. Экономические данные. Инструментарий сбора, обработки и анализа данных для управления качеством образования. Вид главного меню. Демографические данные. Основные группы статистических данных, используемых в расчетах. Дополнительная информация (ЕГЭ и др.). Функции усовершенствованной БД.

«Создание таблиц данных» - Поле в главной таблице, по которому строится связь, называется первичным ключом. Связи между таблицами. Вид списка свойств зависит от типа данных поля. Ключевые поля. При определении индекса следует указать, допускаются ли в поле повторяющиеся значения. Обеспечение целостности данных. Отношение «многие ко многим».

«Базы данных 9 класс» - Основные элементы таблицы: Поле Запись Ключевое поле. Однотабличные и многотабличные БД Что является главным объектом реляционной БД? Свойства полей: Размер поля Формат поля Обязательное для заполнения. Назовите типы БД, кратко охарактеризуйте Что значит реляционная БД? Вторую таблицу «Районы» создаём импортом из файла к_таблице_Адреса.xls.

«Изучение баз данных» - Обзор прессы Грибы родного края (лекарственные травы, птицы, деревья, кустарники). Проекты, выполненные учащимися. Метод проектов. Системный анализ информации, поиск информации в различных источниках, представление своих мыслей и взглядов, моделирование, прогнозирование, организация собственной и коллективной деятельности.

Базы данных

19 презентаций о базах данных
Урок

Информатика

130 тем
Картинки
900igr.net > Презентации по информатике > Базы данных > Анализ потока управления и потока данных в программе