- ждём внесения ошибок сообществом ,
Аноним, 25-Июн-14, 00:31 (3)
//
- А в чем заключалось математическое обоснование ,
Зевака, 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)
//
- Гёдель смотрит с ухмылкой ,
Аноним, 26-Июн-14, 10:21 (110)
- На это надеяться не надо, это надо обеспечивать ,
yantux, 26-Июн-14, 18:28 (114)
- В том что если деградировать ядро до примитивного тасксвичера - в нем, конечно, ,
Аноним, 25-Июн-14, 11:53 (50)
- В теории надежности, если кто-нибудь из отпостившихся критиков вообще знает чт,
Pasha, 25-Июн-14, 17:01 (79)
//
- Доказали что ядро содержит те же ошибки что и спецификация ,
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)
//
- тыг ведь видов ошибок можно допустить -- намного-много больше - как минимум -- ,
Xasd, 25-Июн-14, 01:19 (11)
//
- PDFку прочел http www sigops org sosp sosp09 papers klein-sosp09 pdf,
pavlinux, 25-Июн-14, 01:24 (14)
//
- и ещё при верификации этой кодлой лентяев аспирантов можно допустить ещё больше ,
Аноним, 25-Июн-14, 01:25 (15)
//
- Поддерживаю Интересно какой был бюджет этого исследования И что им обещали в ,
kuku, 25-Июн-14, 01:48 (18)
//
- А ведь вам говорили, что ядро в виде монолитного куска кода плохая идея XD,
Аноним, 25-Июн-14, 04:55 (24)
- Не имеет ошибок и ничего не умеет, а когда научится, проявятся и ошибки, и куча ,
Аноним, 25-Июн-14, 07:13 (27)
- а тут они взяли и написали ядроL4 писали не годами Срыв покровов ,
Аноним, 25-Июн-14, 09:19 (35)
- а тут они взяли и написали ядро, которое не имеет ошибок это разного уровня адра,
Аноним, 25-Июн-14, 20:39 (103)
- как же любят люди заблуждаться под покровом математики и технологий ,
Аноним, 25-Июн-14, 01:23 (13)
//
- А сколько лет этому seL4 Когда оно было написано и проверено в последний раз ,
anonymus, 25-Июн-14, 02:11 (20)
//
- оно на С С написано P S Радует пополнение в мире опенсурса ,
chinarulezzz, 25-Июн-14, 03:55 (23)
//
- Я, конечно, не в теме Но математическое обоснование должно же, по идее, подразу,
Crazy Alex, 25-Июн-14, 06:08 (25)
//
- Оно было надежным пока было закрыто и никто о нем не знал Ждем патчей welcome ,
Packuh, 25-Июн-14, 07:20 (28)
- ах да и самый надежный секрет тот о котором знает только один ,
Packuh, 25-Июн-14, 07:21 (29)
- Микроядро математически прошедшее проверку просто исполняет ядро Линукс как оди,
DmA, 25-Июн-14, 07:37 (30)
//
- Сам написал 15 миллионов рублей,
milkman, 25-Июн-14, 08:13 (31)
- Любопытно Прилагательное математическое как красная тряпка для местного насел,
Ordu, 25-Июн-14, 08:55 (32)
//
- маркетинговым впариванием попахивает 2 абзаца и в обоих про математическое до,
Аноним, 25-Июн-14, 08:59 (33)
//
- Множество ошибок просто отсутствует ,
iuy, 25-Июн-14, 09:16 (34)
- Не понимаю, то есть драйвера будут выполняться что ли от простого пользователя ,
Аноним, 25-Июн-14, 10:37 (41)
//
- При падении драйвера ядро его перезапустит Полезно, если в драйвере есть редко ,
angra, 25-Июн-14, 12:48 (55)
//
- В монолитное ядро тоже можно вмонтировать функцию перезапуска модулей Если я их,
Аноним, 25-Июн-14, 13:41 (57)
//
- Ядро линукс построено вольно-невольно по аналогии с ЦНС, есть гематоэнцефалическ,
Аноним, 25-Июн-14, 14:23 (60)
- Или вот еще такое сравнение Когда ядро линукс просто откажет, микроядро даст до,
Аноним, 25-Июн-14, 14:28 (61)
//
- Читайте внимательнее эти же статьи, основные недостатки, как минимум - просевшая,
anonymous, 25-Июн-14, 16:19 (77)
- Поясните дураку, а че они сделали ядро надежным,доказали математически, а торвал,
odity, 25-Июн-14, 10:38 (42)
//
- А на каком оборудовании оно может работать GNU Debian seL4 на нем можно сделать,
Аноним, 25-Июн-14, 10:39 (43)
//
- Хм Насколько я понял, в новости прямо сказано, что контроль доступа реализуется,
Аноним, 25-Июн-14, 12:46 (54)
//
- пишем микроядро,верифицируем его, если нужно наделяем крутыми свойствами, а пот,
DmA, 25-Июн-14, 16:08 (75)
//
|