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

Открыт код сверхнадёжного микроядра seL4, opennews (ok), 29-Июл-14, (0) [смотреть все] +1 Сначала нужен список поддерживаемого оборудованияИ список портиротированного ПОУ, evkogan (?), 09:39 , 29-Июл-14, (2) // У меня инфа Поддерживается железо F-16, M1 Abrams, Piranha, MX, SAPS, MASP, GDM, уке (?), 09:47 , 29-Июл-14, (4) +32 // Демократичненько, commiethebeastie (ok), 10:27 , 29-Июл-14, (17) +7 ссылку или бабабол, Аноним (-), 14:12 , 29-Июл-14, (39) // Да балабол, но все равно ржачно , Аноним (-), 16:33 , 29-Июл-14, (54) +5 Классно M1 Abrams, сервер, серверная и дизельгенератор в одном флаконе , Fantomas (??), 16:14 , 29-Июл-14, (52) +5 // Ога Можно WoT гонять , Аноним (-), 17:23 , 29-Июл-14, (61) –1 Только тут подсказывают что для того чтобы гусеница за 30 секунд чинилась - надо, Аноним (-), 18:56 , 29-Июл-14, (69) +1 Не знаю как там у абраши и с наших православных танков 3 4 этого форума тупо тра, Аноним (-), 03:45 , 30-Июл-14, (90) +1 Так я и говорю - технологии надо сильно прокачать Ну там например выводок нанор, Аноним (-), 20:36 , 30-Июл-14, (106) –1 да и самих врагов тоже, им пофигу, что ломать , arisu (ok), 20:43 , 30-Июл-14, (108) Это наверное опционально, низкоприоритетная задача Враги узрев такую разборку б, Аноним (-), 04:34 , 31-Июл-14, (120) вообще, всё наоборот намного выгодней разломать врагов и оставить полезную техн, arisu (ok), 14:17 , 31-Июл-14, (126) Боюсь стоимость владения вас не обрадует , Anonizmus (?), 20:53 , 30-Июл-14, (111) Да, у кого-то есть , anonim (?), 09:49 , 29-Июл-14, (7) +4 Ну беспилотники уже поддерживаются Дело за малым , Аноним (-), 09:50 , 29-Июл-14, (8) +2 про титаник тоже так говорили, re (?), 09:47 , 29-Июл-14, (5) +14 // Так все правильно - капитан и айсберг не были составными частями корабля, на них, Аноним (-), 09:50 , 29-Июл-14, (9) +18 каким бы надёжным не был сейф, его всегда можно бросить в вулкан с , Кевин (?), 13:59 , 29-Июл-14, (37) +4 Т е не мне одному кажется, что математики что-то не учли , Аноним (-), 17:22 , 29-Июл-14, (60) +2 // Учли, и пофиксили в следующих релизах Титаник, Олимпик и Британик так и плавали, umbr (ok), 15:35 , 30-Июл-14, (101) есть мнение, что говоруны эти были лицами заинтересованными, Аноним (-), 00:43 , 30-Июл-14, (84) Никто не спорит что примитивный тасксвичер можно написать без багов Теперь удач, Аноним (-), 09:53 , 29-Июл-14, (10) +8 // То есть ты хочешь сказать, что все ваши поделки априорно бажные Я правильно теб, Аноним (-), 10:11 , 29-Июл-14, (11) –1 // Я хочу сказать что все мало-мальски сложные программы апнриори бажные И хрен вы, Аноним (-), 10:18 , 29-Июл-14, (13) +11   // Зависит от инструмента, подхода к разработке, и человека К критическим задачам , chinarulezzz (ok), 12:03 , 29-Июл-14, (29) +2   К критическим задачам надо подходить скурпулезно Делая резервирование, проводя , Crazy Alex (ok), 14:33 , 29-Июл-14, (40) +2   согласен, добавлю только, что эксперимент по созданию сверх надежного, но крайне, cmp (ok), 15:54 , 29-Июл-14, (46) –1   Только одно, но ничто не мешает ядру не просто прибить драйвер, а перезапустить , evkogan (?), 16:32 , 29-Июл-14, (53)   Драйвер, может, и перезапустится, но перезапустится ли железка , Аноним (-), 16:50 , 29-Июл-14, (55)   Железка и драйвер работают синхронно - перезапуск драйвера, в лучшем случае поте, cmp (ok), 17:01 , 29-Июл-14, (57) –2   Особенно прикольно AMDшники GPU ресторят при сбоях Они пытаются восстановить со, Аноним (-), 23:58 , 29-Июл-14, (79)   скажи, ты говоришь так же, как и пишешь 8212 монотонно, укладывая в одно пред, arisu (ok), 19:10 , 30-Июл-14, (105) +2   Насколько я понимаю, единственный более-менее надежный вариант реакции - громко , Crazy Alex (ok), 17:03 , 29-Июл-14, (58) +3   По моим наблюдениям за ядром линукса это обычно так встает колом железка, а пот, Аноним (-), 19:01 , 29-Июл-14, (71) +1   Понятно, что если железка-дрянь, то АппаратноПрограммныйКомплекс тоже будет плох, Vkni (ok), 22:07 , 30-Июл-14, (115)   С железом тенденция ровно обратная - становится быстрее-выше-сильнее-навороченне, Аноним (-), 08:58 , 31-Июл-14, (121) –1   жаль только, что для разных пользователя эти двадцать процентов включают разные , arisu (ok), 19:08 , 30-Июл-14, (104)   Просто невнимательность, но не просто Не надо умных слов, друг Люди делают не , chinarulezzz (ok), 18:49 , 29-Июл-14, (66) +1   А это не оправдания, это капитанинг Иногда, даже если не хочется делать баг - о, Аноним (-), 23:59 , 29-Июл-14, (80) –1   А кусок кремния таки прямо обладает b 100 b надежностью и воспроизводимостью, Anonizmus (?), 21:14 , 30-Июл-14, (113)   Так его люди делали, со всеми вытекающими , Аноним (-), 08:59 , 31-Июл-14, (122)   Про философию я соглашусь, она здесь неуместна, но игнорировать психологию совсе, Ordu (ok), 02:11 , 30-Июл-14, (88)   Нэт, это физиология изучает Хвать уже муть писать, спутали всё Алгоритмы с реф, pavlinux (ok), 04:47 , 30-Июл-14, (93) –1   Ну раскройте глаза нам глупым или, как говорится, GTFO Впрочем я уверен, что вы , Ordu (ok), 13:53 , 30-Июл-14, (100)   не нужно думать что знания нашей психики завершены То что мы ошибаемся не означ, chinarulezzz (ok), 03:05 , 01-Авг-14, (134)   Вот у лифта может быть дубовый алгоритм, который воможно провалидировать математ, Аноним (-), 18:31 , 29-Июл-14, (62) +1   и свойственно _не_ ошибаться можно, они же знают что им свойственно Хорошо Эт, chinarulezzz (ok), 18:57 , 29-Июл-14, (70)   Только когда вся программа и рантайм - размером с hello world, да еще транслятор, Аноним (-), 19:11 , 29-Июл-14, (73)   тогда очевидно что программа должна стремиться к выполнению желательно одной фун, chinarulezzz (ok), 19:33 , 29-Июл-14, (77)   Не обязательно Но программа должна быть или простой как топор, или должно быть , Аноним (-), 00:32 , 30-Июл-14, (82)   не обязательно, но стремление хорошее, даже лучшее из возможных, принимая во вни, chinarulezzz (ok), 02:58 , 01-Авг-14, (133)   Какая в пязду оптимальная поездка, на несвязаном графе с последовательными узла, pavlinux (ok), 05:03 , 30-Июл-14, (94)   Ты недооцениваешь лифты Даже в простом лифте высотных зданий и офисов люди указ, Аноним (-), 20:51 , 30-Июл-14, (110)   Ваши тоже _Все_ http lib ru ANEKDOTY errors txt_with-big-pictures html Чем, Andrey Mitrofanov (?), 11:06 , 29-Июл-14, (23) // ЧСХ, в каждой шутке есть доля правды , Аноним (-), 18:40 , 29-Июл-14, (63) зато дарповы гранты , Аноним (-), 10:15 , 29-Июл-14, (12) Если отказаться от бесполезного bloatware kde gnome systemd etc с кучей модных, Mihail Zenkov (ok), 10:53 , 29-Июл-14, (21) –1 // Это объясняет и оправдывает тысячи дистров линя , Аноним (-), 11:27 , 29-Июл-14, (25) Угу А потом вам понадобится какая-то хитрая алгоритмика для экономии топлива А, Crazy Alex (ok), 14:45 , 29-Июл-14, (41) // Вот это и есть overengineering ибо дальнейшее усложнение алгоритмов повышает сло, Mihail Zenkov (ok), 19:06 , 29-Июл-14, (72) Выигрыш - в том, что ты продашь больше машин, показав людям эту экономию или это, Crazy Alex (ok), 00:16 , 30-Июл-14, (81) Детский садик Ромашка Панимаешь в чём вся х ня - доступные материалы - для гов, pavlinux (ok), 05:32 , 30-Июл-14, (95) Везде очень по-разному Я в курсе про котлы вентиляцию etc Там также все неодно, Mihail Zenkov (ok), 13:17 , 30-Июл-14, (97) Невидимая рука рынка как бы намекает - зачем тратиться на топливную экономично, Аноним (-), 03:02 , 30-Июл-14, (89) +1 И вот тут мы опять смотрим на Хы с разными WM - , Vkni (ok), 22:30 , 30-Июл-14, (116) а также на никсовую консоль и старый добрый принцип 171 одна задача 8212 од, arisu (ok), 14:27 , 31-Июл-14, (127) А также выбросить GPU со спеками на 900 страниц, чипы беспроводной сети у которы, Аноним (-), 18:45 , 29-Июл-14, (64) +1 // Да нужно выбрасывать или делать их совершенно независимыми узлами, дабы в случае, Mihail Zenkov (ok), 19:15 , 29-Июл-14, (75) –1 Нужно Выбрасывайте, разрешаю Как вы себе это представляете Вот хочется вам кар, Аноним (-), 00:35 , 30-Июл-14, (83) gt оверквотинг удален Аноним, съибни, а Ну лошара же последний , pavlinux (ok), 05:47 , 30-Июл-14, (96) –3 Отправь СМСку с текстом не лох на короткий номер Ведь чем больше СМС ты пошл, Аноним (-), 09:02 , 31-Июл-14, (123) Точно также как строится микроядерная ОС Есть контроллер с основной программой, , Mihail Zenkov (ok), 13:27 , 30-Июл-14, (98) Ну да, то-есть сферическое железо в вакууме, которое никто никогда не увидит, кр, Аноним (-), 09:03 , 31-Июл-14, (124) А допотопные версии зажигания были и вовсе механическими Ну вот вы и замените к, Аноним (-), 00:44 , 30-Июл-14, (85) // Ненужно передергивать Есть этап усовершенствования системы, после которого даль, Mihail Zenkov (ok), 13:42 , 30-Июл-14, (99) А тут тоже зависит от Что понимать под ремонтом Возможность сделать радиолампу, Аноним (-), 20:58 , 30-Июл-14, (112) Зависит от условий эксплуатации и целесообразности Например на сервере многие ч, Mihail Zenkov (ok), 03:11 , 31-Июл-14, (117) –1 Вот тут мы и приходим к самому главному Да, три гидролинии в самолете - имеют н, Аноним (-), 04:05 , 31-Июл-14, (118) Обычно в квартире ставят шаровый кран на вводе и перед каждой точкой разбора Эт, Mihail Zenkov (ok), 13:52 , 31-Июл-14, (125) +1 Я вот до сих пор не могу понять почему массовые автомобили не выпускают из алюми, Anonizmus (?), 22:05 , 30-Июл-14, (114) –1 Потому что он мягкий как черти что, и при ДТП из юзера будет фарш Обратите вним, Аноним (-), 04:21 , 31-Июл-14, (119) –1 Скорее, потому что дорогой Мягкость и разушаемость материалов при аварии наборо, Аноним (-), 02:23 , 01-Авг-14, (130) как я понимаю микрокод и аппаратный алгоритм процессора по сути компонент таск, an (??), 16:06 , 29-Июл-14, (50) –1 Гг Осталось теперь математически доказать надежность всех остальных сервисов, к, bav (ok), 10:19 , 29-Июл-14, (14) +1 // Летают и работают А у вас в протоны датчики уебиметром заколачивают Чья б мыча, Аноним (-), 11:28 , 29-Июл-14, (26) –2 // Что доказывает качество конструкции и огромный запас прочности, на фоне которого, Гость (?), 12:33 , 29-Июл-14, (32) // ровно до тех пор, пока датчик вверх ногами не прикувалдят, rain87 (?), 13:13 , 29-Июл-14, (33) +1 Конкретно с seL4 летает, вероятно очень мало всего А это аппаратный баг, от него, Аноним (-), 18:47 , 29-Июл-14, (65) Ща поверх него запилят сверхнадёжное ПО на JavaScript и HTML5 , Аноним (-), 10:21 , 29-Июл-14, (15) +14 Надо еще доказать корректность компилятора которым это все собирается , Аноним (-), 10:27 , 29-Июл-14, (16) +8 // А ещё математически доказать 100 надёжность и корректность работы процессоров, , Mirraz (ok), 13:37 , 29-Июл-14, (35) +3 http compcert inria fr , Аноним (-), 13:41 , 29-Июл-14, (36) +1 // А что, сам на себе без багов он писаться не захотел А то он на ocaml завязан и , Аноним (-), 00:47 , 30-Июл-14, (86) еще одно ядро, IMHO (?), 10:32 , 29-Июл-14, (18) там кода кот наплакал код, конечно, легко читается и всё такое, но там ничего о, хрю (?), 10:41 , 29-Июл-14, (19) +2 // ну так правильно, с тяжолым ядром в верх не полетишь, избавляются от груза, IMHO (?), 10:48 , 29-Июл-14, (20) +1 Так в этом то и весь пойнт сверхнадежных - надо спихнуть все проблемы на других,, Аноним (-), 18:54 , 29-Июл-14, (68) +3 // Нет, здесь принцип не бери на себя большую ответственность, чем реально можешь п, Mihail Zenkov (ok), 19:27 , 29-Июл-14, (76) –1 // Ну так я и говорю - для вычислений большинства человекам хватит деревянных счет , Аноним (-), 00:48 , 30-Июл-14, (87) Франкенштейн , Аноним (-), 10:54 , 29-Июл-14, (22) –2 Персиянские операторы Автобазы подтверждают , Аноним (-), 11:20 , 29-Июл-14, (24) Ну что, ждем новости типа В ядре seL4 обнаружена критическая уязвимость Х, Аноним (-), 11:35 , 29-Июл-14, (27) –2 // Да-да-да, вполне возможно, что ошибки не могут в спецификации , YetAnotherOnanym (ok), 15:54 , 29-Июл-14, (47) +1 Ну всё, после этого Танненбаум и Торвальдс стоят в сторонке и, обнявшись, плачут, Какаянахренразница (ok), 11:52 , 29-Июл-14, (28) +3 Просто офигительная новость Актуальное микроядро под GPL лицензией, да еще и на, chinarulezzz (ok), 12:08 , 29-Июл-14, (30) // К сожалению, сейчас оно не подойдет для GNU, так как нужна лицензия GPLv3 , инач, ШТО (?), 12:30 , 29-Июл-14, (31) +3 где то уже читал про математическое доказательство и микроядро, и при чем недавн, Аноним (-), 13:34 , 29-Июл-14, (34) –2 // если читал там, где где-то пишут без дефиса, а причём раздельно, то это был , Аноним (-), 14:03 , 29-Июл-14, (38) +7 // Ну чего набросились, парень радуется, что читать научился Следующий этап - науч, Аноним (-), 15:39 , 29-Июл-14, (44) +3 Кажется беспилотник уже ломали в 2012 году Уверены они что система надежная http, trdm (ok), 14:56 , 29-Июл-14, (42) –1 // По сути они заглушили сигналы GPS и подменили их своими Никакого взлома тут не , Алексей (??), 16:59 , 29-Июл-14, (56) +1 // Хорошо бы, ибо - тупик - 124 да вот только в отличае от тебя - амеры не д, Аноним (-), 04:23 , 30-Июл-14, (91) // Ну, так все правильно - днем же звезд не видать Как же с гороскопом без звезд-т, Аноним (-), 17:30 , 30-Июл-14, (103) Вот немецкая разведка с помощью форса гороскопов сорвала отступление французских, Anonizmus (?), 20:48 , 30-Июл-14, (109) –1 Что-то не компилится , my (?), 15:06 , 29-Июл-14, (43) –1 // Там надо исправить -mcpu microwave , Kodir (ok), 15:58 , 29-Июл-14, (48) // Судя по вышеизложеннному, -mcpu F-16 , Аноним (-), 19:14 , 29-Июл-14, (74) Ну если ты пытаешься заставить ассемблер с компилировать код с оптимизацией под , Аноним (-), 02:14 , 01-Авг-14, (128) Если там не Systemd то ненужно Ведь всё, на чём нет Systemdб крутые хакеры объя, Zenitur (ok), 15:43 , 29-Июл-14, (45) –1 // Пусть Поттер это генералу Динамиксу в лицо скажет , Andrey Mitrofanov (?), 16:01 , 29-Июл-14, (49) А была ли доказана безошибочность программ, которые использовались при провекри , Пропатентный тролль (?), 16:09 , 29-Июл-14, (51) –1 // А была ли доказана безошибочность программ, которые использовались при проверке , Аноним (-), 22:06 , 29-Июл-14, (78) –1 // Нет не была Почему тест крэшился , Аноним (-), 04:24 , 30-Июл-14, (92) Чем оно надёжнее проверенного Windows Core , Аноним (-), 17:12 , 29-Июл-14, (59) –4 // Чем windows core , Аноним (-), 18:52 , 29-Июл-14, (67) +4 Рилтайм от блекбери круче, инф100 1 да и кореос торт а не печенько рекламное, Аноним (-), 16:15 , 30-Июл-14, (102) –1 Это что попытка диверсии типа программы Звездных войн , Anonizmus (?), 20:43 , 30-Июл-14, (107) –1 // Звери, а не люди провоцируют вероятного противника писать софт вместо того, что, Аноним (-), 02:17 , 01-Авг-14, (129) 2,5,10,14,15,16,18,19,22,24,27,28,30,34,42,43,45,51,59,102,107

Сообщения

[Сортировка по времени | RSS]

	13. "Открыт код сверхнадёжного микроядра seL4"	+11 +/–
	Сообщение от Аноним (-), 29-Июл-14, 10:18
	Я хочу сказать что все мало-мальски сложные программы апнриори бажные. И хрен вы их валидируете математически.
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Открыт код сверхнадёжного микроядра seL4"	+2 +/–
	Сообщение от chinarulezzz (ok), 29-Июл-14, 12:03
	Зависит от инструмента, подхода к разработке, и человека. К критическим задачам нужно подходить скрупулёзно. Априори бажность - хорошая отговорка для тех кто проектирует лифты, корабли, самолёты, автотехнику, робототехнику. Баги бывают, чо. Невнимательность - всего лишь невнимательность, и ничего с этим поделать нельзя.
	Ответить | Правка | Наверх | Cообщить модератору

	40. "Открыт код сверхнадёжного микроядра seL4"	+2 +/–
	Сообщение от Crazy Alex (ok), 29-Июл-14, 14:33
	К критическим задачам надо подходить скурпулезно. Делая резервирование, проводя тщательное тестирование, используя статические анализаторы, чтобы указать человеку на подозрительные части кода и т.д. И при этом - учитывая, что узел таки имеет шанс отказать и планируя реакции на это - на разных ровнях системной иерархии. И мне очень жаль, что вы не понимаете, что баги - это не просто невнимательность. Как минимум - всегда будут прооблемы с непредсказуемум взаимодействием с программынм окружением, недопониманием спецификаций (в том числе теми, кто и составляет), не оправдавшимися ожиданиями к оборудованию и пользователю и так далее, и тому подобное. Никто не совершенен, и баги - просто результат этого несовершенства.
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от cmp (ok), 29-Июл-14, 15:54
	согласен, добавлю только, что эксперимент по созданию сверх надежного, но крайне минималистичного софта уже был - qmail. ИМХО, народ предпочитает постфикс. Есть такое правило - 20/80 - которое озвученно экономистом, но перефразировать и применить можно много к чему - 20 процентов программы (кода) удовлетворят потребности 80% пользователей. Если по этой логике построить кривую, то в определенный момент кол-во дополнительных проверок понизит скорость выполнения кода, а значит снизит "удовлетворенность", то есть 100% результ в принципе не достижим, а вариант с 99.97% чертовски дорог. В данном случае разработчики решили пойти по довольно логичному пути - выкинуть все драйвера в юзер-спейс, ведь именно драйвера большая часть кода и именно они (она) содержат наибольшее кол-во багов, однако это означает, что программа-драйвер будет работать медленее, во-первых, во-вторых пока программа будет ждать в очереди на выполнение железка может и буффер переполнить, а это уже потеря данных, ну и самое вкусное, если программа-драйвер глюкнет и ядро ее прибьет, то обслуживаемая ею железяка может повиснуть без возможности переинициализации без оключения питания, которое в свою очередь может быть реализованно только при перезагрузке, так что какая разница - кернел паник или не паник если все равно ребут. На десктопах, конечно, сохраниться перед ребутом хорошо, но до десктопа этому ядру еще лет 30, а для серверов придумали транзакции.
	Ответить | Правка | Наверх | Cообщить модератору

	53. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от evkogan (?), 29-Июл-14, 16:32
	Только одно, но ничто не мешает ядру не просто прибить драйвер, а перезапустить. А тогда разница очень большая.
	Ответить | Правка | Наверх | Cообщить модератору

	55. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 29-Июл-14, 16:50
	Драйвер, может, и перезапустится, но перезапустится ли железка?
	Ответить | Правка | Наверх | Cообщить модератору

	57. "Открыт код сверхнадёжного микроядра seL4"	–2 +/–
	Сообщение от cmp (ok), 29-Июл-14, 17:01
	> Только одно, но ничто не мешает ядру не просто прибить драйвер, а > перезапустить. А тогда разница очень большая. Железка и драйвер работают синхронно - перезапуск драйвера, в лучшем случае потеря данных, синхронизация с железкой это портянка кода который протестировать весьма проблематично... в промышленности уже давно и на полную катушку используется резервирование, упал сервак, так есть другой, что кстате решает проблему с обновлениями, а вот супер стабильное ядро, что прекажете не обновлять или все равно дублировать, я не зря вспомнил про qmail, его не обновляют и новых плюшек там нет, то есть хорошо, что есть выбор, но это ровным счетом ничего не решает.
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

	79. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 29-Июл-14, 23:58
	> данных, синхронизация с железкой это портянка кода который протестировать весьма > проблематично... Особенно прикольно AMDшники GPU ресторят при сбоях. Они пытаются восстановить состоягние GPU. И зачастую это удается - все падает точно так же как до рестарта. И процесс повторяется. С другой стороны, если это добро выбросить - случится выпадение ядерных осадков...
	Ответить | Правка | Наверх | Cообщить модератору

	105. "Открыт код сверхнадёжного микроядра seL4"	+2 +/–
	Сообщение от arisu (ok), 30-Июл-14, 19:10
	скажи, ты говоришь так же, как и пишешь — монотонно, укладывая в одно предложение кучу несвязаных словосочетаний? если нет, то какого же чёрта ты пишешь так, что читать тебя почти физически неприятно и хочется отоварить молотком по черепу?
	Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

	58. "Открыт код сверхнадёжного микроядра seL4"	+3 +/–
	Сообщение от Crazy Alex (ok), 29-Июл-14, 17:03
	Насколько я понимаю, единственный более-менее надежный вариант реакции - громко умирать. Любые попытки перезапуска и восстановления состояния без  выхода на уровень вышележащей системы слишком рискованны - потому что непонятно, откуда сбой вообще взялся и насколько поломано в данный момент окружение. И нет, вариант "перезапуск драйвера микроядром" - это не выход на уровень вышележащей системы. Как минимум - потому что ядро работает на том же железе. Корректный подход - сдохнуть, позволив забрать управление дублирующему узлу. А потом уже что-то будет пытаться востановить работу, перезапускаться, проводить тестирование и т.д. - автоматика или ремонтники.
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

	71. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от Аноним (-), 29-Июл-14, 19:01
	> Только одно, но ничто не мешает ядру не просто прибить драйвер, а > перезапустить. А тогда разница очень большая. По моим наблюдениям за ядром линукса это обычно так: встает колом железка, а потом драйвер ядра с переменным успехом пытается вправить ей мозг. А если GPU не получилось перезапустить - радости то с работающего драйвера? Картинки то все-равно не будет. ЧСХ такое можно и с модульным монилитом понаблюдать для самых разных железок. Чтобы свойства seL4 были сколь-нибудь сохранены, его и запускать надо на каком-то убер-тривиальном ASIC где кроме примитивного RISC с полутора командами вообще ничего нет. Правда, не понятно что с ним потом делать, но об этом мы подумаем в другой раз...
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

	115. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Vkni (ok), 30-Июл-14, 22:07
	> А если GPU не получилось перезапустить - радости то с работающего > драйвера? Картинки то все-равно не будет. ЧСХ такое можно и с > модульным монилитом понаблюдать для самых разных железок. Понятно, что если железка-дрянь, то АппаратноПрограммныйКомплекс тоже будет плох. Тем не менее, сейчас операционные системы универсальны => желательно закладываться и на хорошие железки, чтобы на них ОС тоже была полезна. А так, в своё время были мониторы, которые можно было убить программно, потом исчезли.
	Ответить | Правка | Наверх | Cообщить модератору

	121. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Аноним (-), 31-Июл-14, 08:58
	С железом тенденция ровно обратная - становится быстрее-выше-сильнее-навороченнее-фичастее-быстрее... и глючнее. Достаточно посмотреть на дрова линуха и посмотреть сколько там вбито костылей и воркэраундов на все случаи жизни. Для начала - у CPU от AMD и Intel - обновляемый микрокод. Это чтобы можно было запатчить часть багов после выпуска чипа, не отправляя всю партию под пресс, что дорого и досадно. А если секцию ERRATA у даташитов читать - позеленеешь ненароком...
	Ответить | Правка | Наверх | Cообщить модератору

	104. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от arisu (ok), 30-Июл-14, 19:08
	> 20 процентов программы (кода) удовлетворят потребности 80% пользователей. жаль только, что для разных пользователя эти двадцать процентов включают разные фичи.
	Ответить | Правка | К родителю #46 | Наверх | Cообщить модератору

	66. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от chinarulezzz (ok), 29-Июл-14, 18:49
	> И мне очень жаль, что вы не понимаете, что баги - это > не просто невнимательность. Просто невнимательность, но не просто. Не надо умных слов, друг. Люди делают не понимая что именно они делают также в области проектирования и программирования. Не надо оправданий, тем более из области философии и психологии, про несовершенство мироздания и ожидания. Рукожоп есть жопорук. Скажи про несовершенство строителю, что построил тебе дом. Или мостостроителям. Это не вопрос ожидания, а разумности. Есть области, где нужно быть не просто внимательным, а скрупулёзно-доебительно-двадцать-семь-раз-отмерившим, профи своего дела. В остальном конечно, большинство плодят баги. Но людей с такой философией нельзя подпускать написанию критичных программ. У них неверный подход в голове, не говоря уже про руки. Дядя Вирт писал немного о надёжности. > прооблемы с непредсказуемум взаимодействием с программынм окружением имхо, в критичных участках использовать целую ОС - неверно.
	Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору

	80. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Аноним (-), 29-Июл-14, 23:59
	> Просто невнимательность, но не просто. Не надо умных слов, друг. Люди делают > не понимая что именно они делают также в области проектирования и > программирования. Не надо оправданий, тем более из области философии и психологии, А это не оправдания, это капитанинг. Иногда, даже если не хочется делать баг - он может всpaться. Человеческий мозг - не цифровой компьютер, поэтому не обладает идеальной надежностью и 100% воспроизводимостью работы.
	Ответить | Правка | Наверх | Cообщить модератору

	113. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Anonizmus (?), 30-Июл-14, 21:14
	> А это не оправдания, это капитанинг. Иногда, даже если не хочется делать > баг - он может всpaться. Человеческий мозг - не цифровой компьютер, > поэтому не обладает идеальной надежностью и 100% воспроизводимостью работы. А кусок кремния таки прямо обладает 100% надежностью и воспроизводимостью... Тото у третьих пней предусматривался вариант работы в режиме напоминающем RAID 1.
	Ответить | Правка | Наверх | Cообщить модератору

	122. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 31-Июл-14, 08:59
	> А кусок кремния таки прямо обладает 100% надежностью и воспроизводимостью... Так его люди делали, со всеми вытекающими...
	Ответить | Правка | Наверх | Cообщить модератору

	88. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Ordu (ok), 30-Июл-14, 02:11
	> Не надо оправданий, тем более из области философии и психологии, про несовершенство > мироздания и ожидания. Про философию я соглашусь, она здесь неуместна, но игнорировать психологию совсем не стоит. Психология может вносить и вносит свои погрешности в процесс мышления человека. Кроме того, ограничения "вычислительных способностей" мозга -- это не вопрос ли психологии? Есть мнение, что человек вплотную подошёл к верхней планке сложности разрабатываемых им систем. Я поясню. Человек непосредственно, без всяких хитроумных заморок типа разделения задачи на подзадачи, может решать лишь весьма простые задачки. Разделение задачи на подзадачи позволяет решать более сложные задачи, но это костыль, потому что попадаются задачи, которые упорно не хотят делиться на подзадачи. С этими проблемами справляются используя дополнительные костыли, помогающие бить задачу на части. Но это всё костыли, и практическая неизбежность багов говорит нам именно об этом. Некостыльным способом решать такие задачи, было бы увеличение "iq" разработчика (не в смысле умения проходить тесты на iq, а в смысле способности решать сложные задачи). Тренировки мозга, эволюция или искусственный интеллект -- вот где могут скрываться некостыльные решения. Причём тренировки мозга -- вряд ли смогут решить проблему, лишь снизить её остроту. PS. И, простите что вмешиваюсь, но вы спорите с Анонимом, по-моему, ни о чём. Вы говорите о том, что программист, проектирующий/пишущий не должен опускать руки в борьбе с багами; Аноним же говорит о том, что подобный настрой в работе не избавит от багов на 100%. И, по-моему, вы оба правы.
	Ответить | Правка | К родителю #66 | Наверх | Cообщить модератору

	93. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от pavlinux (ok), 30-Июл-14, 04:47
	> Кроме того, ограничения "вычислительных способностей" мозга -- это не вопрос ли психологии? Нэт, это физиология изучает. > Человек непосредственно, без всяких хитроумных заморок типа разделения > задачи на подзадачи, может решать лишь весьма простые задачки. Хвать уже муть писать, спутали всё. Алгоритмы с рефлексам, задачи с инстинктами. Весь тред, да и все комменты в теме - х...ета полная, ничего общего не имеющая с реальностью. Ну чесслово - глупее идиотов выглядят, только размышляющие идиоты.
	Ответить | Правка | Наверх | Cообщить модератору

	100. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Ordu (ok), 30-Июл-14, 13:53
	> Хвать уже муть писать, спутали всё. Алгоритмы с рефлексам, задачи с инстинктами. Ну раскройте глаза нам глупым или, как говорится, GTFO. Впрочем я уверен, что вы просто недостаточно интересовались причинами возникновения тех или иных ошибок, и уж во всяком случае не интересовались тем, что говорят об этом другие, в том числе и те, кто по роду своей деятельности изучает ошибки, которые мозг совершает *систематически*. Если интересно, то вот популярное изложение объясняющее на примерах, что такое когнитивное искажение: http://lesswrong.ru/w/Когнитивные_искажения Обратите там внимание на опыт с рулеткой и прочие эксперименты демонстрирующие т.н. "якорение", и задайте себе после этого вопрос: можете ли вы вообще доверять своему мозгу? То есть другие когнитивные искажения тоже заслуживают внимания, но там хоть какие-то пути просматриваются как можно внести поправку, корректирующую деструктивное влияние мозга на процесс мышления, "якорение" же не позволяет даже этого.
	Ответить | Правка | Наверх | Cообщить модератору

	134. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от chinarulezzz (ok), 01-Авг-14, 03:05
	>> Не надо оправданий, тем более из области философии и психологии, про несовершенство >> мироздания и ожидания. > Про философию я соглашусь, она здесь неуместна, но игнорировать психологию совсем не > стоит. Психология может вносить и вносит свои погрешности в процесс мышления > человека. Кроме того, ограничения "вычислительных способностей" мозга -- это не вопрос > ли психологии? не нужно думать что знания нашей психики завершены. То что мы ошибаемся не означает что мы можем только ошибаться. Что ошибки неизбежны. Наша инерция не даёт осознавать проблемы и мы выдумываем себе оправдания, вроде простых "истин": все ошибаются, ничто не идеально. > PS. И, простите что вмешиваюсь, но вы спорите с Анонимом, по-моему, ни > о чём. Вы говорите о том, что программист, проектирующий/пишущий не должен > опускать руки в борьбе с багами; Аноним же говорит о том, > что подобный настрой в работе не избавит от багов на 100%. > И, по-моему, вы оба правы. хорошо тогда :)
	Ответить | Правка | К родителю #88 | Наверх | Cообщить модератору

	62. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от Аноним (-), 29-Июл-14, 18:31
	> Априори бажность - хорошая отговорка для тех кто проектирует лифты, Вот у лифта может быть дубовый алгоритм, который воможно провалидировать математически. Хотя у современных лифтов это уже не факт - в больших зданиях лифты принимают решения куда ехать исходя из количества людей и оптимальности поездки и там уже целая отдельная наука. > корабли, самолёты, автотехнику, робототехнику. А вот у этих бывает и сложный софт и на этот случай предпринимаются специальные меры. > Баги бывают, чо. Невнимательность - всего лишь невнимательность, Людям свойственно ошибаться. И ничего с этим поделать нельзя. Но это можно учесть. Есть множество инженерных принципов. Например, принципы FAILSAFE. Или вон у одного из боингов бортовые компьютеры созданы из разной комплектухи, а софт писан 2-я разными командами на 2-х разных ЯП. Это чтобы ни при каких обстоятельствах не случилось так что оба компьютера сразу словили один и тот же баг, как раз. То-есть, мысль о существовании багов не только допущена, но и приняты превентивные меры нацеленные на то, чтобы пилоты даже в этом случае остались с как минимум 1 работоспособным компьютером.
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	70. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от chinarulezzz (ok), 29-Июл-14, 18:57
	> Людям свойственно ошибаться. и свойственно _не_ ошибаться. > И ничего с этим поделать нельзя. можно, они же знают что им свойственно... > Но это можно учесть. Есть множество инженерных принципов. Хорошо. Это разумно. > Или вон у одного из боингов бортовые компьютеры созданы из разной комплектухи, а софт > писан 2-я разными командами на 2-х разных ЯП. Тоже хорошо. Только бы не делали три, понимаешь? На случай если первые два ку-ку. А потом четыре, на случай если первые три ку-ку.
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 29-Июл-14, 19:11
	> и свойственно _не_ ошибаться. Только когда вся программа и рантайм - размером с hello world, да еще транслятор под стать. > можно, они же знают что им свойственно... Ни разу не видел уникомов, которые бы писали большие программы без ошибок. Ну разве что роботов припахать. Но тут есть подстава - первую версию AI могут сделать только люди, а стало быть она будет с багами... > Тоже хорошо. Только бы не делали три, понимаешь? На случай если первые > два ку-ку. А потом четыре, на случай если первые три ку-ку. Для самолетов нормально делать по 2-4 резерва для подсистем, отказ которых что-то решает. Иногда и это кстати не помогает - у одного самолета с 3-я двигателями развалившийся хвостовой двигатель разнес все 3 гидролинии. Конец немного предсказуем. ЧСХ, работу над ошибками делали - и гидролинии по другому стали укладывать, и от потенциальных обломков кожухом защитили. Но все-равно периодически как-то так оказывается что где-то вcpaaлся баг...
	Ответить | Правка | Наверх | Cообщить модератору

	77. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от chinarulezzz (ok), 29-Июл-14, 19:33
	>> и свойственно _не_ ошибаться. > Только когда вся программа и рантайм - размером с hello world, да > еще транслятор под стать. тогда очевидно что программа должна стремиться к выполнению желательно одной функции, но выполнять её безупречно.
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 30-Июл-14, 00:32
	> тогда очевидно что программа должна стремиться к выполнению желательно одной функции, но > выполнять её безупречно. Не обязательно. Но программа должна быть или простой как топор, или должно быть предусмотрено что она может сбойнуть и это не должно вести к фатальным последствиям.
	Ответить | Правка | Наверх | Cообщить модератору

	133. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от chinarulezzz (ok), 01-Авг-14, 02:58
	>> тогда очевидно что программа должна стремиться к выполнению желательно одной функции, но >> выполнять её безупречно. > Не обязательно. Но программа должна быть или простой как топор, или должно > быть предусмотрено что она может сбойнуть и это не должно вести > к фатальным последствиям. не обязательно, но стремление хорошее, даже лучшее из возможных, принимая во внимание сказанное тобой, скромное имхо.
	Ответить | Правка | Наверх | Cообщить модератору

	94. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от pavlinux (ok), 30-Июл-14, 05:03
	>> Априори бажность - хорошая отговорка для тех кто проектирует лифты, > Вот у лифта может быть дубовый алгоритм, который воможно провалидировать математически. > Хотя у современных лифтов это уже не факт - в больших > зданиях лифты принимают решения куда ехать исходя из количества людей и > оптимальности поездки Какая в пязду оптимальная поездка, на несвязаном графе с  последовательными узлами?
	Ответить | Правка | К родителю #62 | Наверх | Cообщить модератору

	110. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 30-Июл-14, 20:51
	Ты недооцениваешь лифты. Даже в простом лифте высотных зданий и офисов люди указывают вверх им или вниз. Так что из очевидных оптимизаций - как минимум лифт может пытаться ехать последовательно вверх и последовательно вниз. А если лифт уже полный - можно и не останавливаться, даже если и вызвали, например. А в чем пойнт похлопать дверями и уехать дальше? В более продвинутых может учитываться еще и количество ожидающих. А иногда и на какой этаж они хотят. А иной экспонат нынче уже норовит заняться и бизнес аналитикой: делается распознавание морды лица, а потом "Ага, это - хрен Вася из 100500-го офиса, он по статистике обычно ездит с 30-го этажа на 105-й".
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема