The OpenNET Project / Index page

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



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

"Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от opennews (??), 15-Окт-22, 10:43 
Компания Google объявила об открытии наработок, связанных с проектом KataOS, нацеленным на создание защищённой  операционной системой для встраиваемого оборудования. Системные компоненты KataOS написаны на языке Rust и выполняются поверх микроядра seL4, для которого на системах RISC-V предоставлено математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям, заданным на формальном языке. Код проекта открыт под лицензией Apache 2.0...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=57920

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

Оглавление

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


1. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (1), 15-Окт-22, 10:43 
Genode какой-тл
Ответить | Правка | Наверх | Cообщить модератору

2. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (2), 15-Окт-22, 10:45 
Опять пермессивщина
Ответить | Правка | Наверх | Cообщить модератору

3. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (3), 15-Окт-22, 10:47 
вам шашечки?
Ответить | Правка | Наверх | Cообщить модератору

6. "Google открыл код защищённой операционной системы KataOS"  +13 +/
Сообщение от Самый Лучший Гусь (?), 15-Окт-22, 11:04 
GPL нам подавайте иначе это просто напросто фольшивка
Ответить | Правка | Наверх | Cообщить модератору

44. "Google открыл код защищённой операционной системы KataOS"  +9 +/
Сообщение от Аноним (-), 15-Окт-22, 13:52 
Нам не хочется бесплатно работать на хайпомакак в гугле. Это странно?
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

50. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (50), 15-Окт-22, 14:28 
Так вы никогда и не работали.
Ответить | Правка | Наверх | Cообщить модератору

72. "Google открыл код защищённой операционной системы KataOS"  +5 +/
Сообщение от Аноним (72), 15-Окт-22, 17:20 
Не хочется потому и не работали. Это разве странно?
Ответить | Правка | Наверх | Cообщить модератору

87. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Пенис (?), 15-Окт-22, 20:45 
Берёшь и лицензируешь форк под GPL. Всего делов-то, но вонять ты горазд.
Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

178. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (178), 17-Окт-22, 11:54 
> вам шашечки?

Замечено, как только копрорасты хотят что-то выкинуть из объедков, почти прямиком на кладбище "открытых" проектов, по традиции это всё смазывается апачной лицензией.

Совпадение?!...

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

7. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (7), 15-Окт-22, 11:04 
Вы так говорите, как будто это плохо))
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

21. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (-), 15-Окт-22, 12:01 
Да, пермиссивщина это плохо.
Ответить | Правка | Наверх | Cообщить модератору

4. "Google открыл код защищённой операционной системы KataOS"  +7 +/
Сообщение от Аноним (4), 15-Окт-22, 11:03 
Эти все скучные буковки читайте сами. Где не скучные обои?
Ответить | Правка | Наверх | Cообщить модератору

8. "Google открыл код защищённой операционной системы KataOS"  –3 +/
Сообщение от Аноним (8), 15-Окт-22, 11:04 
> Rust также предоставляет средства для защиты от целочисленных переполнений

Кто пишет эту чушь? Раст не предоставляет средств для защиты от переполнения целочисленных переменных. Как минимум в продовой сборе софта.

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

10. "Google открыл код защищённой операционной системы KataOS"  –8 +/
Сообщение от Анонн (?), 15-Окт-22, 11:14 
Раст предоставляет защиту в дебаге и однозначное поведение в релизе. А не "хз как, пусть компилятор решает".
Ответить | Правка | Наверх | Cообщить модератору

86. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Лолштоним (ok), 15-Окт-22, 20:39 
Как раз компилятор решает.
Ответить | Правка | Наверх | Cообщить модератору

108. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (108), 15-Окт-22, 23:20 
И разные компиляторы обрабатывают эту ситуацию по разному! В том-то и проблема
Ответить | Правка | Наверх | Cообщить модератору

116. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от анон (?), 16-Окт-22, 02:01 
и сколько есть разных компиляторов rust?
Ответить | Правка | Наверх | Cообщить модератору

122. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (122), 16-Окт-22, 05:21 
каждую новую версию!
Ответить | Правка | Наверх | Cообщить модератору

