Например я слышал что ракеты носят себе в сильно допиленные линуксы (ну точнее модули), препод говорит QNX

Я тебя разочарую, твой препод не в теме :) В оч. многих активно летающих ракетных БЦВМ весьма дубовая, жестко шитая, специализированная логика плюс магнитная проволока в качестве внешней памяти на случай ядерной войны:) http://vsegost.com/Catalog/13/13072.shtml

Есть ОС РВ «Багет». И название подобрано специально :) http://www.rpkb.ru/lines-of-business/electronic_direction/on-board-computers/...

http://forums.balancer.ru/tech/forum/2006/04/t33039--os-rv-baget.7457.html

http://en.wikipedia.org/wiki/VxWorks

Твой препод, мягко говоря, не в курсе.

Про то, что стоит на АЭС, тебе расскажет ananas.

В космос же летают, обычно различные FPGA и специализированные Forth-машины.

В космос же летают, обычно различные FPGA и специализированные Forth-машины.

В какой Вселенной это происходит?

Может быть ты будешь удивлён, но в нашей. Пробу на комету посадил forth.

Т.ч. играйтесь дальше в steam с вашим линуксом. ;) Serious bussines делается другими вещами.

И ещё hint: general purpose os в космосе — зло (linux/qnx/win/whatever). В CPU, там наверху, нет даже HLT команды (так же как нет такого кода в протоколе связи), что бы не дай ЛММ случайно не выключить всё и вся. (Кнопку «reset» нажать будет некому.)

UPD: xkcd в тему: https://xkcd.com/695/

Про то, что стоит на АЭС, тебе расскажет ananas.

lfs для аэс

Для начала, да. Тоже сразу вспомнил.

Про то, что стоит на АЭС, тебе расскажет ananas.

не буду. так как вопрос чересчур широко сформулирован и потому бессмысленный

публика ждёт историй

В космос же летают, обычно различные FPGA и специализированные Forth-машины.

В какой Вселенной это происходит?

Может быть ты будешь удивлён, но в нашей.

В нашей такого нет.

Пробу на комету посадил forth.

Это не дает никаких причини говорить об «обычности», не говоря уже о том, что:

«It is a stack based, Forth language oriented processor with an exotic and challenging instruction set [...] a real-time, pre-emptive multitasking operating system has been developed to run application tasks»

Так что насчет «Forth посадил» - это еще вопрос.

Т.ч. играйтесь дальше в steam с вашим линуксом. ;) Serious bussines делается другими вещами.

У вас будапешт, сэр.

И ещё hint: general purpose os в космосе — зло (linux/qnx/win/whatever). В CPU, там наверху, нет даже HLT команды

Серьезно?

" x86 is used in systems with 1) lots of power, and 2) somewhat easily accessible. Notably the International Space Station and Hubble".

Так что «там наверху» есть обычные x86 с HLT.

«Currently the ESA designs with an open-source processor known as the LEON, which is SPARC-V8 based».

«The LEON 3FT processor core implements a power-down mode, which halts the pipe line and caches until the next interrupt. This is an efficient way to minimize power-consumption when the application is idle».

И в LEON какой-то аналог HLT тоже есть.

И хабр и препод правы (касательно АЭС, что там у ракет я понятия не имею). Уровней автоматизации несколько. Нижний - это где железяки, релюшки, тупые датчики - тебе не интересен, там, в общем случае, ПО никакого и нет. На среднем уровне (это который следит за параметрами и автоматически всякие насосики включает и при авариях все вырубает, то есть щелкает нужными релюхами нижнего уровня) как раз тот самый qnx может стоять, а может не qnx, а vxworks, а может даже линукс. Главное чтобы rtos. А вот на верхнем уровне, это который оператор видит и технологическим процессом управляет (посылает команды среднему уровню, который, в случае если все безопасно, шелкает нужными релюхами нижнего уровня), может быть хоть win xp, хоть максимальная семерка, да хоть андроид. Вот как-то так.

Embedded Linux: уроки SpaceX

Т.ч. играйтесь дальше в steam с вашим линуксом. ;) Serious bussines делается другими вещами.

«Linux применяется в SpaceX повсеместно. Ракета-носитель Falcon, корабль Dragon и демонстратор Grasshopper используют его для управления полетом, наземные (земные) станции работают на системе Linux, как и настольные компьютеры разработчиков. SpaceX это «Linux, Linux, Linux», говорит Роуз». ©

P.S. [trolling] SpaceX взлетает, но не садится, а если бы была W... [/trolling] :)

намекает, будто у самих хоть что-то садится или хотя бы когда-то садилось кроме бурана

а если бы была W...

то ракета бы повисла, и тем самым нарушила законы физики

В отличие от американцев, предпочитающих приводнение, в СССР/РФ корабли рассчитывают на жёсткую посадку.

Так что да, если уж у кого садится, так это у нас. Точнее даже, кроме нас ни у кого и не садится уже, после того как шаттлы перестали летать.

....СРАЗУ БЫ ВЫЛЕТАЛ В ФОРТОЧКИ, ОКНА И ДРУГИЕ НЕЗАПОЛНЕННЫЕ ПРОЕМЫ.

Dragon, orion, shenzhou, hayabusa, sre-1, ixv с вами не согласны. А приводнение не сугубо американская практика, это связано с площадью доступной территории.

Linux применяется в SpaceX повсеместно. [..] SpaceX взлетает, но не садится

То-то «плазма не падает». ;)

Вообще-то надо различать. Если это там, где бывают люди (ISS и в какой-то степени Huble) — то там и линукс с виндой сойдут.

Если же это автономная система — то тут уже не до «апдейтов накачали».

Вообще-то надо различать

Да. Можно начать с различения Forth-ориентированных процессоров и систем, написанных на Forth.

линукс с виндой

Казалось бы, причем Linux и Windows к «в космос же летают, обычно различные FPGA и специализированные Forth-машины».

Если же это автономная система — то тут уже не до «апдейтов накачали».

Конечно. Но даже Linux можно не апдейтить.

Казалось бы, причем Linux и Window

В том то и дело, что в серьёзный космос они не летают. ;) Слишком многое может сломаться. А летают туда дубовые и проверенные десятилениями (а то и больше) решения. Чемь меньше может сломаться — тем лучше.

И не забываем ещё и про энергопотребление — там каждый миливатт на учёте. Грелка-линукс там не к месту.

Казалось бы, причем Linux и Window

В том то и дело, что в серьёзный космос они не летают. ;)

Ты ляпнул про «обычно разные FPGA и Forth-процессоры», а сейчас почему-то (понятно почему, впрочем) перескочил на Linux и Windows.

Грелка-линукс там не к месту.

У тебя реально какие-то комплексы.

Почему «ляпнул»? Вопрос был, используются ли General Purporse OS в космосе / других критических областях (АЭС).

Ответ — на лептопах — может быть, в других критических местах с большой вероятностью нет. И я даже привёл привёл пример из события прошлого года. Там просто другие требования.

Почему «ляпнул»?

Потому что иначе твой ответ назвать нельзя.

Вопрос был, используются ли General Purporse OS в космосе / других критических областях (АЭС).

Не было такого вопроса. Вопрос был:

сильно допиленные линуксы (ну точнее модули), препод говорит QNX, habrahabr говорит что на АЭС стоит win xp

«сильно допиленный Linux» - уже не ОС общего назначения, QNX - тоже, а Win XP, прикинь, в самом деле используется на АЭС (но не в задачах управления).

И я даже привёл привёл пример из события прошлого

Мне уже надоело, но я всё равно процитирую тебя:

beastie> обычно разные FPGA и Forth-процессоры

Не «в Philae даже использовался Forth-ориентированный процессор», а «обычно».

В интернетах кто-то неправ!!!!111одинодинодин

В интернетах кто-то неправ!!!!111одинодинодин

Не забудем, не простим.

в одной московской широко известной в узких кругах конторе пилят rtems, не буду называть контору, скажу только, что находится она где-то между каширской и коломенской