Отзыв научного руководителя (1149941)

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

Текст из файла

ОТЗЫВ научно~ о руководителя на диссертацинз Лнтона Викторовича Иолкоиаева «Операционные методы в приложении к слабым моделям памяти», представленную на соискание ученой степени кандидата физико-математических наук ио специальности 05.13. ! !в математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сегей Многопоточное программирование является на сегодняшний день неотъемлемой частью индустриальной разработки программного обеспечеиия. 1'асиараллеливание программ позволяет достичь существенного прироста производительности, ыо в тоже время сопряжено с дополнительными грудностями.

Одной из них является необходимость строгих формальных ссмантик параллелизма как для промышленных языков программирования, так и лля целевых вычислительных процессоров. Гакис семантики называются моделями памяти. Особый интерес представляют слабые модели памяти — то есть такие параллсльпыс семантики, когорые определяют сценарии поведения программ, непредставимые иопеременным последовательным исполнением потоков программы. Известно, что у таким широко используемых языков программирования как 3ача и С/С~-+ имеются проблемы с параллельной семаитикой. 11оэтому сегодня активно ведутся исследования ио предложению различных слабых моделей памяти для эгих языков.

Диссертационная работа Лнтона Викторовича находится в контексте этих исследований. С самого начало диссертационное исслеловаиис Лнтона Викторовича носило международный характер. Вначале диссертант, в содружестве с коллегами из ()пЫегв|!у Со!!еае !.опс!оп (Великобритания) и 1М01-.Л ооГ!маге 1пя!1!ц!с (Испания), предложил оригинальную слабую модель памяти. Однако выяснилось, что исследовательская группа из Мах Р!апс!с! пыл!!и!е Гог Бо!!маге ЯуяСепзз (Германия) под руководством проф. В. Вафеялиса одновремсшю с дисссртаитом предложила собствениую слабую модель памяти (так называемую обещающую модель), во миогом, похожую на то, что сделал диссертант, ио развиваемую существенно большими исследовательскими си!!ами.

Фактическ!!т эга исслсдовате!!Ьская гру!пга явд!ястся лиди!эующей в ми!!е ИО дапнОЙ тема' ! ике. СВОЮ далы!Сип!ую дея'1'слы!Ость В данцом направлении Лцтон Викторович продолжил в сотрудничестве именно с этой группой. ЕЗ ито!с, кроме вышеупомянутого резулыа!а, Антон ЕЗикторонич также доказал корректиость компиляции из существенного подмножества обещающей модели в модели процессоров ЛКМчЕЕ РОР и ЛКМ~З.З. Важно подчеркнуть, что диссертация Л!Тгоца Викторовича выполнена иа переднем крае науки.

Это подтверждено, в частности, его публикацией па одном ив во чу~дик мировых науииа~х форумах оо втои томат ика ~ЗЬ> Еиго оао Соп(егепсе оп ОЬ'сс1-Ог!Сп!е!1 Рго гапптпп > 1 СООР 2017, а гакжс выступлениями ца ряде международных семинаров в Е)п1~>егв!!у о1 Кс!и (август 2017, Кентербери, Великобритания), в Е)С!. (август 2017, Лондон.

Великобритания), в МРЕ-5%5 (май 2017, Кайзерслаутерн, Германия), и на следу!ощих научных конференциях: Ъ'сг!1!Сс( Тгпв!мог!Е!у Яойчагс $ув!ептв мог)сз!зор (Ч'!'Ы, 4-7 апреля 2016, Лондон, Великобритания), РОР1. 2016 Яис$сп! КсвсагсЕ! Сотрей!Юп (21 января 2016, Санкт-Петербург, Флорида, С! 11Л). Следует отметить, что Антон Викторович является сформировавшимся исследователем, имеет навыки международных научных коммуникаций и является желанным гостем во многих уиивсрситетах и на различных конференциях — как в России, так и за рубежом.

Отмечу такие его личш*!с качества как принципиальность, дотошное!ь и обстоятельность, и в тоже время легкий авант!оризм, общительность и умение слушать. Кроме того, Л!Сгон Викторович досконально разбирается в своей области исследований, широко эрудирован и хорошо умеет публично представлять резуль.гаты своих исследований. Особо стоит отметить текст диссертационной работы.

Лвтор справился со следующим вызовом: аккуратно представил большое количество формальных определений и доказательств, примеров программ, таблиц и пр. Объем разнородного «нстскста» в тексте диссертационной работы оказался весьма значительным. Кроме того, перед автором стояла трудная задача по переводу на русский язык большого количества англоязычных терминов, что не везде получилось удачно в силу отсутствия соответствующих стандартов и правил в русском языке (цапример, в диссертации можно встретить такие фразы как «расслаблеш!ыс чтения»). В итогст текст получился вполне читаемый, кроме того, оп очень подробен, содержит большое количество примеров и объяснений, постепе!шо вводя читателя в курс дела.

Таким образом, текст диссертацио1шой работы вполне можс!. быть использован для первого, и в то жс время достаточно подробного. знакомства с дшшой тематикой. Итак, диссертацию можно считать закопчсшюй научноисследовательской работой, се тематика и достигнутые научные результаты Доктор технических наук, профессор кафедры системного программирования Санкт-петербургского государственного университета /~ т Д.В.Кознов 06.02.2018 тр~:,'бовь! ". обязаннос 1еи полностью соответствуют паспорту специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Следует также отметить, что работа соответствует требованиям Положения о порядке присуждения ученых степеней, обладает теоретической и практической ценностью, а ее автор, Антон Викторович Подкопаев, заслуживает присуждения ему ученой степени кандидата физико-математических наук по специальности 05.13.! 1.

.

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

Тип файла PDF

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

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

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