140. Скрыто модератором  –2 +/
Сообщение от Аноним (140), 16-Окт-22, 11:38 
Ответить | Правка | К родителю #116 | Наверх | Cообщить модератору

150. Скрыто модератором  +/
Сообщение от анон (?), 16-Окт-22, 13:12 
Ответить | Правка | Наверх | Cообщить модератору

151. Скрыто модератором  +/
Сообщение от Аноним (151), 16-Окт-22, 13:20 
Ответить | Правка | К родителю #140 | Наверх | Cообщить модератору

154. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Igraine (ok), 16-Окт-22, 13:47 
1) mrustc
2) rust-gcc
3) rustc
Ответить | Правка | К родителю #116 | Наверх | Cообщить модератору

169. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от анон (?), 16-Окт-22, 23:33 
Интересный пример, в двух из трех репозиториев авторы сами чёрным по белому пишут что это очень ранняя стадия и совсем не готово для продакшна.

Ну, время идёт, можно и подождать

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

11. "Google открыл код защищённой операционной системы KataOS"  –4 +/
Сообщение от Прув (?), 15-Окт-22, 11:18 
Ох уж эти иксперды с опеннета пишущие в комментах чушь…

Все там предоставляется, нужно только явно вызывать

Смотри overflowing_*, saturating_*, checked_* и saturating_* -> например checked_add

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

24. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (8), 15-Окт-22, 12:22 
Любому человеку это кажется не очень то и безопасным.
Ответить | Правка | Наверх | Cообщить модератору

29. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от eganru (?), 15-Окт-22, 12:28 
Это безопасно.
Почти в любом языке есть возможность сделать безопасную работу и проверку переполнений.

if unlikely(a + b < a) assert("...")

большого ума не требует

В rust в дебаге он по умолчанию проверяет и какие-то ошибки Вы можете так найти.

Понятно, что не все и даже не 10 часть. Но гораздо лучше, чем ничего.

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

65. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (65), 15-Окт-22, 16:44 
Чушь не пори это полностью небезопасно.
Ответить | Правка | Наверх | Cообщить модератору

93. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Igraine (ok), 15-Окт-22, 21:55 
Но ведь в С и С++ если a и b целое со знаком, то переполнение неопределенно, условие всегда ложно и компилятор имеет право его удалить
Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

182. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (182), 17-Окт-22, 14:20 
это чудесно, но что, если signed?
Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

28. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Маняним (?), 15-Окт-22, 12:26 
> Ох уж эти иксперды с опеннета пишущие в комментах чушь…

про С

> Все там предоставляется, нужно только явно вызывать

__builtin_*_overflow

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

38. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 15-Окт-22, 13:42 
А где в этой ветке хоть слово было про Си?
Ответить | Правка | Наверх | Cообщить модератору

66. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (65), 15-Окт-22, 16:45 
Омг
Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

91. "Google открыл код защищённой операционной системы KataOS"  +8 +/
Сообщение от Chlen22sm (?), 15-Окт-22, 21:52 
Лучшая защита это прямые руки и умение в алгоритмы, а не клепание формочек на фреймворках.
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

96. "Google открыл код защищённой операционной системы KataOS"  –5 +/
Сообщение от Igraine (ok), 15-Окт-22, 22:03 
Покажите что вы там своими прямыми руками написали.

И да, фреймворк это программная платформа, определяющая структуру программной системы. К формочкам фреймворк имеет очень косвенное отношение, разве что в фантазиях местных... посетителей

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

153. "Google открыл код защищённой операционной системы KataOS"  +8 +/
Сообщение от анон (?), 16-Окт-22, 13:31 
ага, просто пишите хороший код, а плохой не пишите.
Ответить | Правка | К родителю #91 | Наверх | Cообщить модератору

9. "Google открыл код защищённой операционной системы KataOS"  +9 +/
Сообщение от Аноним (9), 15-Окт-22, 11:06 
>[оверквотинг удален]
> логически верифицированное ядро
> заслуживающими доверия
> особый уровень защиты
> подтверждения отсутствия сбоев
> верификации надёжности
> безопасных приёмов программирования
> минимизирующих ошибки
> Безопасная работа с памятью
> средства для защиты
> минимизации логических ошибок

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

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

