petalvikpetravТ.е. там где речь идет о жизни людей
Лень искать ссылку (но если припечёт - найду). В Штатах была история с рентгеновским аппаратом, софт для которого был написан на чистом ассемблере. Из-за багов он облучил смертельными дозами немало людей.
Ассемблер — это тоже не синоним реал-тайма (или я вас неправильно понял?).

Реал-тайм — это сочетание алгоритма (в первую очередь) и средства реализации.

А уж багов в ассемблерном коде наделать легче чем в С/С++. Поэтому и существуют ОСРВ.

ЗЫ: Есть еще история как Windows NT чуть не потопил американский ракетный крейсер. Просто из-за деления на ноль слетело клиентское ПО и у крейсера отключились двигатели. А винда работала нормально.

ЗимарглЧушь. РТ есть гарантия выполнения (в т.ч математическая), а не тесты производитесльности.
Мягкого РТ нет - это лапшепедия. Которая, очевидно работает, судя по безграмотности.
ПО не нуждается в тестировании и существует математически строгий способ проверки его (ПО) корректности?
Как отреагирует наш черный ящик-реального-времени на резкий перепад температур? Что там с процессором случится?

Владимир2012petravКак вы себе представляете описание алгоритма диспетчера потоков ОС Windows на Яве? Для этого вам внутри JVM придется реализовать некую другую ВМ - запрограммировать тот же ассемблер МК-52 и расширить возможности того процессора до обработки исключений и поддержки виртуальной памяти как минимум?
Ни какой ВМ при этом не придется создавать. Просто перед описанием алгоритма достаточно пояснить,
что java использовалась всего лишь как средство описания алгоритма функционирования диспетчера потоков ...
Реализация и описание - разные вещи.
Можно хоть на Foxpro то же самое сделать.
Самый главный вопрос в данном случае - будет ли описание логики алгоритма с использованием /например java/
выбранного языка "прозрачно". Т.е. смогут ли без труда понять его программисты не знающие java ...
Опять 25-ть. Я уже сто раз говорил: хоть на МК-52, хоть на Яве.

Но, опишите на Java семантику union хотя бы. Обычный инструмент системного программирования.

Владимир2012petravНо, опишите на Java семантику union хотя бы. Обычный инструмент системного программирования.
Семантика union это не алгоритм, а синтаксическая конструкция некоторого языка.
Двунаправленный список — это тоже не алгоритм. Но он бессмысленный без алгоритмов создания и работы со списками.

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

Владимир2012Что вы подразумеваете под описанием на java union?
Описание на Яве как это работает.

Вот список понятий, которые я предлагаю описать на Яве, что бы это имело смысл:

- union.
- bit set.
- RAII.
- Memory pool.

ИзопропилpetravНо, опишите на Java семантику union хотя бы. Обычный инструмент системного программирования
это просто оптимизация, никакой семантики, источник багов

если так припёрло - ByteBuffer
Есть семантика, есть.

По поводу ByteBuffer. Вот я и говорю, что бы на Яве описывать системные алгоритмы придется создавать на яве абстрактную машину.

Но опишите семантику union хотя бы с помощью ByteBuffer. Опасного приведения указателей в Яве то нет, как и самих указателей — насколько я знаю.

Изопропилpetravсемантику union
c/c++ до фортрана -как до Луны раком (EQUIVALENCE)
А до SQL вообще как до Марса. Напишем компиляторы/интерпритаторы для Фортрана и SQL на С/С++ и всё будет хорошо.

Кстати, поясните плиз что такое EQUIVALENCE в Фортране.

Владимир2012petravДвунаправленный список — это тоже не алгоритм. Но он бессмысленный без алгоритмов создания и работы со списками.
Алгоритмы не витают в пустынном космосе.
Если вы в алгоритме используете понятием "список" и это понятие скажем не общеупотрибетельно, то
безусловно перед описанием алгоритма вы должны словесно описать какие новые понятия /объекты/ вы
будете использовать и привести набор используемых операций с ними.
Двунаправленный список — это общеупотребимый термин. Или я вас неправильно понял.

Владимир2012petrav- bit set.
Набор функций.
Опишите же, плиз. Но на Яве.

Владимир2012petrav- Memory pool.
Описание понятия /объекта/ "Memory pool" и операций для работы с ним ...
Boost.Pool если память не подводит.

Владимир2012Ну а как иначе?
Все алгоритмы используются для некоторых предметных областей в которых используются некоторый набор
объектов и операций над ними ...
Да, но некоторые языки ограничены.

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

Но продолжаете спорить!

Владимир2012Вот скажем в алгоритме использую операцию сравнения двух вселенных.
Покажите мне язык в котором такая операция присутствует.

Еще раз.
Если недостает некоторой выразительности языковых конструкций в алгоритмическом языке,
то автор алгоритма может компенсировать это описанием включением перед алгоритмом
свойственных для алгоритма объектов и операций над ними ...
Ну так опишите на Яве функции для реализации RAII, например.

Пожалуйста! Не надо банальностями сыпать, опишите, запрограммируйте!

Кстати, про pool memory это я лишнего сказал — если не добавить возможность размещать разнородные объекты.

maytonЯ тебе привёл операционку написанную на Java но ты видимо не проникся, нечитал или непонял.
Печально как-то это всё.
Печально что вы меня не читаете. Это мой аргумент, что что бы описывать системные алгоритмы на Яве вам придется писать на JVM другую (внутри) ВМ. Я его первый предложил!

Вы пользуетесь моими же аргументами — тогда когда их уясняете с 10-го раза. Это печально.