- •1. Роль ПО и компьютеров в производстве, социальной жизни и науке.
- •2. Инженерия ПО
- •3. Проблемы разработки ПО и пути их решения
- •4. Характеристики качества ПО
- •5. Факторы, влияющие на качество ПО
- •6. Системный подход к разработке ПО. Временной и "пространственный " аспекты системного подхода
- •7. Этапы жизненного цикла ПО. Каскадная модель жизненного цикла ПО.
- •8. Конструирование ПО
- •9. Стандарты по разработке ПО. Виды и значение стандартов, требования стандартов
- •10. Три группы процессов создания ПО
- •11. Жизненный цикл ПО и процессы верификации.
- •12. Тестирование, верификация, валидация. Различие в понятиях. V образная модель жизненного цикла ПО
- •13. Спиральная модель ЖЦ ПО.
- •14. «Тяжелые и легкие» технологии разработки ПО. Экстремальное (ХР) программирование
- •16. Виды документов, выпускаемых на ПО по этапам разработки системы.
- •17. Итеративный характер проектирования ПО. Стадии проектирования.
- •19. CASE технологии разработки ПО.
- •20. Технология Ration Rose,UML
- •21. Структура системы, иерархия управления и структура ПО
- •22. Цикличность решения задач управления в системах с ЦВМ
- •23. Временная диаграмма работы системы. Представления работы ПО СТС в виде набора «сечений», выполняемых последовательно.
- •24. Представление работы ПО СТС в виде набора параллельных процессов.
- •25. Задачи и процессы. Контекст процесса
- •26. Обобщенная схема возможных вариантов совместного использования информации взаимодействующими процессами
- •Закон Амдела
- •28. Критический ресурс ЦВМ. Основное правило защиты ресурсов ЦВМ
- •29. Синхронизация процессов
- •Взаимное исключение процессов. Использование мьютексов
- •30. Задача синхронизации «Читатели-писатели»
- •Задачи синхронизации. «Обедающие философы»
- •31. Технология синхронизации ПО. Система Intel Thread Checker (ITC) и типы обнаруживаемых ею ошибок.
- •32. Конструирование ПО
- •33. Минимизация сложности ПО. Стандартные приемы в конструировании
- •35. Особенности конструирования программ для встроенных ЦВМ критических систем. Фиксированное распределение памяти
- •36. Проектирование снизу-вверх и проектирование сверху-вниз. Программные заглушки и их использование
- •37. Основные понятия структурного подхода к проектированию ПО.
- •Основные понятия объектно - ориентированного подхода (ООП) к конструированию ПО.
- •38. Мультиагентные технологии
- •39. Классы реального мира предметной области и искусственные объекты. Чрезмерно большие и неправильно названные классы
- •40. Эвристические приемы конструирования методов, предотвращение дублирования кода
- •41. Сокрытие информации. Две категории секретов программ.
- •Избыточное распространение информации в программе
- •Опасность использования глобальных переменных
- •45. Сопряжение между модулями. Критерии оценки сопряжения. Виды сопряжения
- •46. Эталоны для контроля работы ПО
- •47. Низкоуровневые средства обнаружения ошибочного функционирования ПО
- •Исключительные ситуации (Исключения)
- •48. Выбор способа обработки некорректных входных данных
- •49. Способы обработки возможных ошибок
- •50. Утверждения и общие принципы их использования
- •51. Стратегии безопасности. Три уровня реакции ПО на обнаруженную ошибку. Отказоустойчивые системы
- •54. Ошибки ПО, отладка и тестирование ПО.
- •55. Анализ обнаруживаемых в ПО ошибок и важность его проведения
- •Классификация ошибок ПО
- •56. Статическая отладка и динамическая отладка
- •Функциональная отладка
- •57. Принцип «белого» и «черного» ящика при динамической отладке ПО.
- •58. Структурная динамическая отладка
- •59. Автономная отладка (АО) и комплексная отладка (КО) ПО
- •60. Тестовое окружение ПО. Драйверы и заглушки.
- •61. Последовательность действий при отладке ПО.
- •Принципы выделения маршрутов для отладки.
- •62. Приближенный метод оценки числа вариантов для отладки ПО для «широкого графа» программы. Графы деревья, как модели структуры ПО
- •63. Регулярное дерево и устойчивость его структурного параметра
- •64. Контроль отлаженности ПО в процессе отладки.
- •67. Метод наименьших квадратов для аппроксимации экспериментальных данных
Все они при последовательном исполнении должны содержать циклы повторений с различными исходными данными.
В отличии от этих задач существуют строго последовательные задачи, не подлежащие параллельному решению. Например, задача управления технической системой состоит из трех сугубо последовательных фаз: съем информации с датчиков, обработка информации, выдача управляющего воздействия. Однако, эта же задача, решаемая, например, в цикле для трех каналов управления, может быть успешно распараллелена на три процессора. Каждому каналу управления – свой процессор.
Но все равно применение многопроцессорных машин не приводит к увеличению их производительности пропорционально числу используемых ядер или процессоров. Есть простой расчет производительности, позволяющий понять за счет чего это происходит.
Закон Амдела
Исполнение распараллеленного кода на N ядерном процессоре не приводит к N кратному увеличению производительности.
Закон показывает, что не для всякой задачи увеличение числа параллельно работающих процессоров приводит к ощутимому сокращению времени её исполнения. Например, если половина программы не возможно исполнять параллельно, то сколько бы мы не взяли процессоров для параллельного исполнения оставшейся половины, общее сокращение времени исполнения задачи будет не более ,чем в два раза.
В лучшем случае верхняя оценка повышения производительности – примерно корень квадратный из числа процессоров или ядер. Основные причины этого – необходимость синхронизации параллельных секций кода и наличие не распараллеленных участков ПО. Пусть в задаче объемом S операций доля операций
немогущих исполняться параллельно составляет а. Тогда доля операций, могущих исполняться парал-
лельно составляет (1-а).
Время исполнения распараллеленной части задачи тогда составит
Тпар = (1-а)*S/Р*С, где
Р-число процессоров,
С- производительность одного процессора.
Общее время исполнения задачи на Р параллельных процессорах
Тобщ = Тпосл+Тпар = а*S/С+(1-а)*S/(Р*С) = ( )
Учитывая, что время исполнения задачи на одном процессоре равно
Тодн = S/С
[Введите текст]