Компания Ferrous Systems объявила о начале преобразования Ferrocene, проприетарного дистрибутива с Rust-компилятором для критически важных систем, в открытый проект. Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT. Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования...Подробнее: https://www.opennet.dev/opennews/art.shtml?num=59881
По факту проект закрыт. Его выбросили в опенсорс показательно под лицензией апач. У проекта не было ни одного коммерческого заказчика.
В новости сказано, что теперь открыт.
Тут вопрос в сертификации. Если какой-то язык имеет стандарт ISO, то можно сказать, что он открыт. А без стадарта он считай, что не существует.
А какой смысл в стандартах, которые никто не выполняет.Вот какой открытый компилятор который полностью реализует С17?
А ни какой! Ни GCC, ни CLANG не реализуют его полностью.
Есть Acorn, AMD OCC, Edison Design, IAR C которые поддерживают. Но они все проприетарные.Я бы сказал, что это введение в заблуждение пользователя, почти обман.
Чесные разработчики просто бы выкинули букву С из названий GCC / CLANG.
Порвался? Жаль
Смысл в самом факте наличия сертификации. Точнее не только в нём, но и не совсем. С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляцию, а так нет. В C++ или С я так могу, а вашем Rust или C# - нет. Покажи мне хоть один серьёзный проект без сертификатов.
> Порвался? ЖальХм, а по делу есть, что сказать?
Т.е это сертификация ради сертификации? Попахивает просто распилом бабла.> хоть один серьёзный проект
Винда11, андроид, Amazon AWS - там есть код на Раст, не думаю что сертифицированные сертифицирователи его бы сертифицировали (за денежку естественно)
Amazon Firecracker - написан на раст.
Сам компилятор Раст написан внезапно на rust.И это все большие проекты которые просто работают.
Но раз тебе так важна сертификация - то вот "Открытый драйвер Rusticl сертифицирован на совместимость с OpenCL 3.0"
https://www.opennet.dev/opennews/art.shtml?num=58114ps и почему ты так часто упоминаешь "аутофелляцию", может тебе лучше к врачу сходить?
> Винда11, андроид, Amazon AWS - там есть код на Раст, не думаюпростите, где именно в винде есть код на раст? Попытка переписывания-переписывания была обнародована, но там ни полсловечка что получившегося мутанта на самом деле взяли в прод, а не положили на полку среди продуктов индусской самодеятельности.
> Сам компилятор Раст написан внезапно на rust.
и давно у вас llvm переписали на хруст? На хрусте как максимум написан синтаксический анализатор.
> И это все большие проекты которые просто работают.
firecracker это всего лишь нескучный конфигуратор kvm-ных виртуалочек. Остальные большие проекты в таком же роде?
"The Microsoft Windows graphics interface device is currently being ported to Rust to the tune of 36,000 lines of Rust code, and there’s a system call (SysCall) in the Windows kernel right now which is implemented in Rust."
А как можно интерпретировать "in the Windows kernel right now" кроме как то что оно уже в винде?> На хрусте как максимум написан синтаксический анализатор.
rustc is the compiler for the Rust programming language
> a system call (SysCall) in the Windows kernel right now which
> is implemented in Rust."Поиск выдал это
"There's actually a SysCall in the Windows kernel now that is implemented in Rust," said Weston. https://youtu.be/8T6ClX-y2AE?t=3149
Подскажите, пожалуйста, чайнику, о чём говорит Weston?
Он имеет ввиду, что обработчик int 2e, диспетчерезующий адреса из SSDT, переписали на Rust?
Без понятия. Я под винду писал очень мало и это было давно.
Может это и int 2Eh.
Вот когда исходники винды в очередной раз утекут - тогда и посмотрим))
> Без понятия.Ммм... У меня, так сказать, риторический вопрос ко всем. Но спасибо, что ответили, весьма показательно.
SSDT расшифровывается System Service Dispatch Table.
То, что в Linux некоторые называют SysCall, в NT определено как System Service.
Весьма показательно что? Что я не компетентен в виндовой системщине? Ну так это и не вопрос даже.
Чел из мелкософта назвал что именно они переписали и переписывают.
Его за язык никто не тянул, а проверить правда ли это мы не можем.
> Весьма показательно что? Что я не компетентен в виндовой системщине? Ну так
> это и не вопрос даже.Показательно, что адепт пишет о вопросе, не имея малейшего представления.
> Чел из мелкософта назвал что именно они переписали и переписывают.
Именно? Каждый зарегистрированный в SSDT системный сервис имеет имя. Таковое оратор не назвал, потому что он его не знает. При этом не использовал принятую там терминологию, потому что её не знает, либо целенаправленно в расчёте на таких как ты.
> Его за язык никто не тянул, а проверить правда ли это мы
> не можем.Ты точно не можешь проверить. А я не заинтересован.
> Показательно, что адепт пишет о вопросе, не имея малейшего представления.Ну так ты тоже про раст пишешь и вроде жив-здоров.
> Таковое оратор не назвал, потому что он его не знает.
> ... потому что её не знает, либо целенаправленно в расчёте ...Сильное утверждение. Т.е. ты обвиняешь Westonа во лжи?
>> Показательно, что адепт пишет о вопросе, не имея малейшего представления.
> Ну так ты тоже про раст пишешь и вроде жив-здоров.Ты забыл показать цитаты, где я пишу про раст. Поскольку при этом ты заикнулся о здоровье, а я слышал краем уха, что такое проекции, помогу тебе с этим:
(9.91) Какая же это свобода? Если окружающие попросят исходники, придётся показать.
(6.81) Зачем в STL модули?
(5.84) Веганам для справки: в мозге холестерин.
Если ты видишь здесь раст, советую тебе не затягивать, а обратиться к специалисту.
>> Таковое оратор не назвал, потому что он его не знает.
>> ... потому что её не знает, либо целенаправленно в расчёте ...
> Сильное утверждение. Т.е. ты обвиняешь Westonа во лжи?Бритва Хэнлона учит нас, что скорее этот клон Дудя, точно так же как и ты, не только не написал ни строчки для ядра, но даже не видел в глаза документацию. Соответственно заставляет фанатиков уверовать в существование сискола без злого умысла. Ты, конечно, можешь подтвердить слова гуру и предоставить факты, подтвердить эту часть его проповеди.
> Ты забыл показать цитаты, где я пишу про растПринято. С таким душнилой буду максимально точен в формулировках.
Заменю это на "Ну так ты тоже В ТЕМЕ про раст пишешь..."> Бритва Хэнлона учит нас
О, пошла философия))
А теперь сравним два факта:
1. David Weston из Microsoft OS Security делает некое утверждение на конференции по безопасности BlueHat IL 2023, перед аудиторией, среди которой треть, если не половина, может проверить его слова.2. Безымянный аноним на опеннете, который решил докопаться до использованной терминологии, утверждает, что это утверждение ложь.
К какому же утверждению больше доверия?
Напомню, что бремя доказательства лежит на утверждающем, поэтому потрудись доказать что это ложь.Но т.к. ты "не заинтересован" возникает вопрос, а способен ли ты на это вообще? Потому что если мы так легко ставим под сомнения компетентность Дейва, то что нам мешает подвергнуть сомнениям твою компетентность? Про тебя мы вообще ничего не знаем, в отличие от.
Ну а в моих способностях ты уже расписался, молодец. Сильное колдунство или телепатия наверное))
>> Ты забыл показать цитаты, где я пишу про раст
> Принято. С таким душнилой буду максимально точен в формулировках.
> Заменю это на "Ну так ты тоже В ТЕМЕ про раст пишешь..."Ты от волнения забыл, что пытался меня зеркалить? Вот оригинал формулировки: "Показательно, что адепт пишет о вопросе, не имея малейшего представления."
Сейчас ты подменил тезис и сделал это максимально глупо.
>> Бритва Хэнлона учит нас
> О, пошла философия))
> А теперь сравним два факта:
> 1. David Weston из Microsoft OS Security делает некое утверждение на конференции
> по безопасности BlueHat IL 2023, перед аудиторией, среди которой треть, если
> не половина, может проверить его слова.Я уже проверил. syscall - это команда процессора.
> 2. Безымянный аноним на опеннете, который решил докопаться до использованной терминологии,
> утверждает, что это утверждение ложь.Не ложь, а чушь.
> К какому же утверждению больше доверия?
К документации Intel и AMD, где описанная упомянутая оратором команда.
> Напомню, что бремя доказательства лежит на утверждающем, поэтому потрудись доказать что
"There's actually a SysCall in the Windows kernel now that is implemented in Rust,"
Ты это сюда принёс, вот и доказывай.
>There's actually a SysCall in the Windows kernel now that is implemented in Rust," Ты это сюда принёс, вот и доказывай.Что он должен доказать? Что некий сотрудник из Microsoft говорил это? Думаю, ты сам можешь в этом убедиться, воспользовавшись поиском.
Или он должен доказать истинность высказывания другого человека, не имея доступа к исходному коду ОС Windows?
>>There's actually a SysCall in the Windows kernel now that is implemented in Rust," Ты это сюда принёс, вот и доказывай.
> Что он должен доказать? Что некий сотрудник из Microsoft говорил это? Думаю,
> ты сам можешь в этом убедиться, воспользовавшись поиском.Уверен, что ты можешь перечитать ветку и убедиться, что слившийся оратор приписал мне, якобы я обвиняю гуру секты во лжи. Тогда как я заявлял, что он порет чушь.
> Или он должен доказать истинность высказывания другого человека, не имея доступа к
> исходному коду ОС Windows?Или он может привлечь специалистов, кто способен это сделать за него. Видишь ли, это не столь сложно, как тебе кажется.
>Показательно, что адепт пишет о вопросе, не имея малейшего представления.Здесь скорее показательно, как ты врёшь на ровном месте. Человек привёл цитату из высказывания другого человека, чей опыт у тебя проверить нет никакой возможности, если ты не сотрудник Microsoft, имеющий доступ к исходникам Windows.
>>Показательно, что адепт пишет о вопросе, не имея малейшего представления.
> Здесь скорее показательно, как ты врёшь на ровном месте. Человек привёл цитату
> из высказывания другого человека,Твой друг процитировал слова, не понимая их смысл, и он сам это признал.
> чей опыт у тебя проверить нет никакой
> возможности, если ты не сотрудник Microsoft, имеющий доступ к исходникам Windows.Его так называемый "опыт" очевиден, он не владеет принятой терминологией. На этом основании его заявления и ставится под сомнение. Исходники нужны тебе, если ты захочешь показать, что твой гуру сообщил достоверную информацию.
"is currently being ported to Rus"
Перевести на великий и могучий?
У вас __всё__ так. Покажите хоть что то чего "has been successfully ported to Rust" ... нетути? :-D
Совершенное прошедшее может быть и в пределах лаборатории, как уже случалось с Сингулярностью. Так что интереснее цитаты со словами "deployed" и "customers".
Ай,ай,ай... А что же только кусок цитаты выдернул? Там же продолжение есть:
"there’s ... in the Windows kernel right now which is implemented in Rust."Какое тебе слово перевести "there’s", "right now" или "is implemented in Rust"?
> Ай,ай,ай... А что же только кусок цитаты выдернул? Там же продолжение есть:
> "there’s ... in the Windows kernel right now which is implemented in
> Rust."
> Какое тебе слово перевести "there’s", "right now" или "is implemented in Rust"?Переведи мне слово syscall, которое ты заботливо заменил многоточием. Заодно расскажи, что это такое применительно к Windows kernel. Ты ведь понимаешь предмет, в отличие от того адепта выше?
Они переписали GDI region на раст и тестят его на части пользователей.
Начиная с 25357.1 добавлена win32kbase_rs.sys и win32kfull_rs.sys.
Тут расписали подробнее https://infosec.exchange/@cxiao/110562188960426172С одной стороны это не так уж и много, с другой - там наверняка была подготовительная работа, чтобы вписать это все в ядро, аналогичная тому, что делается на ветке rust-for-linux.
Почему обязательно индусы? Вот это как-то обидно, там полно разработчиков с разных стран. И да, новые технологии исследуются и применяются. Все что вам нужно знать так это то что винда работает достаточно стабильно, быстро. Под неё есть множество драйверов и программ. А от моё устройство на Linux недавно обновилось и перестало работать, пришлось несколько часов разбираться.
> С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляциюКомрад, ты вообще в курсе значения последнего слова? Как часто этим занимаешься?
Один из трёх принципов ООП, ЕМНИП
А разве это не одна из свобод GNU?
>>> "Свобода выполнять программу как вам угодно в любых целях"Вот человек выполняет как ему угодно, не смотря на мнение окружающих.
Какая же это свобода? Если окружающие попросят исходники, придётся показать.
А ты уверен, что он не покажет?
Я вот не уверен, поэтому даже вспоминать о такой свободе не буду - мне моя психика дороже)
Ауто - значит сам с собой, а не с другими. Себе исходники и покажет, жаждущее халявы сообщество пошлет не нарушая лицензии.
Спасибо, наконец понял, почему auto_ptr<> удалили из языка!
Главное в скобочках не обсчитаться и автофлагелляцию не вызвать... Хотя, какая ему разница?
Поясняю, что делают эти кхм... альтернативно одаренные растаманы: тему стандартов начал один человек с ником kir, они начали вываливать в тред сообщения под тем же ником, но содержащие всякую чушь типа того, о чем ты спрашиваешь, тем самым сбивая остальных с толку и выставляя автора вопросов неадекватом.
> или C# - нет. Покажи мне хоть один серьёзный проект без сертификатовНа C# много чего серьёзного пишется.
В том числе сименс пишет ГУИ и не только софт к своим томографам например.Я в любой день доверю любую важную задачу "несертифицированному C#" вместо "сертифицированного С++", Хотя бы уже потому, что программисты C#, многие из которых кстати пришли из С++, в отличии от С++шников, обладают особым супернавыком - делать проверки указателя на null.
В С++ уже давно используется nullptr вместо null )))
> В С++ уже давно используется nullptr вместо null )))😮
Сдаюсь 🏳️
Вообще-то C# 4.0 и C# 5.0 стандартизированы. Документ стандарта на всех актуальных языках (включая русский) поставлялся с соответствующими Visual Studio. Это кстати во многом и способствовало выходу C# за пределы винды. То, что самые новые версии не сертифицированы не столь важно, т.к. там больше синтаксического сахара и удобства (хотя это спорный вопрос), чем новых фишек и стандарт от 5.0 вполне покрывает 99% задач.
Кстати в C# тоже часто приходится проверять ссылочные типы на NULL. Более того, в C# разработчик не застрахован от утечек памяти, разница лишь в том, что невозможен (если только нет уязвимостей в рантайме) доступ к этой памяти, в C++ для этого потребуется использовать smart pointers и/или move-семантику.
Rust вполне серьёзный проект. Он только на Open Collective собирает от 200000€ в год. И его популярность ещё набирает обороты. Стандарты ваши позволяют разве-что создавать разные компиляторы. Они являются договором между компаниями. Учитывая цель этого языка и владельцев, вероятность того что у них появится стандарт очень низка. И никто не будет интересоваться вашим быдловатым мнением с разными оскорблениями всех подряд — проект будет расти и пользоваться популярностью.
С чего бы это, если в последнее время Раст явно сдает позиции?
На сайте Opennet среди местных Воинов Супротив Раста?
Это мировой заговор.Весь мир против вас. А вы дартаньяны все в белом!
Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось.
> Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось.Но заговор то есть! Вокруг тебя, как ты говоришь "Воины Супротив Раста".
Эй, порванец!а покажи мне сертификаты на ядро Linux.
или это не серьешный проект?
Дружок, речь о стандартах на языки программирования. Мне за тебя прочитать, на каком языке это ядро написано?
https://www.iso.org/standard/74528.html
А какой компилятор поддерживает железо полностью? А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров, к примеру, вот хочу я оптимизацию по Zen3 и мне по фигу будет работать ПО на других архитектурах или нет, ну и как?-)
> А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров,Ну, gcc. -mcpu, -mtune. Наверное, и у clang'а есть аналогичное.
C в GCC — это Compiler Collection, а не язык Си ;-Q
Пиши на Ц89 и будет тебе щястье. А от сахара бывают кариес и диабет.
или взять C++
ни GCC, ни CLANG не поддерживают модули в С++20,
а уже на миуточку заканчивается 2023 годполучается что или компиляторы плохие, или стандарт кал
Получается, что STL по щелчку пальцев на модули не перевести.
Зачем в STL модули?
Опа, товарищ не шарит за стандарты. То, о чём ты говоришь (стандартная библиотека, переведённая на модули), включено в стандарт 2023 года.
При такой формулировке стоит уточнять, что STL это лишь часть стандартной библиотеки.
>>> ни GCC, ни CLANG не поддерживают модули в С++20, <<<А теперь представьте, что вам нудно написать компилятор для этого чуда с нуля:)
ПС: Лично для меня показатель, если скажем за пол года, максимум за год, нельзя с нуля написать компилятор для языка X, то что-то явно пошло не так и эволюция языка свернула куда-то не туда, так что ну его на УЙ:)
А я не хочу такое представлять)Так называеммый "стандарт" это просто наслоение древних копролитов, овнокода и UBшек.
В стиле "мы не смогли договориться как должно быть (тк каждый член коммитета тянет одеяло на себя)", поэтому любитесь сами.А потом удивляются "а почему СИшных либах дыры каждую неделю находят"?
> если скажем за пол года, максимум за год
Так тут даже не с нуля!
Осталось реализовать P1103R3, P1766R1 и P1815R2, но оно тянется больше 3 лет.Тут можно вспомнить эпичный выкидышь С++ 11й версии, настолько качественный, что его 3 года исправляли и выпустили 14 который "содержит в основном уточнения и исправления ошибок предыдущей версии."
>В стиле "мы не смогли договориться как должно быть (тк каждый член коммитета тянет одеяло на себя)", поэтому любитесь сами.В стиле. Есть несколько реализаций от разных компаний со своими достоинствами и недостатками. Выбрать сложно - пока не выбрали. Ожидаем более детального отчета.
Простой вопрос тебе. Данная компания ничего не добавила в rust. А появится такая которая добавит свое, и кое-какие мелкие детали вынуждена будет реализовать посвоему? Несовместимо с основной веткой. Сможет она внести новинки в стандарт?
Ах да. Стандарта-то нет.
А сможет она начать говорить, что все rust'ы одинаковы, но наш лучше?
Да без проблем. Стандарта-то нет.
> А появится такая которая добавит свое, и кое-какие мелкие детали вынуждена будет реализовать посвоему?
> Несовместимо с основной веткой.А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы?
Если они покажут преимущества своего подхода их патч конечно радостно примут.
А что мешает забить на этот PR? Фонд-то он как-бы со своими директорами, которрые отчитываются перед советом попечителей (см. список попечителей).
> А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы?Если они покажут преимущества своего подхода их патч конечно радостно примут.
Ага "Очень радостно". Учитывая разные детали реализации, из-за которых нужно будет переразрабатывать наш главный компилятор.
Особенно, если у разных подходов разные преимущества и недостатки.
Так язык еще развивается.
Посмотри какие изменения были раньше.
Первые верссии раста вообще планировались с GC
> Ах да. Стандарта-то нет.Тут мы уже приходим к терминологическому (философскому вопросу) вопросу что есть стандарт.
Википедия говорит, что это "Станда́рт — нормативный технический документ, устанавливающий нормы, правила, требования к объекту стандартизации."Но "стандарт С" это нечто вида "каша готовится из крупы, может содержать добавки в виде мяса или говна, в зависимости от реализации и желания левой пятки повара".
Если в тексте такое кол-во UB и Implementation-defined behavior, то стандартом его назвать у меня язык не повернется.
То что это пропихнули в ISO - ну мир не без коррупции, наверняка члены коммитета хорошо заработали на такой работе.
> То что это пропихнули в ISO - ну мир не без коррупции, наверняка члены коммитета хорошо заработали на такой работе.То есть сказать, то что ты умнее людей и комитета язык не поворачивается. А вывернуться надо. Значит они коррумпированы.
А то что все UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития) будешь не замечать и дальше.
Думаю я ни разу не умнее людей сидящих в коммитетах.
Но это не мешает им принимать плохие решения (и потом жалеть об этом),
как например null-terminated string - съекономили целый байт, зато получили тонны ошибок.> UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития)
да-да, я эту мантру слышу почти каждый день
и очень круто когда есть 30 компиляторов, и ни один из которых не удовлетворяет стандарту
наверное это было полезно лет 25-30 назад, но времена изменились, можно было и стандарт к чему-то привестиа сейчас UB это просто черная дыра откуда лезут уязвимости и баги
> нужны для развитиякакое-то отрицательное развитие)
> Значит они коррумпированы.А ты поинтересуйся, как Microsoft пропихнула в C11 Bounds-checking interfaces (все это гуано заканчивающиеся на _s), хотя все были против.
Стандарт С - это убогий цирк.
> А то что все UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития
UB нужен для развития... Аплодирую стоя!
> UB нужен для развития... Аплодирую стоя!Если ты этого не понимаешь, то ты полный идиот.
клоун стандартизатор прикрывает дырявый стандат и готов жрать говно!а эти дырявые стандартизаторы не догадались сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железа? А? чертовы неосиляторы!!!
Так Си это же не ржа с двумя поддерживаемыми платформами, у нее их сотни, глупенький.
> а эти дырявые стандартизаторы не догадались сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железа? А? чертовы неосиляторы!!!Очевидно, что ты безумец, который считает себя умнее всех на свете.
Вот смотри, поведение memmove при перекрывающихся областях зависит от направления копирования.
Зачем в стандарте определять поведение?Что бы вместо быстрого копирования использовать медленное и получать тормоза?
Или был еще вариант получить тормоза при проверке и использовать там где можно быстрое копирование а где нельзя медленное?
А варианта без тормозов нет.Так зачем убирать UB у memmove?
> сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железаUB - это и есть "конкретное поведение фичи X в данной комбинации компилятора, процессора, режима работы процессора".
Что ты собираешься макросами делать? Чтобы это поведение было одинаковым во всех комбинациях?
ЕМНИП, Rust - это торговая марка. Поэтому говорить они ничего не смогут про свой компилятор в таком духе. Но могу и ошибаться.
Получается, что эти процессы идут независимо. Кто-то просто работает - пишет программы. А кто-то утешается, что руководит процессом, хотя это не так. Причем первые часто не подозревают о наличии вторых и созданных ими руководящих документов.
> ни GCC, ни CLANG не поддерживают модули в С++20,
> а уже на миуточку заканчивается 2023 годИ слава Богу!
То есть, стандарт дерьмовый таки?
Какая связь между высказываниями?Просто пока модули ничего не дают и никаких проблем не решают.
После разруливания всплывших проблем в очередном стандарте возможно ситуация изменится.
Так с чего вдруг?
Это не я радуюсь, что модули не реализованы до сих пор. На заметил?
>Так с чего вдруг?
>После разруливания всплывших проблем в очередном стандартеСам спросил, сам же и ответил.
> И? Где ответ то.
Предлагаю этому товарищу дать погремуху "комитетчик". Он носится по всем комментам и орёт, что не может использовать ЯП пока его не освятил всесильный комитет ISO. Видимо даже срать не сядет без сертификации комитета.
Когда-то комитетчиками называли кэгэбистов.
Мельчает комитетчик, ох мельчает, не то, что давеча.
ну как вариант можно просто ми...нетчиком.
Ну а по делу-то есть, что сказать? Мне вот совсем не нравится, что каждая новая версия может что-то сломать в коде, и без стандарта тут никак.
> каждая новая версия может что-то сломать в коде, и без стандарта тут никак.Ты вообще новости хотя бы за последние пару недель о сишных дыренях читал? Нравится? Язык сам по себе сломан, ему уже ничто не поможет. А стандарт для такого г*а - курам насмех, им только подтереться можно.
Ой, да что там доказывать. У них же прям стандарте эти поломки зафиксированы, а оно ходит и гордится ими.
Это просто программисты неправильные, не чтут стандарты и пишут некорректный код
Есть варианты. Только в этих вариантах rust'а нет.Хочешь без дыреней и переносимо - используй языки со своим рантаймом, типа java.
Rust сюда никаким боком. Ибо переносимо - это не к нему.
И зачем бы я так нагло врал, если всё легко проверяется? Rust поддерживает больше одной платформы, нравится это тебе или нет.
Больше одной - уже хорошо!Вопрос почему не все?
Ответ из-за проблем с условной компиляцией. Из-за заточенности на безопасности нереально сложно привести к общему знаменателю разные архитектуры.
Есть только два пути.
Один тащить с собой рантайм. Это путь Java.
Второй максимально абстрагироваться от архитектуры. Это путь Си с его UB.
А третьего то нет.
>Вопрос почему не все?Потому что они не популярны, например. Раст намного сложнее Си, разработка под все имеющиеся архитектуры нецелесообразна, потому что обойдётся слишком дорого. Возможно, надо приплюсовать и то, что ты сказал, но я не специалист по разработке компиляторов, чтобы квалифицировано прокомментировать.
Однако проблема Си сводится не только к UB. Да?
Проблем много. Но rust решением этих проблем стать не может.
Это хороший эксперимент, который показал, что "и так, то же вполне можно". Все.
Проверили идею.
> В новости сказано, что теперь открыт.Если посмотреть оригинал новости на форониксе, то можно заметить что там такая весьма апачастая моделька. Сертифицированные бинари - только за бабки, только блобами. А вот вам тут помойка с сорцом и вы можете из этого попытаться сами что-то собрать. Без гарантий и наверное это усложнят по максимуму чтобы бизнес не портило. Свободненько так, характерненько.
Так апач это open source лицензия! Код открыт - вот лежит, бери и пользуйся.> У проекта не было ни одного коммерческого заказчика.
А ты наверное работаешь в Ferrous Systems раз знаешь такие подробности?
Может ты еще и слышал такие слова как NDA?
Угрожать NDA анониму с опеннета - это сурово, конечно.
Так NDA - это не угроза, а факт который просто существует.
Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.А тут Анонимы с хрустальными шарами сразу авторитетно заявляют, что
> "У проекта не было ни одного коммерческого заказчика. "
НДА - это не факт, а соглашение. Ты не можешь предъявить неустановленному лицу нарушение соглашения.
> Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.Они могли. Только слиент тогда пошёл странный - пишет на Rust и не просто просто стесняется, а и активно противодействует разглашению сего безусловно комрометирующего факта. Не продукт с потециалом мирового доминирования, а язык разработки. Люди в черном какие-то.
Очевидный и часто повторяющийся процесс выдавливания коммерчески не взлетевшего продукта в open source банально более вероятен. Я вам больше скажу - они этот продукт будет "Available for Purchase Later This Year", настолько качественно существующие клиенты зашифровались!
Собственно также, как и Мозилла отправила Раст на вольные хлеба:)
И знамя подхватили гугл и майкрософт - на минуточку Gold и Platinum members организации Linux Foundation !Давай просто порадуемся, что язык попал в добрые руки компаний, которые продвигают опенсорс.
А то отдали бы каким-то васянам из 'сообщества', которые мало того сами почти ничего не пишут, так еще и бедные как церковные мыши и нанять нормальных разработчиков не смогут.
У Micro$oft руки недобрые. А у Гуглага они всё чаще становятся недобрыми.
Какой смелый Аноним!
Вот покритикуешь Microsoft и гугл, они обидятся и не будут писать ядро линукса.
И кто будет фиксить баги и реализовывать фичи? Неужели ты?
>>> и не будут писать ядро линукса. <<<Ох, горе то какое; когда-то и без этих паразитов прекрасно обходились!
> Ох, горе то какое; когда-то и без этих паразитов прекрасно обходились!Это когда же? Без корпораций ядро Linux было полностью непригодным для продакшена. Ну хотя бы из-за того, что Торвальдс и сообщество, в одиночку, не осилили нормальный SMP.
>>> Без корпораций ядро Linux было полностью непригодным для продакшена. <<<Так и запишем: паразиты не захотели писать своё, а решили сэкономить кучу денег, и просто взять за основу готовый линукс!
Так если бы он был готовый)
Он был сырым и багованным, несмотря на усилия IBM привести это к нормальному виду.
Так что мешало просто взять и написать своё НЕсырое и НЕзабагованное? Правильно, потому что паразиты, - всегда паразиты!
Если что-то лежит бесплатно - то просто используем его.
Это же не опенсорс где писанье своего велосипеда обязательно.
не поддерживай паразитов.
пользуйся хурдом!
я и не поддерживаю; хурд тут вообще не при чём!
> Вот покритикуешь Microsoft и гугл, они обидятся и не будут писать ядро линукса.
> Без корпораций ядро Linux было полностью непригодным для продакшена.
> Если что-то лежит бесплатно - то просто используем его.
> Это же не опенсорс где писанье своего велосипеда обязательно.Да ладно, а как же свой велосипед под названием Windows? Корпорация так и не потянуло его для продакшена? Или "это другое, понимать надо" (с)?
И получился бы GNU Hurd.
Как, кстати, там он поживает? Уже готов к daily usage? Про прод даже молчу))
>>> Как, кстати, там он поживает? Уже готов к daily usage? <<<Скажите за это спасибо тем самым корпарасам, которые взяли под крылышко линукс!
Опять Столлману в штаны насрали, да что ж такое!
Какие тебе фичи нужны в ядре от Micro$oft: Hyper-V, код поддержки WSL2? Лично мне, ни то, ни другое. Да и Ондроедом я тоже не пользуюсь от слова совсем.
ты купил себе айфон? это смело!
или ты по старинке, с дисковым телефоном ходишь?
>>> И знамя подхватили гугл и майкрософт <<<нашли чему радоваться
Какая незадача. Вчера вечером правил свою программу. И не знал, что мной руководили названные вами голды и платинумы.
И эти компании платят денег на одну зарплату разработчика. По факту административные расходы. Нормальных разработчиков на эти деньги нанять нельзя.
> Собственно также, как и Мозилла отправила Раст на вольные хлеба:)Хватит уже эту чушь повторять. Доля Раста в Firefox постоянно растет.
Ты там по ссылкам ходил? Как объяснишь такие факты:Из графика заканчивающегося в 2020: rust - 12.31%
Из графической схемы за 2023 год: rust - 11.5%.
За три года % rust имеет хороший ОТРИЦАТЕЛЬНЫЙ рос в -0.81%.
т.е. ты хочешь сказать что Rust никому не нужен? Да ну нет! Бред же!
Это тебе бабушка у подъезда в твоём Крыжополе рассказала или ты сам придумал?
Плюсую, тоже самое хотел написать> проприетарного дистрибутива с Rust-компилятором для критически важных систем
> Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT
> В качестве основы задействован rustc, штатный компилятор от проекта Rust, приведённый к соответствию требованиям программных окружений для автомобильных и промышленных систем (ISO 26262 и IEC 61508)налицо все признаки невостребованности проекта aka васянофорка.
Кто в здравом уме будет доверять
> критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудованиякакой-то мутной компании, которая по первому свистку про санкции возьмёт и отрубит свою систему.
Нет, никто из больших, типа РосАтом так не делает. Они делают по-другому.
> проприетарного дистрибутива с Rust-компилятором для критически важных систем,
> Ferrocene как можно ближе к upstream (в идеале вообще без изменений)Т.е. в идеале получать бабло и ничего не далать?
Вполне благородная цель, достичь которой получается мало у кого. У этих вот не получается.
Ну тут конечно дело не в компании. Дело в том что язык раст не подходит для критически важных систем.
Да, я бы тоже для критически важных систем вместо раста взял язык с гигантским количеством UB. Еще желательно, чтобы в нем не было strsplit.
Если Вы про C, то да, в нём нет strsplit, зато есть strtok()/strtok_r(). Кроме того, можно воспользоваться strspn()/strcspn().
> strtok()Нет! Это не путь настоящего сишника!
Он напишет свой сплит и закоммитит его в ядро.
Не сплит, а сплойт
И за границы буфера не забудет выйти? Иначе какой же он тру сисшник без этого!
В твоём расте больше непонятной магии чем в любом другом языке. В критических системах такого быть не может.
просто IQ надо иметь выше 70 и все будет понятно.
Всегда было любопытно, какой сорт маргарина в голове у тех, кто делает подобные комментарии, и у тех, кто их плюсует.
Троллинг just fun?
Тут сайт анонимов, можно писать почти все что угодно.
И никто не узнает какие позорные кода тебе самому приходилось писать))
Можно из года в год формировать мнение о чем либо у анонимов Пресли дуя свои цели.
Это называется троллинг тупостью. Добро пожаловать в интернет.
>Добро пожаловать в интернет.Я практикую в IRL на работе и дома.
Веганам для справки: в мозге холестерин.
В зеркало посмотрись. Ты не можешь принять очевидного.
Зочем вы так? Конечно же подходит - просто пока получилось только помигать светодиодиком, и то через сишные объектники - зато безопастно!Остальное на подходе. Еще чуть чуть, вот-вот, немного подождать... щасщасщас - клиппи опять чем-то недовольна.
Какой-то ты поехавший. Кучи проектов, комьюнити инженеров, вливания бабла - это для тебя помигать светодиодиком? Ты тогда видимо занимаешься стуком по кнопкам?
Кучи - это да.Кучи у вас получаются хорошо. А вот ресдох - почему-то сдох. Что же могло пойти не так?
Воздуханство какое-то, родители тебя не воспитывали, в лесу рос? Тот сдох, с этим ничего не получается, те ничего не делают. Один ты сидишь на куче навоза и воняешь, что есть мочи. Молодец!
> Тот сдох, с этим ничего не получается, те ничего не делают.А я чем виноват? Я их не убивал (мне визу не дают, а то б, конечно...)
Этим вот, у которых эскопета с кривым стволом - даже планировал задонейтить. К счастью, обо мне вовремя позаботились, чтоб глупостей не делал, и заблокировали гражданам неправильных стран неправильные карты.
Возможно граждане просто сидели ровно и нифига не делали?
Ну так за действие или бездействие приходится отвечать - если ты просто смотршь как телевизор загорелся и уже начинают гореть шторы... то весьма вероятно что через окно вылезти не получится.
Раз сидели как "This is fine" - то 'в случае пожара -- горите!'
> Возможно граждане просто сидели ровно и нифига не делали?А я в этом тоже виноват?
Кстати, у граждан с эскопетой каждый второй комит - "appease clippy". Может, в виду этой бурной деятельности (не говоря уже о героической борьбе с боров чекером) до сих пор не удается догнать сиплюсовый проект?
Просто открой книжку анекдотов, называется "'Конституция' и другие веселые рассказы"
Там, почти на первой же страничке, есть такое
"Носителем суверенитета и единственным источником власти … является … народ.
"Народ осуществляет свою власть непосредственно …"Если народ положил на свои обязанности по 'осуществлению власти' и это привело к плохим последствиям, то пусть это народ и хлебает полной ложкой.
> Возможно граждане просто сидели ровно и нифига не делали?А, или ты про граждан? Те которые сидели неровно - сидят теперь лет по пятнадцать.
Это ж был кого надо телевизор. Допереключаешься!
>А вот ресдох - почему-то сдох.редокс поживее хурда будет, но клоуну же это не интересно, он тут лужи газифицирует.
какие еще клоунские выперды будут на сегодня?
А если взять много светодиодиков, то получится монитор?
Если так считать - то ты прав (сам в шоке что с тобой соглашаюсь)"Microsoft Windows graphics interface device is currently being ported to Rust"
Повторяю - то что кто-то там в MS нашел себе хорошо оплачиваемую бесполезную работу - совершенно ничего не говорит о том что его поделка не отложена на полочку бесполезных достижений народного хозяйства.
Ты так уверенно говоришь, как будто в майкрософте работаешь)
Ты так говоришь как будто на расте уже что-то дельное смог написать.
ты так говориш, как будто уже что-то дельное смог написать.
>"currently being ported to Rust"Перевести ? :)
Вот когда будет "has been successfully ported to Rust" - приходи!
А такого добра - это каждый первый проект на ржавом - то же мне удивил :)
https://ru.wikipedia.org/wiki/Microsoft_SingularityИз той же оперы. Потужились, слепили, потыкали палочкой -- не ползет. Еще потыкали -- все равно не шаволится. Плюнули, перевели в открытые проекты и пошли дальше.
> https://ru.wikipedia.org/wiki/Microsoft_Singularity
> Из той же оперы. Потужились, слепили, потыкали палочкой -- не ползет. Ещеэто потому что на неправильных язычках писали! Вот щас как перепишут венду на правильном! (надеюсь, все же, в процессе либо шах, либо ишак, либо уж в крайнем случае...)
мне кажется, только эти ценители и в состоянии
Первый звоночек. Похоже люди начинают потихоньку разочаровываться в Расте...
> Первый звоночек. Похоже люди начинают потихоньку разочаровываться в Расте...Инвесторы (финансовые спекулянты) конечно не совсем люди, но да, звоночек хороший.
> Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования.И тут все начали форкать, переводить на свой язык, допиливать и выпускать свои стандарты. У некоторых даже вышел стандартный понос!
О чем можно говорить с людьми которые до сих пор считают что у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзы, а гитхаб дропбокса на расте по большей части заброшен.
> у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзыЯндекс Диск тем временем на питоне
На чём написана копия Гугл-Диска никого не волнует.
Всё, наигрались?
А , чё им ещё делать , билдить и писать комментарии это разные вещи. В первом варианте надо прикладывать усилия и потом получать библиотеки , во втором случае надо разговаривать о высоком , о чем то типа важном что бы казаться прокачанным скиловиком с набитыми шишками и набивать скор на каком нибудь сайте.
> Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качествомединственный формально верифицированный компилятор - С
у Rust просто тестирование, верификация тут лишнее слово - попытка выдать желаемое за действительное
> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
> выставлять оценки умственным способностям авторов и как они совершенно не умеют
> в < любой ЯП>. Коммитить в проект они конечно не будут (чтобы самим
> не попасть под огонь из канализационной пушки).Пофиксил, не благодари.
> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
> выставлять оценки умственным способностям авторовэто ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию
https://ferrous-systems.com/blog/qualifying-rust-without-for.../
>> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
>> выставлять оценки умственным способностям авторов
> это ты автор чтоли ? найди у настоящих авторов хоть слово про верификациюВообще-то, это был ответ на (уже) удаленное сообщение, на что как бы намекает цитата.
Иронично, что (не очень) умные свидетели формальной верификации все равно возбудились и с пеной у рта ринулись на защиту чего-то там.
А, ну да, с чтением у них не очень - ни разницу между "верификацией" и "формальной верификацией" понять, ни "CompCert C is a subset of C" заметить.
Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!
> ни разницу между "верификацией" и "формальной верификацией"найди у авторов хоть слово про верификацию или балабол
> Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!
ты не являешься автором ни раста, ни Ferrocene, ни цитируемых цитат, наверно и не автор новости, тебе мерещатся какие-то воены супротив Раста, опять принял чего-то ?
>> Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качеством.
> найди у авторов хоть слово про верификацию или балаболТы опять что-то проецируешь из своих фантазий и переводишь стрелки, Балабол Супротив Раста?
>> Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!
> ты не являешься автором ни раста, ни Ferrocene, ни цитируемых цитат, наверно и не автор новости,
> ты не являешься автором ... ни цитируемых цитатПосмотри уже, что такое цитата и зачем цитируют, о Воен. Ну и да, ты сам-то автор compcert или как обычно "это другое!"?
> тебе мерещатся какие-то воены супротив Раста, опять принял чего-то ?
Судя по твоему возбуждению и невнятному потоку сознания - опять какие-то проекции.
> Ты опять что-то проецируешь из своих фантазийчитай балаболка как тестируется Ferrocene
https://ferrous-systems.com/blog/how-ferrocene-improves-rust/
> Посмотри уже, что такое цитата
расскажи ещё про верифицированные сборки компилятора раст, если не они то получается ты их верифицировал, хехе.
>> Ты опять что-то проецируешь из своих фантазий
> читай балаболка как тестируется Ferrocene
> https://ferrous-systems.com/blog/how-ferrocene-improves-rust/Ты опять спрыгнул с темы, оспорил свои фантазии и приписал мне что-то ... но "балабол" тут я, ну да, ну да. Повтори еще пару раз, что бы точно никто не перепутал.
>> Посмотри уже, что такое цитата
> расскажи ещё про верифицированные сборки компилятора раст, если не они то получается ты их верифицировал, хехе.Очередной спрыг-перепрыг с темы на тему - классика Военства, че.
https://www.opennet.dev/cgi-bin/openforum/vsluhboard.cgi?az=l...
> По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая язык, Аноним (275) , 15:38 , 07-Окт-23 (161)
> УДАЛЕНО.Отмодерировано: mc, Время: Sat Oct 7 19:18:00 2023
> По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая языками, выставлять оценки умственным способностям авторов и как они совершенно не умеют в Rust. Коммитить в проект они конечно не будут (чтобы самим не попасть под огонь из канализационной пушки).Так что выдыха^W узбагойся, о Великий Верификатор, это глюк движка форума, когда ответы от удаленного сообщения "подцепляют" к комментам выше.
>Ferrocene is the upstream Rust compiler, rustc, unmodified - thoroughly tested on targets that are not supported by upstream.Это что, троллинг такой? Это же rustc вообще без изменений. Ахахаха!
> Это же rustc вообще без изменений.он верефецированый радугой, хехе, в стране грёз автора новости
Ты где этот текст нашёл?Я вот по ссылке из заметки читаю следующее.
Ferrocene is the main Rust compiler - rustc - but quality managed and qualified for use in automotive and industrial environments (currently by ISO 26262 and IEC 61508) by Ferrous Systems. It operates as a downstream to the Rust project, further increasing its testing and quality on specific platforms.
Ну и где тут изменения?
Это вообще-то сами разработчики пишут, учись гуглить
https://ferrous-systems.com/blog/qualifying-rust-without-for.../
Мне даже немного жаль растаманов, они смешные, напоминают жабберов эпохи ранней жаббы: пока в жаббе какая-то фича вроде лямбд была не реализована, они с пеной у рта доказывали всем, что эта самая фича никому нафиг не уперлась, что она, в сущности, вообще вредна, опасна и ломает концепцию святой жаббы. Но стоило этой фиче в жаббе пояиться, как они начинали радостно вопить об этом на всех углах, совать ее всем под нос как доказательство неизбывной крутости жаббы и т.д. и т.п.Точно так же, появись ISO стандарт на раст, растаманы вопили бы об этом на каждом углу как о новой победе раста, великого и безопасного. Ну а пока сей факт имеет место только в их бурных фантазиях, то и сама идея стандартизации ЯП не нужна, и даже вредна, и вообще, отвяжитесь! не мешайте RFC-шки лепить.
Куда более смешные Воины Супротив Раста. Они изо всех сил тужатся, где бы найти повод прицепиться хоть к чему-нибудь, иногда у них создаётся обманчивое впечатление, что вот, они наконец-то нашли самый главный изъян. Но потом реальность показывает, что они облажались. А поезд тем временем ушёл.
Какая бурная фантазия, однако.А на улице все женщины про длину твоего .. шепчутся?
Большинство из тех кто тут оставляет комментарии, к ж/д станции дойти уже (к сожалению) не могут.
Этот поезд уходит в ГУЛАГ, туда не всем нужно.
> Одной из целей разработки является... продвижению в основной состав rustc возможностей востребованных в критически важных системах и встраиваемых промышленных устройствах.Отличная новость, а то чет надо всякое барахло ставить.