The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

Оглавление

Для рецензирования предложен Linux-драйвер для GPU Apple AGX, написанный на Rust, opennews (??), 08-Мрт-23, (0) [смотреть все]

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


3. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +7 +/
Сообщение от Аноним (3), 08-Мрт-23, 10:12 
>>В частности, драйвер предоставляет определённые обвязки для небезопасных структур разделяемой памяти со сложными цепочками указателей, применяемых в прошивке для взаимодействия с драйвером.

Есть какое-то доказательство безопасности этих обвязок или слова "безопасные" достаточно ?

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

5. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +22 +/
Сообщение от Аноним (5), 08-Мрт-23, 10:21 
Вера лучшее доказательство. Можно придумывать любые факты и в них верить. Это не трудно. Это вообще базовый инстинкт.  
Ответить | Правка | Наверх | Cообщить модератору

183. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (183), 12-Мрт-23, 16:20 
Не может человек жить без веры! Прекратите распространять херь!
Ответить | Правка | Наверх | Cообщить модератору

7. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +1 +/
Сообщение от annonn (?), 08-Мрт-23, 10:29 
ты хочешь получить верифицированный код? да еще и бесплатно?
извини, дед мороз в отпуске

это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся
ну или оплачивай труд высококвалифицированных специалистов

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

19. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  –2 +/
Сообщение от Аноним (19), 08-Мрт-23, 12:17 
> ты хочешь получить верифицированный код

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


> это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся ну или оплачивай труд высококвалифицированных специалистов

Раньше так небыло. Но пришли "програмисты" с раст и привнесли с ним свой стандарт, - "жри, что дали".

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

33. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноньимъ (ok), 08-Мрт-23, 14:06 
Спарк разве свободный? Там вроде не просто проприетарщина но еще и патенты всякие?
Ответить | Правка | Наверх | Cообщить модератору

168. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Сишник (?), 11-Мрт-23, 01:16 
Вроде инструментарий весь свободный, недавно перевели под лицензию Apache, выкатили новый пакетный менеджер. Поддержка само собой коммерческая, но в целом все вроде вполне доброжелательно к опенсорсу. Какой-то недооцененный проект о котором мало говорят и пишут.
Ответить | Правка | Наверх | Cообщить модератору

172. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноньимъ (ok), 11-Мрт-23, 01:55 
Спасибо, интересно.
Ответить | Правка | Наверх | Cообщить модератору

184. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (184), 14-Мрт-23, 18:23 
SPARK настолько крут, что не тольео исключает наличие своих дыр, но даже затыкает C-ишные дыры:
https://www.adacore.com/customers/power-steering-control-sof...

Советую сначала ставить тот SPARK что в репах дистра: https://packages.gentoo.org/packages/dev-lang/spark

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

185. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (185), 14-Мрт-23, 18:37 
Свободный, под GPL-3, включат в gcc.

Можно сравнить с Rust. Вот, список известных C-шных дыр: https://cwe.mitre.org/data/definitions/699.html

SPARK гарантировано закрывает ~40 самых популярных C-ишных дыры: https://www.adacore.com/sparkpro

А сколько C-ишных дыр гарантировано прикрывает ражавый? Или он только добавляет свои?

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

92. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +1 +/
Сообщение от Аноним (92), 08-Мрт-23, 18:17 
Всегда так было. Это опенсорс, детка, тут никто никому ничего не должен, а код пишется за зарплату.
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

8. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +2 +/
Сообщение от Анонн (?), 08-Мрт-23, 10:29 
Посмотрите лучше оригинальное письмо в рассылке.
Хз откуда автор новости взял это именно в такой формулировке.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

9. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (37), 08-Мрт-23, 10:30 
Нет конечно, любой эксперт этот подтвердит
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

26. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +5 +/
Сообщение от freecoder (ok), 08-Мрт-23, 13:36 
Гарантии даёт компилятор в safe-части, и программист в unsafe-части. При этом возле unsafe-блоков программист по-хорошему должен написать, почему безопасно делать то, что он делает внутри (так принято делать в Rust).
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

88. Скрыто модератором  +1 +/
Сообщение от annonn (?), 08-Мрт-23, 18:00 
Ответить | Правка | Наверх | Cообщить модератору

102. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  –1 +/
Сообщение от Аноним (102), 08-Мрт-23, 19:15 
Достаточно слова "безопастные".
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

143. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от name (??), 09-Мрт-23, 11:01 
Где ты увидел слово "безопасные"? Я увидел только слово "небезопасные".
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру