Всех, с наконец наступившим, Новым 2007 годом!!! :):):)

Ответ на »сообщение 1684« (pepper)
___________________________

Ответ на »сообщение 1680« (Stargazer)
___________________________

Интересно, на чём писали софт?


Сейчас пойдет по новому кругу: "А вот если бы софт был написан на обероне..."

Не, если этот вопрос Вас не заинтересует, не пойдет.

Ответ на »сообщение 1680« (Stargazer)
___________________________

Интересно, на чём писали софт?


Сейчас пойдет по новому кругу: "А вот если бы софт был написан на обероне..."

Ответ на »сообщение 1679« (info21)
___________________________

Как сугубо прикладной программист скажу, что все, что говорят Вирт, Дейкстра и др. о программировании, ровно в той же степени относится к прикладным программистам, как и к системным -- и даже больше, т.к. нету никаких сил бороться с Ц++ и проч. бредом.


Ты уж определись - или ты программист или идейный борцун.


4. Минимализм Оберона (в т.ч. исключение перечислимых типов) обусловлено не столько стремлением сохранить "чистоту идей Оберона" (хотя можно в каком-то смысле и так сказать, просто это будет косвенно), сколько четким пониманием того, что мы тут обозначили как "принцип Калашникова" -- "Избыточная сложность есть уязвимость".


Выкинь свой компьютер и купи счеты.

http://www.osp.ru/os/2006/07/3290741/

Ответ на »сообщение 1680« (Stargazer)
___________________________

Интересно, на чём писали софт?

Wind River's OS has reliability needed for a trip to Mars
08/04/03; Vol. 18 No. 9
http://www.washingtontechnology.com/news/18_9/telecom-it-infrastructure/21333-1.html
JOAB JACKSON (/cgi-bin/udt/im.author.contact.view?client.id=wtonline-test&story.id=21333)

.. when BAE Systems North America Inc. needed an extremely reliable operating system for the computational subsystem it was supplying for NASA's Mars rovers, it chose an industrial-strength, real-time operating system from Wind River Systems Inc., Alameda, Calif.

The Rockville, Md.-based BAE Systems NA sold two of its computer subsystems to NASA's Jet Propulsion Laboratory for the Mars rovers, said Vic Scuderi, manager of space programs for the company's Information and Electronic Warfare Systems division.
Those computers were two of 50 computers delivered to JPL over the past five years.

Wind River's VxWorks is the operating system for a BAE Systems-manufactured single board computer, called the Rad6000.

The integrator sees the BAE Systems-Wind River combination as a platform not only for more NASA sales, but also for sales to defense agencies, which have an increasing appetite for space communications equipment.
BAE Systems NA is owned by BAE Systems plc, Farnborough, United Kingdom.

.. BAE Systems' 6-inch by 9-inch computational subsystem "will tell the rover arm when to move and which direction to move in. It will tell the rover which direction to go when it is driving across the surface of Mars, and how to exchange information with Earth"

Wind River's software comes with compilers for C++, Ada, Assembly and other languages that allowed the programmers to write the rover's specialized routines.
...........................................................................

http://science.compulenta.ru/302067/?r1=rss&r2=remote

Специальная группа экспертов NASA занята расследованием причин потери связи с межпланетным аппаратом NASA Mars Global Surveyor (MGS), которая произошла в результате рутинной процедуры развертывания солнечного модуля.

У специалистов Лаборатории реактивных двигателей (Jet Propulsion Laboratory, JPL) есть несколько версий, одна из которых предполагает некорректную работу программного обеспечения, которое могло послать аппарату неверную команду. По крайней мере, именно к этой версии экспертов склоняют результаты предварительного расследования.

Интересно, на чём писали софт?

Всех с Новолетием!

Вызывает глубокое удовлетворение тот факт, что наше Оберон-сообщество, похоже, стало вполне себе самодвижущимся. Еще чуть-чуть (пара школьных пособий) -- и можно будет говорить о необратимости процесса в смысле независимости от подталкивания отдельными энтуазистами.

По этому поводу философские замечания о противопоставлении "системного" и "прикладного" программирования в контексте Оберона, несколько чрезмерно обостренного в замечаниях Снегурочки.

1. Вирт с самого начала карьеры (участие в комитете по Алголу-68 и т.п.) был "ушиблен" идеей "универсального языка программирования". (Кстати, к Вирту в особенности относится наблюдение "Мужик что бык -- втемяшится в башку какая блажь, колом ее оттудова...") И всегда делал ЯП именно с таким прицелом. Просто он, как прагматик и от природы консерватор, считает, что в любом случае нужно стремиться к тому, чтобы язык был как можно более тонким слоем над железом и т.п.

2. Вместе с ОС ЕТХ Оберон был написан полный набор прикладного софта, на котором несколько лет работали в т.ч. все секретарши факультета информатики.

3. Мелькнувшее у Снегурочки противопоставление системных программистов и прикладных рисует не вполне верную картину: там противопоставляются хорошие/грамотные системные программисты и плохие/безграмотные прикладные. И суть противопоставления как раз проходит по линии грамотные/безграмотные, а не системные/прикладные.
Разумеется, утверждения Снегурочки правильны в том отношении, что корреляция прикладной/безграмотный сильна, т.е. среди толп прикладных программистов совершенно безграмотных очень много (откуда и пошел проект Информатика-21).

Как сугубо прикладной программист скажу, что все, что говорят Вирт, Дейкстра и др. о программировании, ровно в той же степени относится к прикладным программистам, как и к системным -- и даже больше, т.к. нету никаких сил бороться с Ц++ и проч. бредом.

4. Минимализм Оберона (в т.ч. исключение перечислимых типов) обусловлено не столько стремлением сохранить "чистоту идей Оберона" (хотя можно в каком-то смысле и так сказать, просто это будет косвенно), сколько четким пониманием того, что мы тут обозначили как "принцип Калашникова" -- "Избыточная сложность есть уязвимость". Вирт его явно не формулировал, но как хороший инженер, четко понимает (как и Форд в контрасте со всеми другими автоконструкторами того времени; как и создатели Т-34 и Шермана в контрасте с немецкими конструкторами Тигров и Пантер).

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

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

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

Еще раз всех с Новолетием!

Ответ на »сообщение 1677« (Cardinal)
___________________________
О, нашел :)
http://asl.epfl.ch/aslInternalWeb/ASL/publications/uploadedFiles/aim01ieee.pdf

...
The only safe possibility for object reclamation is by means of a system-wide mechanism performing automatic storage reclamation: a so-called garbage collector. A garbage collector decides upon the liveness of heap objects by their reach-ability, starting from a working set of global and local
references. After complete traversal of the heap data structures, objects that haven't been visited by the collector's marking get disposed.

XO/2 deploys a very robust, real-time compatible mark-and-sweep garbage collector with object-finalization that combines good collection performance with no memory requirements at execution time[4]. The latter is more important when the collector is kicked by alow-memory condition, i.e. it can complete the traversal and the collection of the heap-space without demanding memory. Moreover, the proposed solution works very well in a preemptive scheduling environment,without block ingnor delaying tasks performing accesses to objects.
...

Кстати, XO/2 - операционная система реального времени на Обероне. Её стоимость, особенности кому-нибудь известны? Есть ли в ней сборщик мусора?