Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024) — различия между версиями

Материал из 0x1.tv

(Новая страница: «;{{SpeakerInfo}}: {{Speaker|Павел Дунаев}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} <!-- {{youtubelink|}} --> == Thesis =…»)
 
;{{SpeakerInfo}}: {{Speaker|Павел Дунаев}}
<blockquote>
В связи с использованием современными компиляторами C/C++ агрессивных оптимизаций, эксплуатирующих неопределённое поведение, существует потребность в безопасном компиляторе, который не проводит подобные оптимизации, а также предотвращает использование разработчиком небезопасных конструкций. В ИСП РАН был реализован безопасный компилятор на основе GCC, однако часть разработчиков предпочитает GCC Clang, который тоже не лишён проблемы эксплуатации неопределённого поведения. 

В докладе даётся обзор возможностей Clang по осуществлению безопасной компиляции и описание реализации безопасного компилятора на его основе. Для созданного безопасного компилятора показывается применимость на практике и приводится оценка влияния на производительность программ.
</blockquote>

{{VideoSection}}

{{vimeoembed||800|450}}
<!-- {{youtubelink|}} -->

== Thesis ==

{{SlidesSection}}
[[File:Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024)!.jpg}}|center|640px]]
{{LinksSection}}

* 
<!-- <blockquote>[©]</blockquote> -->

<references/>

<!-- topub -->

[[Категория:OSDAY-2024]]
[[Категория:Draft]]

Версия 17:09, 27 июня 2024

Докладчик
Павел Дунаев.jpg
Павел Дунаев

В связи с использованием современными компиляторами C/C++ агрессивных оптимизаций, эксплуатирующих неопределённое поведение, существует потребность в безопасном компиляторе, который не проводит подобные оптимизации, а также предотвращает использование разработчиком небезопасных конструкций. В ИСП РАН был реализован безопасный компилятор на основе GCC, однако часть разработчиков предпочитает GCC Clang, который тоже не лишён проблемы эксплуатации неопределённого поведения.

В докладе даётся обзор возможностей Clang по осуществлению безопасной компиляции и описание реализации безопасного компилятора на его основе. Для созданного безопасного компилятора показывается применимость на практике и приводится оценка влияния на производительность программ.

Видео

Thesis

Презентация

Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf
Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024)!.jpg

Примечания и ссылки