caxapa.ru :: В самом простом вараинте

Evgeny_CD, Архитектор (30.11.2016 21:00, просмотров: 291) ответил Скрипач на Права доступа - лишняя сущность. Нет?

В самом простом вараинте - нет. Самый простой вариант: PID потока, который хозяин объектра (RW доступ), и есть ли право чтения у других PID. Аналог в варанте MPU: делаем страницы с разными правами, и следим, чтобы линкер правильно разложил глобальные статические сущности по адресам. Либо весь доступ к глобальным объектам "обрамляем" вызовами API ОСи. В варианте дескриптора програмный интерфейс сильно проще. Породил объект и одновременной его дескриптор, и все - по указателю на адрес объекта могут лазить все, получат доступ только кто надо. Кроме того, мой вариант дескрипторов позволяет расшрить простанство объекта на ходу - просто в конце декскриптора стоит ссылка на еще один дескриптор, если пришлось, например, добавить элементов в массив переменной длины. И все это прозрачно для программы - для нее объет все рано имеет линейное адресное пространство.

Ответить

- Последнее предложение - непонятно. Может быть с точностью до наоборот - для системы память линейна, а для прикладной программы - строго объектны, нет? - Скрипач(30.11.2016 21:40)
  - Вот и я начинаю приходить к мысли, что хорошая OS - это библотека классов С++. И все прикладное ПО пишется только с наследованием от этих классов. Evgeny_CD(511 знак., 30.11.2016 22:31, ссылка)
    - Насчет наследования от объектов ОС непонятно. Вы имели ввиду агрегирование? - Скрипач(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)

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