The OpenNET Project / Index page

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



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

Оглавление

Google переписал на языке Rust прошивку pvmfm, используемую в Android, opennews (??), 10-Окт-23, (0) [смотреть все]

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


124. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +1 +/
Сообщение от Аноним (124), 10-Окт-23, 14:30 
Это потому, что структуры и массивы приходят от небезопасного (например сявого) кода. Вот, например, если сама ОСь на расте будет, это уберет эту половину этой проблемы.
А во-вторых, это потому, что работа с железом небезопасная сама по себе (и это так в любом ЯП) - ЯП (никакой) никак не может защитить от того, что тебе память отдаст неправильный байтик или винт не прочитает сектор и то ли еррор чтения выкинет, то ли мусора насыпет.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

155. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  –3 +/
Сообщение от Бывалый смузихлёб (?), 10-Окт-23, 16:33 
и тем не менее на си да и плюсах отчасти пишут очень даже надёжный код в лице прошивок МК для ответственных приложений
Ответить | Правка | Наверх | Cообщить модератору

162. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +4 +/
Сообщение от Менеджер Антона Алексеевича (?), 10-Окт-23, 17:17 
Надёжные пишут, да. На MISRA-C. Но его не знает ни 99% сишников, ни 100% опеннетчиков. Поэтому можешь тут не заливать, никто не поверит.
Ответить | Правка | Наверх | Cообщить модератору

273. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Бывалый смузихлёб (?), 11-Окт-23, 13:34 
Кстати, а есть ли официальный мисра-раст, который бы знали 100% растовиков ?

По мисре и Си, кстати, забавная ситуация
Эти стандарты и требования в принципе не могут знать 100% пейсателей тупо потому, что подавляющее большинство опенсорсных продуктов тупо не тянут этого
Линукс - не исключение

Поэтому, есть или отдельный МК или проц со встроенным МК
В МК - ответственная часть. На базе мизерной РТОСи, а то и повышенной надёжности и гарантированной максимальной длительности срабатывания обработчика( в азур-ртос, бывший тред-икс, это вроде не более 400 тактов )
В проце - жирнющий линукс( даже если урезан до 10-20-40 Мб ), который никогда не пройдёт по соотв критериям. Но это и не страшно, ведь, если он упадёт или зависнет - система на МК отработает корректно, ведь полностью состоит из кода, соответствующего требованиям повышенной надёжности и, при желании, его целиком можно проверить

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

167. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +4 +/
Сообщение от keydon (ok), 10-Окт-23, 17:38 
Ну растоманы уже свою систему написали, только она не работает (но обещали что два года назад допилят). Теперь вот в линукс лезут. Торвальд не дурак и не стал с ними спорить, просто ждет пока раст загнется.
Ответить | Правка | К родителю #124 | Наверх | Cообщить модератору

199. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +1 +/
Сообщение от Аноним (280), 10-Окт-23, 19:50 
дружок, в ближайшем будующем раста будет больше везде где есть денежки гугла, майкрософта, физбука и других всяких амазонов.

посему рекомендую тебе ознакомится со списком платиновых спонсоров Linux Foundation и валить тихонько плакать в темный уголок почитывая о GNU Hurd.

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

231. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от keydon (ok), 10-Окт-23, 22:32 
> дружок, в ближайшем будующем раста будет больше везде где есть денежки гугла,
> майкрософта, физбука и других всяких амазонов.

Занятно что вся эта славная компания предает своих при первой возможности.
Гугл-купил-выкинул это уже нарицательное. Ну и остальные не менее легендарные выкидыватели.

> посему рекомендую тебе ознакомится со списком платиновых спонсоров Linux Foundation и валить
> тихонько плакать в темный уголок почитывая о GNU Hurd.

IBM меня беспокоит куда больше. Но пока как-то живем (хотя конечно есть о чем задуматься).

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

247. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Прохожий (??), 11-Окт-23, 01:47 
> предает своих

Шта? Google или кто другой из славной компании кому-то клянётся в верности?

> IBM меня беспокоит куда больше

Ты его не чеши, и беспокоить не будет.

> Но пока как-то живем

Через "не-могу". Да?

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

282. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от keydon (ok), 11-Окт-23, 16:05 
> Шта? Google или кто другой из славной компании кому-то клянётся в верности?

Ну гугл в этом плане легенда. Купить/возглавить и развалить через пару лет это его конёк.

> Ты его не чеши, и беспокоить не будет.

Если бы.

> Через "не-могу". Да?

Типа того.

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

213. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Анонин (?), 10-Окт-23, 20:22 
> только она не работает

С чего это вдруг? Redox вполне себе работает и даже на реальном железе. Даже браузер запускается)) Более того, у них в планах в 24м году зарелизить версию 1.0.

А то что у нее нет дров к большинству оборудования... ну так не удивительно, в нее не вкладывали миллионы в течение последних 30 лет.

> Теперь вот в линукс лезут.

Ну так они убедились, что можно написать ось с нуля, даже свою си-либу (relibc).
Теперь можно с уверенность улучшать линукс.

> Торвальд не дурак

100% )))

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

233. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  –1 +/
Сообщение от keydon (ok), 10-Окт-23, 22:36 
> С чего это вдруг? Redox вполне себе работает и даже на реальном
> железе. Даже браузер запускается)) Более того, у них в планах в
> 24м году зарелизить версию 1.0.

Но не долго, благодаря утечкам памяти в безопасном языке.

> Ну так они убедились, что можно написать ось с нуля, даже свою
> си-либу (relibc).
> Теперь можно с уверенность улучшать линукс.

Прям как сова: "Стратегию я вам придумала, а дальше вы как-нибудь сами".

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

246. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Прохожий (??), 11-Окт-23, 01:44 
> Но не долго, благодаря утечкам памяти в безопасном языке.

У тебя и доказательства есть? Или просто надо было что-то язвительное ляпнуть?

> Прям как сова: "Стратегию я вам придумала, а дальше вы как-нибудь сами".

А это везде так. Ну или почти везде. Сначала кто-то что-то придумывает (пишет). А потом, если людям нравится, они это подхватывают и совершенствуют. Взять ту же ОС Линукс.

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

281. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +1 +/
Сообщение от keydon (ok), 11-Окт-23, 16:03 
> У тебя и доказательства есть? Или просто надо было что-то язвительное ляпнуть?

Я время на тебя тратить не буду и просто отправлю первый попавшийся issue из их проекта (один год на минуточку, напомню первый попавшийся) https://gitlab.redox-os.org/redox-os/redox/-/issues/1360

> А это везде так. Ну или почти везде. Сначала кто-то что-то придумывает
> (пишет). А потом, если людям нравится, они это подхватывают и совершенствуют.
> Взять ту же ОС Линукс.

Не, ты не путай. Линукс делал терминал для себя и случайно сделал ОС, которую и другие начали использовать.
Растоманы же обещали быстренько и безопасно сварганить новый линукс, но прошло уже много лет, а они вероятно и сами ее не используют. И судя по тому как рвутся в линукс - больше и не собираются "подхватывать и совершенствовать" редокс.
Один ничего не заявлял и сделал. Другие много чего обещали и не сделали, но уже хотят внедряться в первое.

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

289. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Анонимусс (?), 12-Окт-23, 20:15 
> Растоманы же обещали быстренько и безопасно сварганить новый линукс

А вот теперь давай пруфы.

> И судя по тому как рвутся в линукс

А ничего что это разные люди?

Сейчас редокс, даже при всех его крешах, может на порядки больше чем "терминал" фина тогда.
Ты можешь сравнивать редокс с другими "наколенными" ос - гайкой, колибри, реактом, или, о боже, хурдом.
Сколько его пилят? Что он умеет? А ведь написан на сишечке самим бородачом))

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

292. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от keydon (ok), 13-Окт-23, 16:34 
> А вот теперь давай пруфы.

Весь опеннет тех лет был завален этими пруфами. Извини, гуглить за тебя не буду.

> А ничего что это разные люди?

Как пиариться, так это все растоманы. Как расхлебывать так это разные люди.
То же и с карго было. Сначала носились с тезисом что "раст лучше си, потому что есть современный пакетный менеджер". Потом нашли уязвимость в карго и внезапно "карго не часть раста".
То же и с бесконечными "защитами". Сначала носились с растом что "от всего защищает", опровержений от растоманов примерно ноль. Потом выяснятся что защищает то от крайне узкого класса уязвимостей и внезапно "а мы ничего не обещали". Но и не опровергали.
Вот такие вы лицемеры.

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

Сейчас и не 91ый год.

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

Ну все, уже заднюю дал, тему сменил. Теперь с линуксом не сравниваешь, теперь ищешь с кем бы сравнить, пока собственно не найдешь что-то уж совсем задрипанное и тогда сможешь торжествующе воскликнуть "ну вот раст победил!". И конечно вспомнил про сишечку, но не вспомнил про нормальные системы вроде freebsd. Типичный растоман, что.

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

295. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Анонимусс (?), 13-Окт-23, 23:39 
> Сначала носились с растом что "от всего защищает", опровержений от растоманов примерно ноль

С какого-то момента просто перестали опровергать всяких долбней.

> выяснятся что защищает то от крайне узкого класса уязвимостей

Выясняется для неосиляторов документации.
А этот "узкий" класс уязвимостей - самый популярный класс в CVE.
Большая часть дырений проблемы с памятью. И дыряшка в ней лидер.

> Ну все, уже заднюю дал, тему сменил.

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

Сравнил я с вышеперечисленными осями потому что они примерно одинаково пилятся.
Редокс сейчас пилят 5 (ПЯТЬ) человек. А ion чуть больше - целых двенадцать человек.

