Отзыв на автореферат 5 (1149939)
Текст из файла
ОтзыВ нз автореферат диссертации АнтОнз ВиктОрОВичз ПОдкОпзеВЯ «ОперзЦионные метОДы В приложении к слзбь1м моДелям пзмйти>>~ представленную на сОискзние ученОЙ степени кандидата Физико мзтемзтических наук пО специальности О5Л ЗЛ 1 — математическое и программное обеспечение вычислительных машин, комплексоВ и кОмпьютерных сетей Слабые сценарии мнОГОпоточных прОГрамм — это такие сценарии, которые не могут быть получены некоторым поочередным исполнением кома~ из каждого потока на Одном ядре или процессоре. Модели памяти, котОрые допускают такие СЦенарии, называются слабыми моДелями.
8 на тОящий момент такие модели активно изучаются в связи с тем, что соответстВующие сценарии поведения многопоточных программ Оказываются Возможными пОсле компиляции для суперскалярных процессоров и выполнения ряда оптимизаций, СуДя по ЯВтореферату, Данная ДиссертаЦия посвяЩенЯ операционным подходам к заданию слабых моделей памяти языков С1С++ и Зача. При э.гом особо изучаются вопросы корректной трансляции таких моделей в модели современных процессоров.
В работе получены следующие результаты. Предложена операционная модель памяти С/С++11, для которой автор реализОВал интерпретатор. Доказа~а корректность компиляции из существенного подмножества обещающей модели в операционную модель памяти АВЬЬВ РОР. 3. Доказана корректность компиляЦии из суЩестВеннОГО пОДмножества ОбеЩаюЩей моДели В аксиоматическую моДель памяти АЯМч8.3.
Анализируя автореферат, можно прийти к заключению, что данные результаты ОблаДЯют научноЙ нОВизнОЙ, наДлежаЩим Образом ОпубликоВаны и апробированы. Практическое и теоретическое значение диссертации не Вызывают Сомнений Основываясь на анализе автореферата можно сделать вывод о том, что Диссертация полностью удовлетворяет паспорту специальности о5.13.11 и отвечает требованиям пункта 9 «Положения о порядке присуждения ученых степеней э, а само исследование является завершенной няучно- исследовательскОЙ работой.
Считаю, что автор Диссертации, А~~О~ Викторович Подкопаев, заслуживает присуждения ему ученОЙ степени кандидата ФизикО- математических наук по специальности (Б.'13.'1'1 — «Математическое и программное обеспечение ВЫчислительных моин, комплексов и компь©терных се'Ген.
.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.