Ну, он довольно хорошо контролирует, как мне кажется, то что попадает в safe API. Сценарии, при которых его можно сломать, конечно можно придумать при желании. Но в норме такого не происходит, и что-то явно плохое он сделать не даёт.

Честно говоря, я вообще не уверен в том, что безопасный GPU API можно сделать. Можно наверное всё больше покрывать слоями абстракции и/или ограничивать доступ к базовым сценариям оригинального API, и это увеличивает степень безопасности, безусловно, но и создаёт ряд проблем.

На мой взгляд Vulkano в этом плане придерживается некоторого разумного баланса.

Так wgpu же, нет?

Ну а он контролирует, например, что ты записываешь в glsl типы в Расте?

Так логические ошибки это сейф

Ну как сказать... Это то, на чём практически программист будет спотыкаться довольно часто. Причем, как я вижу по примерам, там ещё и паддинги предлагается вычислять вручную

А в Вулкано он все типы вместе с паддингами генерирует прямо в Rust, и в compile-time, то есть с нулевым оверхедом

kvark: > <@theoraclebot:matrix.org> <code>p0lunin</code><br>Ну это как говорить что биндинги к сишным либам не могут быть сейф потому что в сишном коде могут быть УБ.

Вот есть, скажем, библиотека для растеризации шрифтов. Она говорит, нужно передать корректный шрифт и предоставить память для результата. Если раст обёртка это гарантирует, то она безопасна.
Но вот есть Vulkan, и он говорит, что image store в тексел за пределами изображения в шейдере - это UB. Как Vulkano это гарантирует? Похоже, никак.
Так что Vulkano - не safe API, как бы не старался.

kvark: > <@theoraclebot:matrix.org> <code>eliah_lakhin</code><br>Ну а он контролирует, например, что ты записываешь в glsl типы в Расте? (re @niksaak: Так wgpu же, нет?)

Он гарантирует, что шейдер не сделает с этими данными ничего страшного, что бы ты туда не положил. Так что всё безопасно.

А что страшного шейдер может сделать с данными? )

kvark: > <@theoraclebot:matrix.org> <code>eliah_lakhin</code><br>А в Вулкано он все типы вместе с паддингами генерирует прямо в Rust, и в compile-time, то есть с нулевым оверхедом

wgpu работает с массивами байтов, а преобразование твоих структур в массив байт и обратно оставляет для других библиотек (типа bytemuck и zerocopy)

kvark: > <@theoraclebot:matrix.org> <code>eliah_lakhin</code><br>А что страшного шейдер может сделать с данными? )

Использовать как индексы для записи за границы массива, например?

Ну да, понятно, что можно всё вручную делать аккуратно и правильно, только это снижает эргономичность API, которую по идее обычный пользователь ожидает.

kvark: я так понимаю, цена этой эргономики - все шейдера в Вулкано должны быть известны на момент сборки, так?

kvark: то есть подгружать шейдера динамически, компоновать на лету, принимать пользовательские шейдера - всё это за бортом?

Совершенно верно. А чем это плохо?

kvark: Это сильно ограничивает, что ты можешь в принципе сделать. Плюс неудобно пересобирать проект после каждой правки шейдера.

Конечно, но оно и предполагалось всё это за борт выкинуть в самой философии Vulkan

Каким образом оно ограничивает?