forum.opennet.ru - "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный на Rust" (66)

"Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный на Rust"

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный на Rust"	+/–
Сообщение от opennews (??), 28-Июн-25, 14:56
Дэниел Алмейда (Daniel Almeida), занимающийся развитием видеокодеков в компании Collabora, опубликовал в списке рассылки разработчиков Linux-ядра начальную реализацию драйвера Tyr для GPU ARM Mali, в которых применяется технология CSF (Сommand Stream Frontend), таких как Mali G310, G510 и G710. Код драйвера написан на языке Rust и насчитывает чуть больше 600 строк кода. Работа над драйвером Tyr ведётся совместно сотрудниками компаний Collabora, Arm и Google... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=63490
Ответить \| Правка \| Cообщить модератору

Оглавление

600 строк кода, а шуму то , Кошкажена (?), 14:59 , 28-Июн-25, (3) +5

Это 600 строк правильного кода, а не всякого там не правильного, Вандер (?), 15:01 , 28-Июн-25, (5) +3

unsafe на месте, Кошкажена (?), 15:03 , 28-Июн-25, (7) +7

Целых три ансефа на все изменения lore kernel org dri-devel 20250627-tyr-v1-1-cb, Аноним (-), 15:10 , 28-Июн-25, (11) +4

Либы посчитай Не-unsafe кода там в принципе нет А так, одного достаточно, чтобы, Аноним (13), 15:20 , 28-Июн-25, (13) +2

А с учётом этого https github com Speykious cve-rs не-unsafe даже в мечтах не, Аноним (13), 15:24 , 28-Июн-25, (16) –1

Уже давно исправлено, смени методичку github com Speykious cve-rs issues 3, Аноним (-), 15:38 , 28-Июн-25, (20) +1

Не исправлено Этого нет в языке, а заявляется безопасность языка, а не левой по, Аноним (13), 15:47 , 28-Июн-25, (22)

https doc rust-lang org cargo commands cargo-miri htmlhttps github com rust-, Аноним (49), 17:20 , 28-Июн-25, (49) +1

Кекспертиза изо всех щелей , Аноним (13), 17:26 , 28-Июн-25, (51)

Кекспертушка, ты же осознаешь, что на самом деле -- ссылался на баг в компилятор, Аноним (49), 17:52 , 28-Июн-25, (54) +2

Скрыто модератором, Аноним (13), 18:19 , 28-Июн-25, (60) –2
Скрыто модератором, Аноним (49), 18:37 , 28-Июн-25, (65) +2
Скрыто модератором, Аноним (13), 18:48 , 28-Июн-25, (66) –3
Скрыто модератором, morphe (?), 19:01 , 28-Июн-25, (67) +1
Скрыто модератором, Аноним (13), 19:36 , 28-Июн-25, (73) –1
Скрыто модератором, Аноним (49), 19:27 , 28-Июн-25, (70) +1
Скрыто модератором, Аноним (13), 19:49 , 28-Июн-25, (74) –1

Вообще говоря это есть в языке Не в стандарте правда, потому что стандарта нет,, morphe (?), 18:11 , 28-Июн-25, (58)

Как хорошо, что ты зашел почти сразу с козырей и показал свою квалификацию Т, Аноним (49), 15:41 , 28-Июн-25, (21) +2

Как хорошо, что тебе с первого же тейка нечего ответить и ты показал свою квали, Аноним (13), 15:49 , 28-Июн-25, (25)

Не, кексперт - просто тебе и подобным уже отвечали на это 100500 раз и каждый ра, Аноним (49), 16:00 , 28-Июн-25, (27) +1

Ну конечно, давайте сравнивать баги в компиляторе которые постепенно исправляют , morphe (?), 16:57 , 28-Июн-25, (38) +2

Скрыто модератором, Аноним (13), 17:13 , 28-Июн-25, (45) –3

https users rust-lang org t i-finally-found-the-cheat-code-for-disabling-the-t, Аноним (-), 19:04 , 28-Июн-25, (68)

Это всего лишь 1 unsafe А эти для чего unsafe impl Send for TyrData unsafe i, Кошкажена (?), 15:23 , 28-Июн-25, (14)

Вам там че, запретили, под страхом отлучения от опеннета, глядеть в доки https , Аноним (49), 15:49 , 28-Июн-25, (24) +3

Ну вот и о какой тогда безопасности речь Сами себе противоречите , Кошкажена (?), 16:51 , 28-Июн-25, (37) –1

Я не в курсе ваших фантазий и уж тем более, что и чему там противоречит, увы , Аноним (49), 17:02 , 28-Июн-25, (41) +1
А, у вас подход сгорел сарай, гори и хата О какой безопасности может идти речь, Аноним (-), 18:26 , 28-Июн-25, (62) +1

Это код биндинга к сямКомпилятор Rustc видит там сырые указатели, и разумеется н, morphe (?), 17:01 , 28-Июн-25, (39) +2

Для структур что описаны целиком в Rust, и которым не нужно общаться с сишным ко, morphe (?), 17:04 , 28-Июн-25, (42) +1

ага, можно было обойтись одним, 12yoexpert (ok), 20:45 , 28-Июн-25, (77)

Геншин начнёт летать Но только на Mali Нет, вру Летать он по-прежнему будет т, Аноним2806 (?), 22:06 , 28-Июн-25, (80)

А тут сам факт важен Сколько раз использовался аргумент у противников раста в я, Аноним (-), 15:07 , 28-Июн-25, (9) –1

Вот я про то же Скоро будут писать как раст-разраб сходил поел Ну рабочего нет , Кошкажена (?), 15:09 , 28-Июн-25, (10)

зато готовы добавить дополнительную кучу абстракций в ядро , paulus (ok), 17:01 , 28-Июн-25, (40) +2

Закон Раста, 12yoexpert (ok), 20:47 , 28-Июн-25, (78)

так драйвер мигания светодиодиком уже ж давно есть Правда, он там для собственно, нах. (?), 17:20 , 28-Июн-25, (48)

т е второй Тензор https en wikipedia org wiki Google_Tensor Models, Аноним (4), 15:01 , 28-Июн-25, (4)
У что сейчас начнется А так, отличная новость Ядерщики конечно тормозят зна, Аноним (-), 15:03 , 28-Июн-25, (6) +3

Линух протух сразу как был форкнут с Миникса, вот туда и заходит всякое, Вандер (?), 15:06 , 28-Июн-25, (8) +2

Альтернативы , Аноним (19), 15:35 , 28-Июн-25, (19)

https opennet ru 63382-freebsd, Аноним (4), 15:58 , 28-Июн-25, (26)

Круто А дрова все еще с линукса тырить будете А если они на расте будут, то что, Аноним (-), 16:16 , 28-Июн-25, (31) +1

то вот примерно это то есть казалось бы, днище, падать некуда, и так от драйвера, нах. (?), 16:50 , 28-Июн-25, (36)

Ну так сами своими гнутыми выбрыками с Ж0п0эль символами достали производителей , Аноним (-), 17:20 , 28-Июн-25, (47) +2

так он, и ЭТО тоже умудряется делать криво , нах. (?), 17:22 , 28-Июн-25, (50) +1

Почему тырить Там обычно таки permission is hereby granted я так понимаю, , Аноним (49), 18:30 , 28-Июн-25, (64) +1

А что на счет напр wifi wifibox просто так появился , Аноним (-), 19:35 , 28-Июн-25, (72)

https genode org , Аноним (30), 16:10 , 28-Июн-25, (30)

