OberonCore
https://forum.oberoncore.ru/

Обещанное в телеге по направлениям работ.
https://forum.oberoncore.ru/viewtopic.php?f=22&t=6397
Страница 1 из 1

Автор:  Wlad [ Воскресенье, 19 Май, 2019 02:55 ]
Заголовок сообщения:  Обещанное в телеге по направлениям работ.

Добрый день, коллеги.

Пункты, по которым хотелось бы услышать вашу реакцию, дополнения, пожелания, отзывы и интерес.
Сумбурно.
Но - высказывайтесь!

1. Язык
?????????????????????????????????


2. Компилятор
?????????????????????????????????


3. Документация
3.а) введение, собственно в язык
3.б) среда и рабочее окружение
- ОС
- IDE
- компилятор
- подсистемы
- библиотеки


4. Учебники + примеры
Здесь есть несколько разновидностей учебного материала:
4.а) написание программ в А2 - в малом и большом
4.а.1) в малом - типовые примеры (как у Потопахина, например, или - виртовское “Программирование на Обероне”)
4.а.2) в большом - проектирование СИСТЕМ - аналог книг Мейера и/или Банды Четырёх , только с базовым языком - АО
4.а.3) тематические описания по областям применения:
- встроенные системы,
- десктопное программирование + программирование интерфейса,
- работа с графикой
- работа с СУБД
- веб-тематики
- численные методы ( аналогом можно взять http://books.pharo.org/numerical-methods/ )
- финансовые вычисления
- портирование


5. Вопросы портирования библиотек, приложений, фреймвоков
- графика (OpenGL, свои наработки, доступ к GPU напрямую и через портированные средства,
- портирование утилит для работы с форматами графики и железом)
- создание или портирование графических движков (игровые, CAD-ориентированные)

- машинное обучение
- системы управления
- системы реального времени
- работа с микроконтроллерами и одноплатниками формата банковской карты

- методы формирования и построения сборок и загрузочных образов, наработка инструментария для этого


6. Сфера образования
?????????????????????????????????????


7. Вопросы работы А2 в качестве ГОСТЕВОЙ системы.
Что меня здесь интересует.
Есть несколько вариантов
а) работа а ля ЧёрныйЯщик - своя IDE-образная среда, как приложение хостовой ОС
б) работа в виртуальной машине
в) работа в качестве “чистого” исполняемого файла приложения, “заточенного” под использование напрямую функционала хост-ОС.

Здесь (во всех трёх случаях) необходимо решить вопросы отображения свойств модульности языка АО и системы А2 на элементы подлежащей ОСи.
В процессе их решения необходимо добиваться демонстрации преимущества подходов и идеологии разработки в А2+АО.

А2 - “однопроцессная” по идеологии. Разделение и безопасность - через язык, программные проверки и языковые средства изоляции сущностей.
На чём остановиться при работе на хост-ОС
- на “однопроцессности” каждой из программ, написанных с помощью А2+АО?
- на отображении (некоторым образом) модулей проектируемой в А2+АО системы на “модули” подлежащей ОС. Становится необходимой проработка вопросов “конфигурации” и “настройки” идеологии доступа и “инстанцирования” модулей в рамках хост-ОСи. Будет ли модуль”синглтоном” в хост-системе или позволять многократное “инстанцирование" этого модуля в хост-ОСи и как тогда обеспечивать доступ к данным модля (и - кому?)


Больше всего МЕНЯ ЛИЧНО интересует применение А2+АО во встроенных системах. При чём, и здесь возникают вопросы аппаратного обеспечения разделения модулей по разным, изолированным (виртуальным) адресным пространствам.
Я понимаю, что это противоречит изначальной идеологии языка и системы.
Но я также понимаю, что, проектируя серьёзные системы, мне надо будет следовать некоторым стандартам и соглашениям, прописанным в документах, регламентирующих реализацию среды исполнения для подобного рода систем в, например, авиации у вояк, у атомщиков, корабелов, на ж/д транспорте и в метро, и - в космосе (например, в тех же ARINC 653 и/или DO 178B).
Вероятно это потребует несколько изменить язык в плане описания свойств (через атрибуты???) элементов модулей и их самих. А может быть будет некий фиктивный модуль (головной в проекте?), где эти описания будут собраны вместе) и этот модуль может быть подменён, в зависимости от варианта целевой сборки системы - с учётом архитектуры железа, и способа работы (нативная система или “гостевая”)