> но не вспомнил про нормальные системы вроде freebsd

потому что freebsd пилят c 1993 года используя наработки предшественников, а редокс с 2015 с нуля.

> И конечно вспомнил про сишечку

Конечно вспомнил, хурд же на ней запилили.

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

297. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от keydon (ok), 15-Окт-23, 05:34 
> С какого-то момента просто перестали опровергать всяких долбней.

Не было такого момента. С самого начала анонса и до сего дня не помню не одной публичной статьи или выступления от создателей или пропагандистов раста (были неплохие статьи от разочаровавшихся в расте, но это другое), чтобы они вышли и заявили "вокруг нашего языка столько слухов, на самом деле он сконцентрирован на вот этих проблемах, а вот эти проблемы он не решает". Ну вот и результат. В плюсах все же повзрослее подход, про те же модули уже неоднократно писали сами члены комитета что не со всем они помогут и какие есть у них проблемы в разных реализациях.

> Выясняется для неосиляторов документации.

Я и документацию по диагонали пробежал. Чего там только нет на официальном сайте раста. Курсы, книги, ансейф, анстейбл фичи, а вот просто списка чем же раст помогает нет. Уж извини, странно прочитать немаленькую документацию (условно выучить язык) для того чтобы выяснить что мне он не нужен. Открываю сайт zig (и не близко к расту по популярности). И сразу вижу фичи. Вижу подробнейший разбор фич, с примерами, с описанием чем он лучше плюсов, D и раста и какие у них есть проблемы и с ссылками. Так что нет, это не для неосиляторов, это для всех.

> А этот "узкий" класс уязвимостей - самый популярный класс в CVE.
> Большая часть дырений проблемы с памятью. И дыряшка в ней лидер.

Вот про это я и говорю. Проблемы с памятью еще и разбиваются на кучу категорий. И вот среди всех этих категорий выход за пределы массива ну не факт что лидер. Решается использованием подходящих структур данных (не сишных массивов), установка опций компилятора и т.д. и без раста. А вот переполнение стека раст не решает. Но это тоже проблема с памятью. РАСТ НЕ РЕШАЕТ ПРОБЛЕМЫ С ПАМЯТЬЮ. И я так и не увидел списка какие же проблемы он все таки решает. А вот общие философствования("безопасный"), обобщения("решает проблемы с памятью"), манипулирование статистикой("лидер среди уязвимостей по версии гугла и мелкософта1111!") и прочее от растоманов слышу постоянно.

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

-"Обещали догнать линукс"
-"А вот хард тоже не сделали"
-"А причем тут хард, про линукс же речь, не уходи с темы"
-"Я не ухожу с темы"
Видимо нужно иметь особый склад ума чтобы белое одновременно могло быть черным.

> Сравнил я с вышеперечисленными осями потому что они примерно одинаково пилятся.
> Редокс сейчас пилят 5 (ПЯТЬ) человек. А ion чуть больше - целых
> двенадцать человек.

Вопрос сколько и кто пилят даже не поднимался.
Кроме того пилят тоже по-разному. Один профессиональный разработчик на полной ставке может запросто затмить и дясяток мимокрокодилов. Или наоборот один ноулайфер запросто может и за двоих таких разработчиков коммитить. Считать проекты по разработчикам ну такое.

> потому что freebsd пилят c 1993 года используя наработки предшественников, а редокс
> с 2015 с нуля.

Релиз раста
"В плюсах и си слишком много легаси, мы сделали новый язык, без легаси, вот"

Релиз редокса
"Что это они с нуля пишут"
"Ну так небезопасно же си использовать, расторелигия не позволяет" (на самом деле используют)
"Так они и до 2077 года не допишут"
"На расте писать быстрее и 10 лет не пройдет заткнут линукс"

Проходит несколько лет
"Ну Редокс линукс не заткнул, но лучше всего остального"
"А как же фряха"
"Ну фряха ж легаси использовали"

Окай. Количество переобуваний просто зашкаливает.

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

290. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от Аноним (290), 12-Окт-23, 20:51 
> Растоманы же обещали быстренько и безопасно сварганить новый линукс, но прошло уже много лет, а они вероятно и сами ее не используют.

Ого, это же надо настолько нагло врать!
Рассмотрим редоксовские цели:
Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism.
(https://doc.redox-os.org/book/ch01-01-our-goals.html)

Что в слове attempt тебе не ясно?

Они хотят попытаться сделать альтернативу линуксу, а не его замену
We want to be able to use it, without obstructions, as an alternative to Linux on our computers. It should be able to run most Linux programs with only minimal modifications.

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

293. "Google переписал на языке Rust прошивку pvmfm, используемую ..."  +/
Сообщение от keydon (ok), 13-Окт-23, 16:50 
Я писал про растоманов, который тут на опеннете это и писали, а не конкретно про авторов редокса. Не надо перевирать мои слова.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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