27. "Google открыл код защищённой операционной системы KataOS"  +4 +/
Сообщение от швондер (?), 15-Окт-22, 12:26 

Колючие глаза Римского через стол врезались в лицо администратора, и чем дальше тот говорил, тем мрачнее становились эти глаза. Чем жизненнее и красочнее становились те гнусные подробности, которыми уснащал свою повесть администратор... тем менее верил рассказчику финдиректор. Когда же Варенуха сообщил, что Степа распоясался до того, что пытался оказать сопротивление тем, кто приехал за ним, чтобы вернуть его в Москву, финдиректор уже твердо знал, что все, что рассказывает ему вернувшийся в полночь администратор, все – ложь! Ложь от первого до последнего слова.
Ответить | Правка | Наверх | Cообщить модератору

118. "Google открыл код защищённой операционной системы KataOS"  +6 +/
Сообщение от Аноним (122), 16-Окт-22, 03:22 
> заслуживающими доверия

Вот ^^^ это ^^^ - самое главное! Самый чётко определённый термин, доказанный математически.

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

12. "Google открыл код защищённой операционной системы KataOS"  +8 +/
Сообщение от Аноним (12), 15-Окт-22, 11:28 
Блин я только перешёл на Fuchsia
Ответить | Правка | Наверх | Cообщить модератору

172. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (172), 17-Окт-22, 08:34 
Встречайте! Гладиаторские бои на гугл-арене! И пусть победит сильнейший!
Ответить | Правка | Наверх | Cообщить модератору

13. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (13), 15-Окт-22, 11:32 
Fiasco.OC? Ты ли это?
Ответить | Правка | Наверх | Cообщить модератору

14. "Google открыл код защищённой операционной системы KataOS"  –4 +/
Сообщение от Аноним (14), 15-Окт-22, 11:35 
Конкуренция это всегда хорошо, может хоть Гугл заставит Линуса шевелиться...
Ответить | Правка | Наверх | Cообщить модератору

15. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (15), 15-Окт-22, 11:45 
Это просто чудесно:

> The initial Sparrow target platform was intended to have 4MiB of memory. A production build of the included services fit in <3MiB of memory but due to the overhead of CAmkES and the rootserver boostrap mechanism actually require ~2x that to reach a running state.

Почему так - они точно не знают. Предлагают переписать всё на расте.

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

18. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Alexey Torgashin (?), 15-Окт-22, 11:56 
Пусть сначала этот гугл докажет что это не просто выкидыш , не просто перделка. От вторых мелко мягких . А реальная вещь. Реальная значит работает с реальными программами, которые должны появиться. Не только браузер и медиа плеер которые есть везде и всегда. А VSCode и аналоги, графические редакторы , редакторы видео и монтажа. Офис хорошо бы . И тп.

Это же относится к ОС Геноде которая непонятно что и непонятно зачем .

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

42. "Google открыл код защищённой операционной системы KataOS"  +7 +/
Сообщение от Самый умный из вас (?), 15-Окт-22, 13:51 
Напиши плз контакты, как гуглу с тобой связаться, куда доказательства отправлять
Ответить | Правка | Наверх | Cообщить модератору

71. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от n00by (ok), 15-Окт-22, 17:09 
Так он написал имя. Гугл же всё про всех знает. ;)
Ответить | Правка | Наверх | Cообщить модератору

19. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Бывалый смузихлёб (?), 15-Окт-22, 11:59 
> Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваются на языке Rust
> на языке Rust
> кроме микроядра
Ответить | Правка | Наверх | Cообщить модератору

22. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (7), 15-Окт-22, 12:05 
Логично же. Его же придется переверифицировать заново. А так используют уже верифицированное.
Ответить | Правка | Наверх | Cообщить модератору

119. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (122), 16-Окт-22, 03:24 
Всё просто: верификатор не может верифицировать код раста.
Ответить | Правка | Наверх | Cообщить модератору

23. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Alexey Torgashin (?), 15-Окт-22, 12:10 
Похоже я ошибся , ОС не для десктопа а для встраиваемых штук. Но это ещё вопрос кто и зачем возьмёт такую Ос. Для роутеров ? Ещё куда не шло. Для интернета вещей этого поганого, который нужен только для товарища майора чтобы следить , и хакеров ? Тогда нафиг . Для чего ещё?
Ответить | Правка | Наверх | Cообщить модератору

25. "Google открыл код защищённой операционной системы KataOS"  +4 +/
Сообщение от Аноним (8), 15-Окт-22, 12:23 
Подскажу. Даже гугл её никуда не взял. Делай вывод.
Ответить | Правка | Наверх | Cообщить модератору

177. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от _kp (ok), 17-Окт-22, 09:55 
Часто подобные проекты изначально делают ради эксперимента, делают тесты, выводы, учитыают в других разработках. Забрасывают побочное изделие.
Ответить | Правка | Наверх | Cообщить модератору

26. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от eganru (?), 15-Окт-22, 12:23 
Для определенного класса встраиваемых штук, тк. требования слишком высокие чтобы на средней руки MCU запускать.
Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

49. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (49), 15-Окт-22, 14:14 
> Для чего ещё?

Для вещей, где софтварный сбой может стоит миллиарды.

> Для роутеров?

Вряд ли. В любом случае не для домашних роутеров. Цена сбоя домашнего роутера близка к нулю. Поэтому в нём лучше из железа выжать максимум и засунуть всё в монолитное ядро.

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

60. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Бывалый смузихлёб (?), 15-Окт-22, 16:16 
Ну и чем оно лучше того же миникса?

А для остальных случаев - есть как минимум йокто для линуксоморды и ртос вроде сейфРтос или азурРтос( бывшая треадИкс ) для собственно управляющего мк

Я, кстати, наверняка пропустил упоминание что сабж - компактная РТОС( ОСРВ ) ведь иначе непосредственно ей не может рулиться что-либо, если ошибка в ней может стоить миллиарды

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

173. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (172), 17-Окт-22, 09:02 
> Ну и чем оно лучше того же миникса?

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

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

89. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (89), 15-Окт-22, 21:31 
> где софтварный сбой может стоит миллиарды

Не похоже, что сабж такой уж дорогой.
Для чего ещё? Нам мало где требуется надёжный софт?
Например, тот же транспорт, медицина.

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

30. "Google открыл код защищённой операционной системы KataOS"  –6 +/
Сообщение от Джон Макагонов (?), 15-Окт-22, 12:29 
Меня уже не удивляет то,  что в передовых разработках применятся раст. Превосходство раста очевидно,  его величие - просто свершившейся факт. Даже скучно уже.
Ответить | Правка | Наверх | Cообщить модератору

35. "Google открыл код защищённой операционной системы KataOS"  –6 +/
Сообщение от Аноним (35), 15-Окт-22, 13:08 
раст не полетел. Ему на смену уже идёт Карбон.
Ответить | Правка | Наверх | Cообщить модератору

46. "Google открыл код защищённой операционной системы KataOS"  –3 +/
Сообщение от Прохожий (??), 15-Окт-22, 13:55 
MS, Google, Amazon, Meta вовсю начали использовать Rust. Но анонимный воин супротив Раста не даст этим корпорациям себя обмануть. У него дома Rust не взлетел. :)))
Ответить | Правка | Наверх | Cообщить модератору

120. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (122), 16-Окт-22, 03:27 
> Meta вовсю начали использовать Rust

Тогда понятно, почему у их Вселенная не взлетела, а народ разбегается уже после первого месяца.

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

162. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (162), 16-Окт-22, 16:01 
Именно поэтому — как узнают, что на расте написано, сразу бегут, пока пацаны с опеннета не засмеяли.
Ответить | Правка | Наверх | Cообщить модератору

199. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:22 
Она ещё не готова просто, о взлёте говорить пока рано. Про другие фирмы есть что сказать?
Ответить | Правка | К родителю #120 | Наверх | Cообщить модератору

174. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (172), 17-Окт-22, 09:31 
> раст не полетел. Ему на смену уже идёт Карбон.

Ты заврался донельзя. Всё перевернул.

Раст летит как раз хорошо и это видно по проектам, которые пилят гиганты, включая этот. Даже перечислять не буду, вам это без толку раз за разом перечислять. Как метать бисер сами знаете перед кем. Как не в коня корм. Проекты эти просто не для васянов, часть из них сложны, непонятны. Не музыкальные плееры, короче.

и карбон идет не на смену расту. Он идет на смену плюсам. Про это сами авторы пишут. И пишут, что если ты пишешь на го, свифте, расте - должны на них и писАть. Ты заходил на гитхаб разработчиков карбона? Вот что они пишут:

" Why build Carbon?

<в начале пишут что C++ древнее легаси-...овно, которое долго развивалось как бык поссал (вкривь и вкось) и что там куча технического долга и т.п и т.д. Но есть гигатонны полезного кода, который так просто не выкинешь. А потом пишут:>

Existing modern languages already provide an excellent developer experience: Go, Swift, Kotlin, Rust, and many more. Developers that can use one of these existing languages should. Unfortunately, the designs of these languages present significant barriers to adoption and migration from C++. These barriers range from changes in the idiomatic design of software to performance overhead.

Carbon is fundamentally a successor language approach, rather than an attempt to incrementally evolve C++.

"

Т.е. карбон - заменитель Си++, а не раста. И если ты можешь писАть на расте - ты должен писАть на расте. Так авторы карбона и сказали, честно-честно. Там во фразе "Developers that can use one of these existing languages should" слова "can" и "should" даже выделены жирным шрифтом. Ну чтобы даже тебе понятно было. А вот если ты плюсовик замшелый, который ничего нового выучить не в состоянии, не готов менять парадигму мышления и у которого горы плюсового легаси-кода, требующего переписывании - добро пожаловать в карбон.

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

183. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (183), 17-Окт-22, 16:48 
Естесственно, Rust придуман не Google.
Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

31. "Google открыл код защищённой операционной системы KataOS"  +6 +/
Сообщение от eganru (?), 15-Окт-22, 12:34 
Вообще такое ощущение, что новости специально пишут так, чтобы в комментах был жыр с хорошим запасом.
Ответить | Правка | Наверх | Cообщить модератору

58. "Google открыл код защищённой операционной системы KataOS"  +3 +/
Сообщение от Аноним (58), 15-Окт-22, 15:22 
Зима приближается, нужно запасаться.
Ответить | Правка | Наверх | Cообщить модератору

33. "Google открыл код защищённой операционной системы KataOS"  –2 +/
Сообщение от Друг Сергея (?), 15-Окт-22, 13:06 
Kata Containers, KataOS, Rust и Go - что происходит?
Ответить | Правка | Наверх | Cообщить модератору

45. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Прохожий (??), 15-Окт-22, 13:52 
Эволюция происходит. Софт усложняется. Люди ищут способы бороться с этой сложностью.
Ответить | Правка | Наверх | Cообщить модератору

90. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (90), 15-Окт-22, 21:32 
Я бы не сказал, что они что-то упростили...
Ответить | Правка | Наверх | Cообщить модератору

132. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (140), 16-Окт-22, 11:28 
Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар
Ответить | Правка | Наверх | Cообщить модератору

149. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (151), 16-Окт-22, 13:12 
> Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар

"Talk is cheap, show me your code!" (c)

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

198. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:19 
Работа с памятью. Теперь можно гораздо меньше уделять ей внимания. Странно, что приходится объяснять это снова и снова.
Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

36. "Google открыл код защищённой операционной системы KataOS"  +5 +/
Сообщение от Аноним (36), 15-Окт-22, 13:29 
Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваются на языке Rust с использованием безопасных приёмов программирования...

Вот растаманы, пользуйтесь, а линукс в покое оставьте!

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

40. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 15-Окт-22, 13:50 
Линукс - для серверов и десктопа. А это для встройки. Разные ниши. В идеале и Линукс весь переписать на Rust полностью.
Ответить | Правка | Наверх | Cообщить модератору

53. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (35), 15-Окт-22, 14:29 
Только переписывание линукса на раст линуксу ничего не даст. Так что этого никогда не произойдет.
Ответить | Правка | Наверх | Cообщить модератору

197. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:17 
Вообще-то даст - дополнительную стабильность. Это уже огромный жирный плюс.
Ответить | Правка | Наверх | Cообщить модератору

57. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Бургер (?), 15-Окт-22, 15:21 
>А это для встройки

окей, окей, Yocto и остальные на помойку, тк анон опенета решил, что Linux для серверов и десктопа.

embedded девелоперы, расходимся.

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

200. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:26 
Вот именно. На помойку. Любая проблема с памятью и всё,  конец железке.
Ответить | Правка | Наверх | Cообщить модератору

208. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Бургер (?), 23-Окт-22, 13:32 
> Вот именно. На помойку. Любая проблема с памятью и всё,  конец
> железке.

ноотопы в помощь

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

131. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (140), 16-Окт-22, 11:27 
Они не отстанут пока не сломают Линукс окончательно
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

47. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 15-Окт-22, 14:01 
Ожидаемо набежало стадо воинов супротив Rusta. Местные неосиляторы решили в очередной раз отметиться, высказав своё "фе" к тому, чего они не понимают, потому что неспособны.
Ответить | Правка | Наверх | Cообщить модератору

48. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (48), 15-Окт-22, 14:09 
Такое ощущение,что amd64 закапывают вслед за х86. Новости чуть ли не поголовно про АРМ и даже Линукс набрал растокодеров для этой архитектуры.
Ответить | Правка | Наверх | Cообщить модератору

95. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (95), 15-Окт-22, 22:01 
Гегемония интел-амд многим мешает
Гуглу в том сегменте заработать как? Строим новый
Ответить | Правка | Наверх | Cообщить модератору

56. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от ИмяХ (?), 15-Окт-22, 15:11 
>>поверх микроядра seL4,
>>фреймворк Renode
>>инструментарий CAmkES

А это всё на каких языках написано? И почему нет пары абзацев о достоинствах этого языка?

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

128. "Google открыл код защищённой операционной системы KataOS"  –2 +/
Сообщение от Аноним (140), 16-Окт-22, 11:23 
Потому что цель это пиар раста.
Если бы цель была написание безопасностной и надёжной операционной системы они бы взяли ANSI C
Ответить | Правка | Наверх | Cообщить модератору

148. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (151), 16-Окт-22, 13:10 

> Если бы цель была написание безопасностной и надёжной операционной системы они бы взяли ANSI C

Т.е. за 50 лет существования сишки никто такой целью не задавался?

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

158. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (158), 16-Окт-22, 15:20 
Задавался. И написал. Называется L4.
Ответить | Правка | Наверх | Cообщить модератору

159. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (151), 16-Окт-22, 15:48 
> Задавался. И написал. Называется L4.

Называется "слышал звон".


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

175. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (172), 17-Окт-22, 09:41 
> безопасностной и надёжной операционной системы
>> Задавался. И написал. Называется L4.

L4 - микроядро. Микроядро - не операционная система, а ее часть. Пусть и важная.

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

74. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (-), 15-Окт-22, 17:43 
Они взяли верифицированное микроядро и сверху накинули неверифицированную инфраструктуру Rust? Rust верифицировали?
Ответить | Правка | Наверх | Cообщить модератору

110. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (108), 15-Окт-22, 23:25 
А у вас есть верифицированная инфраструктура на си, чтобы накинуть поверх ядра? Что, нет? Как же так...
Вот и у них не было, а писать с нуля на шрешете они не захотели.
Ответить | Правка | Наверх | Cообщить модератору

152. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от anonymous (??), 16-Окт-22, 13:29 
Примерно те же люди, которые сделали проект seL4, сделали проект CakeML - a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. А что сделали инженеры Google? Пока что просто написали неверифицированный код на Rust, но бахвалятся безопасностью проекта. Да ещё только под RISC-V и ARM64. И запускают это на своих вендорлокнутых железяках. А всем остальным предлагают веровать в безопасность этих решений. Спасибо, пусть оставят внутри своей корпорации как и Zircon, который в пару шагов эксплуатировали реята из Positive Technologies.
Ответить | Правка | Наверх | Cообщить модератору

82. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (82), 15-Окт-22, 19:42 
У них ничего не получится. Как обычно.
Ответить | Правка | Наверх | Cообщить модератору

201. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:30 
Сказал аноним в адрес корпорации с мультимиллиардным оборотом. :)
Ответить | Правка | Наверх | Cообщить модератору

83. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от user90 (?), 15-Окт-22, 19:58 
А там не хрустело ли?
Да и какие дрова? Не под это сферическое оборудование, под реальное?
Ответить | Правка | Наверх | Cообщить модератору

85. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (85), 15-Окт-22, 20:38 
Васян с бодуна сделает опечатку в коде и всё это логически верифицированное можно отправлять на помойку.
Ответить | Правка | Наверх | Cообщить модератору

92. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (92), 15-Окт-22, 21:55 
Очередное распиаренное фуфло от гугла для жертв современного образования
Ответить | Правка | Наверх | Cообщить модератору

103. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (103), 15-Окт-22, 22:40 
Это очень большая проблема что L4 предлагает большой выбор.
Всё должно быть компактно для разной архитектуры в ядре. Без вариантов можно и так и можно и подругому.
Ответить | Правка | Наверх | Cообщить модератору

113. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Neon (??), 16-Окт-22, 01:05 
От логических ошибок программиста никакой Rust не спасет.)
Ответить | Правка | Наверх | Cообщить модератору

176. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (172), 17-Окт-22, 09:50 
> От логических ошибок программиста никакой Rust не спасет.)

Ну так гиганты статистику выкладывали - от 70% спасёт, от 30% ("логических", хотя они все наверное логические) - нет.

А если начнете требовать 100% и возражать что "если хоть 1% остается то нинужна", то тогда на дорогах и зебры со светофорами не нужны, да и вообще ПДД - всё равно находятся дятлы которые на красный проезжают/пробегают и носятся как будто на всей планете больше никого не осталось.

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

115. Скрыто модератором  –3 +/
Сообщение от Аноним (115), 16-Окт-22, 01:31 
Ответить | Правка | Наверх | Cообщить модератору

123. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от pashev.ru (?), 16-Окт-22, 08:58 
> математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям

Осталось доказать надёжность спецификаций. Но тут в комнату вошёл Гёдель...

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

165. "Google открыл код защищённой операционной системы KataOS"  +2 +/
Сообщение от Аноним (122), 16-Окт-22, 20:33 
> Но тут в комнату вошёл Гёдель...

Для справки: (1948 год) ...на собеседовании Гёдель попытался доказать, что Конституция США формально-логически неполна и не гарантирует защиты от установления диктатуры, но был вежливо остановлен.

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

192. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от red75prime (?), 18-Окт-22, 01:11 
...посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голову и убежал
Ответить | Правка | К родителю #123 | Наверх | Cообщить модератору

193. "Google открыл код защищённой операционной системы KataOS"  –2 +/
Сообщение от pashev.ru (?), 18-Окт-22, 20:41 
> ...посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голову
> и убежал

Так и не понял ты, юный падаван, суть математики.

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

196. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от red75prime (?), 19-Окт-22, 07:08 
Если это про то, что формализация арифметики может быть противоречивой, то про такое могут беспокоится только совсем выжившие из ума джедаи.
Ответить | Правка | Наверх | Cообщить модератору

203. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от pashev.ru (?), 19-Окт-22, 13:55 
> Если это про то, что формализация арифметики может быть противоречивой, то про
> такое могут беспокоится только совсем выжившие из ума джедаи.

Так и не понял ты, юный падаван, суть математики.

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

204. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от pashev.ru (?), 19-Окт-22, 13:56 
> Если это про то, что формализация арифметики может быть противоречивой, то про
> такое могут беспокоится только совсем выжившие из ума джедаи.

