forum.opennet.ru

"Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем"

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

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

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

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

. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..."	+/–
Сообщение от Аноним (70), 26-Окт-21, 11:03
Люди на Muen OS давно девайсы выпускают, например такой: https://www.nitrokey.com/products/nethsm Меня повеселила одна фича: "наш девайсы с OS настолько безопасны, что даже консоль для ввода и вывод на монитор не предусмотрены..." Гениально! Зачем компу клава и монитор? Еще и админа тогда надо чтоб сидел и стучал по клаве, смотрел в монитор. Комп должен просто работать, без человека, как лампочка, включил и оно работает.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем, opennews, 25-Окт-21, 22:02 [смотреть все]

написаны на языке Ада - хорошо звучит , Онаним, 25-Окт-21, 22:02 (1) //
- А если по делу SATA в критически важных системах оценил , Онаним, 25-Окт-21, 22:16 (4)
- Хоть на васике , как бы не звучало - не на си оно никому не нужно , Аноним, 25-Окт-21, 23:16 (14) //
  - Даалект который математически проверяется Как на си это сделать Никак , Ingdfg, 25-Окт-21, 23:26 (15) //
    - Математическая верификация не спасает от ошибок в коде Математическая верификац, МарьВанна, 26-Окт-21, 06:17 (29)
    - Математическая верификация гарантирует только, что оно не слетит в UB или runt, Онаним, 26-Окт-21, 07:31 (36)
      - Вам этого мало , Аноним, 26-Окт-21, 07:37 (37)
        
        А смысл Оно всё равно всё так же при неудачном раскладе звёзд может например пот, Онаним, 26-Окт-21, 09:48 (57)
      - По крайней мере она от чего-то спасает А с си как Никак , Ingdfg, 26-Окт-21, 12:10 (80)
        
        см сообщения 43 - для SeL4, который на C тоже делали Математическую верификаци, Совершенно другой аноним, 26-Окт-21, 12:34 (83)
        
        Писали на самом деле на хаскеле, лишь после верификации корректности логики рабо, Аноним, 26-Окт-21, 12:46 (88)
        
        что-то у Вас не сходится - Вы сами пишете, что верификация, которая выполнялась , Совершенно другой аноним, 26-Окт-21, 13:28 (97)
        
        У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил http web1 c, Аноним, 26-Окт-21, 16:34 (113)
    - Например так - https www opennet ru opennews art shtml num 40297, Совершенно другой аноним, 26-Окт-21, 08:23 (43)
    - frama-c, погуглите, читатель, 29-Окт-21, 22:49 (149)
  - Это какая-то новая стадия отрицания Сишка это помойный язык с нездоровым синтакс, Аноньимъ, 26-Окт-21, 04:10 (25) //
    - Си - это ассемблер для ленивых он легко позволяет делать реализации всяких reso, sdfgjsdfjdj, 26-Окт-21, 09:39 (54)
      - кто любит терпят, да, но любить , Админ Анонимов, 26-Окт-21, 10:41 (65)
        
        весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился, sdfgjsdfjdj, 26-Окт-21, 10:47 (67)
        
        тут скорее другое - жена страшная как война но держат дети, Админ Анонимов, 26-Окт-21, 11:40 (77)
        
        ты шутишь в этих системах транспорты точат так, что за каждый лишний бранч на f, sdfgjsdfjdj, 26-Окт-21, 12:15 (82)
        
        для оптимизации узких мест есть ассемблер, Админ Анонимов, 26-Окт-21, 14:56 (104)
        
        пробовал на асме большие проекты делать а под несколько архитектур да хотя бы , sdkhflskhgl, 26-Окт-21, 20:17 (129)
        
        Хмммммммм , Аноньимъ, 26-Окт-21, 16:00 (109)
      - Скорее - вплоть до самых разных баек о том, как можно суперкруто , Аноним, 26-Окт-21, 12:36 (84)
      - Yes Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт , Аноньимъ, 26-Окт-21, 15:51 (107)
    - При чём тут питон А, тьфу, питон про прикладное ПО невероятно низкого качества , uis, 26-Окт-21, 12:59 (94)
      - Да, сишка это системный питон такой Врайт ванце краш еверивере В сишке синтакси, Аноньимъ, 26-Окт-21, 15:58 (108)
        
        Лучше и читабельнее пока не придумано, все эти питорастические извраты так извра, Онаним, 26-Окт-21, 19:57 (127)
- Подумать только на АДА А почему на сверхбезопасном и самом-мамом луДшем dele, Dzen Python, 26-Окт-21, 00:53 (18) //
  - Потому, что Ада куда более структурирована, детерминирована, и поддаётся верифик, Аноньимъ, 26-Окт-21, 04:05 (24) //
    - Мне кажется, это был сарказм, uis, 26-Окт-21, 12:54 (93)
      - Ада с рустом это как мягкое с солёным Раст это про функциональщину и безопасност, Аноньимъ, 26-Окт-21, 16:19 (112)
        
        Хрусту надо больше Ада , Онаним, 26-Окт-21, 19:58 (128)
  - Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный, Аноним, 26-Окт-21, 08:57 (47) //
    - Дык отож - пока сабж пилили, оно так и не стало ничем таким, что могло бы перетя, YetAnotherOnanym, 26-Окт-21, 13:58 (99)
- Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA, Аноним, 26-Окт-21, 10:48 (68)
- При загрузке из колонок раздается Descent Into Cerberon из Quake 2, Kuromi, 26-Окт-21, 19:45 (125)
Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных п, Аноним, 25-Окт-21, 22:09 (2) //
- Э-э-э, а какой в этом смысл Если возникла ситуация, в которой только реакция wat, Онаним, 25-Окт-21, 22:13 (3) //
  - смысл зависит от реализации Вызов вачдога может запустить полную проверку конте, Аноним, 26-Окт-21, 07:04 (33) //
    - Единственный смысл - снять дамп бектрейс опционально и перезапуститься Никакая, Онаним, 26-Окт-21, 07:29 (35)
    - Если это он, то не может Он должен делать аппаратный сброс , uis, 26-Окт-21, 12:53 (92)
    - да успокойтесь уже, не говорится в этой оси про вачдог Речь была о контроллере , Аноним, 26-Окт-21, 16:14 (110)
  - Чтобы сразу же после ребута влететь в то же самое состояние , YetAnotherOnanym, 26-Окт-21, 14:00 (100)
То есть даже тут x86 слили в отстойник истории А кто-то до сих пор над десктопе, QwertyReg, 25-Окт-21, 22:32 (6) //
- Действительно, сейчас все бросятся на твой растопроцА я думал уже глупее фракта, Аноним, 25-Окт-21, 22:40 (12)
- И как же ты по такой фразе сделал такой вывод Ты бы с наркотой завязал а пока н, пончик, 25-Окт-21, 22:43 (13)
- Единственный вопрос почему твои посты настолько жирные, что уже даже неинтересн, Dzen Python, 26-Окт-21, 00:55 (19) //
  - Там в пору уже к доктору сходить , Аноним, 26-Окт-21, 01:03 (20)
Нужно , Аноним, 26-Окт-21, 00:32 (16)
Годно, оно похоронит монолитный жопаэл2рый люникс , Аноним, 26-Окт-21, 00:36 (17) //
- Не в этой жизни Это очень узко специализированная вещь, да ещё ни на чём кроме и, Аноньимъ, 26-Окт-21, 04:14 (26)
Посоветуйте хороший учебник по языку программирования Ада пожалуйста , Аноним, 26-Окт-21, 02:54 (22) //
- У меня книга где то валяется так и называется Язык Ада , могу дать, Аноним, 26-Окт-21, 08:22 (40)
- Была очень хорошая книжка издательства Мир 1988 Н Джехани - Язык Ада, anonymous, 26-Окт-21, 08:38 (45) //
  - Да-да-да Коричневая обложка Еду как-то на 22м троллейбусе мимо елоховки - тогд, pofigist, 26-Окт-21, 10:09 (61) //
    - Главное чтобы они не были вооружены тележками, uis, 26-Окт-21, 12:48 (91)
    - Шигорину язык программирования Ада не понравится , Аноним, 26-Окт-21, 13:27 (96)
  - спасибо, доброжелатель, 26-Окт-21, 11:15 (72)
  - У Джехани вроде и по сям была книга неплохая , uis, 26-Окт-21, 12:47 (90) //
    - Ага, в волосатой обложке , YetAnotherOnanym, 26-Окт-21, 16:34 (114)