Автор:  Wlad [ Воскресенье, 19 Май, 2019 12:55 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Ещё.

Было бы ОЧЕНЬ полезным выпустить книжк/брошюру (по объёму) или перепевки, или аналога книги Крэга Лармана по проектированию ПО на АО+А2 "с применнением UML х.х".

Сюда же, может быть включить работу по разработке/портированию инструментария работы с UML представлениями системы (С расширением в сторону свойств и возможностей АО!)

Автор:  Дмитрий Дагаев [ Воскресенье, 19 Май, 2019 20:52 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

1. Язык - Оберон. Я на вопрос "За BB или за A2" отвечу, как Чапаев на вопрос "За большевиков или за коммунистов". А Вирт за кого? За Оберон, причем в версии 07/16.
Я про это писал и обсуждал - в зависимости от системы требований нам нужны разные варианты языка и рантайма. Еще приложу картинку с дня Оберона-18
Вложение:
HorScale.png
HorScale.png [ 83.45 КБ | Просмотров: 16183 ]

Вариант А - без ОС;
Вариант Б - А2;
Вариант С - Защищенная POSIX-система.

2. Компилятор. Один frontend с системой ограничений (я предлагал ключевое слово USE, но видимо лучше будет RESTRICT, о чем Владимир тоже упоминал) и несколько backend'ов. Один или часть из них - для А2.

7. Про рантаймы и "однопроцессность" А2.
7.1 А2 - однопользовательская система, и средства защиты информации, основанные на разграничении доступа, с последующей сертификацией в соответствующем органе на ней сделать проблематично.
Для этих целей я выберу Вариант С, скажем, Astra Linux и приложение под BlackBox.
7.2 Если нужна простой надежный контроллер с требованиями а-ля 880, без блокировок, без ОС - то вариант А.
7.3 А вот если мне нужно "интеллектуально-управляемое ПО" полностью под моим контролем, не gcc, не linux kernel - тогда А2 однозначно.

Автор:  Ярослав Романченко [ Воскресенье, 19 Май, 2019 21:27 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Дмитрий Дагаев писал(а):
А Вирт за кого? За Оберон, причем в версии 07/16.
Странная логика. Есть какие-то неоспоримые преимущества Оберон 07/16? Вирт просто экспериментирует со своим детищем.

Автор:  Ярослав Романченко [ Воскресенье, 19 Май, 2019 22:18 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Почему-то все кто берётся за реализацию компиляторов Оберон 07, расширяют язык... Где-то тут собака порылась

Автор:  Comdiv [ Воскресенье, 19 Май, 2019 22:18 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Не все

Автор:  Ярослав Романченко [ Понедельник, 20 Май, 2019 09:16 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Wlad писал(а):
- численные методы ( аналогом можно взять http://books.pharo.org/numerical-methods/ )
Хорошая книжка. Кто примеры на AO напишет? Насколько я понимаю, лицензия CC позволяет свободно содержимое этой книжки переработать в книжку с примерами на AO (с упоминанием источника) и ничего за это не будет? :roll:
И конечно, книги, брошюры, руководства и всякие-всякие материалы не помешали-бы.

Автор:  Kemet [ Понедельник, 20 Май, 2019 10:12 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

1) Нужны люди, которые все эти хотелки реализуют. А у них есть жена, дети, работа и нет свободного времени.

2) По языку нужно сформировать список пожеланий, обсудить, отбросить неадекват, зафиксировать в документе и ... А вот дальше что? Вряд ли Феликс по-стахановскими засучит рукава и бросится с головой в эту авантюру. См. п.1

3) В компиляторе много недоделок и багов. нужны бакенды для AArch64, mips. Всё это не разрабатывается и не устраняется вовсе не из не желания или низкой квалификации. См. п.1

4) См. п.1

5) См. п.1
..
.См. п.1

Автор:  budden [ Понедельник, 20 Май, 2019 17:42 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

  • К списку хотелок прилагать список могучностей
  • Мои могучности ограничиваются наблюдением и неуместными репликами
  • Прежде всего, нужно описание того, что уже есть
  • А также каркасы (фреймворки) для тестирования по всей "пирамиде тестов" и их наполнение.
    То, что система собирает себя и запускается, тестом не является.
  • И для этого нужен переход к определению, который я начинал делать, но ресурсов нет и вряд ли будут в этом году, да и в дальнейшие годы тоже не факт.
  • Также я хочу отладчик. Отладчик есть у Богдана - он обещал его расшарить. Будем ждать.
  • А также хочу vi-образное управление оконным менеджером и тайлинг как в Windows (Aero Snap)
  • Также нужно развиваться в направлении LLVM (всякие хитрые штуки на уровне промежуточного представления и прочая).
  • И только после этого можно говорить об изменении языка.
  • Глобальный интерес в создании безопасной системы (хоть однопроцессность этому и не способствует, зато обероновость способствует).

Автор:  Sergej Durmanov [ Понедельник, 20 Май, 2019 18:36 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Процессы никто не мешает создавать. Это никак не противоречит концепции а2. В конце-концов можно разработать другое ядро с твоими потребностями.

Автор:  budden [ Понедельник, 20 Май, 2019 19:17 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

Ну это в любом случае после списка остальных хотелок, будучи сдержанным оптимистом, я не ожидаю, что этот список когда-либо будет выполнен :) Денег у меня на это нет, а за красивые глаза никто мне ничего, очевидно, делать не будет. Хотя первые 4-5 пунктов из моих хотелок выглядят разумными как первые 4-5 пунктов плана для любого коллектива или анархического сообщества желающих работать над А2. Т.к. факт незнания сообществом того, что уже есть, в Телеграме уже хорошо виден :)

Если уж старожилы не знают, что есть в системе, то как можно привлечь к ней внимание новичков?

Автор:  arlean1 [ Пятница, 03 Апрель, 2020 08:10 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

В исходниках на https://github.com/btreut/a2 есть коды a2-master\a2extraa2\OCTK , в которых приведён вариант работы с графическим процессором для мат вычислений - Кто нибудь использовал?

Автор:  Ярослав Романченко [ Вторник, 07 Апрель, 2020 16:44 ]
Заголовок сообщения:  Re: Обещанное в телеге по направлениям работ.

arlean1 писал(а):
есть коды a2-master\a2extraa2\OCTK
Авторы Алексей Морозов и Патрик Хунзикер, использовали это для медицинского программного обеспечения в Базеле.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/