|
Вариант для распечатки |
Пред. тема | След. тема | ||
Форум Разговоры, обсуждение новостей | |||
---|---|---|---|
Изначальное сообщение | [ Отслеживать ] |
"Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от opennews (ok) on 25-Июн-14, 00:22 | ||
Компания General Dynamics C4 Systems (http://en.wikipedia.org/wiki/General_Dynamics_C4_Systems) и австралийский исследовательский центр NICTA (http://en.wikipedia.org/wiki/NICTA) анонсировали (http://sel4.systems/) скорый перевод микроядра seL4 (http://ssrg.nicta.com.au/projects/seL4/) (Secure Embedded L4) в категорию открытых проектов. Ядро seL4 нацелено на предоставление повышенного уровня безопасности и надёжности для критически важных систем, используемых в авиации, медицине, финансовом секторе, энергетике и других областях, где необходима гарантия отсутствия сбоев. Корректность реализации seL4 в своё время была доказана (https://www.opennet.ru/opennews/art.shtml?num=23011) математически, что даёт основание считать решения на базе seL4 самыми надёжными в мире. | ||
Ответить | Правка | Cообщить модератору |
Оглавление |
Сообщения по теме | [Сортировка по времени | RSS] |
3. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +22 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 00:31 | ||
ждём внесения ошибок сообществом! | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
48. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –3 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 11:51 | ||
...полутора землекопов. Сколько участников сообщества живет в сверхнадежном подземном бункере на глубине километра? Примерно столько же, если не меньше, будет коммитить в сверхнадежное ядро. | ||
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору |
5. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Зевака on 25-Июн-14, 00:41 | ||
А в чем заключалось математическое обоснование? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
9. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +8 +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 01:00 | ||
> А в чем заключалось математическое обоснование? | ||
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору |
46. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +3 +/– | |
Сообщение от sashka_ua on 25-Июн-14, 11:17 | ||
Обычно, математическое доказательство кода состоит в том, что доказывается, что программа в результате выполнения кода может иметь строго ограниченные набор желаемых состояний и не может выйти за пределы этого множества. | ||
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору |
78. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Сергей (??) on 25-Июн-14, 16:34 | ||
> не нивелирует багов компилятора, космических лучей, багов железа и вообще надеятся на абсолютную надежность ПО - глупость. | ||
Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору |
95. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Серж (??) on 25-Июн-14, 18:25 | ||
А ежели кирпич уже упал? Спасёт? | ||
Ответить | Правка | ^ к родителю #78 | Наверх | Cообщить модератору |
113. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Сергей (??) on 26-Июн-14, 14:49 | ||
Да. А если принять внутрь и от изжоги помогает ;-) | ||
Ответить | Правка | ^ к родителю #95 | Наверх | Cообщить модератору |
110. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 26-Июн-14, 10:21 | ||
Гёдель смотрит с ухмылкой. | ||
Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору |
114. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от yantux (??) on 26-Июн-14, 18:28 | ||
На это надеяться не надо, это надо обеспечивать. | ||
Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору |
50. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +7 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 11:53 | ||
> А в чем заключалось математическое обоснование? | ||
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору |
79. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +3 +/– | |
Сообщение от Pasha (??) on 25-Июн-14, 17:01 | ||
В теории надежности, если кто-нибудь из отпостившихся "критиков" вообще знает что это такое. | ||
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору |
80. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Pasha (??) on 25-Июн-14, 17:08 | ||
Простой пример, если у вас операционка, которая работает "через раз" (надежность = 0.5), железо, которое работает "через раз" и пользовательская программа, работающая "через раз". | ||
Ответить | Правка | ^ к родителю #79 | Наверх | Cообщить модератору |
81. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Pasha (??) on 25-Июн-14, 17:10 | ||
P.S. В предыдущем "примере" 0.5*3 - ошибка. должно быть 0.5^3 | ||
Ответить | Правка | ^ к родителю #80 | Наверх | Cообщить модератору |
112. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Anonymouse on 26-Июн-14, 13:02 | ||
Доказали что ядро содержит те же ошибки что и спецификация. | ||
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору |
6. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 00:47 | ||
Подозреваю что поддерживает это свернадежное ядро чуть более чем ничего. Для Ъ хотелось бы какой-нибудь более подробной инфы. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
8. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +3 +/– | |
Сообщение от dr Equivalent (ok) on 25-Июн-14, 00:56 | ||
Поэтому оно такое сверхнадежное. | ||
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору |
38. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от Нанобот (ok) on 25-Июн-14, 09:58 | ||
так и будет. и предназначено оно будет для решения специализированых задач на всяких-там микроконтроллерах. маловероятно, что в ближайшее время с него можно будет по интырнетам лазить | ||
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору |
51. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 11:54 | ||
> Подозреваю что поддерживает это свернадежное ядро чуть более чем ничего. | ||
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору |
7. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 00:47 | ||
Ждём код, будем проверять :) | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
10. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +3 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 01:01 | ||
для него даже багтрекер не нужен | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
12. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +6 +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 01:20 | ||
Ниже на писан код самой безопасной ОСь во Вселенной! | ||
Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору |
26. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +18 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 06:50 | ||
Я это вбросил в perl ... так оно мне linux на FreeBSD переустановило ... | ||
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору |
11. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Xasd (ok) on 25-Июн-14, 01:19 | ||
> Математическое доказательство надёжности свидетельствует о том, что seL4 полностью соответствует заявленным спецификациям и гарантирует отсутствие ошибок, приводящих к проблемам с блокировками, переполнениям буфера, арифметическим исключениям и неинициализированным переменным. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
14. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 01:24 | ||
>... вот например что часто бывает | ||
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору |
16. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +4 +/– | |
Сообщение от Xasd (ok) on 25-Июн-14, 01:26 | ||
>>... вот например что часто бывает | ||
Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору |
17. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 01:32 | ||
>>>... вот например что часто бывает | ||
Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору |
15. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 01:25 | ||
и ещё при верификации этой кодлой лентяев аспирантов можно допустить ещё больше ошибок. Главное же что статьи будут написаны и в журналы разосланы. | ||
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору |
18. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от kuku on 25-Июн-14, 01:48 | ||
Поддерживаю. | ||
Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору |
24. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 04:55 | ||
А ведь вам говорили, что ядро в виде монолитного куска кода плохая идея XD | ||
Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору |
52. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 12:00 | ||
> А ведь вам говорили, что ядро в виде монолитного куска кода плохая | ||
Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору |
70. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 15:58 | ||
> А ведь вам говорили, что ядро в виде монолитного куска кода плохая идея XD | ||
Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору |
84. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:39 | ||
>> А ведь вам говорили, что ядро в виде монолитного куска кода плохая идея XD | ||
Ответить | Правка | ^ к родителю #70 | Наверх | Cообщить модератору |
104. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 20:41 | ||
технически совершенное решение побеждает всегда если оно есть. Реальность такова, что хоть как-то юзабильное монолитное GP ядро есть с некоторыми недостатками, а совершенного микроядра нет. Есть только ещё более убогие попытки сделать такое ядро. | ||
Ответить | Правка | ^ к родителю #84 | Наверх | Cообщить модератору |
27. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 07:13 | ||
Не имеет ошибок и ничего не умеет, а когда научится, проявятся и ошибки, и куча микроядерных проблем. | ||
Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору |
36. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 09:20 | ||
А что должно уметь микроядро помимо выноса всего в пользовательское пространство? | ||
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору |
40. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 10:36 | ||
> А что должно уметь микроядро помимо выноса всего в пользовательское пространство? | ||
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору |
44. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 10:53 | ||
> А что должно уметь микроядро помимо выноса всего в пользовательское пространство? | ||
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору |
66. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Demo (??) on 25-Июн-14, 15:10 | ||
> Вы сознательно обманываете людей. Когда говорите о недостатках линукса | ||
Ответить | Правка | ^ к родителю #44 | Наверх | Cообщить модератору |
68. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 15:34 | ||
Так суть микроядра в том и состоит, что падение драйверов не рушит всю систему | ||
Ответить | Правка | ^ к родителю #66 | Наверх | Cообщить модератору |
71. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 15:59 | ||
> Так суть микроядра в том и состоит, что падение драйверов не рушит всю систему | ||
Ответить | Правка | ^ к родителю #68 | Наверх | Cообщить модератору |
105. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 20:42 | ||
> А что должно уметь микроядро помимо выноса всего в пользовательское пространство? | ||
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору |
35. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +2 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 09:19 | ||
> Люди годами пишут сложные ядра(например ядро Linux), | ||
Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору |
103. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 20:39 | ||
> Люди годами пишут сложные ядра(например ядро Linux), | ||
Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору |
109. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от kuku on 26-Июн-14, 01:10 | ||
... и железо там изготовлено из других материалов, по другой технологии и | ||
Ответить | Правка | ^ к родителю #103 | Наверх | Cообщить модератору |
13. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 01:23 | ||
> Корректность реализации seL4 в своё время была доказана математически, что даёт основание считать решения на базе seL4 самыми надёжными в мире. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
19. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от kuku on 25-Июн-14, 01:51 | ||
Когда человеком руководит страсть - он способен на многое, | ||
Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору |
20. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от anonymus on 25-Июн-14, 02:11 | ||
А сколько лет этому seL4? Когда оно было написано и проверено в последний раз? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
86. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:40 | ||
> А сколько лет этому seL4? Когда оно было написано и проверено в | ||
Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору |
106. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 20:46 | ||
это те самые перцы у которых f-16 при пересечении уровня моря в IL переворачивался вверх ногами? Да, говорит о многом. Но я точно не помню что там конкретно было, их f-16 или не их f-15 | ||
Ответить | Правка | ^ к родителю #86 | Наверх | Cообщить модератору |
23. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от chinarulezzz (ok) on 25-Июн-14, 03:55 | ||
>основание считать решения на базе seL4 самыми надёжными в мире | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
98. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от pavlinux (ok) on 25-Июн-14, 19:13 | ||
> оно на С/С++ написано?) | ||
Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору |
25. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Crazy Alex (ok) on 25-Июн-14, 06:08 | ||
Я, конечно, не в теме. Но математическое обоснование должно же, по идее, подразумевать существование (корректной и полной) модели железа, на котором это будет крутиться? Что, понятное дело, нереально. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
39. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Ordu (ok) on 25-Июн-14, 10:29 | ||
> Но математическое обоснование должно же, по идее, подразумевать существование (корректной и полной) | ||
Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору |
45. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от абыр (ok) on 25-Июн-14, 10:55 | ||
> Это следующая итерация того же самого. Которая сейчас лишь пытается взлететь, но когда взлетит и войдёт в обыденность, её уже будут вытеснять системы автоматического написания программ по спецификациям. И вот тогда, востребованность программистов на рынке труда упадёт ниже плинтуса, и останутся одни быдлокодеры, а настоящие программисты вымрут как динозавры. | ||
Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору |
49. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Ordu (ok) on 25-Июн-14, 11:51 | ||
>> Это следующая итерация того же самого. Которая сейчас лишь пытается взлететь, но когда взлетит и войдёт в обыденность, её уже будут вытеснять системы автоматического написания программ по спецификациям. И вот тогда, востребованность программистов на рынке труда упадёт ниже плинтуса, и останутся одни быдлокодеры, а настоящие программисты вымрут как динозавры. | ||
Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору |
65. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от абыр (ok) on 25-Июн-14, 14:44 | ||
Подобную белиберду про грядущую ненужность программистов за последние тридцать лет по поводу чего только не писали. А пуля все не с места. | ||
Ответить | Правка | ^ к родителю #49 | Наверх | Cообщить модератору |
73. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Ordu (ok) on 25-Июн-14, 16:04 | ||
> Подобную белиберду про грядущую ненужность программистов за последние тридцать лет по поводу | ||
Ответить | Правка | ^ к родителю #65 | Наверх | Cообщить модератору |
56. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от жабабыдлокодер (ok) on 25-Июн-14, 12:56 | ||
Ну, так спецификации программисты и будут писать. Те, кто вовремя переучатся, и молодняк, который этому сразу будет учиться. Разница то какая? | ||
Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору |
58. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Ordu (ok) on 25-Июн-14, 14:09 | ||
> Ну, так спецификации программисты и будут писать. Те, кто вовремя переучатся, и | ||
Ответить | Правка | ^ к родителю #56 | Наверх | Cообщить модератору |
28. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Packuh on 25-Июн-14, 07:20 | ||
Оно было надежным пока было закрыто и никто о нем не знал. Ждем патчей. welcome to the real world. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
29. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Packuh on 25-Июн-14, 07:21 | ||
ах да и самый надежный секрет тот о котором знает только один. | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
30. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от DmA (??) on 25-Июн-14, 07:37 | ||
Микроядро математически прошедшее проверку просто исполняет ядро Линукс как один и процессов. В ядре Линукс и драйвера и всё остальное , и его-то никто и не проверял! В России тоже был тендер, на 15 миллионов рублей, который должен был проверить ядро Линукс. Не знаю какие ам результаты | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
37. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 09:22 | ||
> Не знаю какие там результаты | ||
Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору |
96. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Серж (??) on 25-Июн-14, 18:27 | ||
> Не знаю какие там результаты | ||
Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору |
97. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Серж (??) on 25-Июн-14, 18:29 | ||
>> Не знаю какие там результаты | ||
Ответить | Правка | ^ к родителю #96 | Наверх | Cообщить модератору |
31. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +2 +/– | |
Сообщение от milkman on 25-Июн-14, 08:13 | ||
> Не знаю какие там результаты | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
32. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Ordu (ok) on 25-Июн-14, 08:55 | ||
Любопытно. Прилагательное "математическое" как красная тряпка для местного населения. Любопытно почему, потому что никто не знает математики, или потому что все знают и раз по десять наступили на грабли неприменимости математики к реальной жизни? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
94. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от hummermania (ok) on 25-Июн-14, 17:57 | ||
Всё как обычно - мгновенное и "глубоко компетентное" суждение о ранее незнакомом предмете при его поверхностном обзоре. Выше в комментах в PDF-ке в разделе References есть достаточно интересные документы. Особенно из свежих. | ||
Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору |
33. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 08:59 | ||
маркетинговым впариванием попахивает =) 2 абзаца и в обоих про математическое доказательство, как все надежно и круто, "на бумаге" | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
88. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:43 | ||
> маркетинговым впариванием попахивает =) 2 абзаца и в обоих про математическое доказательство, | ||
Ответить | Правка | ^ к родителю #33 | Наверх | Cообщить модератору |
107. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от all_glory_to_the_hypnotoad (ok) on 25-Июн-14, 21:03 | ||
Это ты дебил. Их деятельность практически ничем не знаменательна, обычная оборонка. Портачат там всего лишь чуть меньше, чем в остальных отраслях. Никакими сверхфантастическими проектами, которые сегодня кажутся сказкой, а лет через 50 будут обыденностью, там тоже не занимаются. Айти это не конёк оборонки, запомни, обезъяна. | ||
Ответить | Правка | ^ к родителю #88 | Наверх | Cообщить модератору |
108. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 23:13 | ||
таки нет ? http://www.gdc4s.com/ | ||
Ответить | Правка | ^ к родителю #88 | Наверх | Cообщить модератору |
34. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от iuy on 25-Июн-14, 09:16 | ||
Множество ошибок просто отсутствует! | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
41. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 10:37 | ||
>выносом частей для управления ресурсами ядра в пространство пользователя | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
55. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от angra (ok) on 25-Июн-14, 12:48 | ||
При падении драйвера ядро его перезапустит. Полезно, если в драйвере есть редко срабатывающий баг или переинициализация железа может помочь. На этом всё. Если драйвер вылетает из-за сбоя железа, который программно не исправить, то пользы от этого ровным счетом никакой. Про безопасность же в смысле security вообще речи не идет. | ||
Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору |
57. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 13:41 | ||
В монолитное ядро тоже можно вмонтировать функцию перезапуска модулей. Если я их сам могу останавливать/запускать в линуксе вручную или через скрипты и у меня ничего не падает, почему бы не реализовать эту функцию в ядре. Если конечно это ничему не повредит. | ||
Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору |
69. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 15:43 | ||
> В монолитное ядро тоже можно вмонтировать функцию перезапуска модулей. Если я их | ||
Ответить | Правка | ^ к родителю #57 | Наверх | Cообщить модератору |
60. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –3 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 14:23 | ||
Ядро линукс построено вольно-невольно по аналогии с ЦНС, есть гематоэнцефалический барьер между кернелспейс и юзерспейс, Модули как навыки и знания, хранятся они не в желудке, а рядом с ядром. Представляю если бы одна моя мысль напрямую общалась с другой минуя координационный центр. Это называется шизофрения. :) Если у вас уже есть серьезный баг в мозгах то перезапуск не поможет и не нужен. | ||
Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору |
61. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 14:28 | ||
Или вот еще такое сравнение. Когда ядро линукс просто откажет, микроядро даст доступ к ракетам :)))) | ||
Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору |
62. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Andrey Mitrofanov on 25-Июн-14, 14:30 | ||
>Когда ядро линукс просто откажет, микроядро даст доступ к ракетам :)))) | ||
Ответить | Правка | ^ к родителю #61 | Наверх | Cообщить модератору |
63. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 14:32 | ||
>>Когда ядро линукс просто откажет, микроядро даст доступ к ракетам :)))) | ||
Ответить | Правка | ^ к родителю #62 | Наверх | Cообщить модератору |
64. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 14:35 | ||
>>Когда ядро линукс просто откажет, микроядро даст доступ к ракетам :)))) | ||
Ответить | Правка | ^ к родителю #62 | Наверх | Cообщить модератору |
67. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Andrey Mitrofanov on 25-Июн-14, 15:33 | ||
...but in Soviet Russia, you deny to the microkernel. | ||
Ответить | Правка | ^ к родителю #64 | Наверх | Cообщить модератору |
77. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от anonymous (??) on 25-Июн-14, 16:19 | ||
> Заметил, что в инете десятки статей о преимуществах микроядра и почти ни | ||
Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору |
42. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от odity on 25-Июн-14, 10:38 | ||
Поясните дураку, а че они сделали ядро надежным,доказали математически, а торвальдс не сделал этого? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
53. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от angra (ok) on 25-Июн-14, 12:41 | ||
Если брать аналогии, то почитай в википедии про "Гравитационная задача N тел". У этих ребят случай аналогичный задаче трех тел. А вот linux является аналогом задачи с на порядки большим количеством тел, причем количество тел продолжает постоянно увеличиваться, то есть на данном уровне развития математики не может быть решенным в аналитическом виде. | ||
Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору |
59. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 14:14 | ||
По этой аналогии любая ос состоит из большого количества тел. И очередное микроядро - просто повод денег содрать и ничего более. | ||
Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору |
72. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 16:01 | ||
> По этой аналогии любая ос состоит из большого количества тел. И очередное | ||
Ответить | Правка | ^ к родителю #59 | Наверх | Cообщить модератору |
89. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:45 | ||
>> По этой аналогии любая ос состоит из большого количества тел. И очередное | ||
Ответить | Правка | ^ к родителю #72 | Наверх | Cообщить модератору |
43. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 10:39 | ||
А на каком оборудовании оно может работать? GNU/Debian/seL4 на нем можно сделать? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
74. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –1 +/– | |
Сообщение от fi (ok) on 25-Июн-14, 16:04 | ||
скорей всего прикрутят к opensuse, как это было с прежним L4. | ||
Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору |
90. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:45 | ||
> А на каком оборудовании оно может работать? GNU/Debian/seL4 на нем можно сделать? | ||
Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору |
54. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 12:46 | ||
Хм. Насколько я понял, в новости прямо сказано, что контроль доступа реализуется в юзерспейс. Так какой толк от математически доказанной безопасности ядра, если львиная доля безопасности обеспечивается вне ядра? | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
91. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:46 | ||
> Хм. Насколько я понял, в новости прямо сказано, что контроль доступа реализуется | ||
Ответить | Правка | ^ к родителю #54 | Наверх | Cообщить модератору |
100. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 20:07 | ||
> Хм. Насколько я понял, в новости прямо сказано, что контроль доступа реализуется | ||
Ответить | Правка | ^ к родителю #54 | Наверх | Cообщить модератору |
75. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –4 +/– | |
Сообщение от DmA (??) on 25-Июн-14, 16:08 | ||
пишем микроядро,верифицируем его, если нужно наделяем крутыми свойствами, а потом грузим на этом ядре процессом другое ядро( Linux) в которое никто и никогда из математиков не заглядывал :) | ||
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору |
76. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +/– | |
Сообщение от Andrey Mitrofanov on 25-Июн-14, 16:16 | ||
> пишем микроядро,верифицируем его, если нужно наделяем крутыми свойствами, а потом грузим | ||
Ответить | Правка | ^ к родителю #75 | Наверх | Cообщить модератору |
92. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | –2 +/– | |
Сообщение от Аноним (??) on 25-Июн-14, 17:46 | ||
>> пишем микроядро,верифицируем его, если нужно наделяем крутыми свойствами, а потом грузим | ||
Ответить | Правка | ^ к родителю #76 | Наверх | Cообщить модератору |
93. "Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." | +1 +/– | |
Сообщение от Andrey Mitrofanov on 25-Июн-14, 17:54 | ||
> Боюсь, чувак, это вы все смешны в вашем уютненьком. Вы вообще что-то | ||
Ответить | Правка | ^ к родителю #92 | Наверх | Cообщить модератору |
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |