О наших великих программистах.

ХЗ, но Глонассы, например, вот на чем: http://kronos.ru/about/koltashev и вот: http://www.sql.ru/Forum/actualthread.aspx?tid=689811&pg=1&mid=7572667. Компиляторы разрабатывал Эксельсиор:http://www.excelsior.ru/home.html, у них же есть свои компиляторы для C и Java (и, вроде бы, Ada). Скорей всего, что-то из этого набора, других вариантов у Роскосмоса просто нет.

 

А нахрена им свои компиляторы, простите меня?

 

А вы не допускаете, что эти компиляторы могут быть тупо лучше других? "Распиаренный" продукт и "хороший" продукт - это две большие разницы.

 

Не допускаем. "Другие" компиляторы проверены миллионами проектов, в которых они использовались. А кто и как тестировал компиляторы Эксельсиора, есть тайна, покрытая мраком.

 

Если посмотреть на ссылки, которые я привел выше (особенно но вторую по счету), то не тайна, и не покрытая, и не мраком.

 

в принципе, в таких прожах другие требования чем в бытовых. напр,

for(char i = 0; 1 ; i++);

должно давать ошибку при компиляции и исключение при выполнении после i = 255.

int i;
uint u;
float f;
i += u;
u += f;
i += f;

не должно компилироваться во всех случаях. (модула, оберон и ада для этого)

однако, мне бросилось в глаза другое

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

ну, а если говорить о ошибке в проге, то многие тут отлаживали. аппарат навернулся фиг знает где. обломков никто не видел. все долго думали и гадали и "выяснили", что виновата именно прога (сбойный байт выпал и хорошо виден в телескоп). а например, 95'000 не транзисторов, а микросхем тут совсем "а я тут ни при чем!"

впрочем, у америкосов и с людьми рвут. и даже в прямом эфире.
и у поляков прямо с президентами внутри. и никто не гадит на себя. лучше еще раз про "бесовскую" "руку москвы".

 

Они там что, компьютер на ПЛИСах решили собрать, что ли?
А вообще, альтернатива есть - GCC - отличный компилятор. Ничего придумывать не надо, знай только пиши себе софт.
Ну а от кривых рук софтописателя вообще мало что защищено. И не язык тому причина. Тут нужно нормальных, грамотных прогеров нанимать, а не студентов за зачёты/20крублей в месяц.

 

Это с хрена ли? О_о

 

гы, это в сях все должно быть определено до первого использования. 2креста снимают такое ограничение. (кроме того вроде как по стандарту компилятор третирует чар как урезанный целочисленный тип)

zxcv
а вы видимо про перегруженные операторы или про операторы приведения типа?!

 

SadKo
при чем тут плисы? откройте комп 10 летней давности. посчитайте микры. вот. а разговор идет о 95'000. это или на к155ла3 набрано в целях экономии, или я вообще не знаю что и кто проектировал.
гцц - средний компилятор. и для этого дела не годится. нет боунд чеканья. С и С++ вообще не подходят.
насчет персонала - да, но в таких проектах нельзя полагаться на чел фактор. он всегда подводит. потому сделаны спец ланги с параноидальной проверкой всего и вся

Ursus
"1" - не булевский тип + переполнение на 256 итерации

 

sn0w
про много чего.

 

да давно понятно принципиальное фунициклирование СМИ, хотябы на том же примере болгенос и Дениса_Попова. просто как нарисовали сей высер в пресс релизе - аж дух захватило(на тот момент). впрочем есть один диссонанс - то что новости по тв_и_около_того - это ложь песикиеж и провокация - я понял давно. одно только досаду доставляет - люди старые, и в силу этого - не идущие за прогрессом - этого не понимают - и хавают любые высеры, а это печально както. лично печально.

 

Ёмаё, так там же куча гемора. Проще всё в один кристалл запихнуть и в Зеленограде собрать. А то тут ещё между микрухами задержку сигнала выравнивать надо. Так, мало того, ещё вся эта лабуда даёт дополнительную нагрузку на двигатели.

А толку? Ну вывалился у вас runtime exception по bound check, вы его не словили - и всё, превед, софтина упала/сдохла/побилась.

Лучше бы сделали параноидальное тестирование каждого модуля. Как понимаю, софт там не настолько уж и навороченный. Больше математики, меньше трединга. Ломаться-то особо и нечему.

А если чуть усложнить условия цикла - компилятор осилит?

Например:

Код (Text):

1. for (const char **p=start; *p != NULL; p++) { /* some stuff */ }

И чего тут делать компилятору? Что он тут предугадает?

 

SadKo

Наша контора как раз в Зеленограде. С годик назад отказались от стабилизаторов местного производства: они существенно хуже импортных, а сейчас ещё и дороже стали. А ведь стабилизатор -- это очень примитивная схема. В общем, реально микроэлектронная промышленность в России мертва, а выделяемые деньги попросту разворовываются.

Ну а писать ответственное ПО надо на Аде, а не на Си. Как-то увидел умилительное рассуждение одного нашего эксперта на эту тему: мол, да, Ада много надёжнее, 99% ошибок, которые делаются на Си, в ней сделать невозможно, однако найти программиста, владеющего Адой, очень сложно, а наСильников -- море, поэтому надо писать на Си.

 

Чтоб адекватно судить о том, что лучше для программирования таких вещей, надо представить себя на месте начальника/директора группы разработчиков. Веди именно он своей задницей отвечает без вазелина, если многомилионный/многомиллиардный проект провалится из-за того, что кто-то из его подчиненных в порученной ему части не предусмотрел проверку какого-либо граничного условия.

 

Золотые слова. Именно начальникам должно доставаться за то, что они должным образом не контролируют подчинённых. На то они и начальники. А сейчас получается, что начальники просто находят крайнего - и всё.

 

SII

Это всё вариации классического "Плохая новость: будем есть г0вно. Хорошая: г0вна у нас много".

 

до двух с половиной миллионов килобаксов?

система управления к бурану была написана всего за несколько месяцев. Это было 25 лет назад, с допотопными компьютерами.

 

почему только зеленоград (хотя, что мешает обновить оборудование раз уж многие мильярды)? и китайцы и дойчи, и жапы, и даже амы с радостью отштампуют.

SadKo

строки и массивы имеют размер, который проверяется и в статике и в динамике. арифметика ссылок запрещена в любой форме.

Dmitry_Milk

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

все бонд чеки вручную не сделаешь, так как чекать надо _каждую_ операцию. потому, были разработаны спец языки.

ну а насчет куда делись многие мильярды, считайте сами.
ведро к155 + спасибо == 1р
SoC с армом == $10 - $50 (можно и дешевле)
карта с нвидиа-гпу в 400-500 алу == $500
сколько у нас плотят программистам - знаете.

75'000 микросхем, однако

 

Народ, какие к155?? Там совсем другая электроника, ни один интел при прямом космическом излучении не зоведётся.