Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Переносимый Ассемблер (Си) _ Двоичные потоки

Автор: OCTAGRAM 11.09.2019 17:31

GNAT -gnat95

Используя механизм сильных ссылок, реализовать потоки

За основу берётся пакет https://www.adaic.org/resources/add_content/standards/95lrm/ARM_HTML/RM-13-13-1.html. Более конкретно, оттуда импортируются типы. И по аналогии с теми методами делаются методы здесь.

Аналогично Sample_Reference, делаются два типа. Один — для наследования, Root_Stream_Referenced. Другой — обёртка Root_Stream для применения в будущих пакетах.

Для интеграции с Адой в одну сторону делается Ada_Stream, обёртка-наследник стандартного Ada.Streams.Root_Stream_Type. Обёртка не реализует по второму разу Root_Stream, а содержит её в публично доступном поле и просто делегирует вызовы методов.

В обратную сторону в общем случае не получится, и делается только один частный случай, File_Stream_Referenced, содержащий https://www.adaic.org/resources/add_content/standards/95lrm/ARM_HTML/RM-A-12-1.html.

Как и всегда при использовании механизма сильных ссылок, делаются попарно два типа, для динамической памяти File_Stream_Referenced и обёртка File_Stream. API изменяется.

    procedure Create (File : in out File_Type;
                      Mode : in File_Mode := Out_File;
                      Name : in String    := "";
                      Form : in String    := "");

Create превращается в функцию, возвращающую сильную ссылку. Form убирается. Тип Name заменяется на String_32. Можно объявить subtype String_32 is Wide_String, чтоб собиралось. Wide_String приводится к String конструкциями вида Character'Val (Unsigned_8'Mod (Character_32'Pos (Element))). Работать, конечно, с Юникодом оно нормально так не будет, но API правильное.

Аналогично с Open.

Delete не нужен. Close в явном виде не нужен, а неявно он вызывается из Finalize после проверки Is_Open. В Finalize нужно также вызвать родительский Finalize.

Унаследованные Read и Write переопределяются.

Функция Stream выбрасывается. Read и Write реализуются без неё, а если нужен адский поток, то обёртка для этого уже сделана выше.

function Name приводится к String_32 дубовым способом, как и в Create.

function Form выбрасывается.

Задача мне: надо дать заглушки для поддержки Ada 2005+ фич в AdaMagic. Я писал такое, но не под рукой сейчас

Автор: Sergey Dukov 11.09.2019 17:53

Задачу в первом приближении понял. Займусь несколько позже.
Сейчас занимаюсь векторами. К стати, в АДА2012 вектора могут работать с потоками. Реализовать эту функциональность для наших векторов?

Автор: Sergey Dukov 21.10.2019 13:03

Раньше мне вроде бы было всё понятно. Сейчас у меня новый уровень понимания -- почти ничего не понятно. Зачем множить ссылки на файл? Лишь для того, чтобы деструктор в конце закрыл файл? Или каждый экземпляр ссылки должен иметь свои собственные атрибуты (типа позиции файла и моды файла)? Тогда нужно ли вводить спин-блокировку на операции, изменяющие эти атрибуты? Как нужно порождать новые экземпляры ссылок, специальной функцией типа "New_Instance" или простым копированием ссылки? Нужно ли вводить процедуру отсоединения ссылки от файла типа "Release_Instance" или "Detach_Instance"? Как реализовывать функциональность пакета, простым вызовом процедур из пакета "Ada.Streams.Stream_IO" или разработать независимую реализацию? И это, думаю, далеко не полный список вопросов.