caxapa.ru :: Вот и я начинаю приходить к мысли, что хорошая OS - это библотека классов С++. И все прикладное ПО пишется только с наследованием от этих классов.

Evgeny_CD, Архитектор (30.11.2016 22:31, просмотров: 276) ответил Скрипач на Последнее предложение - непонятно. Может быть с точностью до наоборот - для системы память линейна, а для прикладной программы - строго объектны, нет?

Вот и я начинаю приходить к мысли, что хорошая OS - это библотека классов С++. И все прикладное ПО пишется только с наследованием от этих классов. http://caxapa.ru/716056.html
А процессор должен быть простым и очень быстрым. -> Тогда так и получится - с точки зрения ОС память линейна, а на прикладном уровне существуют только С++ объекты и методы работы с ними; прыжок на месте - расстрел. Основная засада в том, как формально верифицировать систему классов С++, чтобы можно было быть уверенным, что там нет дырок. Создателям seL4 Microkernel это удалось. http://sel4.systems http://caxapa.ru/652378.html http://caxapa.ru/652392.html http://caxapa.ru/652792.html

Ответить

- Насчет наследования от объектов ОС непонятно. Вы имели ввиду агрегирование? - Скрипач(30.11.2016 22:41)
  - Имел в виду, что есть базовый класс "поток под управлением ОСи", и юзер переопределить эти базовые фишки не может. - Evgeny_CD(30.11.2016 22:49)
    - И? Вся память потока одним куском? А смысл? Может быть все же агрегирование? С аппаратной проверкой индекса массива и т.п.? - Скрипач(30.11.2016 22:51)
      - Думаю. Это два разных пути. Аппаратная и программная реализация. Evgeny_CD(320 знак., 30.11.2016 23:02)
        
        Евгений, а Component pascal не рассматривали? Вроде как развитие Оберона и там добавили механизмы контроля владения памятью. Dingo(927 знак., 02.12.2016 06:11, ссылка)
        
        Или Питон. Или Active Oberon. Дались вам эти наркоманские плюсЫ Скрипач(327 знак., 30.11.2016 23:06 - 01.12.2016 00:03)
        
        Заинтересовался вашим обсуждением. *) Оберон - ничего не понятно, кроме того, что паскалеподобный синтаксис. Неужели настолько просто всё, что и писать не о чем?.. Сомневаюсь. Где что почитать, как пощупать за вечер-два, если это реально? Dingo(356 знак., 01.12.2016 08:11)
        
        Кратко. Скрипач(2043 знак., 01.12.2016 09:36)
        
        Да. Любитель заинтересован в решЕнии задачи, профессионал - в решАнии. Почувствуйте разницу. - Крок(01.12.2016 15:36)
        
        Проект "с нуля" - это как раз ближе к МК, чем к персоналкам. А вот "резко перепрыгнуть" - это x86 вне конкуренции: сколько лет уже сохраняется совместимость? Dingo(1128 знак., 01.12.2016 11:41)
        
        Cовместимость пропала вместе с переходом от x86 к платформе x64, причем этот переход принудительно форсируется. Тогда как по сути в режиме x64 это практически другой процессор (регистров много новых и команд). - Ксения(01.12.2016 12:58)
        
        За совместимость на уровне команд ассемблера и регистров цепляться - глупо. Нужна совместимость на уровне исходных текстов и окружения. А с этим еще хуже. - Скрипач(01.12.2016 13:03)
        
        ХЗ. Я в эту сторону не копал, в моих проектах Оберону пока места нет. - Скрипач(01.12.2016 12:06)
        
        Мысль насчет подмены здравая. Надо подумать. Но хочется нечто более привычное, "С с расшиениями", если угодно. - Evgeny_CD(01.12.2016 00:12)
        
        Java. - Скрипач(01.12.2016 00:17)
        
        Там нет unsigned в базовых типах. Ф топку!!!! - Evgeny_CD(01.12.2016 00:18)
        
        Мы кагбэ фантазируем? И говорим о НЕСУЩЕСТВУЮЩИХ вещах, да? Вот они и не существуют 8) - Скрипач(01.12.2016 00:21)
        
        Хорошо мыслишь. Гибко и NP полно одновременно. Мне аж завидно :) - Evgeny_CD(01.12.2016 00:22)
        
        Осталось только RTOS на Обероне сваять, а так сам Оберон уже есть -> - Evgeny_CD(30.11.2016 23:30, ссылка)
        
        А2. Но там все в языке уже есть. И вытесняющая, и кооперативная, и выгружаемые модули. Одно слово - Цюрих. - Скрипач(30.11.2016 23:31 - 23:34)
        
        Кстати, ActiveOberon и "микроконтроллерный оберон", на который я привел ссылку, они несколько разные. - Evgeny_CD(01.12.2016 00:11)
        
        Их, этих Оберонов разных, как... диалектов Си. - Скрипач(01.12.2016 00:15)
        
        У С есть GCC, LLVM. Все остальное - о малое. - Evgeny_CD(01.12.2016 00:17)
        
        У Оберона тоже много чего есть. Гугль в помощь :) - Скрипач(01.12.2016 00:18)
        
        Засада в том, что оно все вместе меньше о малого для С. - Evgeny_CD(01.12.2016 00:27)
        
        Ну да, когда говорим о том, чего нет, трудно иметь в виду язык Си 8) - Скрипач(01.12.2016 00:30)
        
        да, какая-от жизнь там есть Evgeny_CD(198 знак., 01.12.2016 00:08, ссылка, ссылка)
        
        Есть. У меня институтский приятель вовлечен. Вроде бы бы даже ветка для AVR существует (существовала?) - Скрипач(01.12.2016 00:14)
        
        Сколько я про этот оберон слышу - так для меня и остается загадкой, что же он в мейнстрим, хотя бы в отдельных нишах, не пришел? Чего ему не хватает? - Evgeny_CD(01.12.2016 00:16)
        
        Несмываемая печать академичности Скрипач(57 знак., 01.12.2016 00:17 - 00:20)
        
        У Ц++ печати академичности, укуренности и отмороженности одновременно, и это не мешает ему широко использоваться на практике. А тут только печать академичности - и все, нету пути в бузинес? - Evgeny_CD(01.12.2016 00:20)
        
        Ой не надо ля-ля. Сознавайтесь, Страуструпа, в свое время - за одну ночь прочитали, верно? С++ очень харизматичный язык. Этакий байкер среди языков программирования. Скрипач(34 знак., 01.12.2016 00:23)
        
        Честно? Ни разу до конца не дочитал. Моск вскипает раньше, и книга летит на дальнюю полку.... - Evgeny_CD(01.12.2016 00:24)
        
        Описание синтаксиса Оберона занимает меньше половины А4. Ну и где драйв, экспрессия, вызов?! Нет, настоящие ковбои, на таком не программируют :) Скрипач(177 знак., 01.12.2016 00:28 - 00:31)
        
        Так есть оно такое классное, и такое легкое для понимания, от чего же оно не продается?! Не уж то возможность на Ц++ родить код, который никто никогда не поймет, в серьез кого-то мотивирует?! - Evgeny_CD(01.12.2016 00:34)
        
        А вы сомневаетесь? Сложно, концептуально, на слуху ~~и нравицца девочкам~~. Эпизод про негра-баскетболиста в салоне автомобилей Крайслер помните? Скрипач(209 знак., 01.12.2016 00:40)
        
        Самовыразиться можно хоть на brainfuck. Но насчет работы аргумент неубиваемый, согласился. - Evgeny_CD(01.12.2016 01:02)
        
        Плюсы, конечно, наркоманские, но в некоторых случаях, судя по всему, от них может быть польза. Альтернатива - кастомный С компилер "с расширениями". - Evgeny_CD(30.11.2016 23:27)

Средства и методы разработки