?

Log in

No account? Create an account
Органическая Ада и iMAX для Макса - Юрий Панчул [entries|archive|friends|userinfo]
Money can buy bandwidth. Latency requires bribing God.

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Органическая Ада и iMAX для Макса [Jul. 13th, 2015|12:31 am]
Yuri Panchul

Вы думаете эпопея (1, 2, 3) про maxdz и Аду закончилась? Еще нет. Ко мне в комменты пришел prof_killjoy, пожурил меня за непрофессиональное поведении по отношению к maxdz, а также нашел пару некорректностей в части моих аргументов. В частности prof_killjoy указал что:

1. Автоматическая сборка мусора не противоречит требованию реального времени. Это показал еще Дейкстра в статье "On-the-fly garbage collection".

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

3. Одна из первых реализаций Ады - на процессоре Intel iAPX 432 - опиралась на аппаратно поддерживаемую этим процессором сборщик мусора.

Вообще prof_killjoy сказал, что мне нужно было не телиться и не заниматься оскорблениями, а привести Максу в качестве примера операционную систему iMAX 432, написанную на Аде и работающую на процессоре, поддерживающую Аду. При этом prof_killjoy ссылался на книгу Эллиота Органика, которую я сам в свое время на первом курсе заказал в издательстве "Мир" и купил в книжном магазине в городе Долгопрудный. Я должен сказать, что пример с Адой на iAPX 432 я рассматривал как слишком экзотический, я бы скорее нарыл (если бы было время и доступ) что-нибудь более мейнстримное даже из той эпохи (1980-начало 1990-х) - военные наверняка использовали Аду на Motorola 68k, Intel i960, MIPS R3000 итд.










Интересно, какой background у загадочного/загадочной профессор prof_killjoy?

Разработчик систем реального времени в "Антонове", Киев
2(11.1%)
Разработчик систем реального времени в "Сухом", Москва
1(5.6%)
Разработчик систем реального времени в Northrop Grumman, Sunnyvale
5(27.8%)
Вот видишь, Панчул, как ты мало знаешь про феминитических журналисток!
10(55.6%)
LinkReply

Comments:
From: realurix
2015-07-13 07:48 am (UTC)
Читая его я увидел воочию скачущие стрелки осциллографа...
(Reply) (Thread)
[User Picture]From: panchul
2015-07-13 07:56 am (UTC)
Мне тоже вспомнился именно случай стрелки осциллографа - сначала все над Латыниной в роли макса смеялись, а потом обнаружился историк науки, который показал, что у ранних осциллографов действительно были стрелки (garbage collection) - т.е. Латынина-Макс случайно оказались правы.
(Reply) (Parent) (Thread) (Expand)
[User Picture]From: maxdz
2015-07-13 07:59 am (UTC)
Well, garbage collecting itself is nothing wrong and unpredicted if it is organized correctly. For example Electronic Arts did own implementation of STL (Standard Template Library) for their purposes, called it "EASTL" and implemented also own allocator/deallocator there exactly for collecting garbage when it is necessary.

Actually some kind of very simple garbage collecting implements everybody who uses placement construction.

And concerning Russians i hope Youri that you are agree with me that Russians are dead-end branch of Ukrainian civilization. Just take a look at them - spreading like a cancer and transforming teritories they are controlling into shit. Maybe they are a virus?

Edited at 2015-07-13 08:07 am (UTC)
(Reply) (Thread)
[User Picture]From: raydac
2015-07-13 08:12 am (UTC)
I think it is wrong way to think about "Ukrain civilization" as about a civilization, it is much closer to a sect "molokane pryguny" (https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D1%8B%D0%B3%D1%83%D0%BD%D1%8B_%28%D1%81%D0%B5%D0%BA%D1%82%D0%B0%29), a sect can't be a civilization
(Reply) (Parent) (Thread) (Expand)
[User Picture]From: prof_killjoy
2015-07-13 05:03 pm (UTC)
maxdz, если Вы будете замешивать в технические вопросы свои политические взгляды сомнительного содержания, то мне будет трудно Вас защищать, даже если Вы в чем-то правы, по-сути.

Edited at 2015-07-13 05:03 pm (UTC)
(Reply) (Parent) (Thread) (Expand)
[User Picture]From: norian
2015-07-13 11:05 am (UTC)
экзотический, как же ..

