Как вы считаете, кто сегодня в России делает вычислительные комплексы повышенной надежности (троированные, учетверенные и т.д.)?
Как вы считаете, кто сегодня в России делает вычислительные комплексы повышенной надежности (троированные, учетверенные и т.д.)?
В России РСК СКИФ
Например СКИФ-Аврора
Можете ли вы поделиться какой-нибудь открытой информацией по этому поводу? 30 лет назад я сам работал с Авророй, у них была машина ПС1001, у которой было 3 процессора, но только 2 памяти. Мы как раз и занимались расчетами их надежности и показали, что память является узким местом. Это было еще до Самсона. А что они делают сейчас?
Полагаю что, "вычислительные комплексы повышенной надежности" - это бортовые ЭВМ для космоса или авиации. В моем родном городе Зеленограде есть предприятие Субмикрон (www.submicron.ru) - разрабатывает БЦВМ для спутников.
Вопрос на вопрос: Троированные ЭВМ - это, как я понимаю, трехканальная ЭВМ с мажоритарной логикой (практически стандарт для бортовой электроники бывшего СССР). А что такое учетверенная ЭВМ повышенной надежности? Можно привести пример? Зачем нужен четвертый вычислительный канал?
Чтобы машина была троированной, нужно чтобы в процессоре были предусмотрены специальные каналы для мажорирования, а если есть процессор, который не предназначен для мажорирования, то нужно искать какие-то обходные пути. Например, в микропроцессоре Эльбрус-3 есть три канала по 12 Гбит/секунду для организации кластеров. Мы могли бы из этой машины сделать учетверенную машину, в которой каждый процесс был соединен с каждым и, используя теорему о византийских генералах, определять отказавший элемент. Но пока эту работу никто не финансирует.
СКИФ-Аврора, Алмаз Антей для военных целей
Может я чего-нибудь не понимаю, но судя по вики СКИФ-Аврора - это никак не комплекс повышенной надежности.
Алмаз-Антей - это концерн специализирующийся на ПВО/ПРО. Они вроде как компьютеры и вычислительные комплексы не делают
С Алмаз-Антеем мы ведем переговоры прямо сейчас. Я не знаю технических деталей их решений, но, по крайней мере, они проявляют большой интерес к нашим решениям.
гос. предприятия выполняющие заказы военных и для космических программ
В том-то и дело, что в космической отрасли хороших надежных центральных вычислителей нет, они применяют всякие паллиативные решения. Я был на встрече с генеральным директором РКС (Российские космические системы) - моим старым знакомым Андреем Евгеньевичем Тюлиным, он полчаса рассказывал, какое у него мощное производство, включая микроэлектронное, а потом честно признал, что все это касается разнообразной периферии, а с центральным управляющим устройством у него швах. Обещал устроить семинар на нашей территории и привезти сюда кучу наших специалистов, но пока ничего этого не произошло.
Компания «РСК СКИФ», ссылка
ОАО «ИНЭУМ им. И.С. Брука», ссылка
Коллеги, СКИФ - это суперкомпьютер, установленный в МГУ, он действительно быстро считает, но никакого отношения к повышению надежности он не имеет. В ОАО «ИНЭУМ им. И.С. Брука» перешла большая команда разработчиков Эльбруса из ИТМ и ВТ. Кроме того, есть еще независимая компания МЦСТ, в которой работают те же самые люди. Естественно, я всех знаю и там бывал.
Думаю, что ВК с повышенной надежности нужны в первую очередь для нужд обороны страны, авиационной и космической промышленности. Думаю что над их созданием работают как давно существующие организации академической, вузовской и прикладной науки так и недавно созданные. В Интернете, например, существует реклама сервера повышенной надежности, выпускаемого НПО Техника-Сервис и продукции АО «НИИАА».
Конечно государственные предприятия выполняющие заказы военных и для космических программ.
Конечно государственные предприятия выполняющие заказы военных и для космических программ.
К сожалению, не владею информацией для ответа на данный вопрос.
К сожалению, не владею информацией для ответа на данный вопрос.
К сожалению, не владею информацией для ответа на данный вопрос.
Предложены марковские модели надежности дублированных вычислительных комплексов, позволяющие учесть влияние на нестационарный коэффициент готовности ограниченных возможностей восстановления, вызванных недопустимостью потери данных и прерываний вычислительного процесса во время восстановления.
"МЦСТ" и ОАО "ИНЭУМ им. Брука"
Аврора
ОАО «ИНЭУМ им. И.С. Брука»
Думаю, что ВК с повышенной надежности нужны в первую очередь для нужд обороны страны, авиационной и космической промышленности. Думаю что над их созданием работают как давно существующие организации академической, вузовской и прикладной науки так и недавно созданные
СКИФ-Аврора, Алмаз Антей для военных целей
СКИФ-Аврора, Алмаз Антей для военных целей
Гос. предприятия выполняющие заказы военных и для космических программ.
гос. предприятия выполняющие заказы военных и для космических программ
ОАО «ИНЭУМ им. И.С. Брука»
ОАО «ИНЭУМ им. И.С. Брука»
СКИФ-Аврора
Конечно государственные предприятия выполняющие заказы военных и для космических программ.
СКИФ-Аврора
"МЦСТ" и ОАО "ИНЭУМ им. Брука"
В России РСК СКИФ
Например СКИФ-Аврора
В России РСК СКИФ
Например СКИФ-Аврора
Чтобы машина была троированной, нужно чтобы в процессоре были предусмотрены специальные каналы для мажорирования, а если есть процессор, который не предназначен для мажорирования, то нужно искать какие-то обходные пути. Например, в микропроцессоре Эльбрус-3 есть три канала по 12 Гбит/секунду для организации кластеров. Мы могли бы из этой машины сделать учетверенную машину, в которой каждый процесс был соединен с каждым и, используя теорему о византийских генералах, определять отказавший элемент. Но пока эту работу никто не финансирует.
государственные предприятия которые делают заказы для космических и военных программ
"МЦСТ" и ОАО "ИНЭУМ им. Брука"
В России РСК СКИФ
Например СКИФ-Аврора
Скорее всего "МЦСТ" занимется такими вопросами... Сейчас скорее проще строить системы с "гипервизором" и "миграцией" состояния программ, синхронизируемые в реальном времени. 3-4 таких гипервизора и не страшно (почти) ничего - даже если один с дымом и искрами выгорит, оставшиеся три продолжат работать. Разве что blackout всей серверной (привет, "Будет ласковый дождь" Бредбери и "Крепость/fortress" от Dima Fedotov'а)
троированные, учетверенные
гос. предприятия выполняющие заказы военных и для космических программ
К сожалению, не владею информацией для ответа на данный вопрос.