Скачай и прочитай «Гёдель, Эшер, Бах: эта бесконечная гирлянда». А также «Новый ум короля».

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

205. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от red75prime (?), 20-Окт-22, 14:44 
Если что-то доказано, то оно доказано и это можно проверить механически, и никакие теоремы о неполноте этому не мешают. А соответствует-ли теорема спецификации, написанной на естественном языке - вопрос внематематический. И Гёдель, Пенроуз или Хофштадтер, как и любые другие люди, тут могут только тыкнуть пальцем в несоответствие спецификации и её формализации (если оно есть).
Ответить | Правка | Наверх | Cообщить модератору

207. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Myyx (?), 20-Окт-22, 21:11 
>> Если что-то доказано, то оно доказано и это можно проверить механически

точно. проверить и проинтерпретировать. да?

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

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

146. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (146), 16-Окт-22, 12:25 
> KataOS
> CAmkES
> seL4

Названия просто трындец. Предлагаю им сделать имя пользователя по умолчанию - ЛСДУ3.

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

160. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Аноним (160), 16-Окт-22, 15:54 
Держи карман шире!
Ответить | Правка | Наверх | Cообщить модератору

161. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Лсдуз (?), 16-Окт-22, 15:59 
думаешь поможет?
Ответить | Правка | К родителю #146 | Наверх | Cообщить модератору

163. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от пох. (?), 16-Окт-22, 16:40 
Да ну нафиг, обычный карго-культ, это так не работает.

Сперва хотя бы министерство у себя пусть создадут, а вот потом можно уже и к распилу приступить.

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

166. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (122), 16-Окт-22, 21:31 
Это всё у них есть, что ещё они могут сделать?
Ответить | Правка | Наверх | Cообщить модератору

167. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от Аноним (167), 16-Окт-22, 21:33 
> В качестве примера подобных приложений приводятся системы, манипулирующие изображениями людей и голосовыми записями.

Никого такие заявления не напрягают ? За такое надо замуровывать пока не поздно. А то потом гуголь наберет кредитов на имя любого человека. Они чем нибудь думают ?

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

186. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от A (?), 17-Окт-22, 17:37 
Скорее что тогда надо законодательство и практику менять так, что фото и видео не играют роли. В пользу какой-либо подписи через отпечаток связей нейронных клеток головного мозга.
Ответить | Правка | Наверх | Cообщить модератору

187. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от A (?), 17-Окт-22, 17:38 
А вот если начал думать иначе, сменился отпечаток, сменились документы и заново все права получать... Ибо гад уже думает не как раньше было одобрено.

Мрак.

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

168. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Аноним (168), 16-Окт-22, 22:55 
Вспомнилась ОС на Rust Redox. Есть GUI и микроядро
Ответить | Правка | Наверх | Cообщить модератору

190. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от истина в последней инстанции (?), 18-Окт-22, 00:30 
Типа есть. Оно не работает от слова совсем.
Ответить | Правка | Наверх | Cообщить модератору

202. "Google открыл код защищённой операционной системы KataOS"  +/
Сообщение от Прохожий (??), 19-Окт-22, 07:36 
Если ты пытался её запускать, то и неудивительно. С твоими-то когнитивными способностями.
А так вообще работает. И даже на реальном железе. Фотки на сайте можно посмотреть.
Ответить | Правка | Наверх | Cообщить модератору

188. "Google открыл код защищённой операционной системы KataOS"  +1 +/
Сообщение от Максим (??), 17-Окт-22, 18:17 
Вот это правильно! Создавайте на Расте новые ОС, а Linux оставьте в покое, пожалуйста.
Ответить | Правка | Наверх | Cообщить модератору

194. "Google открыл код защищённой операционной системы KataOS"  –1 +/
Сообщение от fidoman (ok), 18-Окт-22, 20:42 
открытие наработок...связанных с проектом...нацеленным на...

Хороший ход, не публикуя завершённый проект, получить активность энтузиастов, которые расскажут про все дыры.

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

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

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




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

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