Линукс написан с нуля и имеет лицензию копилефт , Аноним (-), 16:18 , 28-Июн-25, (32)

Из которых полезных дай бог 100, остальное руст болерплат Очередной хэлворд, пр, Аноним (13), 15:16 , 28-Июн-25, (12) +1

Это ты еще не вчитывался т е собственно - драйвер, а не переключалку графрежимо, нах. (?), 16:44 , 28-Июн-25, (34) –1

Что означает лицензия SPDX-License-Identifier GPL-2 0 or MIT Можно выбрать Ка, Кошкажена (?), 15:25 , 28-Июн-25, (17) +1
Чё, молодцы, упразднение опенсорсных драйверов идёт полным ходом под радостное х, Аноним (44), 17:09 , 28-Июн-25, (44) –1

А какие минусы , Аноним (55), 17:54 , 28-Июн-25, (55) –1

Rust в Linux как бетонный каток диет по асфальту - медленно но верно Процент ко, Аноним (52), 17:32 , 28-Июн-25, (52)

можем, но не будем - лучшей антирекламы хруста чем эти шестисотстрочные прослойк, нах. (?), 18:12 , 28-Июн-25, (59)
Разумеется Вот форк иксов уже сделали А сейчас сделают форк ядра И заживееем , Аноним (-), 18:20 , 28-Июн-25, (61) +1
21 год - 30 млн строк кода 25 год - 40 млн строк кода Сколько строк кода на rust, Аноним (63), 18:27 , 28-Июн-25, (63)

А разве кто то написал что он УЖЕ всё заменил Через несколько лет будете спраш, Аноним (69), 19:23 , 28-Июн-25, (69)

Через несколько десятков лет Или попросят весь мир подождать, пока актуальное я, Аноним (71), 19:32 , 28-Июн-25, (71)
через несколько лет, если раст таки завезут в ядро, ты будешь раз в неделю бегат, 12yoexpert (ok), 20:39 , 28-Июн-25, (76)

Не врёшь же, да Или лучше быть как местные старожилы, которые постоянно ноют, чт, Ononim (?), 22:00 , 28-Июн-25, (79)

а на си этих драйверов нет просто чтобы знать, какое железо вендорлокнутое, 12yoexpert (ok), 20:36 , 28-Июн-25, (75)

Сообщения [Сортировка по времени | RSS]

3. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +5 +/–

Сообщение от Кошкажена (?), 28-Июн-25, 14:59

600 строк кода, а шуму то...

Ответить | Правка | Наверх | Cообщить модератору

5. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +3 +/–

Сообщение от Вандер (?), 28-Июн-25, 15:01

Это 600 строк правильного кода, а не всякого там не правильного

Ответить | Правка | Наверх | Cообщить модератору

7. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +7 +/–

Сообщение от Кошкажена (?), 28-Июн-25, 15:03

unsafe на месте

Ответить | Правка | Наверх | Cообщить модератору

11. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +4 +/–

Сообщение от Аноним (-), 28-Июн-25, 15:10

> unsafe на месте
Целых три ансефа на все изменения.
lore.kernel.org/dri-devel/20250627-tyr-v1-1-cb5f4c6ced46@collabora.com/
Ну и понятно почему
// This type is the same type exposed by Panthor's uAPI. As it's declared as
// #repr(C), we can be sure that the layout is the same.
Это же понятно, что везде, где придется взаимодействовать с богомерзкой, придется добавлять unsafe

Ответить | Правка | Наверх | Cообщить модератору

13. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от Аноним (13), 28-Июн-25, 15:20

> Целых три ансефа на все изменения.
Либы посчитай. Не-unsafe кода там в принципе нет.
А так, одного достаточно, чтобы поломать сказки про гарантии. Поэтому не переживай.

Ответить | Правка | Наверх | Cообщить модератору

16. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от Аноним (13), 28-Июн-25, 15:24

А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен.

Ответить | Правка | Наверх | Cообщить модератору

20. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (-), 28-Июн-25, 15:38

> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен.
Уже давно исправлено, смени методичку.
github.com/Speykious/cve-rs/issues/3

Ответить | Правка | Наверх | Cообщить модератору

22. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (13), 28-Июн-25, 15:47

Не исправлено. Этого нет в языке, а заявляется безопасность языка, а не левой поделки. С таким же успехом в си нет уб. Да и где угодно нет.

Ответить | Правка | Наверх | Cообщить модератору

49. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (49), 28-Июн-25, 17:20

https://doc.rust-lang.org/cargo/commands/cargo-miri.html
https://github.com/rust-lang/miri
> move of the Miri engine into the compiler finally came to completion in early 2018.
...
> Этого нет в языке, а заявляется безопасность языка, а не левой поделки.
> левой поделки
Кекспертиза изо всех щелей ...

Ответить | Правка | Наверх | Cообщить модератору

51. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (13), 28-Июн-25, 17:26

> Этого нет в языке, а заявляется безопасность языка
> into the compiler
Кекспертиза изо всех щелей ...

Ответить | Правка | Наверх | Cообщить модератору

54. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от Аноним (49), 28-Июн-25, 17:52

>> Этого нет в языке, а заявляется безопасность языка
>> into the compiler
> Кекспертиза изо всех щелей ...
Кекспертушка, ты же осознаешь, что на самом деле -- ссылался на баг в компиляторе? Потому что в "языке", внезапно, "оно" есть.
> So far, all our bugs are implemented using a single soundness hole in the Rust compiler.
> The explanation is detailed in the lifetime_expansion module.
Или ты по своей же ссылке (как обычно) - дальше заголовка не читал?
https://github.com/Speykious/cve-rs/blob/main/src/lifetime_e...

# How it works
//!
//! There is a soundness hole in the Rust compiler that allows our domain expansion to work.
//!
//! In the [`expand`] function, we use [`lifetime_translator`] with [`STATIC_UNIT`],
//! which has a `'static` lifetime, allowing us to translate an arbitrary lifetime
//! into any other lifetime.
//!
//! `rustc` *should* infer that one of the lifetimes does not outlive `'static`, so
//! that we can't use [`lifetime_translator`]; however, for whatever reason, it doesn't,
//! so this exploit works.
//!

И вот так, с вами, кекспертами - каждый раз.

Ответить | Правка | Наверх | Cообщить модератору

60. Скрыто модератором –2 +/–

Сообщение от Аноним (13), 28-Июн-25, 18:19

> Кекспертушка, ты же осознаешь, что на самом деле -- ссылался на баг в компиляторе?
> заявляется безопасность языка
Здесь у агитатора явно проблемы с тем, чтобы отличить язык и компилятор языка.
> Потому что в "языке", внезапно, "оно" есть.
Нет. Никакой безопасности в языке нет.
> in the Rust compiler
Здесь агитатор также не смог отличить тезис и пример проявления этого тезиса.
> И вот так, с вами, кекспертами - каждый раз.
О том, что анализатор(на самом деле просто поделка с названием посолиднее) воткнутый в "компилятор"(которого у руста нет) не становится ни языком, ни даже частью компилятора, агитатор узнает в следующей серии.

Ответить | Правка | Наверх | Cообщить модератору

65. Скрыто модератором +2 +/–

Сообщение от Аноним (49), 28-Июн-25, 18:37

>>(Автор(ы) cve-rs) So far, all our bugs are implemented using a single soundness hole in the Rust compiler.
> (опеннетный кексперт) Здесь агитатор также не смог отличить тезис и пример проявления этого тезиса.
Не, ну опеннетному кексперту-то всяко видней, что там и как на самом деле, ага ...

