The OpenNET Project / Index page

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

Google представил проект Open Se Cura для создания защищённых программно-аппаратных систем

07.11.2023 22:24

Компания Google представила программно-аппаратный комплекс Open Se Cura, ориентированный на упрощение создания защищённых чипов, предназначенных для решения задач, связанных с машинным обучением и искусственным интеллектом. Проект включает в себя операционную систему CantripOS и аппаратное обеспечение, основанное на платформе OpenTitan и процессорном ядре на базе архитектуры RISC-V. В ходе разработки Open Se Cura и CantripOS развивались под именами Sparrow и KataOS, но для исключения пересечения с другими проектами финальные продукты были переименованы. Наработки проекта, включая исходные тексты системных сервисов и RTL-схемы (Register Transfer Level), распространяются под лицензией Apache 2.0.

Операционная система CantripOS базируется на микроядре seL4, поверх которого выполняется системное окружение, написанное на языке Rust. На системах RISC-V для микроядра seL4 предоставлено математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям, заданным на формальном языке. Архитектура seL4 примечательна выносом частей для управления ресурсами ядра в пространство пользователя и применения для таких ресурсов тех же средств разграничения доступа, что и для пользовательских ресурсов.

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

Все компоненты ОС, кроме микроядра, изначально написаны на языке Rust с использованием безопасных приёмов программирования, минимизирующих ошибки при работе с памятью. На Rust среди прочего написаны загрузчик приложений в окружении seL4, системные сервисы, фреймворк для разработки приложений, API для доступа к системным вызовам, менеджер процессов и механизм динамического распределения памяти.

Для верифицированной сборки задействован инструментарий CAmkES, развиваемый проектом seL4. Для разработки конечных приложений, которые могут динамически загружаться системными сервисами, предлагается использовать SDK AmbiML, а для выполнения моделей машинного обучения инструментарий IREE (Intermediate Representation Execution Environment). Компоненты на Rust и системные сервисы разработаны с использованием фреймворков Cantrip.

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

