forum.opennet.ru

"Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..."

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

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

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

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..."	+/–
Сообщение от Andrey Mitrofanov (?), 25-Июн-14, 14:30
>Когда ядро линукс просто откажет, микроядро даст доступ к ракетам :)))) Бредишь? Про повышение привилегий под linux не слышал?
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..., opennews, 25-Июн-14, 00:22 [смотреть все]

ждём внесения ошибок сообществом , Аноним, 25-Июн-14, 00:31 (3) //
- полутора землекопов Сколько участников сообщества живет в сверхнадежном подз, Аноним, 25-Июн-14, 11:51 (48)
А в чем заключалось математическое обоснование , Зевака, 25-Июн-14, 00:41 (5) //
- http www sigops org sosp sosp09 papers klein-sosp09 pdfWhile we have some idea, pavlinux, 25-Июн-14, 01:00 (9)
- Обычно, математическое доказательство кода состоит в том, что доказывается, что , sashka_ua, 25-Июн-14, 11:17 (46) //
  - Голову от падения кирпича оно тоже не спасёт , Сергей, 25-Июн-14, 16:34 (78) //
    - А ежели кирпич уже упал Спасёт , Серж, 25-Июн-14, 18:25 (95)
      - Да А если принять внутрь и от изжоги помогает - , Сергей, 26-Июн-14, 14:49 (113)
  - Гёдель смотрит с ухмылкой , Аноним, 26-Июн-14, 10:21 (110)
  - На это надеяться не надо, это надо обеспечивать , yantux, 26-Июн-14, 18:28 (114)
- В том что если деградировать ядро до примитивного тасксвичера - в нем, конечно, , Аноним, 25-Июн-14, 11:53 (50)
- В теории надежности, если кто-нибудь из отпостившихся критиков вообще знает чт, Pasha, 25-Июн-14, 17:01 (79) //
  - Простой пример, если у вас операционка, которая работает через раз надежность, Pasha, 25-Июн-14, 17:08 (80) //
    - P S В предыдущем примере 0 5 3 - ошибка должно быть 0 5 3, Pasha, 25-Июн-14, 17:10 (81)
- Доказали что ядро содержит те же ошибки что и спецификация , Anonymouse, 26-Июн-14, 13:02 (112)
Подозреваю что поддерживает это свернадежное ядро чуть более чем ничего Для Ъ х, Аноним, 25-Июн-14, 00:47 (6) //
- Поэтому оно такое сверхнадежное , dr Equivalent, 25-Июн-14, 00:56 (8)
- так и будет и предназначено оно будет для решения специализированых задач на вс, Нанобот, 25-Июн-14, 09:58 (38)
- Ну так в hello world тоже багов не очень много Хотя, конечно, от програмера зав, Аноним, 25-Июн-14, 11:54 (51)
Ждём код, будем проверять , pavlinux, 25-Июн-14, 00:47 (7)
для него даже багтрекер не нужен, Аноним, 25-Июн-14, 01:01 (10) //
- Ниже на писан код самой безопасной ОСь во Вселенной --- cut here --- --- end cu, pavlinux, 25-Июн-14, 01:20 (12) //
  - Я это вбросил в perl так оно мне linux на FreeBSD переустановило СволочЪ , Аноним, 25-Июн-14, 06:50 (26)
тыг ведь видов ошибок можно допустить -- намного-много больше - как минимум -- , Xasd, 25-Июн-14, 01:19 (11) //
- PDFку прочел http www sigops org sosp sosp09 papers klein-sosp09 pdf, pavlinux, 25-Июн-14, 01:24 (14) //
  - нет я сразу комментировать, Xasd, 25-Июн-14, 01:26 (16) //
    - By design, we side-step addressing the veri 64257 cationcomplexity of yield by , pavlinux, 25-Июн-14, 01:32 (17)