коты как-то писали аццкий компилятор для транспьютеров (тогда так назывались мультикоры) компании инмос
(Reply) (Thread)
From: billycostigan75
2015-07-13 12:53 pm (UTC)
Я не знаю ни одной организации/института в СССР, которая работала с iAPX 432.
Хотя этой темой плотно интересовался.
Самое близкое - поляки/немцы, да и то, там буквально по одной iAPX 432/100 карточке было.
Более-менее вменяемые Gen3 ревизии, в которых, кстати, фиксанули-таки глупое разделение data- и access- сегментов объекта, были только у нескольких универов.
Единственный близкий к коммерции HIS 432 так и не вышел на рынок, так что получить железо можно было только от интеловцев.
(Reply) (Parent) (Thread)
[User Picture]From: red_army_1917
2015-07-13 11:50 am (UTC)
> Автоматическая сборка мусора не противоречит требованию реального времени.

судя по реализациям не противоречивость достигается отказом от механизмов "сборки мусора" для Real-time Threads
(Reply) (Thread)
[User Picture]From: fizzik
2015-07-13 11:54 am (UTC)
А почему в вариантах места работы сплошной ВПК?
(Reply) (Thread)
[User Picture]From: panchul
2015-07-13 03:52 pm (UTC)
Дык Ада - это язык, в 1980 году административно навязанный программистам американского ВПК и даже заимствованный советским ВПК. В 1991 году я своими глазами видел написанный в СССР сырой компилятор с Ады в советском институте НИИАС (авиационных систем).

Для не-ВПК людей Ада язык тяжеловатый. Хотя в условиях административного давления к нему можно быстро привыкнуть и нормально на нем писать.

Кроме этого Ада довольно сбалансирована, в отличие от своего собрата из мира языков описания аппаратуры - VHDL, в котором есть всякие уродства, типа несуразное нагромождение для создания custom типов с overloaded арифметическими операциями, при том что в реале все используют только один тип std_logic из нескольких несовместимых пакетов, т.е. половина фич языка VHDL пропадает зря.


Edited at 2015-07-13 03:53 pm (UTC)
(Reply) (Parent) (Thread)
[User Picture]From: ilirium
2015-07-13 02:38 pm (UTC)
Если бы Макса не было, то стоило бы его придумать!
(Reply) (Thread)
[User Picture]From: allesanbr
2015-07-13 05:59 pm (UTC)
а я очередную прогу под андройд пишу, и мне некогда на аду мастурбировать
хотя говорят была довольно симпатичная женщина
(Reply) (Thread)
[User Picture]From: panchul
2015-07-13 06:27 pm (UTC)
На фотографии внизу поста не Ада, а борец за права и привилегии женщин radulova
(Reply) (Parent) (Thread) (Expand)
[User Picture]From: Mtja Ka
2015-07-20 09:48 am (UTC)
по результатам дискуссии развернувшейся вначале ветки, вижу что prof_killjoy проффессионально и очень аккуратно ))) макнул Панчула и какого-то realurix
(Reply) (Thread)
[User Picture]From: panchul
2015-07-20 03:47 pm (UTC)
realurix занимается осознанным троллированием, он специально несет тщательно дозированную пургу, чтобы народ в теме начинал ему что-то горячо объяснять и доказывать. А народ не в теме не смог бы отличить, это пурга или непурга.

А в какой из веток и какой конкретно фразой prof_killjoy меня "макнул"? С ним дискуссия была про выяснение истины, а не кто кого "макнет". В конечном итоге разница была в уместности узкого (как у Гайского) или широкого (как у Харрисов) толкования понятий FSM и FSMD - встречается и одно, и другое. То, что prof_killjoy объявляет толкование последних "детским", а первого "взрослым" не устраняет факта, что разнобой в литературе и в жизни существует. Кстати не в академии, а в индустриальных группах (а я работаю в одной из весьма известных групп разработчиков в индустрии) термин FSMD не применяют, хотя во многих случаях, когда говорят про "state machine" (скажем в bus unit или load-store-unit) реально имеют в виду то, что prof_killjoy вслед за Гайским именует FSMD.
(Reply) (Parent) (Thread) (Expand)