forum.opennet.ru

"Google открыл код защищённой операционной системы KataOS"

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

Исходное сообщение

[ Отслеживать ]

Заметили полезную информацию ? Пожалуйста добавьте в FAQ на WIKI.

"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ообщить модератору

Оглавление

Google открыл код защищённой операционной системы KataOS, opennews, 15-Окт-22, 10:43 [смотреть все]

Genode какой-тл, Аноним, 15-Окт-22, 10:43 (1)
Опять пермессивщина , Аноним, 15-Окт-22, 10:45 (2) //
- вам шашечки , Аноним, 15-Окт-22, 10:47 (3) //
  - GPL нам подавайте иначе это просто напросто фольшивка, Самый Лучший Гусь, 15-Окт-22, 11:04 (6)
  - Нам не хочется бесплатно работать на хайпомакак в гугле Это странно , Аноним, 15-Окт-22, 13:52 (44) //
    - Так вы никогда и не работали , Аноним, 15-Окт-22, 14:28 (50)
      - Не хочется потому и не работали Это разве странно , Аноним, 15-Окт-22, 17:20 (72)
    - Берёшь и лицензируешь форк под GPL Всего делов-то, но вонять ты горазд , Пенис, 15-Окт-22, 20:45 (87)
  - Замечено, как только копрорасты хотят что-то выкинуть из объедков, почти прямико, Аноним, 17-Окт-22, 11:54 (178)
- Вы так говорите, как будто это плохо , Аноним, 15-Окт-22, 11:04 (7) //
  - Да, пермиссивщина это плохо , Аноним, 15-Окт-22, 12:01 (21)
Эти все скучные буковки читайте сами Где не скучные обои , Аноним, 15-Окт-22, 11:03 (4)
Кто пишет эту чушь Раст не предоставляет средств для защиты от переполнения цел, Аноним, 15-Окт-22, 11:04 (8) //
- Раст предоставляет защиту в дебаге и однозначное поведение в релизе А не хз ка, Анонн, 15-Окт-22, 11:14 (10) //
  - Как раз компилятор решает , Лолштоним, 15-Окт-22, 20:39 (86) //
    - И разные компиляторы обрабатывают эту ситуацию по разному В том-то и проблема, Аноним, 15-Окт-22, 23:20 (108)
      - и сколько есть разных компиляторов rust , анон, 16-Окт-22, 02:01 (116)
        
        каждую новую версию , Аноним, 16-Окт-22, 05:21 (122)
        Ноль Потому что-то назвать обёртку вокруг llvm комплилятором это себя не уваж, Аноним, 16-Окт-22, 11:38 (140)
        
        это даже для опеннета очень слабый наброс , анон, 16-Окт-22, 13:12 (150)
        https github com Rust-GCC gccrshttps github com bjorn3 rustc_codegen_craneli, Аноним, 16-Окт-22, 13:20 (151)
        
        1 mrustc2 rust-gcc3 rustc, Igraine, 16-Окт-22, 13:47 (154)
        
        Интересный пример, в двух из трех репозиториев авторы сами чёрным по белому пишу, анон, 16-Окт-22, 23:33 (169)
- Ох уж эти иксперды с опеннета пишущие в комментах чушь 8230 Все там предоставл, Прув, 15-Окт-22, 11:18 (11) //
  - Любому человеку это кажется не очень то и безопасным , Аноним, 15-Окт-22, 12:22 (24) //
    - Это безопасно Почти в любом языке есть возможность сделать безопасную работу и п, eganru, 15-Окт-22, 12:28 (29)
      - Чушь не пори это полностью небезопасно , Аноним, 15-Окт-22, 16:44 (65)
      - Но ведь в С и С если a и b целое со знаком, то переполнение неопределенно, усл, Igraine, 15-Окт-22, 21:55 (93)
      - это чудесно, но что, если signed , Аноним, 17-Окт-22, 14:20 (182)
  - про С__builtin_ _overflow, Маняним, 15-Окт-22, 12:26 (28) //
    - А где в этой ветке хоть слово было про Си , Прохожий, 15-Окт-22, 13:42 (38)
    - Омг , Аноним, 15-Окт-22, 16:45 (66)
- Лучшая защита это прямые руки и умение в алгоритмы, а не клепание формочек на фр, Chlen22sm, 15-Окт-22, 21:52 (91) //
  - Покажите что вы там своими прямыми руками написали И да, фреймворк это программн, Igraine, 15-Окт-22, 22:03 (96)
  - ага, просто пишите хороший код, а плохой не пишите , анон, 16-Окт-22, 13:31 (153)
gt оверквотинг удален Надо брать определенно А то уже устал сидеть на не засл, Аноним, 15-Окт-22, 11:06 (9) //
- Колючие глаза Римского через стол врезались в лицо администратора, и чем дальше , швондер, 15-Окт-22, 12:26 (27)
- Вот это - самое главное Самый чётко определённый термин, доказанный мат, Аноним, 16-Окт-22, 03:22 (118)
Блин я только перешёл на Fuchsia , Аноним, 15-Окт-22, 11:28 (12) //
- Встречайте Гладиаторские бои на гугл-арене И пусть победит сильнейший , Аноним, 17-Окт-22, 08:34 (172)
Fiasco OC Ты ли это , Аноним, 15-Окт-22, 11:32 (13)
Конкуренция это всегда хорошо, может хоть Гугл заставит Линуса шевелиться , Аноним, 15-Окт-22, 11:35 (14)
Это просто чудесно Почему так - они точно не знают Предлагают переписать всё на, Аноним, 15-Окт-22, 11:45 (15)
Пусть сначала этот гугл докажет что это не просто выкидыш , не просто перделка , Alexey Torgashin, 15-Окт-22, 11:56 (18) //
- Напиши плз контакты, как гуглу с тобой связаться, куда доказательства отправлять, Самый умный из вас, 15-Окт-22, 13:51 (42) //
  - Так он написал имя Гугл же всё про всех знает , n00by, 15-Окт-22, 17:09 (71)
Google открыл код защищённой операционной системы KataOS, Бывалый смузихлёб, 15-Окт-22, 11:59 (19) //
- Логично же Его же придется переверифицировать заново А так используют уже вери, Аноним, 15-Окт-22, 12:05 (22) //
  - Всё просто верификатор не может верифицировать код раста , Аноним, 16-Окт-22, 03:24 (119)
Похоже я ошибся , ОС не для десктопа а для встраиваемых штук Но это ещё вопрос , Alexey Torgashin, 15-Окт-22, 12:10 (23) //
- Подскажу Даже гугл её никуда не взял Делай вывод , Аноним, 15-Окт-22, 12:23 (25) //
  - Часто подобные проекты изначально делают ради эксперимента, делают тесты, выводы, _kp, 17-Окт-22, 09:55 (177)
- Для определенного класса встраиваемых штук, тк требования слишком высокие чтобы, eganru, 15-Окт-22, 12:23 (26)
- Для вещей, где софтварный сбой может стоит миллиарды Вряд ли В любом случае не , Аноним, 15-Окт-22, 14:14 (49) //
  - Ну и чем оно лучше того же миникса А для остальных случаев - есть как минимум йо, Бывалый смузихлёб, 15-Окт-22, 16:16 (60) //
    - Скажу, чтобы у тебя, знатного растохейтера лишний раз подгорело - всё, кроме мик, Аноним, 17-Окт-22, 09:02 (173)
  - Не похоже, что сабж такой уж дорогой Для чего ещё Нам мало где требуется надёжн, Аноним, 15-Окт-22, 21:31 (89)
Меня уже не удивляет то, что в передовых разработках применятся раст Превосход, Джон Макагонов, 15-Окт-22, 12:29 (30) //
- раст не полетел Ему на смену уже идёт Карбон , Аноним, 15-Окт-22, 13:08 (35) //
  - MS, Google, Amazon, Meta вовсю начали использовать Rust Но анонимный воин супро, Прохожий, 15-Окт-22, 13:55 (46) //
    - Тогда понятно, почему у их Вселенная не взлетела, а народ разбегается уже после , Аноним, 16-Окт-22, 03:27 (120)
      - Именно поэтому 8212 как узнают, что на расте написано, сразу бегут, пока паца, Аноним, 16-Окт-22, 16:01 (162)
      - Она ещё не готова просто, о взлёте говорить пока рано Про другие фирмы есть что, Прохожий, 19-Окт-22, 07:22 (199)
  - Ты заврался донельзя Всё перевернул Раст летит как раз хорошо и это видно по пр, Аноним, 17-Окт-22, 09:31 (174)
  - Естесственно, Rust придуман не Google , Аноним, 17-Окт-22, 16:48 (183)
Вообще такое ощущение, что новости специально пишут так, чтобы в комментах был ж, eganru, 15-Окт-22, 12:34 (31) //
- Зима приближается, нужно запасаться , Аноним, 15-Окт-22, 15:22 (58)
Kata Containers, KataOS, Rust и Go - что происходит , Друг Сергея, 15-Окт-22, 13:06 (33) //
- Эволюция происходит Софт усложняется Люди ищут способы бороться с этой сложнос, Прохожий, 15-Окт-22, 13:52 (45) //
  - Я бы не сказал, что они что-то упростили , Аноним, 15-Окт-22, 21:32 (90) //
    - Нет ничего проще, надёжнее и безопаснее чем ANSI C, остальное пустой пиар, Аноним, 16-Окт-22, 11:28 (132)
      - Talk is cheap, show me your code c , Аноним, 16-Окт-22, 13:12 (149)
    - Работа с памятью Теперь можно гораздо меньше уделять ей внимания Странно, что , Прохожий, 19-Окт-22, 07:19 (198)
Для дополнительной защиты все компоненты, кроме микроядра, изначально развиваютс, Аноним, 15-Окт-22, 13:29 (36) //
- Линукс - для серверов и десктопа А это для встройки Разные ниши В идеале и Ли, Прохожий, 15-Окт-22, 13:50 (40) //
  - Только переписывание линукса на раст линуксу ничего не даст Так что этого никог, Аноним, 15-Окт-22, 14:29 (53) //
    - Вообще-то даст - дополнительную стабильность Это уже огромный жирный плюс , Прохожий, 19-Окт-22, 07:17 (197)
  - окей, окей, Yocto и остальные на помойку, тк анон опенета решил, что Linux для с, Бургер, 15-Окт-22, 15:21 (57) //
    - Вот именно На помойку Любая проблема с памятью и всё, конец железке , Прохожий, 19-Окт-22, 07:26 (200)
      - ноотопы в помощь, Бургер, 23-Окт-22, 13:32 (208)
- Они не отстанут пока не сломают Линукс окончательно , Аноним, 16-Окт-22, 11:27 (131)
Ожидаемо набежало стадо воинов супротив Rusta Местные неосиляторы решили в очер, Прохожий, 15-Окт-22, 14:01 (47)
Такое ощущение,что amd64 закапывают вслед за х86 Новости чуть ли не поголовно п, Аноним, 15-Окт-22, 14:09 (48) //
- Гегемония интел-амд многим мешаетГуглу в том сегменте заработать как Строим нов, Аноним, 15-Окт-22, 22:01 (95)
А это всё на каких языках написано И почему нет пары абзацев о достоинствах это, ИмяХ, 15-Окт-22, 15:11 (56) //
- Потому что цель это пиар раста Если бы цель была написание безопасностной и надё, Аноним, 16-Окт-22, 11:23 (128) //
  - Т е за 50 лет существования сишки никто такой целью не задавался , Аноним, 16-Окт-22, 13:10 (148) //
    - Задавался И написал Называется L4 , Аноним, 16-Окт-22, 15:20 (158)
      - Называется слышал звон , Аноним, 16-Окт-22, 15:48 (159)
      - L4 - микроядро Микроядро - не операционная система, а ее часть Пусть и важная , Аноним, 17-Окт-22, 09:41 (175)
Они взяли верифицированное микроядро и сверху накинули неверифицированную инфрас, Аноним, 15-Окт-22, 17:43 (74) //
- А у вас есть верифицированная инфраструктура на си, чтобы накинуть поверх ядра , Аноним, 15-Окт-22, 23:25 (110) //
  - Примерно те же люди, которые сделали проект seL4, сделали проект CakeML - a func, anonymous, 16-Окт-22, 13:29 (152)
