Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование

Новый подход к построению методов межпроцедурного анализа программ

Ручка "Помада".
Шариковая ручка в виде тюбика помады. Расцветка корпуса в ассортименте, без возможности выбора!
25 руб
Раздел: Оригинальные ручки
Фонарь садовый «Тюльпан».
Дачные фонари на солнечных батареях были сделаны с использованием технологии аккумулирования солнечной энергии. Уличные светильники для
106 руб
Раздел: Уличное освещение
Карабин, 6x60 мм.
Размеры: 6x60 мм. Материал: металл. Упаковка: блистер.
44 руб
Раздел: Карабины для ошейников и поводков

(Работа поддержана грантом РФФИ №96-01-01433) А.С. Антонов, Вл.В. Воеводин Введение Необходимость выполнения межпроцедурного анализа очень часто возникает на практике, в частности, при анализе параллельных свойств программ. Можно привести множество примеров задач, решаемых с использованием техники межпроцедурного анализа: определение независимости вхождений в тело подпрограммы параметров и глобальных переменных, распараллеливание циклов, содержащих вызовы подпрограмм, определение необходимых пересылок данных для вызова распределяемой подпрограммы при использовании компьютеров с распределенной памятью, поддержка корректности данных в кэш-памяти многопроцессорных систем и многие другие. Без межпроцедурного анализа придется предположить, что все фактические параметры и внешние переменные как используются, так и переопределяются в вызываемой подпрограмме, поэтому многие полезные свойства программы не будут использованы. В данной работе рассматривается новый подход, основанный на анализе свойств графа алгоритма . 1 Обзор существующих методов межпроцедурного анализа Одним из первых методов разрешения проблемы межпроцедурного анализа была предложена подстановка тела подпрограммы на место вызова (i li e expa sio ), но она сильно затруднена, если в графе вызовов есть контуры, что приводит к значительному увеличению размера кода и времени анализа. В известных обзорах большое внимание уделялось методам межпроцедурного анализа без учета индексных переменных. Но такой анализ является весьма грубым и недостаточным для реальных программ, поскольку в большинстве случаев необходима информация о существовании зависимости между ссылками на отдельные элементы массивов. Последующее развитие методов межпроцедурного анализа шло по двум направлениям: с одной стороны, уточнение методов нахождения входных и выходных данных подпрограмм, а с другой - описание найденных данных в терминах фактических параметров (обратная подстановка). В большинстве работ, посвященных межпроцедурному анализу, входные и выходные данные аппроксимируются вырезками массивов, используемыми или изменяемыми в анализируемой подпрограмме. Следуя , будем называть такие области READ и WRI E областями. Все методы описания READ и WRI E областей можно разделить на два класса: неточные и точные методы. Неточные методы проще, но, в отличие от точных, описывают только некоторую аппроксимацию необходимой области. Точные же методы могут потребовать много памяти и времени для анализа программ. В некоторых случаях используются комбинированные методы, например, приближенное описание объединения точно описанных областей. Среди неточных методов получения READ и WRI E областей можно отметить ограниченные регулярные секции (res ric ed regular sec io s ), описания с помощью триплетов (bou ded regular sec io s ), описание в виде минимальной выпуклой оболочки (co vex hull) . Из точных методов можно указать подход Бурке-Сайтрона и построение совокупного образа (merged image) . Однако знания READ и WRI E областей недостаточно для полноценного анализа, так как READ области могут содержать данные, вычисленные ранее в исследуемой подпрограмме, а, следовательно, они не будут представлять входных данных анализируемой процедуры.