- путеводитель по Аду Пожалуйста https ru wikipedia org wiki Божественная_комед, Минона, 26-Окт-21, 09:19 (51) //
  - Да, тоже хотел Данте предложить , Онаним, 26-Окт-21, 09:48 (58)
- Например, вот, от компании AdaCore https learn adacore com Есть ещё А Гавва , Аноним, 26-Окт-21, 11:54 (79) //
  - Спасибо, Аноним, 26-Окт-21, 16:16 (111)
- Некрономикон под ред Брюса Эш Кэмпбелла , Kuromi, 26-Окт-21, 19:46 (126)
- Вот тут мне нравится как концепции показывают http www ada-ru org safe_secure_, PnD, 27-Окт-21, 10:41 (140)
20 часов работает еще не зависло Вау , Аноним, 26-Окт-21, 03:13 (23) //
- Отпишись поподробнее , Аноним, 26-Окт-21, 13:28 (98)
Альтернатива Линуксу Годно , Аноним, 26-Окт-21, 06:11 (27) //
- Муэн - микроядро А Линукс- это и ещё сброник аппаратных и виртуальных драйверов, Аноним, 26-Окт-21, 06:26 (31) //
  - Муэн - заявочка на ядро здорового человека Линукс - клиническая помойка , Аноним, 26-Окт-21, 07:02 (32) //
    - когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже по, sdfgjsdfjdj, 26-Окт-21, 09:42 (56)
      - Не станет Потому что в микроядерной архитектуре не придется все это васянское г, pofigist, 26-Окт-21, 10:11 (62)
        
        хех, и получишь что-то вроде 3 11 венды микроядро, но все дрова надо качать рук, sdfgjsdfjdj, 26-Окт-21, 10:45 (66)
        
        Нда у 3 11 - микроядро учи матчасть Лучше как у линакса - когда в процессе, pofigist, 26-Окт-21, 12:11 (81)
        
        нда вот и выросло поколение ЕГЭ WinNT до версии 4 0 имела архитектуру очень, sdfgjsdfjdj, 26-Окт-21, 12:47 (89)
        
        Да уж - заметно Нет и никогда не было WinNT 3 11 - это была Windows for Worksgr, pofigist, 26-Окт-21, 17:34 (118)
        
        да, затупил, не тот минор написал, давно дело было, забывать стал, sdkhflskhgl, 26-Окт-21, 20:19 (130)
        
        Это деменция Прививался чтоль Такое перепутать - невозможно , pofigist, 28-Окт-21, 16:58 (148)
    - Угу И количество переключений контекста тоже здоровенного человека Особенно эт, uis, 26-Окт-21, 12:45 (87)
Не бздуноподобная пермиссивка-разрешиловка Зачёт , Аноним, 26-Окт-21, 06:25 (30) //
- Ненужная ос на ненужном языке - с ненужной лицензией, все правильно Кто-то защит, ., 26-Окт-21, 08:20 (39) //
  - Ну почему ненужная-то Да, академическая поделка Но с учётом проделанной работы п, Онаним, 26-Окт-21, 09:49 (59) //
    - Ну вот это и есть синоним ненужного - годно не знаю для чего Поскольку запусти, пох., 26-Окт-21, 11:00 (69)
      - А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписываю, Аноним, 26-Окт-21, 11:08 (71)
        
        Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада, uis, 26-Окт-21, 12:41 (86)
    - Люди на Muen OS давно девайсы выпускают, например такой https www nitrokey co , Аноним, 26-Окт-21, 11:03 (70)
      - А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет , Онаним, 26-Окт-21, 11:29 (76)
        
        Нет, вход для питания и выход в сеть девайсу нужны А клавы, мониторы, даже свет, Аноним, 26-Окт-21, 11:41 (78)
        
        Только выхода, входа из сети не надо D, Онаним, 26-Окт-21, 14:41 (102)
      - Действительно, зачнм независающей ОС локальная консоль А для конфигуряния есть , Anonymous XE, 26-Окт-21, 16:52 (116)
- открыл попкорн и приготовился к очередному срачу , Минона, 26-Окт-21, 09:13 (50) //
  - Зря достал попкорн, кина не будет , Аноним, 26-Окт-21, 13:23 (95)
  - А почему под срач так хорош именно попкорм А горох не лучше , Аноним, 27-Окт-21, 10:19 (138) //
    - какой зеленый из баночки попробуй 9786 , Минона, 27-Окт-21, 10:47 (141)
    - Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий д, Аноним, 27-Окт-21, 12:00 (143)
      - А пыво , Аноним, 27-Окт-21, 12:45 (144)
- Закрытый таки всегда надёжнее Чем распахнутый , Аноним, 27-Окт-21, 10:20 (139)
все что нужно знать об этой бесполезной поделке , ., 26-Окт-21, 08:23 (42)
А какой футпринт Неyжто Qubes здорового человека , Аноним, 26-Окт-21, 08:27 (44)
Прибито гвоздями к интелу , Аноним12345, 26-Окт-21, 09:25 (52)
А есть сравнение с se4L , Аноним, 26-Окт-21, 10:08 (60)
А что там с AMD-V Незаслуженно обидели красных , Аноним, 26-Окт-21, 10:37 (64) //
- У программистов писавших Муэн материнки с процами от Интел , Аноним, 26-Окт-21, 14:35 (101)
Ада - это Ада, это не раст Вот где настоящая надёжность , uis, 26-Окт-21, 12:39 (85) //
- Только вот язык Ада - не модный , Аноним, 26-Окт-21, 14:42 (103) //
  - Это хорошо, модно-молодёжные в него лезть не будут , Anonymous XE, 26-Окт-21, 16:42 (115) //
    - Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою А, Аноним, 26-Окт-21, 17:12 (117)
    - Молодые и модно-молодёжные, это, как бы, не эквивалентно , Anonymous XE, 26-Окт-21, 18:18 (123)
Кто на Аду будет вкатываться, есть такие , Аноним, 26-Окт-21, 17:38 (119) //
- многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от ну, Аноним, 26-Окт-21, 18:37 (124) //
  - Райдер модного, молодёжного и прогрессивного человека 1 Много денег 2 Бесплатн, Аноним, 27-Окт-21, 06:31 (133)
- Аду же разрабатывала оборонка америки Наса на ней клепала управление своими шат, Аноним, 27-Окт-21, 17:08 (147)
Мне от одного списка аппаратных возможностей плохо стало Неужели ВСЁ ЭТО нужн, Gogi, 26-Окт-21, 20:30 (131) //
- Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре Вот где ад та, Онаним, 26-Окт-21, 20:44 (132)
- на суперзащищенном airgap ждать пока вскроют через трансформатор, Аноним, 27-Окт-21, 11:40 (142)
Открытый и высоко надёжный таки разные вещи Друг с другом никак не связанные , Аноним, 27-Окт-21, 10:18 (137) //
- сперва академическое открытое, потом уж точное наведение на нужную голову в реал, Аноним, 27-Окт-21, 12:48 (145) //
  - Это вояка , Аноним, 27-Окт-21, 14:28 (146)

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

Партнёры:

Хостинг:

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

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