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

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

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

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

{{VideoSection}}

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


== Thesis ==
* https://osday.ru/downloads/Dunaev.pdf

{{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]]

Текущая версия на 13:01, 7 августа 2024

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

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

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

Видео

on youtube


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

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