LINUX.ORG.RU

Ferrocene 25.11.0

 , , ,


0

3

Вышла новая версия Ferrocene – компилятора языка Rust, предназначенного для написания особенно чувствительных к безопасности и надёжности систем. От эталонной реализации Ferrocene отличается наличием сертификатов ISO 26262 (ASIL D), IEC 61508 (SIL 3) и IEC 62304 (Class C).

В новую версию были перенесены некоторые возможности из Rust версий 1.89 и 1.90, такие как поддержика использования типов i128 и u128 в вызовах функций на Си, новые предупреждения встроенного линтера и так далее. Также была проведена сертификация части библиотеки core на соответствие требованиям стандарта IEC 61508 (SIL 2).

Код компилятора и сопутствующих инструментов распространяется под лицензиями Apache 2.0 и MIT.

>>> Исходный код

>>> Подробности

★★★★★

Проверено: hobbit ()
Последнее исправление: hobbit (всего исправлений: 4)
Ответ на: комментарий от hateyoufeel

Спекой является эталонная реализация компилятора

Которая меняется раз в шесть недель. Это звиздец.

LongLiveUbuntu ★★★★★
()
Ответ на: комментарий от tinykey

Ой видели мы вашу сертификацию, шо ви мне рассказываете. Я когда узнал в каких странах моё говно работает, проорал.

steemandlinux ★★★★★
()
Ответ на: комментарий от steemandlinux

А никто не говорит что в этом особо много смысла есть.

tinykey
()
Ответ на: комментарий от tinykey

Никакую госуху никто на rust не пишет. Лифты все еще на си, телеком на с++, военка на ada/c++. Видел только некоторых очень странных типОв, нанимали раставиков в абу-даби и прочие эмираты. Но это курам на смех, чесслово.

spbzip
()
Ответ на: комментарий от spbzip

Никакую госуху никто на rust не пишет.

Лично знаю двух человек которые за последние полгода ФСТЭК на rust получали.

tinykey
()
Ответ на: комментарий от spbzip

телеком на с++

Rust там теперь тоже есть ^__^

Хуже того, он теперь ещё и в космосе летает. Такие вот дела.

hateyoufeel ★★★★★
() автор топика

А огромную кучу кода LLVM на C++ они тоже сертифицировали? Этот Ferrocene как я понимаю использует LLVM для кодогенерации как и обычный Rust.

X512 ★★★★★
()
Ответ на: комментарий от steemandlinux

Максимум где руст точно есть это в грязных криптомахинациях в ОАЭ. Пилят бабло нефтяных шейхов и прикрываются технологиями.

spbzip
()
Ответ на: комментарий от spbzip

Это всё твой копиум. Если в твоей конторке его нет, это не значит, что все такие отсталые.

Максимум где руст точно есть это в грязных криптомахинациях в ОАЭ.

А ещё в линуксовом ядре, например. И в венде. И в cloudflare (недавно выстрелило и положило полинтернета лол).

hateyoufeel ★★★★★
() автор топика
Последнее исправление: hateyoufeel (всего исправлений: 2)
Ответ на: комментарий от Werenter

Почему?

Потому что в один прекрасный момент свободное ПО под этой лицензией вдруг окажется чьим-то и не открытым, на сколько я верно понял возможные риски. Уж очень там мутно прописали все, да и вроде на бумаге в прямую эта лицензия совместима с гпл, а в обратную - нет… Это намекает, что там есть подводные камни, связанные с «вдруг» правообладателями похоже…

Из вики:

Подобно любой другой лицензии на свободное программное обеспечение, лицензия Apache даёт пользователю право использовать программное обеспечение для любых целей, свободно изменять и распространять изменённые копии, за исключением названия[Прим. 2].

Данная лицензия не ставит условием неизменность лицензии распространения программного обеспечения, и не настаивает даже на сохранении его бесплатного и открытого статуса. Единственным условием, накладываемым лицензией Apache, является информирование получателя о факте использования исходного кода. Таким образом, в противоположность copyleft-лицензиям, получатель модифицированной версии не обязательно получает все права, изначально предоставляемые лицензией Apache.

На сколько я понимаю, в любой момент я могу взять то, что написано под этой лицензией, добавить туда свой проприетарный кусок кода «хелло ворлда», и вуаля, это мое закрытое ПО и ковырятся особо в нем нельзя… А далее можно и «забыть», что оно «когда-то было свободным», теперь это мое, осталось неконкурентным сделать действительно свободное ПО… Главное недопускать лицензий ГПЛ, т.к. они заставляют открывать код - и ты в «дамках»…

Sm0ke85
()
Ответ на: комментарий от Sm0ke85

На сколько я понимаю, в любой момент я могу взять то, что написано под этой лицензией, добавить туда свой проприетарный кусок кода «хелло ворлда», и вуаля, это мое закрытое ПО и ковырятся особо в нем нельзя… А далее можно и «забыть», что оно «когда-то было свободным», теперь это мое, осталось неконкурентным сделать действительно свободное ПО… Главное недопускать лицензий ГПЛ, т.к. они заставляют открывать код - и ты в «дамках»…

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

Например, https://www.opennet.ru/opennews/art.shtml?num=64375

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от hateyoufeel

И где тут госуха? Я наблюдаю всю отрасль телекома. Дело в том, что в нашей отрасли работают в основном железячники, а они низачто руст учить не будут им плюсы слишком тяжело дались. Переписывать имеющуюся кодовую базу точно никто не даст.

spbzip
()
Ответ на: комментарий от spbzip

А как же многократно виденные мной заявления, что Erlang родился в телекоме, плоть от плоти телекома, и ничего лучше для телекомов не придумано? Каждый кулик своё болото хвалит?

Chiffchaff
()
Ответ на: комментарий от spbzip

И где тут госуха?

Про госуху не я писал. Но лялекса в госухе хватает, так-то.

Я наблюдаю всю отрасль телекома.

В бинокль? Прямо вот вообще всю?

Дело в том, что в нашей отрасли работают в основном железячники, а они низачто руст учить не будут им плюсы слишком тяжело дались.

Не только.

hateyoufeel ★★★★★
() автор топика
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от spbzip

Ну могут еще пинка от меня получить.

Не могут, ты зассышь.

Что это доказывает?

Что ты клоун.

tinykey
()
Ответ на: комментарий от Chiffchaff

А как же многократно виденные мной заявления, что Erlang родился в телекоме, плоть от плоти телекома, и ничего лучше для телекомов не придумано? Каждый кулик своё болото хвалит?

Телеком разный. Есть чуваки которые телефонию делают, если чуваки которые базовые станции делают, есть чуваки которые лучом из космоса пыщат 5G тебе прямо в самолет. И это все очень разные технологии с разным стеком.

tinykey
()
Ответ на: комментарий от Chiffchaff

Да вранье это. В Eriksson никто этот ерланг не знает. Какие-то устаревшие утилиты на нем написаны, их не трогали уже декады.

spbzip
()
Ответ на: комментарий от hateyoufeel

Я их писал :D

Квалком ничего не публикует, у них очень жесткая политика на счет копирайтов. То что ты принес это какая-то поделка школьника-интерна для диплома.

spbzip
()
Ответ на: комментарий от spbzip

Я их писал :D

Что, во всех трёх сразу? И в Нокле, и в Эриксонне, и в Квалкоме?

Квалком ничего не публикует, у них очень жесткая политика на счет копирайтов. То что ты принес это какая-то поделка школьника-интерна для диплома.

https://github.com/orgs/qualcomm/repositories

Продуктивные там интерны:

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от hateyoufeel

Что, во всех трёх сразу? И в Нокле, и в Эриксонне, и в Квалкоме?

Да.

Продуктивные там интерны:

Это ты продуктивный. Фигню какую-то сюда таскаешь зачем-то. Что сказать-то хотел?

spbzip
()
Ответ на: комментарий от spbzip

Что, во всех трёх сразу? И в Нокле, и в Эриксонне, и в Квалкоме?

Да.

Бедный. Помотало тебя жизнью.

Что сказать-то хотел?

Что в телекоме Rust есть, хоть и не так много пока что. Но будет больше, да.

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от spbzip

И нигде там нет раста. И не будет еще лет 50.

Cope harder.

tinykey
()
Ответ на: комментарий от spbzip

Дед, пей таблетки 💊:

// SPDX-License-Identifier: BSD-3-Clause
// Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
steemandlinux ★★★★★
()
Последнее исправление: steemandlinux (всего исправлений: 1)
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.