WRI E области могут содержать данные, которые не потребуются нигде в дальнейшем тексте программы, что также не соответствует выходным данным подпрограммы. Для более точного анализа вводятся I и OU области, которые представляют именно входные и выходные данные подпрограммы, то есть данные, необходимые для выполнения подпрограммы, и данные, вычисляемые в исследуемой подпрограмме и используемые где-либо далее. Метод получения I и OU областей из READ и WRI E областей подробно описан в . Методы описания входных и выходных данных подпрограммы в терминах фактических параметров описаны в работах . 2 Получение входных и выходных данных подпрограмм с помощью графа алгоритма Использование графа алгоритма, введенного в , позволяет получить точное описание входных и выходных данных фрагмента программы. Основная идея этого метода заключается в том, чтобы получить описание нужного множества в пространстве элементов массива средствами анализа пространства итераций программы. Если из всей области срабатывания оператора WJ вычесть все области Dk из описания графа алгоритма фрагмента по входу Ai (напомним, что точки областей Dk являются конечными точками дуг графа алгоритма данного фрагмента), то полученная область Wi p будет описывать множество точек пространства итераций, в которых Ai потребляет входные для исследуемого фрагмента данные. Теперь нужно получить описание области пространства итераций Wi p в пространстве элементов массива A. Рассмотрим задачу для входа Ai(P(J)) массива A, где P(J) - это векторная функция, определяющая индексные выражения данного входа. Будем предполагать, что для входа Ai найдена подобласть пространства итераций Wii p, в каждой точке которой аргументом для входа Ai являются начальные данные. По определению данной области, для любой точки JОWii p элемент массива Ai(P(J)) нигде в данном фрагменте не вычисляется, а берется из входных данных, т.е. является элементом искомого множества. Cконструируем вспомогательный фрагмент, содержащий вход A0 по переменной A: DO I1 = l1, u1 . DO Id = ld, ud . = . A0(I1, I2, ., Id) . E D DO . E D DO , где d - это размерность переменной A, а lk, uk - нижняя и верхняя границы k-го измерения массива A соответственно, k=1,d. Будем считать, что данный фрагмент достижим из каждой точки программы и всегда срабатывает последним - этого всегда можно добиться эквивалентным преобразованием фрагмента. Возьмем любую точку J области Wii p. Ясно, что элемент массива Ai(P(J))=Ai(p1(J),.,pd(J)) принадлежит искомому множеству и надо найти описание всех подобных точек P(J) в пространстве элементов массива A. Предположим, что в каждой точке J области Wii p происходит не использование, а определение элемента Ai(P(J)), т.е. вход Ai будет играть роль выхода. Будем считать областью срабатывания оператора, содержащего Ai, не область WJ, а область Wii p. Область срабатывания входа A0 определяется только границами циклов вспомогательного фрагмента, так как он безусловно достижим из каждой точки программы. В таких предположениях решим стандартную задачу построения элементарного графа алгоритма Ai®A0 и найдем область , на которой определены дуги графа алгоритма.

Особенность множества заключается в том, что, являясь многогранником в пространстве итераций, он одновременно является и описанием множества входных данных в пространстве элементов массива A для входа Ai. Аналогичным образом данная задача решается для всех входов, а искомое подмножество входных элементов массива A является объединением областей, полученных при решении данной задачи для каждого отдельного входа. Использование такого метода позволяет получить точное описание I и OU областей подпрограммы. Существование эффективных алгоритмов построения графа алгоритма обеспечивает возможность использования этого метода при анализе реальных программ. 3 Описание входных и выходных данных подпрограммы в терминах фактических параметров Перейдем теперь к решению второй задачи межпроцедурного анализа - описанию входных и выходных данных подпрограммы в терминах фактических параметров. Описываемый здесь метод опирается на и требует, чтобы входные и выходные данные подпрограммы уже были описаны в виде системы линейных неравенств. Пусть в программе есть две подпрограммы P и Q, такие, что: SUBROU I E P(.) DIME SIO Ap(lp1:up1,.,lpp:upp) . CALL Q(.,Ap(op1,.,opp),.) . E D SUBROU I E Q(.,Aq,.) DIME SIO Aq(lq1:uq1,.,lqq:uqq) . E D Пусть элементы массива Aq, представляющие часть входных и выходных данных подпрограммы Q, представлены в виде области Wq, описанной с помощью набора линейных равенств и неравенств. Требуется пересчитать эту область в терминах вырезки из соответствующего фактического параметра-массива Ap. Запишем условие Гpq того, что два элемента массивов Ap(y1,., yp) и Aq(j1,., jq) ссылаются на одну и ту же область памяти: где . Тогда пересечение трех областей W=WqЗГpqЗ{lpiЈyiЈupi, i =1,p} неявно задает область Wp массива Ap, соответствующую области Wq массива Aq. Для получения явного описания Wp необходимо получить проекцию (p q)-мерной области W на p-мерное подпространство, соответствующее массиву Ap. Это можно сделать с помощью исключений Фурье-Моцкина , если равенство Гpq линейно. Определение условий его линейности рассматривается дальше. Если равенство Гpq нелинейно, то при некоторых условиях можно получить более простое условие. Если массивы Ap и Aq имеют одинаковое число элементов в первых (d-1) размерностях (то есть {upi - lpi = uqi - lqi, 1 Ј i Ј d-1}), и {opi=lpi, 1 Ј i Ј d-1}, то добавим в описание области W равенства {yi - lpi=ji - lqi, 1 Ј i Ј d-1} и составим частичное уравнение ранга d: где . Это уравнение проще, чем Гpq, и в реальных случаях может оказаться линейным, в то время как полное уравнение таковым не является. Если количество размерностей с одинаковым числом элементов равно q, но меньше p, то в описание области W вместо условия Гdpq нужно добавить равенства {yi=opi, i=q 1,p }. Для того, чтобы получить проекцию (p q)-мерной области W на p-мерное пространство, необходимо исключить переменные, введенные для описания Wq, из всех равенств и неравенств. Это можно сделать методом Фурье-Моцкина , если все ограничения, содержащие эти переменные, линейны. Так как в описание Wq входят только линейные ограничения, нелинейность по данным переменным может возникнуть только в равенстве Гpq (Гdpq).