Ответить | Правка | Наверх | Cообщить модератору

66. Скрыто модератором –3 +/–

Сообщение от Аноним (13), 28-Июн-25, 18:48

Да, маня, мне виднее что я имел ввиду на самом деле в своём посте. И свидетельства тому выше.
Кстати, тут агитатор совсем запутался в показаниях. Если котируется мнение только авторов чего-либо(не комментов на опеннете), зачем агитатор пытается в _коментах на опеннете_ рассказывать что и как на самом деле? Является ли он автором чего-либо? Нет. Вменяем ли он? Нет.
Ну и что-то он слишком быстро слился со своего тейка "интегрировано в компилятор - значит часть компилятора". Наверное я его спугнул всё-таки и он почуял неладное.

Ответить | Правка | К родителю #65 | Наверх | Cообщить модератору

67. Скрыто модератором +1 +/–

Сообщение от morphe (?), 28-Июн-25, 19:01

> Ну и что-то он слишком быстро слился со своего тейка "интегрировано в
> компилятор - значит часть компилятора".
Это буквально часть компилятора, все comptime вычисления через miri идут)
А всё остальное я постом ниже описал нормально

Ответить | Правка | К родителю #66 | Наверх | Cообщить модератору

73. Скрыто модератором –1 +/–

Сообщение от Аноним (13), 28-Июн-25, 19:36

Нет, не часть. Никаких "comptime вычислений" в расте нет. Как впрочем и компилятора, но то ладно.
Кстати, как интересно агитатор запутался в показаниях. Если все "вычисления"(допустим, они есть) идут через мири, то что было до мири(18 год, кажется)? Агитка про безопасность уже была и не первый год. Безопасности не было? Да нет, лозунги были всё те же. То есть ничего не поменялось.
> А всё остальное я постом ниже описал нормально
Там классическая агитка "ну когда-нибудь поправят - не считается"/"а вот баг же заведён - значит не дыра". Помимо полной несостоятельности этих тезисов, тут ещё и ссылки на себя. Это примерно как "в сишке нет уб, ведь его наличие признаётся/в стандарте есть - значит это просто баг реализации/стандарта, не считается".

Ответить | Правка | К родителю #67 | Наверх | Cообщить модератору

70. Скрыто модератором +1 +/–

Сообщение от Аноним (49), 28-Июн-25, 19:27

> Да, маня, мне виднее что я имел ввиду на самом деле в своём посте. И свидетельства тому выше.
Твои унылые переобувания в прыжке, ты хотел сказать? Сколько их тут уже было, 3 или 4?
> Кстати, тут агитатор совсем запутался в показаниях. Если котируется мнение только авторов
> чего-либо(не комментов на опеннете), зачем агитатор пытается
Балаболка, ты ж сам - на них ссылся, в качестве "доказательства" своего "тезиса".
Получается обычное опеннетное "тут читаем, а там рыбу заворачивали, вот!".
У тебя ж вся цепочка "аргументации" построена на повторении на разные лады "в ЯП того-этого нет, потому что в компиляторе есть баг и его можно использовать".
Божественный (нет) уровень, че.
Кстати, агитатор чего и почему? Ткнуть опеннетного кексперта носом в л(а/o)жу - уже стало "агитацей за раст"?

> Ну и что-то он слишком быстро слился со своего тейка "интегрировано в
> компилятор - значит часть компилятора". Наверное я его спугнул всё-таки и он почуял неладное.
Балабол, твой "тейк" существовал лишь в твоей фантазии, а "спугнул" ты - своей "крутизной и умом", ага.
Любители "троллить тупостью" мне не интересны, тем более пошел вообще какой-то бред вида "компилятора, которого нет" и прочие унылые демагогические виляния классического, ткнутого носом в лужу, опеннетного кэксперта.

Ответить | Правка | К родителю #66 | Наверх | Cообщить модератору

74. Скрыто модератором –1 +/–

Сообщение от Аноним (13), 28-Июн-25, 19:49

> Балаболка, ты ж сам - на них ссылся, в качестве "доказательства" своего "тезиса".
Какой необучаемый. Но да ладно, побежал показывать, что я ссылался "в качестве "доказательства"", а не в качестве примера.
> У тебя ж вся цепочка "аргументации" построена на повторении на разные лады "в ЯП того-этого нет, потому что в компиляторе есть баг и его можно использовать".
Зачем агитатор, не могущий в элементарную логику, пытается рассуждать о чём-то и проецировать свои детсадовские представления на остальных?
> Балабол, твой "тейк" существовал лишь в твоей фантазии, а "спугнул" ты - своей "крутизной и умом", ага.
Ответить нечего, поэтому агитатор будет заспамливать меня клоунадой. Всё как я и говорил. Но ты попытайся, там далее интересно будет.
> вообще какой-то бред вида "компилятора, которого нет"
С этого агитаторов подрывает, да. А так, да - компилятора руста не существует. Всё что есть - парсер-нашлёпка поверх ворованного ллвм.

Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору

58. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от morphe (?), 28-Июн-25, 18:11

>> Этого нет в языке, а заявляется безопасность языка
>> into the compiler
> Кекспертиза изо всех щелей ...
Вообще говоря это есть в языке. Не в стандарте правда, потому что стандарта нет, однако в Rust в целом описано какой семантике должны подчиняться заимствования, этот механизм эволюционирует, и условный gcc должен подчиняться этим требованиям
Lexical lifetimes -> non-lexical lifetimes (Это то что сейчас использует компилятор rustc по дефолту) -> stacked borrows -> tree borrows (Это то что может поймать любую подобную мискомпиляцию)
Подчиняться компиляторы должны tree borrows, однако дополнительно валидировать на уровне компилятора не выйдет, потому что он требует pointer provenance, условно с каждым указателем нужно носить дополнительные данные, железный аналог подобного - CHERI, а в Rust есть MIRI который используется для comptime вычислений, но который в том числе можно использовать и для того чтобы исполнять всю программу (пускай и медленно, ведь это интерпретатор Rust)
С cve-rs мы наблюдаем что валидатор (miri) багу ловит, а компилятор на неё не жалуется и позволяет нарушать гарантии. Почему он не жалуется? Потому что в компиляторе есть несколько багов, из за которых он пока не подчиняется tree borrows.
Так что в данном случае наоборот, у нас в языке всё это исправлено, а вот компилятор пока отстаёт.
Однако обобщать такое неправильно, потому что код для того чтобы эти баги компилятора затриггерить нужен очень нетривиальный, и случайно ты его не напишешь, его долго выводили из более общих случаев, и сейчас почти все такие уязвимости минимизированы
В частности, cve-rs хоть и демонстрирует несколько уязвимостей (use after free, type confusion, buffer overflow, null pointer dereference), однако под капотом у всего этого лежит лишь один баг компилятора, который воспроизводится так:
pub const STATIC_UNIT: &&() = &&();
#[inline(never)]
pub fn lifetime_translator_mut<'a, 'b, T: ?Sized>(
    _val_a: &'a &'b (),
    val_b: &'b mut T,
) -> &'a mut T {
    val_b
}
pub fn expand_mut<'a, 'b, T: ?Sized>(x: &'a mut T) -> &'b mut T {
    let f: for<'x> fn(_, &'x mut T) -> &'b mut T = lifetime_translator_mut;
    f(STATIC_UNIT, x)
}
Это очень специфический код, который ты нигде в природе не увидишь
Но если коротко - то он позволяет получить для переменной которая живёт малое время, указатель который живёт дольшее время (что есть баг компилятора, и что язык запрещает), aka use-after-free
Остальные уязвимости там достигаются через type confusion - имея user after free, мы можем обращаться к освобождённой памяти, а значит если в ту память записать что-то другое - то мы общаемся с переменной типа A используя указатель на тип B
buffer-overflow - к короткому буферу обращаемся как к длинному
null-pointer-deref - к нулевому указателю обращаемся как к референсу (который не может быть null)
И т.д. Раньше в cve-rs было ещё больше багов на этой базе, но сейчас почти все отвалились уже при работе с обычным компилятором, а под miri они никогда не работали.
Как только этот оставшийся баг будет исправлен, то весь cve-rs отпадёт

Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

21. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от Аноним (49), 28-Июн-25, 15:41

> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен.
Как хорошо, что ты зашел почти сразу с козырей и показал свою "квалификацию" :)
Т.е. можно смело игнорить очередные, гневные "разоблачения" очередного, опеннетного кексперта.

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

25. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (13), 28-Июн-25, 15:49

Как хорошо, что тебе с первого же тейка нечего ответить и ты показал свою "квалификацию" :)
Т.е. можно смело игнорить очередные, отчаяные оправдания очередного, опеннетного кексперта.

Ответить | Правка | Наверх | Cообщить модератору

27. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (49), 28-Июн-25, 16:00

> Как хорошо, что тебе с первого же тейка нечего ответить и ты
> показал свою "квалификацию" :)
Не, кексперт - просто тебе и подобным уже отвечали на это 100500 раз и каждый раз вы почему-то сливались :)
https://www.opennet.dev/openforum/vsluhforumID3/133387.html#122
https://opennet.ru/openforum/vsluhforumID3/133278.html#28
https://www.opennet.dev/openforum/vsluhforumID3/134910.html#249
https://www.opennet.dev/openforum/vsluhforumID3/136952.html#161
https://www.opennet.dev/openforum/vsluhforumID3/136093.html#86
Но ты можешь попытаться выдать что-то, отличное от "вы фсе врети!", все в твоих руках.

Ответить | Правка | Наверх | Cообщить модератору

38. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от morphe (?), 28-Июн-25, 16:57

> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен.
Ну конечно, давайте сравнивать баги в компиляторе которые постепенно исправляют (https://github.com/rust-lang/rust/issues/25860, https://github.com/Speykious/cve-rs/issues/3) с UB который в сях есть по стандарту и который в общем случае не фиксится и не детектится ни на чьей стороне

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

45. Скрыто модератором –3 +/–

Сообщение от Аноним (13), 28-Июн-25, 17:13

> баги в компиляторе которые постепенно исправляют
> исправляют
https://github.com/rust-lang/rust/issues/25860:
> opened on May 28, 2015
> Open
Что линкует этот агитатор? Как обычно надеется что никто не прочитает, что там по ссылке?
> в компиляторе
https://github.com/Speykious/cve-rs/issues/3:
> Miri
Что линкует этот агитатор? Пытается заспамить какой-то мурой? Причём я отвечал на это выше.
> UB который в сях есть по стандарту
> по стандарту
Что несёт этот агитатор? Пытается манипулировать или просто не умеет в логику? У руста нет стандарта, поэтому все отсылки на стандарт несостоятельны.
> который в общем случае не фиксится и не детектится ни на чьей стороне
Что несёт этот агитатор? Они детектятся и на это я также отвечал. Не говоря уже о том, что сравнение снова несостоятельное, потому как руста без сей не существует.

Ответить | Правка | Наверх | Cообщить модератору

68. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (-), 28-Июн-25, 19:04

https://users.rust-lang.org/t/i-finally-found-the-cheat-code...
> I don't like that project. Through the ways of the internet is somehow got some spotlight, but AFAIK it doesn’t really contain any novelty, but builds on the oldest type-system unsoundness in the books, which is a known issue for almost a decade longer than cve-rs exists
https://github.com/rust-lang/rust/issues?q=is%3Aissue&#...

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

14. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Кошкажена (?), 28-Июн-25, 15:23

> Ну и понятно почему
> // This type is the same type exposed by Panthor's uAPI. As it's declared as
> // #repr(C), we can be sure that the layout is the same.
Это всего лишь 1 unsafe. А эти для чего
+unsafe impl Send for TyrData {}
+unsafe impl Sync for TyrData {}
?

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

24. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +3 +/–

Сообщение от Аноним (49), 28-Июн-25, 15:49

>> Ну и понятно почему
>> // This type is the same type exposed by Panthor's uAPI. As it's declared as
>> // #repr(C), we can be sure that the layout is the same.
> Это всего лишь 1 unsafe. А эти для чего
> +unsafe impl Send for TyrData {}
> +unsafe impl Sync for TyrData {}
Вам там че, запретили, под страхом отлучения от опеннета, глядеть в доки?
https://rust.docs.kernel.org/core/marker/trait.Send.html
> Types that can be transferred across thread boundaries.
> Types for which it is safe to share references between threads.
> This trait is automatically implemented when the compiler determines it’s appropriate.
> The precise definition is: a type T is Sync if and only if &T is Send. In other words, if there is no possibility of undefined behavior (including data races) when passing &T references between threads.
>

Ответить | Правка | Наверх | Cообщить модератору

37. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от Кошкажена (?), 28-Июн-25, 16:51

Ну вот и о какой тогда безопасности речь? Сами себе противоречите.

Ответить | Правка | Наверх | Cообщить модератору

41. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (49), 28-Июн-25, 17:02

> Ну вот и о какой тогда безопасности речь? Сами себе противоречите.
Я не в курсе ваших фантазий и уж тем более, что и чему там противоречит, увы.

Ответить | Правка | Наверх | Cообщить модератору

62. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (-), 28-Июн-25, 18:26

> Ну вот и о какой тогда безопасности речь? Сами себе противоречите.
А, у вас подход "сгорел сарай, гори и хата"?
О какой безопасности может идти речь, если раст-коду приходится взаимодействовать с си кодом, который не дает вообще ни каких гарантий.
Безопасным будет только раст код, а если что-то пойдет не так - спрашивайте сишников.

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

39. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от morphe (?), 28-Июн-25, 17:01

Это код биндинга к сям
Компилятор Rustc видит там сырые указатели, и разумеется не понимает контекст к ним
Будут ли эти указатели валидны при передаче в другой поток, или они ссылаются на thread-local? Можно ли с этими указателями работать из нескольких потоков одновременно, или нужна синхронизация?
Вот на стороне Rust и прописывают явно что там нам из сей вернуло, а именно то что эта структура ссылается на общие данные и не теряет смысла при передаче между потоками (Send), и то что в этой структуре нет мутабельных данных, она thread-safe, а соответственно синхронизация не нужна, и с ней можно работать из нескольких потоков (Sync)

Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

42. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от morphe (?), 28-Июн-25, 17:04

Для структур что описаны целиком в Rust, и которым не нужно общаться с сишным кодом маркеры Send/Sync не нужны, потому что компилятор сам в состоянии вывести/доказать оба требования, проблемы идут только с вещами что компилятор не понимает - что там сишка своим API показать хотела

Ответить | Правка | Наверх | Cообщить модератору

77. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от 12yoexpert (ok), 28-Июн-25, 20:45

> Целых три ансефа на все изменения.
ага, можно было обойтись одним

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

80. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним2806 (?), 28-Июн-25, 22:06

Геншин начнёт летать! Но только на Mali. Нет, вру. Летать он по-прежнему будет только на Apple M*. Это была точка зрения практического применения, спасибо за понимание.

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

9. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от Аноним (-), 28-Июн-25, 15:07

>  600 строк кода, а шуму то...
А тут сам факт важен. Сколько раз использовался аргумент у противников раста в ядре что "ни одного драйвера на расте нет". А теперь он инвалидирован, можно спрашивать "а почему им разрешили, а нам нет?" Ну и следующие патчи уже в пути.

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

10. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Кошкажена (?), 28-Июн-25, 15:09

>>  600 строк кода, а шуму то...
> А тут сам факт важен.
Вот я про то же. Скоро будут писать как раст-разраб сходил поел.
> Сколько раз использовался аргумент у противников раста в ядре что "ни одного драйвера на расте нет".
Ну рабочего нет. Ничего не поменялось.

Ответить | Правка | Наверх | Cообщить модератору

40. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от paulus (ok), 28-Июн-25, 17:01

>Ну рабочего нет. Ничего не поменялось.
зато готовы добавить дополнительную кучу абстракций в ядро :)

