Отзыв ведущей организации (1149935), страница 2

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

Текст из файла (страница 2)

Недочеты и замечания Следует отметить, что, хотя диссертационная работа выполнена на высоком научно-техническом уровне, в ней имеются отдельные недостатки. 1. Предложенная в работе операционная модель памяти С/С++11 для некоторых программ не поддерживает всех сценариев поведения, разрешенных оригинальной моделью С/С++11, Как следствие, она поддерживает меньшее количество оптимизаций.

2. Дпя сравнения операционной модели памяти С/С++11 использовался набор «лакмусовых» тестов. Не было дано пояснений, насколько полно эти тесты покрывают ситуации, возникающие при работе с памятью параллельных потоков. 3. Несмотря на то, что текст работы написан очень грамотно, хорошим русским языком, в нем все-таки встречаются отдельные опечатки и стилистические погрешности, выделяющиеся на общем фоне, а в автореферате присутствует обрывок фразы, которую, видимо, забыли удалить при подготовке материала. Вышеуказанные замечания носят частный характер и не умаляют общих достоинств работы.

Заключение Отзыв на диссертацию был заслушан и утвержден на научном семинаре по системному программированию ИСП РАН 11 апреля 2018 года, протокол №1. Ведущий научный сотрудник ИСП РАН к.ф.-м.н. Падарян В.А, Диссертация является законченной научно-исследовательской работой, обладающей теоретической и практической ценностью, полностью соответствует паспорту специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», поскольку относится к области исследований «Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования». Автореферат и публикации правильно отражают содержание диссертации. Диссертационная работа «Операционные методы в приложении к слабым моделям памяти» соответствует всем критериям, установленным Положением «О порядке присуждения ученых степеней», а ее автор, Антон Викторович Подкопаев„заслуживает присуждения ему ученой степени кандидата физико-математических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

.

Характеристики

Список файлов диссертации