У них ничего не получится Как обычно , Аноним, 15-Окт-22, 19:42 (82) //
- Сказал аноним в адрес корпорации с мультимиллиардным оборотом , Прохожий, 19-Окт-22, 07:30 (201)
А там не хрустело ли Да и какие дрова Не под это сферическое оборудование, под , user90, 15-Окт-22, 19:58 (83)
Васян с бодуна сделает опечатку в коде и всё это логически верифицированное можн, Аноним, 15-Окт-22, 20:38 (85)
Очередное распиаренное фуфло от гугла для жертв современного образования, Аноним, 15-Окт-22, 21:55 (92)
Это очень большая проблема что L4 предлагает большой выбор Всё должно быть компа, Аноним, 15-Окт-22, 22:40 (103)
От логических ошибок программиста никакой Rust не спасет , Neon, 16-Окт-22, 01:05 (113) //
- Ну так гиганты статистику выкладывали - от 70 спасёт, от 30 логических , хот, Аноним, 17-Окт-22, 09:50 (176)
Посочувствуем Гугле - кроме него, да пары отмороженых студентов, никто писать на, Аноним, 16-Окт-22, 01:31 (115)
Осталось доказать надёжность спецификаций Но тут в комнату вошёл Гёдель , pashev.ru, 16-Окт-22, 08:58 (123) //
- Для справки 1948 год на собеседовании Гёдель попытался доказать, что Конст, Аноним, 16-Окт-22, 20:33 (165)
- посмотрел на что пытаются натянуть его теорему о неполноте, схватился за голо, red75prime, 18-Окт-22, 01:11 (192) //
  - Так и не понял ты, юный падаван, суть математики , pashev.ru, 18-Окт-22, 20:41 (193) //
    - Если это про то, что формализация арифметики может быть противоречивой, то про т, red75prime, 19-Окт-22, 07:08 (196)
      - Так и не понял ты, юный падаван, суть математики , pashev.ru, 19-Окт-22, 13:55 (203)
      - Скачай и прочитай 171 Гёдель, Эшер, Бах эта бесконечная гирлянда 187 А так, pashev.ru, 19-Окт-22, 13:56 (204)
        
        Если что-то доказано, то оно доказано и это можно проверить механически, и никак, red75prime, 20-Окт-22, 14:44 (205)
        
        точно проверить и проинтерпретировать да ну математика оно такое как и любое з, Myyx, 20-Окт-22, 21:11 (207)
Названия просто трындец Предлагаю им сделать имя пользователя по умолчанию - ЛС, Аноним, 16-Окт-22, 12:25 (146) //
- Держи карман шире , Аноним, 16-Окт-22, 15:54 (160)
- думаешь поможет , Лсдуз, 16-Окт-22, 15:59 (161) //
  - Да ну нафиг, обычный карго-культ, это так не работает Сперва хотя бы министерств, пох., 16-Окт-22, 16:40 (163) //
    - Это всё у них есть, что ещё они могут сделать , Аноним, 16-Окт-22, 21:31 (166)
Никого такие заявления не напрягают За такое надо замуровывать пока не поздно , Аноним, 16-Окт-22, 21:33 (167) //
- Скорее что тогда надо законодательство и практику менять так, что фото и видео н, A, 17-Окт-22, 17:37 (186) //
  - А вот если начал думать иначе, сменился отпечаток, сменились документы и заново , A, 17-Окт-22, 17:38 (187)
Вспомнилась ОС на Rust Redox Есть GUI и микроядро, Аноним, 16-Окт-22, 22:55 (168) //
- Типа есть Оно не работает от слова совсем , истина в последней инстанции, 18-Окт-22, 00:30 (190) //
  - Если ты пытался её запускать, то и неудивительно С твоими-то когнитивными спосо, Прохожий, 19-Окт-22, 07:36 (202)
Вот это правильно Создавайте на Расте новые ОС, а Linux оставьте в покое, пожал, Максим, 17-Окт-22, 18:17 (188)
открытие наработок связанных с проектом нацеленным на Хороший ход, не публ, fidoman, 18-Окт-22, 20:42 (194)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру