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

Открыт код сверхнадёжного микроядра 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]

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

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

	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ообщить модератору

	23. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Andrey Mitrofanov (?), 29-Июл-14, 11:06
	> То есть ты хочешь сказать, что все ваши поделки априорно бажные? Я Ваши тоже. _Все_. http://lib.ru/ANEKDOTY/errors.txt_with-big-pictures.html +++Чем больше программист делает ошибок, тем быстрее он делается ученым.
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	63. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 29-Июл-14, 18:40
	> Ваши тоже. _Все_. http://lib.ru/ANEKDOTY/errors.txt_with-big-pictures.html ЧСХ, в каждой шутке есть доля правды :).
	Ответить | Правка | Наверх | Cообщить модератору

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

	21. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Mihail Zenkov (ok), 29-Июл-14, 10:53
	Если отказаться от бесполезного bloatware (kde/gnome/systemd/etc) с кучей модных фишек, а решать реальные узкоспециализированные задачи, то все получится. Например, система управления зажиганием ДВС (реальное время, счет на микросекунды) может уложиться в 1000 строк на C для atmega8 и еще успевать выводить статистику на экран.
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

	25. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 29-Июл-14, 11:27
	> Если отказаться от бесполезного bloatware (kde/gnome/systemd/etc) с кучей модных фишек, > а решать реальные узкоспециализированные задачи, то все получится. Например, система управления > зажиганием ДВС (реальное время, счет на микросекунды) может уложиться в 1000 > строк на C для atmega8 и еще успевать выводить статистику на > экран. Это объясняет и оправдывает тысячи дистров линя?
	Ответить | Правка | Наверх | Cообщить модератору

	41. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Crazy Alex (ok), 29-Июл-14, 14:45
	Угу. А потом вам понадобится какая-то хитрая алгоритмика для экономии топлива. А потом - дополнить её для снижения выбросов. А потом еще что-то... А потом получится "KDE, версия для системы зажигания ДВС". Вероятнее всего - разложенная на несколько камней чтобы удержать-таки те самые микросекунды, что её ни разу не упростит. Я не против избавления от bloatware (еще б я был против - сам на notion сижу и mupdf погоняю), но не стоит съезжать в сторону аскетичного ничего не умеющего кода. Тот же KDE громоздок не потому, что много фич, а потому что он громоздок, akonadi - тому свидетельство. Ну как можно было умудриться сделать простейшую хранилку контактов и прочего такой монструозной? А всё потому, что по факту весь этот софт - монолитен. В том смысле, что для того, чтобы заменить, удалить или добавить любой компонент нужны приличные усилия и знания. Было бы оно по простоте как писание скриптов с пайпами или как рисование в какой-нибудь dataflow-тулзе - был бы миллион разных вариантов, из которых выросло бы что-то вменяемое.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	72. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Mihail Zenkov (ok), 29-Июл-14, 19:06
	> Угу. А потом вам понадобится какая-то хитрая алгоритмика для экономии топлива. А потом - дополнить её для снижения выбросов. А потом еще что-то... А потом получится "KDE, версия для системы зажигания ДВС". Вероятнее всего - разложенная на несколько камней чтобы удержать-таки те самые микросекунды, что её ни разу не упростит. Вот это и есть overengineering ибо дальнейшее усложнение алгоритмов повышает сложность практически по экспоненте и также снижает стабильность и предсказуемость. Выигрыш при этом максимум 5% по эффективности и то в идеальных условиях на новой машине, пока естественный разброс при износе узлов его не перекрыл. Гляньте ecomodder.com, там весит топ по топливной экономичности машин и большинство из них до 2000-го года.
	Ответить | Правка | Наверх | Cообщить модератору

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

	95. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от pavlinux (ok), 30-Июл-14, 05:32
	> Речь шла о том, что усложнение систем - штука повсеместная и естественная. Детский садик Ромашка. Панимаешь в чём вся х..ня - доступные материалы - для говна, говно не должно жить в каменном доме, с камином. В доме говна - нужны системы кондиционирования и вентиляции. Говно должно думать, что оно не говно. Для этого само говно, производит для говна, продукцию из/на говне. В основной массе, говно знающие, что делает говно, само верит в то, что производит. И начинает думать, что если каждое говно покупает, то, чем я хуже остального говна. Говну не нужен дом из мрамора, гавну нужен просто дом. Газбетон, ДСП, ПВХ, ... - типичный состав дома говна. Так же говно, покупает лыжи Salomon за 1500$ и ботинки к ним за 3000$, правда у говна даже нет 3-ого разряда по ОФП.
	Ответить | Правка | Наверх | Cообщить модератору

	97. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Mihail Zenkov (ok), 30-Июл-14, 13:17
	> Точно так же, как вместо очага с поленьями сейчас имеем автоматические котлы с хитрыми форсунками, автоматикой и черт знает чем еще. Также как вместо полоски железа в современных ножах - порошковая сталь. И так далее, и тому подобное. И с "простейшей автоматикой" то же самое - выше где-то пример с лифтами уже приводили. С алгоритмикой работы отопления и вентиляции - то же самое, всё сложнее становится. Везде так. Везде очень по-разному. Я в курсе про котлы/вентиляцию/etc. Там также все неоднозначно: многие до сих пор предпочитаю системы отопления независящие от электроэнергии. Они самые безотказные, но сложнее в проектировании, дороже и в большинстве своем имеют немного более низкий КПД. Все же попытки иначе сжечь твердое топливо с применением различной автоматики не дают существенного выигрыша в правильно спроектированной системе отопления. Удешевлении технологии и маркетинг отнюдь не стремятся сделать вещь лучше. Как вы и сами отметили, производители они хотят больше продать и им не выгодно делать вещи с длительным сроком эксплуатации. В каждом отдельном случае нужно взвешивать, что реально даст введение той или иной технологии, насколько она безотказна и ремонтно пригодна и даст ли вообще какие либо существенные преимущества.
	Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

	89. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от Аноним (-), 30-Июл-14, 03:02
	> Гляньте ecomodder.com, там весит топ по топливной экономичности машин и большинство из них до 2000-го года. "Невидимая рука рынка" как бы намекает - зачем тратиться на топливную экономичность, когда можно потратить в 10 раз меньше на пиар и хомячки все равно всё купят.
	Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

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

	127. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от arisu (ok), 31-Июл-14, 14:27
	> И вот тут мы опять смотрим на Хы с разными WM. :-) а также на никсовую консоль и старый добрый принцип «одна задача — одна программа». но всё это неимоверно сложно для ЦА всяких DE.
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от Аноним (-), 29-Июл-14, 18:45
	> Если отказаться от бесполезного bloatware (kde/gnome/systemd/etc) с кучей модных фишек, А также выбросить GPU со спеками на 900 страниц, чипы беспроводной сети у которых драйвер на 70% состоит из воркэраундов их багов и попыток развесить чип с минимальными потерями, ну и все такое прочее :).
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	75. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Mihail Zenkov (ok), 29-Июл-14, 19:15
	> А также выбросить GPU со спеками на 900 страниц, чипы беспроводной сети > у которых драйвер на 70% состоит из воркэраундов их багов и > попыток развесить чип с минимальными потерями, ну и все такое прочее > :). Да нужно выбрасывать или делать их совершенно независимыми узлами, дабы в случае их подвисания основная часть могла нормально функционировать дальше. Меня не вдохновляет перспектива сбоя системы жизнеобеспечения (если я или кто-то из людей мне небезразличных окажется от нее зависим) только по тому, что кто-то решил, что без красивого 3d интерфейса с 120fps уныло и куда веселее соединить несколько важных модулей по wi-fi.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

	123. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 31-Июл-14, 09:02
	> Ну лошара же последний. Отправь СМСку с текстом "не лох!" на короткий номер. Ведь чем больше СМС ты пошлешь, тем больше ты не лох :).
	Ответить | Правка | Наверх | Cообщить модератору

	98. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Mihail Zenkov (ok), 30-Июл-14, 13:27
	>> или делать их совершенно независимыми узлами, > Как вы себе это представляете? Точно также как строится микроядерная ОС. Есть контроллер с основной программой, простой идеально отлаженный и проверенный. Он управляет остальными узлами. В случае зависания одного из узлов контроллер его перезапускает. В случае отказа узла, контроллер задействует дублирующий узел. Узлы естественно с hotplug.
	Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

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

	85. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 30-Июл-14, 00:44
	> зажиганием ДВС (реальное время, счет на микросекунды) может уложиться в 1000 > строк на C для atmega8 А допотопные версии зажигания были и вовсе механическими. Ну вот вы и замените компьютер на счеты, их хрен завесишь без аппаратных жульничеств. > и еще успевать выводить статистику на экран. Зато считает с комариной скоростью, да и сколь-нибудь нормальный интерфейс пользователя отрисовать не способна. Каждому свое. Не всем надо супер-хард-реалтайм и убер-мега-гипер-надежность ценой нагибания всех остальных свойств. Спору нет, автомобиль из титана сантиметровой толщины будет сложнее разбить. А еще он будет стоить как самолет, обладать погаными разгонными характеристиками и выпускаться в количестве 5 штук в год, ибо поди еще обработай этот чертов титан...
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	99. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Mihail Zenkov (ok), 30-Июл-14, 13:42
	> А допотопные версии зажигания были и вовсе механическими. Ну вот вы и > замените компьютер на счеты, их хрен завесишь без аппаратных жульничеств. Ненужно передергивать. Есть этап усовершенствования системы, после которого дальнейшее совершенствование практически ничего не дает кроме усложнения, снижения надежности и ремонтопригодности. Я привел реальный пример с ДВС. Механическое зажигание существенно проигрывает микроконтроллеру как по надежности, так и по точности. Но дальнейшие увеличение точности не дает ничего. >> и еще успевать выводить статистику на экран. > Зато считает с комариной скоростью, да и сколь-нибудь нормальный интерфейс пользователя Для вывода интерфейса подключите планшет/телефон. Сохранится надежность там где она реально необходима и получите красивый интерфейс.
	Ответить | Правка | Наверх | Cообщить модератору

	112. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 30-Июл-14, 20:58
	> Ненужно передергивать. Есть этап усовершенствования системы, после которого дальнейшее > совершенствование практически ничего не дает кроме усложнения, снижения надежности и ремонтопригодности. А тут тоже зависит от. Что понимать под ремонтом? Возможность сделать радиолампу на замену сгоревшей в гараже? Возможность перепаять транзистор? Замена стандартной микросхемы логики? Смена сбойнувшего проца? Вынимание сервера из стойки и замена на такой же, но исправный? Где та грань?...
	Ответить | Правка | Наверх | Cообщить модератору

	117. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Mihail Zenkov (ok), 31-Июл-14, 03:11
	> А тут тоже зависит от. Что понимать под ремонтом? Возможность сделать радиолампу > на замену сгоревшей в гараже? Возможность перепаять транзистор? Замена стандартной микросхемы > логики? Смена сбойнувшего проца? Вынимание сервера из стойки и замена на > такой же, но исправный? Где та грань?... Зависит от условий эксплуатации и целесообразности. Например на сервере многие части можно заменить на горячую, а в ноутбуке наоборот заменить видеокарту весьма проблемно. Конструкция настоящего джипа должна быть простой и очень надежной, позволять ремонт в поле, без стендов диагностики и сложного инструмента. Мотор гоночного болида наоборот настраивают на дорогих стендах и выбрасывают после гонки.
	Ответить | Правка | Наверх | Cообщить модератору

	118. "Открыт код сверхнадёжного микроядра seL4"	+/–
	Сообщение от Аноним (-), 31-Июл-14, 04:05
	> Зависит от условий эксплуатации и целесообразности. Вот тут мы и приходим к самому главному. Да, три гидролинии в самолете - имеют некий смысл. А вот прокладывать в обычной хате водопровод с троекратным резервированием по принципу "а вдруг сломается?!" - ну вы поняли. Сабж в большинстве применений имеет какой-то такой же смысл: много лишней возни при неоправданно скромном выигрыше. > Например на сервере многие части можно заменить на горячую, > а в ноутбуке наоборот заменить видеокарту весьма проблемно. Нынче все проще - удвигают виртуализатором/контейнеризатором на живую VM/контейнер на соседний агрегат, а проблемный можно совсем выключить, сделать с ним все что надо и потом вернуть как было. А юзеры ничего и не заметят. > Конструкция настоящего джипа должна быть простой и очень надежной, позволять ремонт > в поле, без стендов диагностики и сложного инструмента. Мотор гоночного болида > наоборот настраивают на дорогих стендах и выбрасывают после гонки. А сабж просто телега и 4 колеса, с аргументом что так уж точно ломаться нечему. А как там в вас двигатель и подвеска (if any) будут работать - разработчики шасси вообще не отвечают.
	Ответить | Правка | Наверх | Cообщить модератору

	125. "Открыт код сверхнадёжного микроядра seL4"	+1 +/–
	Сообщение от Mihail Zenkov (ok), 31-Июл-14, 13:52
	> А вот прокладывать в обычной хате водопровод с троекратным резервированием по принципу "а вдруг сломается?!" - ну вы поняли. Обычно в квартире ставят шаровый кран на вводе и перед каждой точкой разбора. Это дает возможность перекрыть потекший кран на кухне и продолжать пользоваться туалетом, а также менять разводку в квартире, не перекрывая во всем подъезде/доме воду.
	Ответить | Правка | Наверх | Cообщить модератору

	114. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Anonizmus (?), 30-Июл-14, 22:05
	Я вот до сих пор не могу понять почему массовые автомобили не выпускают из алюминия?..
	Ответить | Правка | К родителю #85 | Наверх | Cообщить модератору

	119. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от Аноним (-), 31-Июл-14, 04:21
	> выпускают из алюминия?.. Потому что он мягкий как черти что, и при ДТП из юзера будет фарш. Обратите внимание чем обычно заканчиваются авиакатастофы...
	Ответить | Правка | Наверх | Cообщить модератору

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

	50. "Открыт код сверхнадёжного микроядра seL4"	–1 +/–
	Сообщение от an (??), 29-Июл-14, 16:06
	как я понимаю микрокод (и аппаратный алгоритм) процессора по сути компонент тасксвитчера? И ошибки в микрокоде никто не отенял, во всяком случае для процессоров, в которых он есть. Какой тогда смысл в сверхнадежной системе?
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

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

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