The OpenNET Project / Index page

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



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

Оглавление

В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку языка Rust, opennews (??), 04-Окт-22, (0) [смотреть все]

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


257. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  –1 +/
Сообщение от Аноним (252), 05-Окт-22, 15:24 
Да, идея языка зородилась в 1970-тых.

Но только, примерно, 10 лет назад (2014) смогли наконец правильно реализовать верифицируемость программы на уровне исходных текстов на предмет корректности работы с памятью и отсутствии ошибок во время исполнения.

Сегодня SPARK очень высоко безопасный, очень высоко надежный с встроенной математической верификацией исходных текстов.

Если бы GNU написали компилятор на 15 лет раньше, то мозила Rust бы не изобретала.

https://www.adacore.com/about-spark

https://en.m.wikipedia.org/wiki/SPARK_(programming_language)

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

259. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +1 +/
Сообщение от Аноним (260), 05-Окт-22, 15:37 
Что за аццкий бред. Либая программа лишь трансформируется в машинные инструкции, которые выполняются на процессорах разного типа. Вы там математически доказали, что Meltdown'a нет?
Ответить | Правка | Наверх | Cообщить модератору

263. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (252), 05-Окт-22, 16:20 
SPARK - доказывает что исходники програмы верны почти на 100% не имеют ошибок во время испоьнения, а также дает почти 100% безопасность и надежность компилятор. Риски при использовании SPARK приемлемы в гражданской авиации, критических производствах и военных системах.

А 100% никто не даст!

Надежность и безопасность проца и его микрокода рассматривается отдельно.

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

290. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (295), 06-Окт-22, 07:27 
Очевидно что он не понимает даже очевидных вещей
Ответить | Правка | К родителю #259 | Наверх | Cообщить модератору

261. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (260), 05-Окт-22, 15:40 
Опять гнутые во всём виноваты.
Ответить | Правка | К родителю #257 | Наверх | Cообщить модератору

264. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (252), 05-Окт-22, 16:34 
Как только SPARK довели до нужного уровня и он стал интересен, так сразу в GNU написали компилятор GNAT https://www.adacore.com И ядро OS https://muen.sk

А раньше хотели, но не могли.

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

314. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (304), 06-Окт-22, 19:47 
https://muen.sk/ похоже на микроядро.
У HURD может появиться шанс на второе дыхание.
Ответить | Правка | Наверх | Cообщить модератору

320. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (320), 08-Окт-22, 17:59 
Как только родится гений математики, который напишет реализацию DAC и MAC для микроядер без 100-кратных тормозов.
Ответить | Правка | Наверх | Cообщить модератору

268. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Someone (??), 05-Окт-22, 16:56 
Ага без динамического выделения памяти)).

И еще столько же потратят на динамику:-)

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

270. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  +/
Сообщение от Аноним (-), 05-Окт-22, 17:11 
>Ага без динамического выделения памяти))

Я, между прочим, джва года жду форк XLib, полностью или хотя бы в каких-то пределах укладывающийся в стек. Если язычок с автоматически управляемой памятью до сих пор не умеет посчитать, что алгоритм константен по памяти и выделяет память зря, то полагаться на такой язычок вообще печально и лучше делать руками статическое выделение.

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

273. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..."  –1 +/
Сообщение от Аноним (252), 05-Окт-22, 17:25 
Не думаю, что в языках такого класса рискнет кто динамически выделять память.

Все останется строго в статике.

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

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

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




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

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