Почетный член Петербургской Академии наук (1904). Основные сочинения: «Кому и как разрабатывать психологию» (1873), «Элементы мысли» (1878), «Предметная мысль и действительность» (1892), «Впечатления и действительность» (1890), «Очерк рабочих движений человека» (1901) и др. С. выдвинул программу построения новой психологии, опирающейся на объективный метод и принцип изучения развития психики в реальных жизненных встречах организма со средой, разработал систему взглядов на организм и его психические функции. С. предвосхитил понятие об обратной связи как непременном регуляторе поведения, утвердил новое понимание саморегуляции и системы организации нервно-психической деятельности, обосновал новый подход к функциям органов чувств. В работе «Рефлексы головного мозга» (1863) С. дает естественно-научный анализ деятельности мозга. С. раскрыл причинную обусловленность психических явлений внешними воздействиями, показал, что психика есть результат протекания физиологических процессов возбуждения и торможения в коре мозга, регулятор внешних воздействий и поведения в целом

1. Конвертер программы с подмножества языка Си в Паскаль с использованием LL(1) метода синтаксического анализа (выражения)

2. Конвертер программы с подмножества языка Си в Паскаль с использованием LL(1) метода синтаксического анализа

3. Новый подход в понимании преадаптации

4. Метод действенного анализа в режиссуре театра, кино и телевидения

5. Пневмонии. Антибактериальная терапия. Новые подходы к лечению

6. Криминалистическое исследование документов. Новые и перспективные методы исследования письменной речи
7. Новый подход к определению "нации", "национализм"
8. Методы научного анализа размещения и территориальной организации народного хозяйства Украины

9. Типологизация развивающихся стран: традиционные критерии и новые подходы

10. Подход и методы изучения проблем философии техники

11. Постменопаузальный остеопороз - новые подходы к оценке эффективности антирезорбтивной терапии Миакальциком

12. Лечение хронического простатита: новые подходы

13. Инвестиционный маркетинг: новые подходы к оценке стоимости бизнеса

14. Новые подходы к изучению иностранного языка

15. Развитие законодательства о социальном обеспечении: новые подходы

16. Новые подходы к лечению депрессий при аффективных расстройствах биполярного типа

Пенал "Jungle" с наполнением.
Пенал на 1 отделение укоплектован необходимыми школьными принадлежностями. В комплекте пенала в помощь и на радость школьники найдут
1079 руб
Раздел: С наполнением
Кружка "Peter Rabbit".
Красивая кружка серии "Peter Rabbit" из меламина с изображением кролика из сказки. Удобная, легкая, противоударная. На дне
594 руб
Раздел: Кружки, стаканы, чашки
Детский велосипед Jaguar трехколесный (цвет: синий).
Детский трехколесный велосипед для малышей от 1 года до 3 лет. Трехколесный велосипед колясочного типа с музыкально-световой кнопкой.
1800 руб
Раздел: Трехколесные

17. Разработка для контроля и определения типа логических интегральных микросхем методом сигнатурного анализа

18. Комплексный подход и системно-функциональный анализ в социологии

19. Развитие физкультуры и спорта. Новые системы и методы физического воспитания.

20. Системный подход как метод познания мира

21. Методы количественного анализа риска инвестиционных проектов

22. Методы микроэкономического анализа
23. Анализ программы демифологизации
24. Основы подхода к проведению риск-анализа эксплуатации локальных нефтесборных сетей месторождений Западной Сибири

25. Расчет сетевой модели методом Форда (с программой)

26. Ступенчатая терапия: новый подход к применению антибактериальных препаратов

27. Новые и перспективные методы исследования письменной речи

28. Методы управленческого анализа

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

30. Методы комплексного анализа прибыли страховой организации

31. Анализ программ игрового вещания канала МУЗ-ТВ

32. Методы и анализ нелинейного режима работы системы ЧАП. Метод фазовой плоскости

Солнцезащитная рулонная шторка для автомобиля Altabebe, арт. AL7030.
Солнцезащитная рулонная шторка для автомобиля Altabebe AL7030 - аксессуар, который защитит ребенка от ярких солнечных лучей при перевозке
660 руб
Раздел: Прочее
Статуэтка "Маленькая леди", 10 см.
Материал: фарфор. Регулярно удалять пыль или мыть тёплой водой. Товар не подлежит обязательной сертификации.
462 руб
Раздел: Миниатюры
Бумага для принтера "Svetocopy", формат А3, 500 листов.
Офисная бумага для принтера и техники SvetoCopy А3 относится к категории качества C и является самой популярной в офисном классе,
558 руб
Раздел: Формата А3 и больше

33. Материальное стимулирование как метод управления: анализ и пути повышения эффективности его использования в организации (на материалах предприятия КТСУП "Отель")

34. Оценка сильных и слабых сторон фирмы методом SWOT-анализа

35. Методы проектного анализа

36. Сравнительный анализ программы Занкова и традиционной программы

37. Реализация новых подходов к разработке технологического оборудования для окускования железорудных материалов

38. Различные подходы к разработке культурно-деловых программ на базе гостиничного комплекса
39. Методы финансового анализа
40. Подходы и методы финансового оздоровления

41. Реализация новых подходов в управлении бюджетом при формировании федерального бюджета 2006 года

42. Анализ возможности применения методов многомерного анализа для классификации и оценки конкурентоспособности регионов

43. Методы факторного анализа

44. Подходы и методы оценки имущества

45. Применение индексного метода при анализе цен

46. Детерминированные экономико-математические модели и методы факторного анализа

47. Методы путевого анализа и их применение к системам одновременных уравнений

48. Генно-инженерные методы как новый биотехнологический подход в аграрном секторе США

Шкатулка для ювелирных украшений, 13x13x6 см, арт. 84412.
Шкатулка сохранит ваши ювелирные изделия в первозданном виде. С ней вы сможете внести в интерьер частичку элегантности. Регулярно удалять
832 руб
Раздел: Шкатулки для украшений
Комплект постельного белья 1,5-спальный "Самойловский текстиль. Настроение", с наволочками 50х70.
Постельное белье "Самойловский текстиль" – отличный подарок себе и близким. Качественное, удобное и красивое постельное белье
1249 руб
Раздел: Бязь
Бумага чертежная, А2, 594x420 мм, 100 листов.
Плотность: 200 г/м2, ГОСТ 597-73.
1687 руб
Раздел: Папки для акварелей, рисования

49. Анализ концептуальных подходов к построению современных сетей третьего поколения

50. Статистика населения. Методы анализа динамики и численности и структуры населения

51. Метод комплексного археолого-искусствоведческого анализа могильников

52. Анализ рынка бухгалтерских и аналитических программ

53. Комплекс программ построения справочников по формальным языкам

54. Программа и План - сопоставительный анализ
55. Анализ криптостойкости методов защиты информации в операционных системах Microsoft Window 9x
56. Построение графика функции различными методами (самостоятельная работа учащихся)

57. Решение задач на построение сечений в многогранниках методом следов

58. Электрографический метод - метод регистрации и анализа биоэлектрических процессов человека и животных

59. Частная школа и новые методы образования

60. Анализ методов оценки сцепления пригара на стальном литье

61. Секты и методы вовлечения новых членов

62. Секты и методы вовлечения новых членов

63. Контент-анализ как метод конкретных политико-социологических исследований

64. Поляриметрические методы анализа

Подарочный набор "Покер", арт. 42447.
Подарочный набор "Покер" безусловно будет тем самым неизбитым презентом, произведённым из дерева. Регулярно удалять пыль сухой,
684 руб
Раздел: VIP-игровые наборы
Эко-гель "Organic People" для стирки детского белья, 1,5 литра.
Бережное и безопасное, экологически чистое средство для стирки детского белья. Содержит 99,8% натуральных компонентов и обогащено
612 руб
Раздел: Для стирки детских вещей
Подставка под автомобиль регулируемая "Delta" РПМ-2,0.
Грузоподъемность: 2 тонны. Высота подъема: 345 мм. Высота подхвата: 184 мм. Подставка под машину предназначена для подъема и удержания
645 руб
Раздел: Домкраты, подставки

65. Методы анализа финансовых рынков

66. Статистические методы анализа оборотных фондов

67. Использование функционально-стоимостного анализа при создании стоимости нового товара

68. Анализ целесообразности расширения рынка (выход на новые сегменты рынка) сбыта организации.

69. Сравнительный анализ американского и японского подходов к управлению предприятием

70. Реинжиниринговый подход к управлению организационным развитием. Новый взгляд на антикризисное управление
71. Анализ и методы оценки конкурентоспособности товаров и услуг регионального рынка (На примере производства полиграфической продукции в Н. Новгороде)
72. Методы алгебраических и дифференциальных уравнений для анализа и качественного исследования социально-экономических явлений (По дисциплине: Математические методы моделирования процессов управления в социальной сфере)

73. Статистические методы анализа финансового состояния предприятия в условиях рынка

74. Системный подход в экономическом анализе

75. РОЛЬ И АНАЛИЗ АНИМАЦИОННЫХ ПРОГРАММ СРЕДИЗЕМНОМОРСКИХ ОТЕЛЕЙ ТУРЦИИ

76. Вычисление интеграла методом Ньютона-Котеса (теория и программа на Паскале)

77. Сравнительный анализ норм морали Ветхого и Нового Заветов

78. Отчёт по методу анализ финансовых коэффициентов

79. Методы и алгоритмы построения элементов систем статистического моделирования

80. Сравнительный анализ алгоритмов построения выпуклой оболочки на плоскости

Настольная игра 48 "Морской бой".
В наборе: игровое поле - 2 штуки, эскадра из 10 кораблей - 2 комплекта, фишки для обозначения выстрелов. Размеры: 27х18х7 см.
492 руб
Раздел: Классические игры
Карандаши цветные "Jumbo", трехгранные, 12 цветов + точилка.
Мягкие, но при этом очень прочные карандаши, легко затачиваются и не крошатся. Насыщенные штрихи на бумаге. Не токсичны!. В комплекте: 12
410 руб
Раздел: 7-12 цветов
Настольная игра "Паника в лаборатории".
Подопытные амёбы разбежались во все стороны, срочно нужно найти их! Все игроки одновременно ищут беглянок по особым приметам — форме,
862 руб
Раздел: Карточные игры

81. Статистические методы анализа результатов психолого-педагогических исследований

82. Новые методы преодоления бесплодия

83. Аргентометрические методы анализа лекарственных средств

84. Эндоскопическое исследование семявыносящего протока (вазоскопия) - новый диагностический метод?

85. Новые методы конкурентной борьбы на мировом рынке

86. Производственная программа предприятия и методы ее расчета
87. Оценка труда: уровни, подходы, методы
88. Подходы к анализу нелинейной динамики жидкостей

89. Серия МОНАП: модели, методы, подходы

90. Сравнительный анализ группаналитического и гештальт подхода в работе на ранних стадиях психотерапевтической группы

91. Методологические подходы к построению и объяснению истории психологии: перспективы содержательного синтеза.

92. Метод проектов как средство реализации личностно ориентированного подхода при изучении иностранных языков

93. Практические методы разработки и анализа товарной стратегии предприятия на основе внутренней вторичной информации

94. Анализ содержания -социологический метод сбора социальной информации

95. Анализ рентабельности с помощью программы Олимп

96. Построение новой железнодорожной линии

Стул-стол для кормления Вилт "Алекс" (бежевый).
Удобный стульчик-трансформер для кормления Вашего малыша. Можно использовать без столешницы, поэтому по мере взросления вашего малыша, вы
1337 руб
Раздел: Стульчики для кормления
Пластиковое лото. Силуэты. Комплект из трех игр.
Набор «Силуэты» – это комплект из трёх развивающих игр. В него входит: 9 картонных двухсторонних карт с рисунками, 54 прозрачные
549 руб
Раздел: Лото детское
Комплект в коляску Карапуз "Цветочки", цвет: бежевый (3 предмета).
Комплект в коляску состоит из 3-х предметов: - матрац 45х75 см; - подушка 45х40 см; - одеяло 75х80 см. Материал: 100% хлопок. Наполнитель:
555 руб
Раздел: Подголовники и подушечки

97. Анализ школьной программы по лыжной подготовке

98. Новый методологический подход в подготовке специалистов-тренеров на выпускающих кафедрах РГУФКА

99. Формационный и цивилизационный подходы к анализу исторического процесса


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.