Ответить | Правка | Наверх | Cообщить модератору

78. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от 12yoexpert (ok), 28-Июн-25, 20:47

> если на одну кучу навалить другую кучу, то вышеупомянутая "одна" станет ширше
Закон Раста

Ответить | Правка | Наверх | Cообщить модератору

48. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от нах. (?), 28-Июн-25, 17:20

так драйвер мигания светодиодиком уже ж давно есть.
Правда, он там для собственно мигания вызывает небезопастный си-код...а, стоп, тут такая же хрень.
Интересней тут другое - наш дЭффективный менеджер всяго линукса поднимал визг в сотни децибел при попытке подсунуть ему код, дублирующий то что уже и так работает, и работает - хорошо. (Вместо замены с внятными объяснениями, зачем надо менять.)
А тут молчит и проглатывает.
Видимо, миллион долларов в месяц сам себя не выплатит.

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

4. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (4), 28-Июн-25, 15:01

>и G710
т.е. второй Тензор:
https://en.wikipedia.org/wiki/Google_Tensor#Models

Ответить | Правка | Наверх | Cообщить модератору

6. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +3 +/–

Сообщение от Аноним (-), 28-Июн-25, 15:03

У... что сейчас начнется))
А так, отличная новость.
Ядерщики конечно тормозят знатно, но патчи в ядро заходят.
И смотря на участников - Collabora, Arm и Google - становится ясно, что они дожмут.

Ответить | Правка | Наверх | Cообщить модератору

8. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от Вандер (?), 28-Июн-25, 15:06

Линух протух сразу как был форкнут с Миникса, вот туда и заходит всякое

Ответить | Правка | Наверх | Cообщить модератору

19. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (19), 28-Июн-25, 15:35

Альтернативы?

Ответить | Правка | Наверх | Cообщить модератору

26. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (4), 28-Июн-25, 15:58

https://opennet.ru/63382-freebsd

Ответить | Правка | Наверх | Cообщить модератору

31. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (-), 28-Июн-25, 16:16

> https://opennet.ru/63382-freebsd
Круто. А дрова все еще с линукса тырить будете?
А если они на расте будут, то что?))

Ответить | Правка | Наверх | Cообщить модератору

36. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от нах. (?), 28-Июн-25, 16:50

> А если они на расте будут, то что?))
то вот примерно это:
> Технология CSF, применяемая начиная с 10 поколения GPU Mali, примечательна выносом на
>  сторону прошивки некоторых функций драйвера и задействованием новой модели организации
> Функциональность Tyr пока отстаёт от драйвера Panthor,
то есть казалось бы, днище, падать некуда, и так от драйвера остался копипастинг блобов туда-сюда. Но нет, снизу стучат.
Ну и зачем кому-то сдалось "тырить" такой драйвер? Подождем пока microsoft для embedded windows свой напишет.

Ответить | Правка | Наверх | Cообщить модератору

47. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +2 +/–

Сообщение от Аноним (-), 28-Июн-25, 17:20

> то есть казалось бы, днище, падать некуда, и так от драйвера остался
> копипастинг блобов туда-сюда. Но нет, снизу стучат.
Ну так сами своими гнутыми выбрыками с Ж0п0эль символами достали производителей железа.
Это нормально в патч-версии обновлении ядра ломать дрова?
Вот теперь кушаейте прошивку на чипах видяхи. А "свободный гнутый" драйвер будет ее туда просто свободно и гнуто грузить.

Ответить | Правка | Наверх | Cообщить модератору

50. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от нах. (?), 28-Июн-25, 17:22

> Вот теперь кушаейте прошивку на чипах видяхи. А "свободный гнутый" драйвер будет
> ее туда просто свободно и гнуто грузить.
так он, %@%@^#%^ и ЭТО тоже умудряется делать криво!

Ответить | Правка | Наверх | Cообщить модератору

64. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (49), 28-Июн-25, 18:30

> Круто. А дрова все еще с линукса тырить будете?
Почему "тырить"?
Там обычно таки "permission is hereby granted" (я так понимаю, это "исконно-посконная линуховая лицензия" - последние лет цать сообщество все более-менее работающие дрова под ней пишет и в ядро включает, а само шифруется под псевдонимами типа "штеуд" или "красная шапка")
torvalds/linux/blob/master/drivers/gpu/drm/nouveau/nvkm/core/engine.c
> Permission is hereby granted, free of charge,
drivers/gpu/drm/i915/gvt/kvmgt.c
> Copyright(c) 2011-2016 Intel Corporation. All rights reserved.
> * Permission is hereby granted, free of charge
drivers/gpu/drm/amd/amdgpu/amdgpu_vm_cpu.c
> * Copyright 2019 Advanced Micro Devices, Inc.
> * Permission is hereby granted, free of charge,

Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

72. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (-), 28-Июн-25, 19:35

>> Круто. А дрова все еще с линукса тырить будете?
> Почему "тырить"?
> Там обычно таки "permission is hereby granted"
А что на счет напр. wifi?
wifibox просто так появился?))

Ответить | Правка | Наверх | Cообщить модератору

30. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (30), 28-Июн-25, 16:10

https://genode.org/

Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

32. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (-), 28-Июн-25, 16:18

Линукс написан с нуля и имеет лицензию копилефт.

Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

12. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (13), 28-Июн-25, 15:16

> насчитывает чуть больше 600 строк кода
Из которых полезных дай бог 100, остальное руст болерплат. Очередной хэлворд, продвигающийся через руст, продвигающийся через хайп, админ-ресурс и госуху.
> +// SAFETY:
Иконка под стекло. Бгг.

Ответить | Правка | Наверх | Cообщить модератору

34. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от нах. (?), 28-Июн-25, 16:44

Это ты еще не вчитывался:
> Функциональность для взаимодействия с GPU Mali портирована из существующего DRM-драйвера
> Panthor (Direct Rendering Manager), написанного на языке Си. uAPI драйвера Tyr идентичен
> uAPI драйвера Panthor, что позволяет использовать с ним уже существующие компоненты
> пространства пользователя.
т.е. собственно - драйвер, а не переключалку графрежимов.
И при всем при этом - мы переписькивали-переписькивали, но... уот:
> Функциональность Tyr пока отстаёт от драйвера Panthor,
т.е. еще и нихрена не работает (потому что mali и так ничего особенного не умеет)
В общем, хрустики пробивают очередное дно, но тут снизу настойчиво стучат.

