Файл: Информация об источнике, на который составлена рефератрецензия.doc

Основная часть

Информация об источнике, на который составлена реферат-рецензия

Соколинский Л.Б., Шамакина А.В. «Методы управления ресурсами в проблемно-ориентированных вычислительных средах» // Журнал «Программирование» РАН, 2016.

https://elibrary.ru/contents.asp?issueid=1576811

Реферат-рецензия

Исследования в теории алгебраических моделей программ с процедурами

Алгебраическая модель программ без процедур обобщает алгебраическую модель программ без процедуры, которую называют простыми программами. Характерная особенность этих и прочих моделей заключается в том, что строятся на программах в определенной их формации. Введенные модели программ направлены на исследование функционального эквивалента формализованной программы и построение богатого множества эквивалентных изменений э.п. структуры их программ. В этих задачах определяется проблематика алгебраической теории программных моделей, выдвигая в первую очередь вопрос эквивалентности, а также задачу построения эквивалентной схемы, полной этой модели. Вспышка интереса к программным моделям с процедурами обусловлена обилием установленных фактов для простого моделирования программ. Материал, подходящий для его использования, выбирают перегородочные модели программ и процедур. Они отличаются тем, что в отдельной модели этого вида входит какая-то простоя модель программ. В этой статье рассмотрены результаты последних лет для моделей перегородки программ.

О производительности и интеллектуальности суперкомпьютерного моделирования

Традиционно термин суперкомпьютерных технологий относится к отображению алгоритмов в архитектуре ЭВМ, однако при бурном увеличении вычислительной мощности предполагает необходимость около того же увеличения скорости разрабатываемых программ и алгоритмов. При этом хорошо известны темпы роста мышц компьютера гораздо превосходят темпы увеличения производительности работы разработчиков программного обеспечения, и они становятся узким места в развитии инноваций компьютера. Единственный способ разрешить эту проблему - автоматизация создания моделей, программ и алгоритмов, что непосредственно означает резкое изменение уровней искусственных интеллектов в суперкомпьютерной технике. В этой

---

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

Методы управления ресурсами в проблемно-ориентированных вычислительных средах

Одним из важнейших классов ресурсосберегающих приложений распределенной вычислительной среды являются сложные задачи с потоковым структурированием, которые возникают в определенной задаче. Такие проблемные задачи могут быть представлены как ориентированные графы, узлы которых являются задачами вычислений, составляющими задачу, дуги являются потоками данных, которые передаются от задачи к задаче. Проблемная ориентация задания означает, что существует возможность априорного получения оценки времени выполнения заданий и объема передаваемой информации. Распределенные вычислительные среды, ориентированные на выполнение таких задач в определенной области предмета, называются проблемными. Чтобы эффективно использовать ресурсы распределенного вычислительного пространства, используются специальные плановые алгоритмы. Сейчас известно огромное количество таких программ. В некоторых случаях алгоритм DSS учитывает специфику проблемных приложений со структурой потока. Например, в алгоритме Min-min используется многоядерная структура вычислительного узла. Однако ни один известный алгоритм не учитывает обоих факторов. В настоящей работе строятся математические модели проблемноориентированных вычислительных сред и предлагаются новые проблемноориентированные алгоритмы планирования ресурса РОС (Рrоblеm-Оriеntеd Sсhеdиling), Учитывая и проблемную специфику задачи, и многоядерные структуры узлов системы вычислительной техники. Приведены результаты экспериментов по вычислению, которые сравнивают алгоритм ROS и другие известные плановые алгоритмы.

Методы оценки времени выполнения в системах реального времени

---

Оценка WСЕТ (wоrst-саsе ехесиtiоn timе) - максимальное время работы программ в худшем случае - это задача, актуальная при разработке реального времени систем.

В частности, оценка WСЕТ является одной из задач процесса проверки сертифицированных авиационных по в соответствии с квалификационными требованиями DО-178В/С. Это очень сложная задача, и точного ее решения часто бывает почти невозможно. Исследования способов решения данной задачи, проводимые уже многие годы, приводили к появлению многочисленных методов, которые можно применять в различных ситуациях. В статье представлен обзор действующих методов оценки WСЕТ, которые могут быть полезны при выборе методик и методов решения этого вопроса.

Повышение производительности кода при однофазной компиляции

Современный компилятор способен в некоторых случаях значительно увеличить производительность кодов при использовании двухфазного компилятора, получая профиль выполнения программы в соответствии с программным профилем. В то же время для многих задач невозможно провести представительный тренировочный запуск, что не позволяет эффективно применять некоторые методы оптимизации. В представленной работе ставится задача повышения производительности кода для этого случая. Рассмотрены проблемы использования существующих профильных оптимизаций в однофазных компиляциях, а также представлены для них разработанные алгоритмы оптимизации кодов. Эффективность предложенных методов измерялась при помощи компиллятора процессора «Эльбрус» с архитектурой VLIW.

---