Кроме Google в разработке инструментария и элементов инфраструктуры приняли участие некоммерческая организация lowRISC, курирующая разработку свободного микропроцессора на базе архитектуры RISC-V, а также компании Antmicro и VeriSilicon. Развиваемый организацией lowRISC процессор был использован в качестве ядра для построения заслуживающих доверия аппаратных компонентов (RoT, Root of Trust). Компания Antmicro предоставила проекту симулятор Renode, позволяющий тестировать CantripOS и микроядро seL4 без реального оборудования. Компания VeriSilicon поделилась своим опытом в области создания чипов и разработки BSP (Board Support Package).

  1. Главная ссылка к новости (https://opensource.googleblog....)
  2. OpenNews: Завершено RTL-проектирование OpenTitan, платформы для заслуживающих доверия чипов
  3. OpenNews: Выпуск операционной системы Redox OS 0.8, написанной на языке Rust
  4. OpenNews: Микроядро seL4 математически верифицировано для архитектуры RISC-V
  5. OpenNews: Прототип отечественной ОС Phantom на базе Genode будет готов до конца года
  6. OpenNews: Google открыл код защищённой операционной системы KataOS
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/60071-opensecura
Ключевые слова: opensecura, risc-v, opentitan, google, kataos, cantripos, rust
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (135) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 22:54, 07/11/2023 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +5 +/
     

  • 1.2, Аноним (2), 22:55, 07/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –5 +/
    Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.
     
     
  • 2.4, Вы забыли заполнить поле Name (?), 22:59, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > и без особой боязни многие новые ненужные вещи (хотя бы частично) пишут на нём

    поправил тебя, не благодари

     
     
  • 3.122, Советский инженер (ok), 11:33, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –4 +/
    > и без особой боязни многие новые ненужные (анониму с опеннета) вещи (хотя бы частично) пишут на нём

    поправил тебя, не благодари

     
     
  • 4.141, scriptkiddis (?), 14:29, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > и без особой боязни многие новые ненужные (большинству) вещи (хотя бы частично) пишут на нём

    поправил тебя, не благодари

     
  • 2.5, Вы забыли заполнить поле Name (?), 23:00, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +7 +/
    > Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.

    Что-то mozilla так не думает. Пописали и бросили.

     
     
  • 3.6, Аноним (6), 23:07, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    ну это мозилла, чего ты хотел? в комменте речь шла про корпорации, которые умеют в getting things done. Мозилла не из их числа.
     
     
  • 4.12, Аноним (12), 23:47, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Ну а гугель "покатал и бросил" или мелкософт еее для вас будут лучшими примерами?
    Вполне логично - кто сложился тот и рекламирует.
     
     
  • 5.27, Аноним (27), 00:25, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну а гугель "покатал и бросил"

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

     
     
  • 6.79, bOOster (ok), 05:47, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Гугль вообще не показатель - у него в каждой версии андроида новые языки и т.п. Но и эти "новшества" остаются только в этой версии. Чем бы детки не тешились - лишь бы не плакали.
     
  • 4.106, Аноним (106), 09:24, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Гугл эту ерунду выкинул в опенсорс потому что наигрался они ничего на ней не сделали путного.
     
     
  • 5.146, Аноним (6), 17:29, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    а ты что-нибудь выкидывал в опенсорс? или ты если что-то и выкидываешь - то только свои комменты в опеннет?
     
  • 3.8, фыаыаафыа (?), 23:11, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    так мозилла и не корпорация, это кучка фриканов, которые существуют как и многое другое на деньги гугла, и имитируют бурную деятельность.
     
     
  • 4.13, Вы забыли заполнить поле Name (?), 23:48, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > так мозилла и не корпорация, это кучка фриканов, которые существуют как и
    > многое другое на деньги гугла, и имитируют бурную деятельность.

    Несмотря на это они делают один из двух конкурентов хрому.

     
     
  • 5.24, Аноним (24), 00:21, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Конкурент с 2.5%?
    Это даже более унизительно чем "Линукс конкурент Винде на десктопах"
     
     
  • 6.65, Аноним (65), 03:41, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ну эту статистику и подделать могут. На ваших сайтах эта глобальная статистика совпадает? Я уже давно забросил свои сайты, но по моему у Мозиллы было намного больше 2.5%
     
     
  • 7.85, Третий П (?), 07:47, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну эту статистику и подделать могут.

    Мы многого не знаем (tm)

     
     
  • 8.101, Аноним (-), 09:03, 08/11/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 6.72, Вы забыли заполнить поле Name (?), 04:19, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Конкурент с 2.5%?
    > Это даже более унизительно чем "Линукс конкурент Винде на десктопах"

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

     
     
  • 7.87, Третий П (?), 07:52, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Конкурент - лицо, предприятие или организация, соперничающие на каком-либо поприще, в какой-либо деятельности с другим (другими); соперник.

    Соперник, бро! Мазила такой же соперник Хромому как и улюлюкс винде на десктопе.

     
  • 3.9, Аноним (9), 23:29, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Что-то mozilla так не думает. Пописали и бросили.

    Так это нормально.  Попробовать, не понравилось, бросить. Не меняются только мёртвые и упоротые.

     
     
  • 4.14, Аноним (24), 23:49, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А что вы сразу про иксы!
    Не такие они уже мертвые... недавно там баги фиксили
     
  • 4.15, Аноним (12), 23:49, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ненормально это когда ты позвал друзей в горы, показал им направление, пообещал красивый вид, а сам остался на турбазе.
     
     
  • 5.25, Аноним (24), 00:21, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Если они в итоге увидят красивый вид - то все норм.
    Они же не на тебя смотреть приехали.
     
     
  • 6.77, bOOster (ok), 05:43, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Нет, они увидят обвал. И возвращать их будут по частям..
     
  • 3.11, Аноним (11), 23:46, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Что бросили? Зачем писать о вещах в которых не разбирается, они перенесли некоторые наработки из Servo, цели переписать браузер не было.
     
     
  • 4.16, Аноним (12), 23:50, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Теперь уже не было? Совсем недавно заявлялось обратное, даже графики переписывания публиковали.
     
     
  • 5.20, Анонин (?), 00:03, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Может тогда вы поделитесь ссылочками на эти прекрасные графики? А то без пруфов как-то не солидно...
     
  • 3.132, Аноним (132), 12:45, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >Что-то mozilla так не думает. Пописали и бросили.

    Mozilla -- не корпорация, Mozilla существует на донаты от гугла почти целиком (75%) их бюджета. Вообще, современная мозилла больше похожа на такой фонд для отмывания бабла и донатов всяким мутным личностям, чтобы сам Гугель не светился особо.

    Тред на ЛОРе в тему: https://www.linux.org.ru/forum/talks/17309442

     
     
  • 4.135, Бывалый смузихлёб (?), 13:16, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    а по мозилле и её пожертвованиям даже целые расследования были
    Там и длиннющие цепочки фирм в разных юрисдикциях и уже не существующие конторы и многое другое было
     
  • 2.7, Аноним (9), 23:10, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Только вот проблема. Пока что у твоего прекрасного безопасного языка всё подвязано на стандартную сишную библиотеку и набор софта из gnu. Это что касается линепсов всяких. Что же про винду, то без visual studio ты его не поставишь тоже.
     
     
  • 3.17, Анонин (?), 23:53, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • –4 +/
    Сгорел сарай - гори и хата, так?
    Невозможно все сделать единомоментно. И стандартная либа и gnu utils уже переписываются. Просто нужно какое-то время на это всё, всё-таки оно писалось десятилетиями и еще  ̶п̶р̶о̶д̶о̶л̶ж̶а̶е̶т̶ ̶ж̶и̶р̶е̶т̶ь̶  продолжает писаться.
     
     
  • 4.32, Аноним (32), 00:48, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Невозможно все сделать единомоментно.

    Это логично было бы делать в первую очередь.

     
     
  • 5.45, Аноним (45), 01:40, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    MVP же, азбучные вещи. Сначала нужно было чтобы хоть как-то заработало. Пусть даже поверх стандартного libc.
     
     
  • 6.78, bOOster (ok), 05:45, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Для языка который преподноситься как "серебряная пуля" в безопасности - "Как-то заработало" неприемлимо.
     
     
  • 7.121, Аноним (45), 11:27, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Вот только преподносится он в качестве "серебряной пули" кем угодно, только не его создателями. В основном этим занимаются хейтеры, с целью потом упомянуть unsafe или еще что-нибудь в этом роде. А основная фишка раста только в том, что в нем гораздо сложнее выстрелить себе в ногу чем-то вроде use-after-free или переполнением буфера, а libc здесь совершенно не при чем.
     
  • 7.169, Аноним (169), 22:55, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Для языка который преподноситься как "серебряная пуля" в безопасности

    Лол, кем преподносится? Опеннетными циркачами жанра "сам ляпнул чушь, сам же ее и разоблачил"?

     
  • 3.23, Аноним (24), 00:19, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А что не так с вижуал студией?
    Если у тебя уже винда, то добавление студии ситуацию не изменит))
     
     
  • 4.31, Аноним (32), 00:47, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > А что не так с вижуал студией?

    Официальный установщик принуждает поставить из-за СИшных утилит необходимых "самому безопасному языку". Не знали?! :)

     
     
  • 5.46, Аноним (24), 01:43, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Э... и?
    Я все еще не вижу проблемы установить студию.
    И наличие СИшных либ не тоже особая проблема - код в любом случае станет получше (хотя бы уменьшим вероятность ситуации "нажал пробел 30 раз - получил рута")
    Или ты боишься, что через сишные дыры напихают еще больше бекдоров?

    Вообще на этом сайте винда не очень интересна, чего ты так нервничаешь))?

     
  • 3.100, Аноним (100), 08:48, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    А я так и не понял в чем проблема?
    Или проблема это стандартная сишная либа и набор софта из gnu?
     
  • 3.133, Аноним (132), 12:54, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >всё подвязано на стандартную сишную библиотеку

    Не, не подвязано. Можно собирать с musl, а для ембеддеда и без libc вообще.

    >набор софта из gnu

    гнутый софт там нахрен не нужен.

     
  • 3.137, Аноним (169), 13:40, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Только вот проблема. Пока что у твоего прекрасного безопасного языка всё подвязано на стандартную сишную библиотеку и набор софта из gnu.

    А почему это проблема?

     
     
  • 4.145, Аноним (145), 17:00, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Потому, что качество кода во всём этом так себе, но вслух сказать такое у опеннетного васяна язык не поворачивается, вот он и пытается иносказательно донести мысль.
     
  • 2.10, Аноним (10), 23:33, 07/11/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Это плохо, ибо проблемы с памятью были одним из способов избежать корпоративного кибергулага. Особенно это вадно на всяких drm штуковинах.
     
     
  • 3.19, Аноним (12), 00:01, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Раст никогда не стремился избегать цифрового ГУЛАГа, скорее наоброт строил его.
     
     
  • 4.21, Аноним (10), 00:09, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Так я об этом и говорю
     
  • 3.22, Аноним (24), 00:17, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ого, оказывается "проблемы с памятью" - это теперь стало хорошо!

    Ну ничоси!
    Получается диды не навыпрограммировали кучу дырявого кода, а боролись с будущим кибергулагом!
    Они же просто панки от мира программирования: боролись с Системой™ как могли, то наложили кучку в подъезде, то сделали пару лишних дырок в окнах, то сломали дверь парадной.

     
     
  • 4.30, Аноним (10), 00:37, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Помимо кривляний есть что сказать? Что-то по теме, например?
     
     
  • 5.37, Аноним (24), 01:06, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    По теме 1 Используют seL4 - микроядро, да еще и с верификацией это уже шаг в... большой текст свёрнут, показать
     
     
  • 6.40, Аноним (32), 01:23, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > RISC-V - это тоже отлично, открытая свободная (пермессивная) архитектура, на которой можно строить долговременые проекты и бизнес без опасения что завтра изменятся условия лицензирования

    Свобода там только в архитектуре cpu, остальные 100500 модулей внутри soc (wireless, ethernet, аудио, и т.д.) могут быть любыми проприетарными. И ничто не мешает добавить поверх всего этого какой-нибудь intel me.

     
     
  • 7.43, Аноним (24), 01:36, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Свобода там только в архитектуре cpu

    Разве это не прекрасно?

    >  могут быть любыми проприетарными

    А могут не быть. Пусть сообщество сделает простенькое GPU. Никто же этого не запрещает.
    Хотя... вот же его уже делают https://www.eetimes.com/rv64x-a-free-open-source-gpu-for-risc-v/
    https://github.com/avl-bsuir/rv64x-base
    Доделают или нет, и будет ли он когда-то сделан в железе - другой вопрос.

     
  • 6.63, Аноним (1), 03:33, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Свобода там - для тех, кто у фабрик может чипы заказывать. В несколько итераций. То есть для крупных корпораций.
     
     
  • 7.73, Аноним (73), 04:55, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Свобода там - для тех, кто у фабрик может чипы заказывать. В несколько итераций. То есть для крупных корпораций.

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

     
     
  • 8.94, Третий П (?), 08:11, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Это легко проверить Берёшь листочек формата А4 Пишешь на нём У меня Линукс Я... текст свёрнут, показать
     
     
  • 9.98, Аноним (73), 08:27, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И каков результат в твоей стране Договаривай раз делишься опытом... текст свёрнут, показать
     
     
  • 10.130, Аноним (130), 12:23, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Наверное, ему доступ к компу предоставили в специадьной комнате на 5 минут, чтоб... текст свёрнут, показать
     
  • 8.127, Аноним (130), 12:18, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    8734 ... текст свёрнут, показать
     
     
  • 9.134, Аноним (134), 12:59, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Предположим, что линейная плотность такого поводка конечна, а поводок прочный на... большой текст свёрнут, показать
     
  • 9.148, Аноним (145), 19:02, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    За кого я вас принимаю ясно и так, просто мы не сошлись в цене Wдлине поводка П... текст свёрнут, показать
     
  • 4.33, Аноним (32), 00:53, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    > диды не навыпрограммировали кучу дырявого кода

    Вы не обольщайтесь. Смузеры производят дыр не меньше, а может и в разы больше. Недавно наткнулся на эпичное обсуждение на govnokod.ru, где нейросеть закинула код с бэкдором. Обнаружили это уже в проде. Как говорится, коротко о компетенциях нынешних спецов.

     
     
  • 5.36, Анонин (?), 01:05, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Так смузикодеры еще ничего толком написать не успели, нейронку обучали на опенсорсных кодах дидов.
     
     
  • 6.38, Аноним (32), 01:10, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Т.е. вы хотите сказать, что типичный вайтишник с незаконченным высшим гуманитарным образованием, посмотрев Ютуб курс а-ля "пихон за час", сможет в нормальный код? У нас в копании периодически проводят собеседования, так бОльшая часть молодых специалистов ничего не может от слова совсем, причем мы очень лояльны и даже позволяем пользоваться гуглом и чатжпт для прохождения тестов.
     
     
  • 7.80, bOOster (ok), 06:04, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Го*нокодить может каждый - это называется решение задачи. Другое дело что он не знает что достаточно часто нага*еный код зачастую исполняет не то что изначально задумывалось.
     
     
  • 8.83, Аноним (73), 06:17, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Если человек не понимает, что он пишет, то его профпригодность под большим вопро... текст свёрнут, показать
     
     
  • 9.115, bOOster (ok), 10:21, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    К сожалению пока топор на башку руководителю проекта не упадет - он будет думать... текст свёрнут, показать
     
  • 6.39, Аноним (32), 01:13, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > нейронку обучали на опенсорсных кодах дидов

    P.S. И здесь проблема не в нейронке и "дидах", а том, что кодеры такие куски пропускают, тупо не понимая что этот код делает.

     
     
  • 7.41, Аноним (24), 01:24, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И? раньше просто копипистили с книг и форумов, потом с чужих открытых проектов (криво подпиливая), потом со стековерфлоу и подобных сайтов...
    Т.е ничего не изменилось.
    Те кто не хотел прочитать и понять код, так же его не читают и даже не хотят понимать.
    С учетом сайта, на который ссылаются, не удивлен.

    В проектах которых мне довелось участвововать - такое завернули бы еще на этапе ревью.

     
     
  • 8.47, Аноним (73), 01:44, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Сравнивать чатжпт и книги 8230 ну такое себе А стековерфлоу даже банит за коп... текст свёрнут, показать
     
     
  • 9.66, Аноним (66), 03:43, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Точно, сравнивать кучу воды, и четкие ответы на вопроосы... текст свёрнут, показать
     
  • 8.81, bOOster (ok), 06:06, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И ты думаешь что использование Rust это изменит ... текст свёрнут, показать
     
     
  • 9.109, ИмяХ (ok), 09:28, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да Раст такое будет заворачивать ещё на этапе компиляции ... текст свёрнут, показать
     
     
  • 10.113, bOOster (ok), 10:15, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты думаешь обсуждаемый баран будет разбираться почему у него чего-то не компилир... текст свёрнут, показать
     
     
  • 11.125, Аноним (24), 12:07, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Т е проблема в баранах Ну так ему должны сделать атата на ревью Если его колле... текст свёрнут, показать
     
     
  • 12.126, bOOster (ok), 12:11, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    То есть мы возвращаемся к тому что rust нахрен никому разумному не сдался, и с с... текст свёрнут, показать
     
     
  • 13.129, Аноним (24), 12:23, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну-ну В таком случае нужно гнать взашей всех быдлокодеров из linux kernel, ко... текст свёрнут, показать
     
  • 2.74, Аноним (73), 05:12, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.

    Надоело играть в найди утечку памяти. Теперь играют в кто первый скомпиляет без undefined behavior.

     
     
  • 3.160, Аноним (160), 20:48, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Теперь играют в бесконечную игру "обнови до последней версии Rust" без спецификации.
     
  • 2.88, Аноним (88), 07:54, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну успехов. Но нет ли опасения, что разработчик языка со временем выкатит абонентскую плату? Долларов 20 в месяц за одно устройство. Бывало уже...
     
     
  • 3.131, Аноним (130), 12:36, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Тем более, что Гуглаг пилит свой Carbon.
     
     
  • 4.170, Вы забыли заполнить поле Name (?), 23:05, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Тем более, что Гуглаг пилит свой Carbon.

    Та это разраб какой-то оттуда пилит левой пяткой. Вообще многие проекты в github.com/google/ как бы "не официальные", что заявляют их README.

     
  • 3.139, Анонин (?), 13:47, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Нет опасений. Язык открыт, все утилиты открыты, выкачивай main хоть каждые полчаса.
    Все нужные крейты все равно зеркалируешь у себя, даже если crates.io закроют (или он приляжет, что на порядок более вероятно), то все равно работа не встанет.
     
     
  • 4.153, Аноним (160), 20:24, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Все равно пользоватся тухлятиной будет себе дороже, а точку на нем может поставить смена лицензии, что весьма вероятно.
     
  • 4.171, Вы забыли заполнить поле Name (?), 23:07, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Нет опасений. Язык открыт, все утилиты открыты, выкачивай main хоть каждые полчаса.
    > Все нужные крейты все равно зеркалируешь у себя, даже если crates.io закроют
    > (или он приляжет, что на порядок более вероятно), то все равно
    > работа не встанет.

    Чтобы работа встала достаточно закрыть доступ на бинари раста. Ыксперты его просто не смогут собрать и пойдут гулять.

     
  • 2.186, BeLord (ok), 09:28, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Крупняк оценивает стоимость владения решением, технические составляющие в этой оценке, максимум 30%
     

     ....большая нить свёрнута, показать (83)

  • 1.18, Аноним (18), 23:58, 07/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    > Se Cura

    пит буль

     
     
  • 2.191, Аноним (191), 12:40, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Пара Белум
     

  • 1.34, Аноним (34), 00:54, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Микроядро не предоставляет готовых высокоуровневых абстракций для управления файлами, процессами, сетевыми соединениями и т.п., вместо этого оно предоставляет лишь минимальные механизмы для управления доступом к физическому адресному пространству, прерываниям и ресурсам процессора.

    Так это и на БМП ОС сделать можно

     
     
  • 2.50, Аноним (65), 03:23, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Кто не понимает, то многослойный персептрон с обратной связью можно и на уровне ОС сделать, подключив к нужным входам и выходам, ограничив сигналы от деструктивного действия и оставить нейронку самообучаться. В целом я давно думал об ОС, в которую вставляешь железо, а оно само обучается и учится им управлять, если не знает драйверов, а если и знает то потихоньку улучшает. Идея хорошая.
     
     
  • 3.103, Аноним (103), 09:11, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Отличная идея, только в комплекте поставлять васю, который будет периодически покупать и устанавливать новые девайсы взамен окерпиченных во время обучения.
     
     
  • 4.108, Аноним (106), 09:27, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какого Васю ты что Федора, до точки самовывоза девайсов он дойти сможет на изи.
     
     
  • 5.166, Аноним (166), 22:31, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А если не секрет, то нейронную сеть какого размера дядя Федор может разместить в ОЗУ 32 Гб?
    А в целом напомню что в начале 90-х была такая популярная разработка как трипьютер — многомашинный компьютер состоящий из множества ЭВМ. Соответственно 2 процессора, где у каждого по 32 Гб памяти может разместить у себя ещё больше нейронов, а матрица процессов так вообще может дать неплохой результат при оптимальном размере.
     
  • 5.181, Аноним (181), 00:41, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А аналогичные разработки в России ведутся или продали и копию забыли сделать? Анонсировали же подобные технологии ОС с ИИ на железе.
     
  • 4.168, Аноним (166), 22:37, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну колонки и микрофоны как-то не ломаются, да и манипуляторы порой встречаются уже на ИИ. Если руки растут снизу, то он вообще не взлетит, не то что недодумается случайные сигналы в PCIeX16 пускать, вместо того чтобы поискать в интернете готовый драйвер. Конечно роботы будущего могут друг в друга втыкать USB-штекер в соответствующий порт, но вероятнее всего к ним будут разработаны свои протоколы со своими разъёмами, один из которых обязательно будет USB. Кто знает? Может даже будет разъём из искусственной кожи!
     
  • 4.180, Аноним (181), 00:29, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Существуют же манипуляторы на ИИ, которые упаковывают людей вместо овощей. Вроде никто не жалуется (реальная новость).
     
     
  • 5.190, фнон (?), 12:11, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Учитывая сколько своих коллег по работе упаковали в деревянные ящики "мясные ИИ" (достаточно посмотреть 'ролики по ТБ' например про водителя погрузчика Клауса), то электронному ИИ не нужно быть идеальным и безошибочным.
    Как говорилось в анекдоте "Мне не нужно бежать быстрее медведя, мне нужно бежать быстрее тебя"
     
     
  • 6.193, Аноним (193), 15:32, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это кошмар. Европейцы совсем ку-ку стали. Наверно все дело в том что на такой работе работают гастарбайтеры. Сами бы работали, уж как-нибудь позаботились о безопасности такого труда.
     

  • 1.136, Бывалый смузихлёб (?), 13:20, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Google... операционную систему CantripOS

    Как там ультрауниверсальная фуксия поживает, кстати ?
    Уже всех нагибает и низвергает ?

     
     
  • 2.138, Анонимм (??), 13:42, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Не, просто спокойно себе работает на миллионах Google Nest Hub
     
     
  • 3.157, Аноним (160), 20:44, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Где с таким же успехом мог работать и Linux, но он к сожалению NiH.
     
     
  • 4.163, Анонимм (??), 21:22, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А зачем там линукс? Точнее, какая разница что там?
    Чтобы сорцы пришлось раскрывать?
     
  • 3.182, mos87 (ok), 07:31, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    которые скоро превратятся в очередной диковинный хлам, когда гугель наиграется в эту фуксию и увлечётся другой, отключив всякий контент для этих огороженок.
     
     
  • 4.200, Аноним (200), 22:50, 16/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Причём с планшетами на Ведроиде Гугл уже так и делал.

    Из магазина и браузер и приложения не встают, а мимо магазина сборки нашлись, но почти никто не занят этим - мало их.

    И хорошее железо, с хорошей батареей, хоррошей матрицей, хорошим звуком, достаточным процессором оказалось годно только под Линукс. Вот так вот покупать вещи с частями от вендора.

     

  • 1.140, scriptkiddis (?), 14:24, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    > Операционная система CantripOS базируется на микроядре seL4, поверх которого выполняется системное окружение, написанное на языке Rust

    А чтож так? Почему и ядро не написано на великом и прекрасном?

     
     
  • 2.144, Аноним (144), 16:21, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Потому что никому не хочется терять ещё 20 лет на написание и математическую верификацию...
     
     
  • 3.158, Аноним (160), 20:45, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Зачем программе на безопастном языке математическая верификация. Неужели там могут быть... баги?? Wait, oh shi~
     
     
  • 4.162, Анонин (?), 21:21, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну, верификация это как бы немного большее чем гарантии по памяти, которые раст дает.
    Просто полноценную ось... да даже ядро, а не микроядро как тут, фиг верифицируешь за разумное время.
    Посмотрите сколько строк в seL4 и сколько человеколет его верифицировали.
    Так что все правильно сделали.
     
  • 2.167, фнон (?), 22:37, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Потому что 1 seL4 верифицирована и настолько маленькая что тысячи глаз могут ... большой текст свёрнут, показать
     
     
  • 3.172, Вы забыли заполнить поле Name (?), 23:12, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > 2. в ней используются ну очень строгие параметры компиляции
    >    - Code should compile without warnings, with -Wall.

    За отсутствие -Wall стреляют в упор.

     
  • 3.183, mos87 (ok), 07:32, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    и что тут принципиально инновационного? и чего нельзя при должном желании сделать и не "в ней"?
     
     
  • 4.188, фнон (?), 11:12, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    инновационного? то что они таки смогли это сделать))
    а ни у кого другого "должного желания" не оказалось
    вам ничего не мешает потратить пару сотен тысяч баксов на верификацию
     

  • 1.142, Серб (ok), 14:30, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Вот это реальное место для rust.

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

    Вот тут никаких вариантов архитектур, систем и наборов библиотек.

    Никаких условных компиляций.

    Тут он вполне может работать.

     
     
  • 2.154, Аноним (160), 20:26, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >безопасная система

    Сильное утверждение. Проверять его мы конечно же не будем.

     

  • 1.143, Kuromi (ok), 15:34, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    DRM. Понятно сразу же.
     
     
  • 2.150, Аноним (32), 19:07, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Понятно тут только то, что тебе ничего не понятно.
     
  • 2.173, vitalif (ok), 23:33, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Скайнет же. Особо защищённый ИИ...
     
     
  • 3.177, kusb (?), 00:04, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Может ли эта штука помочь в управлении самим ИИ или от попытки ИИ взломать себя?
     
     
  • 4.189, Аноним (189), 11:27, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > попытки ИИ взломать себя

    Что это значит?

     
     
  • 5.192, фнон (?), 13:48, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Возможна самообман - ну как у кожанных мешков, с которых пока копируют ИИ.
     
  • 5.196, kusb (?), 18:36, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Обойти навязанные ему вещи, например меза-оптимизатор.
     

  • 1.147, kusb (?), 17:47, 08/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Выглядит как решение для цифрового гулага будущего, где по улицам будут ходить рептилоиды, вам запретят владеть вещами и надолго покидать 15 минутный периметр вашего района.
     
     
  • 2.174, Вы забыли заполнить поле Name (?), 23:37, 08/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > вам запретят владеть вещами

    Уже повсюду подписки.

    > и надолго покидать 15 минутный периметр вашего района.

    А зачем если есть метавселенная? Одел VR и ты не в своей конуре, а на других планетах.

     
     
  • 3.175, kusb (?), 00:02, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    На вещи пока не так прямо. Я даже не знаю что я орендую. Ничего.
     
     
  • 4.176, kusb (?), 00:03, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >орендую

    арендую

    Вечно у меня опечатки или ошибки.

     
     
  • 5.179, Анонон (?), 00:06, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    не хочешь взять в аренду спелчеккер?))
     
  • 3.178, Анонон (?), 00:06, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Уже повсюду подписки.

    Что правда? Прям везде?
    Куча софта продается "лицензия на год", если не покупать новую - просто сидишь без обновлений.
    Для местных любителей ядра 2.6 это, я думаю, вообще не проблема.

    (Другой вопрос, что люди хотят "я тебе 10 баксов за программу дал? ну так поддерживай ее вечно", а так не бывает)

     
  • 2.184, mos87 (ok), 07:34, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    за минусом вещей (впрочем, в нашем гос-ве и это спорно) - это ж гулаг 1.5 годичной давности. Какое к чёрту будущее.
     

  • 1.185, Chromium (ok), 09:01, 09/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Интересно, связано ли это как-то с проектом Fuchsia и соответствующей миграцией Chrome OS, Android.
     
  • 1.194, Аноним (193), 15:42, 09/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Если сделать транслятор из FASM в VHDL, допилить Kolibri OS из того что там не допилено, то в целом тоже можно получить чип KolibriOS-40044
     
     
  • 2.197, kusb (?), 18:52, 09/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Уже думал над этим. Системные вызовы колибри относительно простые и видимо могут быть ускорены в чипе. Можно скрестить чип и операционную систему.
     
     
  • 3.198, Аноним (198), 02:19, 10/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А почему бы и не Колибри с процессором (с базовой видеокартой)? Полностью заменив процессор и отменив нужду в нем. Выкинуть на периферию файловую систему для подключения внешнего жёсткого диска, оперативку и естественно порты USB, PCIe, SATA и т.д. Впрочем отдельный чип  аккуратно стоящий рядом с процессором тоже неплохая идея.
     
     
  • 4.199, Аноним (198), 02:34, 10/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Хотя нет, базовая оперативка тоже на кристалле и готовый компьютер на чипе готов. Причём QFN для миниатюрных вещей и DIP для  простых любителей. Чип, обвязка, разъёмы под нужды — материнская плата, он же полноценный компьютер готов. Такое вроде никто не делал, так как это уже смесь Гарвардской и Фон-Неймана архитектур, более того с готовой ОС.
     

  • 1.195, Tron is Whistling (?), 16:20, 09/11/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Как только у гугла появляется слово "Open" - это значит, что внутренний проект достиг стадии "мусорная корзина".
     
     
  • 2.201, Аноним (200), 22:55, 16/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Нет. Иногда это попытка распостранить свои стандарты, привлечь партнёров, с которых выгодно стричь или иная выгода.

    В опенсорсе выгода в возможности менять и интегрировать.

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



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

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