- и ещё при верификации этой кодлой лентяев аспирантов можно допустить ещё больше , Аноним, 25-Июн-14, 01:25 (15) //
  - Поддерживаю Интересно какой был бюджет этого исследования И что им обещали в , kuku, 25-Июн-14, 01:48 (18) //
    - А ведь вам говорили, что ядро в виде монолитного куска кода плохая идея XD, Аноним, 25-Июн-14, 04:55 (24)
      - Все относительно в матрице Что есть монолитность, и как определить ее Это всег, Аноним, 25-Июн-14, 12:00 (52)
      - Да, было дело - Таненбаум критиковал когда-то И где сейчас миникс и где линукс , Аноним, 25-Июн-14, 15:58 (70)
        
        Побеждает не самое технически совершенное решение Пример - Чикака-95 , Аноним, 25-Июн-14, 17:39 (84)
        
        технически совершенное решение побеждает всегда если оно есть Реальность такова, Аноним, 25-Июн-14, 20:41 (104)
    - Не имеет ошибок и ничего не умеет, а когда научится, проявятся и ошибки, и куча , Аноним, 25-Июн-14, 07:13 (27)
      - А что должно уметь микроядро помимо выноса всего в пользовательское пространство, Аноним, 25-Июн-14, 09:20 (36)
        
        Вот-вот отсутствие ошибок не является преимуществом микроядерной архитектуры как, Аноним, 25-Июн-14, 10:36 (40)
        Вы сознательно обманываете людей Когда говорите о недостатках линукса то берете, Аноним, 25-Июн-14, 10:53 (44)
        
        Busted Ты сам начал До тебя о линуксе никто не вспоминал , Demo, 25-Июн-14, 15:10 (66)
        
        Так суть микроядра в том и состоит, что падение драйверов не рушит всю систему, Аноним, 25-Июн-14, 15:34 (68)
        
        В том же пингвине драйверы не так уж часто именно падают Чаще просто глючная ра, Аноним, 25-Июн-14, 15:59 (71)
        
        должно назначить виновного из юзерспейса за все дальнешие проблемы с системой , Аноним, 25-Июн-14, 20:42 (105)
    - а тут они взяли и написали ядроL4 писали не годами Срыв покровов , Аноним, 25-Июн-14, 09:19 (35)
    - а тут они взяли и написали ядро, которое не имеет ошибок это разного уровня адра, Аноним, 25-Июн-14, 20:39 (103)
      - и железо там изготовлено из других материалов, по другой технологии иимеет л, kuku, 26-Июн-14, 01:10 (109)
как же любят люди заблуждаться под покровом математики и технологий , Аноним, 25-Июн-14, 01:23 (13) //
- Когда человеком руководит страсть - он способен на многое,но он теряет здравомыс, kuku, 25-Июн-14, 01:51 (19)
А сколько лет этому seL4 Когда оно было написано и проверено в последний раз , anonymus, 25-Июн-14, 02:11 (20) //
- Дурeнь, посмотри, КТО его использует Тебе название General Dynamics ни о чем не, Аноним, 25-Июн-14, 17:40 (86) //
  - это те самые перцы у которых f-16 при пересечении уровня моря в IL переворачивал, Аноним, 25-Июн-14, 20:46 (106)
оно на С С написано P S Радует пополнение в мире опенсурса , chinarulezzz, 25-Июн-14, 03:55 (23) //
- Standard ML, Isabelle, местами C Programming in C is not su 64259 cient for imp, pavlinux, 25-Июн-14, 19:13 (98)
Я, конечно, не в теме Но математическое обоснование должно же, по идее, подразу, Crazy Alex, 25-Июн-14, 06:08 (25) //
- Не должно В идеале так надо было бы, конечно Но если играть в идеалистов, то, Ordu, 25-Июн-14, 10:29 (39) //
  - Зевая серебряной пули нет , абыр, 25-Июн-14, 10:55 (45) //
    - Я разве говорил что-то о серебряной пуле Перечитайте и не говорите глупостей , Ordu, 25-Июн-14, 11:51 (49)
      - Подобную белиберду про грядущую ненужность программистов за последние тридцать л, абыр, 25-Июн-14, 14:44 (65)
        
        Ой, да ладно вам Настоящие программисты tm вымирали динозаврами уже не раз В, Ordu, 25-Июн-14, 16:04 (73)
  - Ну, так спецификации программисты и будут писать Те, кто вовремя переучатся, и , жабабыдлокодер, 25-Июн-14, 12:56 (56) //
    - Ааа, вы про это Ну, во-первых, не надо особо зацикливаться на этой теме, я её о, Ordu, 25-Июн-14, 14:09 (58)
Оно было надежным пока было закрыто и никто о нем не знал Ждем патчей welcome , Packuh, 25-Июн-14, 07:20 (28)
ах да и самый надежный секрет тот о котором знает только один , Packuh, 25-Июн-14, 07:21 (29)
Микроядро математически прошедшее проверку просто исполняет ядро Линукс как оди, DmA, 25-Июн-14, 07:37 (30) //
- В коде множество строчек, предположительно на Си, Аноним, 25-Июн-14, 09:22 (37)
- Освоено , Серж, 25-Июн-14, 18:27 (96) //
  - А остальные мелочи проверять всё равно никто не будет , Серж, 25-Июн-14, 18:29 (97)
