Dima TВот чезанах? А потом пишешь
Троллим? Парни пошлите его нах, не отвечайте, не кормите тролля.
О Чёрт, какая у Вас агрессия! Просто успокойтесь, если не понимаете о чем речь. И, точно, лучше конкретно Вам уйти из ветки. =)))

Владимир2012Все таки неужели "словесно блок схемный" стиль описания алгоритмов - лучшее из всех возможностей.
Неужели академический мир не создал каких то спецификаций ...
Создавал, что вы! Целый огромный язык создали — Unified Modeling Language .

В общем и целом проект провалился. Не набрал популярности.

Хотя на стартовом ажиотаже считался чуть ли не серебренной пулей. Должен был решить все проблемы в программировании. Упростить взаимодействие программистов с заказчиками. Некоторые даже мечтали об Executive UML — возможность программировать только лишь рисуя диаграммы (и, в мечтах, ничего не зная о программировании).

ЗимарглА в чем вопрос то?
Утверждение моих оппонентов изначально выглядело так: любой алгоритм можно описать на чём угодно, хоть на блок-схемах, хоть на Яве (с сборщиком мусора).

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

Постепенно в споре моё утверждение расширилось: любой алгоритм можно описать и запрограммировать на С++, а Ява и C# ограничены виртуальной машиной.

Мои оппоненты утверждают: Ява ограничений не имеет в области формального описания алгоритмов.

С тех спор и спорим.

Владимир2012petravС тех спор и спорим.
Диалог много лучше ...

https://ru.wikipedia.org/wiki/UML
https://ru.wikipedia.org/wiki/CASE

Использовал кто?
Насколько эффективно их использование ... ... ...
Возможно ли применить эти технологии при разработке на C и C++?
Я использовал на работе UML. Хороший инструмент. Но никакого конкурентрого преимущества при проектировании не даёт. Можно заменить блоксхемами, школьной доской, MS Word. В плане же документирования совсем не исключает написания текстовой документации.

Термин UML пропал из эфира лет 10-15-ть назад. Вместе с CASE.

Да, с С++ использовать можно. UML — это язык моделирования ООП.

maytonpetrav- Так же любой вариант прямого доступа к памяти.

Мы живём в эпоху виртуализации. Виртуальной стала память. Адресация.
Если вы покупаете хостинг. То в 99% случаев вы покупаете виртуальную
машину в контейнере Xen/VBox/HPUx Containers/Defence Zones. И как, через
какой механизм или через какой стек технологий она видит память одному
админу известно. Если вы - кодер технологий MS.Net, Java, Python, Perl, PHP,
то у вас нет задач адресуемого доступа ко всей памяти. Для буферов I/O
и различных алгоритмических идей есть возможность аллоцировать байтовый
массив и решать задачу в рамках имеющейся относительной адресации.

Я не знаю сегодня задач кроме собственно создания ОС и аллокатора памяти
которая требует в обязательном порядке т.н. прямого доступа. Собственно
прямой доступ к памяти по степени необходимости и целесообразности
граничит с доступом к физическим секторам HDD. Это вызывает удивление
и здравые вопросы о смыслах.
Вы меня простите, но мне кажется, что вы не понимаете разницы между даже уже разнородными понятиями:

- Гипервизор.
- Прямая адресация.
- Виртуальная память.
- Кольца защиты.
- Прямой доступ к памяти в С++.
- Доступ к памяти в .NET, например.

Я уж не говорю о том, что вы не знаете, что такое union и битовые поля в С++.

Ну о чем тут можно разговаривать?!

И да, я изначально напирал на алгоритмы ОС и драйверов (но не только!). Но вы даже не понимаете разницы в прямом доступе к памяти в обычных С++ приложениях и в доступе к памяти в ВМ (который вы там вообще управлять не можете).

maytonИ я думаю что 9 из 10 разработчиков способны прожить длинную и счастливую
жизнь но так и не озадачиться подобным вопросом.

Кроме того ЕМНИП вопрос звучал в контексте создания т.н. диспетчера потоков Windows.
Очевидно в этом есть какой-то смысл. Нужно у автора уточнить.

Я не знаю что вам сказать, если вы ставите знак равно между массивом байтов в .NET и массивом байтов в native C++.

maytonВозможно вы бравируете связью С++ и архитектуры.
Вот! Совершенно верно! Именно об этом я и говорю.

Кроме того на С++ реализованы все ВМ, все ОС и т.д.

На С++ можно решить все задачи и реализовать все алгоритмы. Но в рамках ВМ вы ограничены ВМ.

maytonpetravЯ уж не говорю о том, что вы не знаете, что такое union и битовые поля в С++.

Вы - напористый малый. Я действительно их спутал со struct.
Их и спутать то нельзя. Упрощая (очень упрощая):

- union это несколько структур в одной структуре (одной области памяти).
- bit set - это последовательность упакованная (на уровне битов) в памяти разных типов данных данных (встроенных) размер которых мы ограничиваем количеством битов.

maytonВ конце концов я могу
эмулировать процессор и с помощью счётчиков тактов, continuations,
и используя имеющийся механизм multithreading реализовать модель
процессора x86 и эмулировать кванты времени и весь прочий
нужный вам функционал.

И поскольку в данном вопросе вы не информированы то я делаю вам одолжение
и информирую вас. Что технически, задача эмуляции процессора и ОС на Java
сегодня уже решена.

Я даю вам ссылку на проект jDoxBox. Это ОС MS-DOC + стек x86 технологий
реализованных как обычное java приложение.
Так об этом я вам всегда и говорил! Даже есть на JS (в браузере) эмулятор Спектрума.

Что, что бы описывать системные алгоритмы в Яве вам внутри ВМ придется создать свою другую ВМ. И в рамках её описывать системные алгоритмы.

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

petalvikpetravКроме того на С++ реализованы все ВМ, все ОС и т.д.
Не все. Запросто можно написать на огромном количестве языков.
Тот же GC для дотнета был изначально написан на Лиспе.
На диалекте C# были написаны ОСи Singularity и Midori.
Про GC на Лиспе - ссылку на сайт Майкрософта, пожалуйста. А сам Лисп, конечно, был реализован на С/С++.
Тот проект Microsoft Reserch ничем не закончился.

petalvikpetravНа С++ можно решить все задачи и реализовать все алгоритмы. Но в рамках ВМ вы ограничены ВМ.
С 90-х годов прошлого века существуют процессоры, аппаратно выполняющие байт-код Java. Попробуй решить на них что-нибудь на C++. :D
Я еще слышал про Лисп-процессоры. Но где они? В 90-х?