Ответить | Правка | Наверх | Cообщить модератору

17. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Кошкажена (?), 28-Июн-25, 15:25

Что означает лицензия SPDX-License-Identifier: GPL-2.0 or MIT? Можно выбрать? Как это работает?

Ответить | Правка | Наверх | Cообщить модератору

44. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от Аноним (44), 28-Июн-25, 17:09

Чё, молодцы, упразднение опенсорсных драйверов идёт полным ходом под радостное хлопанье сопровождающих - им драйвера как кобыле пятая нога. Скоро будем созерцать "подключите девайс к Интернету, пройдите TEE-аттестацию и оплатите подписку для разблокировки 3D-возможностей".

Ответить | Правка | Наверх | Cообщить модератору

55. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." –1 +/–

Сообщение от Аноним (55), 28-Июн-25, 17:54

> подключите девайс к Интернету, пройдите TEE-аттестацию и оплатите подписку
А какие минусы?

Ответить | Правка | Наверх | Cообщить модератору

52. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (52), 28-Июн-25, 17:32

Rust в Linux как бетонный каток диет по асфальту - медленно но верно! Процент кода Rust в ядре Linux будет только увеличиваться!
Но конечно же, вы всегда можете сделать форк ядра Linux без Rust)

Ответить | Правка | Наверх | Cообщить модератору

59. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от нах. (?), 28-Июн-25, 18:12

> Но конечно же, вы всегда можете сделать форк ядра Linux без Rust)
можем, но не будем - лучшей антирекламы хруста чем эти шестисотстрочные прослойки к прокладкам, только еще и неполнофункциональные, придумать невозможно.

Ответить | Правка | Наверх | Cообщить модератору

61. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +1 +/–

Сообщение от Аноним (-), 28-Июн-25, 18:20

> Но конечно же, вы всегда можете сделать форк ядра Linux без Rust)
Разумеется!
Вот форк иксов уже сделали.
А сейчас сделают форк ядра. И заживееем!

Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

63. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (63), 28-Июн-25, 18:27

21 год - 30 млн строк кода.
25 год - 40 млн строк кода.
Сколько строк кода на rust?

Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

69. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (69), 28-Июн-25, 19:23

А разве кто то написал что он УЖЕ всё заменил ? Через несколько лет будете спрашивать "сколько строк кода на си" . Если ещё будет о чём спрашивать .

Ответить | Правка | Наверх | Cообщить модератору

71. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Аноним (71), 28-Июн-25, 19:32

Через несколько десятков лет? Или попросят весь мир подождать, пока актуальное ядро переписывают?

Ответить | Правка | Наверх | Cообщить модератору

76. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от 12yoexpert (ok), 28-Июн-25, 20:39

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

Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору

79. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от Ononim (?), 28-Июн-25, 22:00

Не врёшь же, да?
Или лучше быть как местные старожилы, которые постоянно ноют, что на их четвёртом пне теперь перестало что-то заводиться, потому что в ядре что-то удалили.

Ответить | Правка | Наверх | Cообщить модератору

75. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..." +/–

Сообщение от 12yoexpert (ok), 28-Июн-25, 20:36

а на си этих драйверов нет? просто чтобы знать, какое железо вендорлокнутое

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

3. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+5 +/–
Сообщение от Кошкажена (?), 28-Июн-25, 14:59
600 строк кода, а шуму то...
Ответить \| Правка \| Наверх \| Cообщить модератору


	5. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+3 +/–
	Сообщение от Вандер (?), 28-Июн-25, 15:01
	Это 600 строк правильного кода, а не всякого там не правильного
	Ответить \| Правка \| Наверх \| Cообщить модератору


	7. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+7 +/–
	Сообщение от Кошкажена (?), 28-Июн-25, 15:03
	unsafe на месте
	Ответить \| Правка \| Наверх \| Cообщить модератору


	11. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+4 +/–
	Сообщение от Аноним (-), 28-Июн-25, 15:10
	> unsafe на месте Целых три ансефа на все изменения. lore.kernel.org/dri-devel/20250627-tyr-v1-1-cb5f4c6ced46@collabora.com/ Ну и понятно почему // This type is the same type exposed by Panthor's uAPI. As it's declared as // #repr(C), we can be sure that the layout is the same. Это же понятно, что везде, где придется взаимодействовать с богомерзкой, придется добавлять unsafe
	Ответить \| Правка \| Наверх \| Cообщить модератору


	13. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+2 +/–
	Сообщение от Аноним (13), 28-Июн-25, 15:20
	> Целых три ансефа на все изменения. Либы посчитай. Не-unsafe кода там в принципе нет. А так, одного достаточно, чтобы поломать сказки про гарантии. Поэтому не переживай.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	16. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	–1 +/–
	Сообщение от Аноним (13), 28-Июн-25, 15:24
	А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	20. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+1 +/–
	Сообщение от Аноним (-), 28-Июн-25, 15:38
	> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен. Уже давно исправлено, смени методичку. github.com/Speykious/cve-rs/issues/3
	Ответить \| Правка \| Наверх \| Cообщить модератору


	22. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от Аноним (13), 28-Июн-25, 15:47
	Не исправлено. Этого нет в языке, а заявляется безопасность языка, а не левой поделки. С таким же успехом в си нет уб. Да и где угодно нет.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	49. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+1 +/–
	Сообщение от Аноним (49), 28-Июн-25, 17:20
	https://doc.rust-lang.org/cargo/commands/cargo-miri.html https://github.com/rust-lang/miri > move of the Miri engine into the compiler finally came to completion in early 2018. ... > Этого нет в языке, а заявляется безопасность языка, а не левой поделки. > левой поделки Кекспертиза изо всех щелей ...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	51. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от Аноним (13), 28-Июн-25, 17:26
	> Этого нет в языке, а заявляется безопасность языка > into the compiler Кекспертиза изо всех щелей ...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	54. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+2 +/–
	Сообщение от Аноним (49), 28-Июн-25, 17:52
	>> Этого нет в языке, а заявляется безопасность языка >> into the compiler > Кекспертиза изо всех щелей ... Кекспертушка, ты же осознаешь, что на самом деле -- ссылался на баг в компиляторе? Потому что в "языке", внезапно, "оно" есть. > So far, all our bugs are implemented using a single soundness hole in the Rust compiler. > The explanation is detailed in the lifetime_expansion module. Или ты по своей же ссылке (как обычно) - дальше заголовка не читал? https://github.com/Speykious/cve-rs/blob/main/src/lifetime_e... # How it works //! //! There is a soundness hole in the Rust compiler that allows our domain expansion to work. //! //! In the [`expand`] function, we use [`lifetime_translator`] with [`STATIC_UNIT`], //! which has a `'static` lifetime, allowing us to translate an arbitrary lifetime //! into any other lifetime. //! //! `rustc` should infer that one of the lifetimes does not outlive `'static`, so //! that we can't use [`lifetime_translator`]; however, for whatever reason, it doesn't, //! so this exploit works. //! И вот так, с вами, кекспертами - каждый раз.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	60. Скрыто модератором	–2 +/–
	Сообщение от Аноним (13), 28-Июн-25, 18:19
	> Кекспертушка, ты же осознаешь, что на самом деле -- ссылался на баг в компиляторе? > заявляется безопасность языка Здесь у агитатора явно проблемы с тем, чтобы отличить язык и компилятор языка. > Потому что в "языке", внезапно, "оно" есть. Нет. Никакой безопасности в языке нет. > in the Rust compiler Здесь агитатор также не смог отличить тезис и пример проявления этого тезиса. > И вот так, с вами, кекспертами - каждый раз. О том, что анализатор(на самом деле просто поделка с названием посолиднее) воткнутый в "компилятор"(которого у руста нет) не становится ни языком, ни даже частью компилятора, агитатор узнает в следующей серии.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	65. Скрыто модератором	+2 +/–
	Сообщение от Аноним (49), 28-Июн-25, 18:37
	>>(Автор(ы) cve-rs) So far, all our bugs are implemented using a single soundness hole in the Rust compiler. > (опеннетный кексперт) Здесь агитатор также не смог отличить тезис и пример проявления этого тезиса. Не, ну опеннетному кексперту-то всяко видней, что там и как на самом деле, ага ...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	66. Скрыто модератором	–3 +/–
	Сообщение от Аноним (13), 28-Июн-25, 18:48
	Да, маня, мне виднее что я имел ввиду на самом деле в своём посте. И свидетельства тому выше. Кстати, тут агитатор совсем запутался в показаниях. Если котируется мнение только авторов чего-либо(не комментов на опеннете), зачем агитатор пытается в _коментах на опеннете_ рассказывать что и как на самом деле? Является ли он автором чего-либо? Нет. Вменяем ли он? Нет. Ну и что-то он слишком быстро слился со своего тейка "интегрировано в компилятор - значит часть компилятора". Наверное я его спугнул всё-таки и он почуял неладное.
	Ответить \| Правка \| К родителю #65 \| Наверх \| Cообщить модератору


	67. Скрыто модератором	+1 +/–
	Сообщение от morphe (?), 28-Июн-25, 19:01
	> Ну и что-то он слишком быстро слился со своего тейка "интегрировано в > компилятор - значит часть компилятора". Это буквально часть компилятора, все comptime вычисления через miri идут) А всё остальное я постом ниже описал нормально
	Ответить \| Правка \| К родителю #66 \| Наверх \| Cообщить модератору


	73. Скрыто модератором	–1 +/–
	Сообщение от Аноним (13), 28-Июн-25, 19:36
	Нет, не часть. Никаких "comptime вычислений" в расте нет. Как впрочем и компилятора, но то ладно. Кстати, как интересно агитатор запутался в показаниях. Если все "вычисления"(допустим, они есть) идут через мири, то что было до мири(18 год, кажется)? Агитка про безопасность уже была и не первый год. Безопасности не было? Да нет, лозунги были всё те же. То есть ничего не поменялось. > А всё остальное я постом ниже описал нормально Там классическая агитка "ну когда-нибудь поправят - не считается"/"а вот баг же заведён - значит не дыра". Помимо полной несостоятельности этих тезисов, тут ещё и ссылки на себя. Это примерно как "в сишке нет уб, ведь его наличие признаётся/в стандарте есть - значит это просто баг реализации/стандарта, не считается".
	Ответить \| Правка \| К родителю #67 \| Наверх \| Cообщить модератору


	70. Скрыто модератором	+1 +/–
	Сообщение от Аноним (49), 28-Июн-25, 19:27
	> Да, маня, мне виднее что я имел ввиду на самом деле в своём посте. И свидетельства тому выше. Твои унылые переобувания в прыжке, ты хотел сказать? Сколько их тут уже было, 3 или 4? > Кстати, тут агитатор совсем запутался в показаниях. Если котируется мнение только авторов > чего-либо(не комментов на опеннете), зачем агитатор пытается Балаболка, ты ж сам - на них ссылся, в качестве "доказательства" своего "тезиса". Получается обычное опеннетное "тут читаем, а там рыбу заворачивали, вот!". У тебя ж вся цепочка "аргументации" построена на повторении на разные лады "в ЯП того-этого нет, потому что в компиляторе есть баг и его можно использовать". Божественный (нет) уровень, че. Кстати, агитатор чего и почему? Ткнуть опеннетного кексперта носом в л(а/o)жу - уже стало "агитацей за раст"? > Ну и что-то он слишком быстро слился со своего тейка "интегрировано в > компилятор - значит часть компилятора". Наверное я его спугнул всё-таки и он почуял неладное. Балабол, твой "тейк" существовал лишь в твоей фантазии, а "спугнул" ты - своей "крутизной и умом", ага. Любители "троллить тупостью" мне не интересны, тем более пошел вообще какой-то бред вида "компилятора, которого нет" и прочие унылые демагогические виляния классического, ткнутого носом в лужу, опеннетного кэксперта.
	Ответить \| Правка \| К родителю #66 \| Наверх \| Cообщить модератору


	74. Скрыто модератором	–1 +/–
	Сообщение от Аноним (13), 28-Июн-25, 19:49
	> Балаболка, ты ж сам - на них ссылся, в качестве "доказательства" своего "тезиса". Какой необучаемый. Но да ладно, побежал показывать, что я ссылался "в качестве "доказательства"", а не в качестве примера. > У тебя ж вся цепочка "аргументации" построена на повторении на разные лады "в ЯП того-этого нет, потому что в компиляторе есть баг и его можно использовать". Зачем агитатор, не могущий в элементарную логику, пытается рассуждать о чём-то и проецировать свои детсадовские представления на остальных? > Балабол, твой "тейк" существовал лишь в твоей фантазии, а "спугнул" ты - своей "крутизной и умом", ага. Ответить нечего, поэтому агитатор будет заспамливать меня клоунадой. Всё как я и говорил. Но ты попытайся, там далее интересно будет. > вообще какой-то бред вида "компилятора, которого нет" С этого агитаторов подрывает, да. А так, да - компилятора руста не существует. Всё что есть - парсер-нашлёпка поверх ворованного ллвм.
	Ответить \| Правка \| К родителю #70 \| Наверх \| Cообщить модератору


	58. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от morphe (?), 28-Июн-25, 18:11
	>> Этого нет в языке, а заявляется безопасность языка >> into the compiler > Кекспертиза изо всех щелей ... Вообще говоря это есть в языке. Не в стандарте правда, потому что стандарта нет, однако в Rust в целом описано какой семантике должны подчиняться заимствования, этот механизм эволюционирует, и условный gcc должен подчиняться этим требованиям Lexical lifetimes -> non-lexical lifetimes (Это то что сейчас использует компилятор rustc по дефолту) -> stacked borrows -> tree borrows (Это то что может поймать любую подобную мискомпиляцию) Подчиняться компиляторы должны tree borrows, однако дополнительно валидировать на уровне компилятора не выйдет, потому что он требует pointer provenance, условно с каждым указателем нужно носить дополнительные данные, железный аналог подобного - CHERI, а в Rust есть MIRI который используется для comptime вычислений, но который в том числе можно использовать и для того чтобы исполнять всю программу (пускай и медленно, ведь это интерпретатор Rust) С cve-rs мы наблюдаем что валидатор (miri) багу ловит, а компилятор на неё не жалуется и позволяет нарушать гарантии. Почему он не жалуется? Потому что в компиляторе есть несколько багов, из за которых он пока не подчиняется tree borrows. Так что в данном случае наоборот, у нас в языке всё это исправлено, а вот компилятор пока отстаёт. Однако обобщать такое неправильно, потому что код для того чтобы эти баги компилятора затриггерить нужен очень нетривиальный, и случайно ты его не напишешь, его долго выводили из более общих случаев, и сейчас почти все такие уязвимости минимизированы В частности, cve-rs хоть и демонстрирует несколько уязвимостей (use after free, type confusion, buffer overflow, null pointer dereference), однако под капотом у всего этого лежит лишь один баг компилятора, который воспроизводится так: pub const STATIC_UNIT: &&() = &&(); #[inline(never)] pub fn lifetime_translator_mut<'a, 'b, T: ?Sized>( _val_a: &'a &'b (), val_b: &'b mut T, ) -> &'a mut T { val_b } pub fn expand_mut<'a, 'b, T: ?Sized>(x: &'a mut T) -> &'b mut T { let f: for<'x> fn(_, &'x mut T) -> &'b mut T = lifetime_translator_mut; f(STATIC_UNIT, x) } Это очень специфический код, который ты нигде в природе не увидишь Но если коротко - то он позволяет получить для переменной которая живёт малое время, указатель который живёт дольшее время (что есть баг компилятора, и что язык запрещает), aka use-after-free Остальные уязвимости там достигаются через type confusion - имея user after free, мы можем обращаться к освобождённой памяти, а значит если в ту память записать что-то другое - то мы общаемся с переменной типа A используя указатель на тип B buffer-overflow - к короткому буферу обращаемся как к длинному null-pointer-deref - к нулевому указателю обращаемся как к референсу (который не может быть null) И т.д. Раньше в cve-rs было ещё больше багов на этой базе, но сейчас почти все отвалились уже при работе с обычным компилятором, а под miri они никогда не работали. Как только этот оставшийся баг будет исправлен, то весь cve-rs отпадёт
	Ответить \| Правка \| К родителю #51 \| Наверх \| Cообщить модератору


	21. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+2 +/–
	Сообщение от Аноним (49), 28-Июн-25, 15:41
	> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен. Как хорошо, что ты зашел почти сразу с козырей и показал свою "квалификацию" :) Т.е. можно смело игнорить очередные, гневные "разоблачения" очередного, опеннетного кексперта.
	Ответить \| Правка \| К родителю #16 \| Наверх \| Cообщить модератору


	25. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от Аноним (13), 28-Июн-25, 15:49
	Как хорошо, что тебе с первого же тейка нечего ответить и ты показал свою "квалификацию" :) Т.е. можно смело игнорить очередные, отчаяные оправдания очередного, опеннетного кексперта.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	27. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+1 +/–
	Сообщение от Аноним (49), 28-Июн-25, 16:00
	> Как хорошо, что тебе с первого же тейка нечего ответить и ты > показал свою "квалификацию" :) Не, кексперт - просто тебе и подобным уже отвечали на это 100500 раз и каждый раз вы почему-то сливались :) https://www.opennet.dev/openforum/vsluhforumID3/133387.html#122 https://opennet.ru/openforum/vsluhforumID3/133278.html#28 https://www.opennet.dev/openforum/vsluhforumID3/134910.html#249 https://www.opennet.dev/openforum/vsluhforumID3/136952.html#161 https://www.opennet.dev/openforum/vsluhforumID3/136093.html#86 Но ты можешь попытаться выдать что-то, отличное от "вы фсе врети!", все в твоих руках.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	38. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+2 +/–
	Сообщение от morphe (?), 28-Июн-25, 16:57
	> А с учётом этого(https://github.com/Speykious/cve-rs) не-unsafe даже в мечтах не возможен. Ну конечно, давайте сравнивать баги в компиляторе которые постепенно исправляют (https://github.com/rust-lang/rust/issues/25860, https://github.com/Speykious/cve-rs/issues/3) с UB который в сях есть по стандарту и который в общем случае не фиксится и не детектится ни на чьей стороне
	Ответить \| Правка \| К родителю #16 \| Наверх \| Cообщить модератору


	45. Скрыто модератором	–3 +/–
	Сообщение от Аноним (13), 28-Июн-25, 17:13
	> баги в компиляторе которые постепенно исправляют > исправляют https://github.com/rust-lang/rust/issues/25860: > opened on May 28, 2015 > Open Что линкует этот агитатор? Как обычно надеется что никто не прочитает, что там по ссылке? > в компиляторе https://github.com/Speykious/cve-rs/issues/3: > Miri Что линкует этот агитатор? Пытается заспамить какой-то мурой? Причём я отвечал на это выше. > UB который в сях есть по стандарту > по стандарту Что несёт этот агитатор? Пытается манипулировать или просто не умеет в логику? У руста нет стандарта, поэтому все отсылки на стандарт несостоятельны. > который в общем случае не фиксится и не детектится ни на чьей стороне Что несёт этот агитатор? Они детектятся и на это я также отвечал. Не говоря уже о том, что сравнение снова несостоятельное, потому как руста без сей не существует.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	68. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от Аноним (-), 28-Июн-25, 19:04
	https://users.rust-lang.org/t/i-finally-found-the-cheat-code... > I don't like that project. Through the ways of the internet is somehow got some spotlight, but AFAIK it doesn’t really contain any novelty, but builds on the oldest type-system unsoundness in the books, which is a known issue for almost a decade longer than cve-rs exists https://github.com/rust-lang/rust/issues?q=is%3Aissue&#...
	Ответить \| Правка \| К родителю #16 \| Наверх \| Cообщить модератору


	14. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+/–
	Сообщение от Кошкажена (?), 28-Июн-25, 15:23
	> Ну и понятно почему > // This type is the same type exposed by Panthor's uAPI. As it's declared as > // #repr(C), we can be sure that the layout is the same. Это всего лишь 1 unsafe. А эти для чего +unsafe impl Send for TyrData {} +unsafe impl Sync for TyrData {} ?
	Ответить \| Правка \| К родителю #11 \| Наверх \| Cообщить модератору


	24. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+3 +/–
	Сообщение от Аноним (49), 28-Июн-25, 15:49
	>> Ну и понятно почему >> // This type is the same type exposed by Panthor's uAPI. As it's declared as >> // #repr(C), we can be sure that the layout is the same. > Это всего лишь 1 unsafe. А эти для чего > +unsafe impl Send for TyrData {} > +unsafe impl Sync for TyrData {} Вам там че, запретили, под страхом отлучения от опеннета, глядеть в доки? https://rust.docs.kernel.org/core/marker/trait.Send.html > Types that can be transferred across thread boundaries. > Types for which it is safe to share references between threads. > This trait is automatically implemented when the compiler determines it’s appropriate. > The precise definition is: a type T is Sync if and only if &T is Send. In other words, if there is no possibility of undefined behavior (including data races) when passing &T references between threads. >
	Ответить \| Правка \| Наверх \| Cообщить модератору


	37. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	–1 +/–
	Сообщение от Кошкажена (?), 28-Июн-25, 16:51
	Ну вот и о какой тогда безопасности речь? Сами себе противоречите.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	41. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+1 +/–
	Сообщение от Аноним (49), 28-Июн-25, 17:02
	> Ну вот и о какой тогда безопасности речь? Сами себе противоречите. Я не в курсе ваших фантазий и уж тем более, что и чему там противоречит, увы.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	62. "Представлен Tyr, Linux-драйвер для GPU ARM Mali, написанный ..."	+1 +/–
	Сообщение от Аноним (-), 28-Июн-25, 18:26
	> Ну вот и о какой тогда безопасности речь? Сами себе противоречите. А, у вас подход "сгорел сарай, гори и хата"? О какой безопасности может идти речь, если раст-коду приходится взаимодействовать с си кодом, который не дает вообще ни каких гарантий. Безопасным будет только раст код, а если что-то пойдет не так - спрашивайте сишников.
	Ответить \| Правка \| К родителю #37 \| Наверх \| Cообщить модератору