Сам написал 15 миллионов рублей, milkman, 25-Июн-14, 08:13 (31)
Любопытно Прилагательное математическое как красная тряпка для местного насел, Ordu, 25-Июн-14, 08:55 (32) //
- Всё как обычно - мгновенное и глубоко компетентное суждение о ранее незнакомом, hummermania, 25-Июн-14, 17:57 (94)
маркетинговым впариванием попахивает 2 абзаца и в обоих про математическое до, Аноним, 25-Июн-14, 08:59 (33) //
- Дeбил, GD знаешь, чем занимается Ах, не знаешь, у них сайта нет Знаешь, поч, Аноним, 25-Июн-14, 17:43 (88) //
  - Это ты дебил Их деятельность практически ничем не знаменательна, обычная оборон, all_glory_to_the_hypnotoad, 25-Июн-14, 21:03 (107)
  - таки нет http www gdc4s com и почему же нет у них сайта феназепанчика тяп, Аноним, 25-Июн-14, 23:13 (108)
Множество ошибок просто отсутствует , iuy, 25-Июн-14, 09:16 (34)
Не понимаю, то есть драйвера будут выполняться что ли от простого пользователя , Аноним, 25-Июн-14, 10:37 (41) //
- При падении драйвера ядро его перезапустит Полезно, если в драйвере есть редко , angra, 25-Июн-14, 12:48 (55) //
  - В монолитное ядро тоже можно вмонтировать функцию перезапуска модулей Если я их, Аноним, 25-Июн-14, 13:41 (57) //
    - Все монолитное ядро с драйверами работает в одном адресном пространстве, и если , Аноним, 25-Июн-14, 15:43 (69)
  - Ядро линукс построено вольно-невольно по аналогии с ЦНС, есть гематоэнцефалическ, Аноним, 25-Июн-14, 14:23 (60)
  - Или вот еще такое сравнение Когда ядро линукс просто откажет, микроядро даст до, Аноним, 25-Июн-14, 14:28 (61) //
    - Бредишь Про повышение привилегий под linux не слышал , Andrey Mitrofanov, 25-Июн-14, 14:30 (62)
      - Не расстраивайся , Аноним, 25-Июн-14, 14:32 (63)
      - В микроядре повышение привилегий стандартная процедура , Аноним, 25-Июн-14, 14:35 (64)
        
        but in Soviet Russia, you deny to the microkernel , Andrey Mitrofanov, 25-Июн-14, 15:33 (67)
- Читайте внимательнее эти же статьи, основные недостатки, как минимум - просевшая, anonymous, 25-Июн-14, 16:19 (77)
Поясните дураку, а че они сделали ядро надежным,доказали математически, а торвал, odity, 25-Июн-14, 10:38 (42) //
- Если брать аналогии, то почитай в википедии про Гравитационная задача N тел У, angra, 25-Июн-14, 12:41 (53) //
  - По этой аналогии любая ос состоит из большого количества тел И очередное микроя, Аноним, 25-Июн-14, 14:14 (59) //
    - Ну так они сделали примитивное микроядро, не умеющее вообще ничего Логично что , Аноним, 25-Июн-14, 16:01 (72)
      - Raytheon смотрит на вас всех, как на гогно Сечешь ТАМ не нужна функциональност, Аноним, 25-Июн-14, 17:45 (89)
А на каком оборудовании оно может работать GNU Debian seL4 на нем можно сделать, Аноним, 25-Июн-14, 10:39 (43) //
- скорей всего прикрутят к opensuse, как это было с прежним L4 , fi, 25-Июн-14, 16:04 (74)
- На Хеллфайрах работает Ну и на других продуктах Raytheon , Аноним, 25-Июн-14, 17:45 (90)
Хм Насколько я понял, в новости прямо сказано, что контроль доступа реализуется, Аноним, 25-Июн-14, 12:46 (54) //
- Сайдуиндеру безопасность ПО ГСН ни к чему, как ты понимаешь Да , Аноним, 25-Июн-14, 17:46 (91)
- Отдельные процессы не имеют прямого доступа друг к другу, поэтому тот факт, что , Аноним, 25-Июн-14, 20:07 (100)
пишем микроядро,верифицируем его, если нужно наделяем крутыми свойствами, а пот, DmA, 25-Июн-14, 16:08 (75) //
- Гугль смешной Windows NT is a hybrid MicroKernelThe Be OS is a hybrid microkerne, Andrey Mitrofanov, 25-Июн-14, 16:16 (76) //
  - Боюсь, чувак, это вы все смешны в вашем уютненьком Вы вообще что-то кроме оффто, Аноним, 25-Июн-14, 17:46 (92) //
    - Ефрейтор, СРОЧНО пройдите в первый отдел , Andrey Mitrofanov, 25-Июн-14, 17:54 (93)

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

Партнёры:

Хостинг:

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

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