Board.KolibriOS.org
http://board.kolibrios.org/

Компилятор Oberon-07
http://board.kolibrios.org/viewtopic.php?f=33&t=2443		 Страница 7 из 7
Автор:  akron1 [ Чт окт 18, 2018 7:55 am ]
Заголовок сообщения:  Re: Компилятор Oberon-07
Кроссплатформенные примеры скоро будут.
А чем ".obj" не устраивает? MS COFF, вроде бы... Чтобы было понятно о чём речь и как это сделать, нужен пример такого файла на FASM.
Автор:  0CodErr [ Чт окт 18, 2018 11:05 am ]
Заголовок сообщения:  Re: Компилятор Oberon-07
Как следует из документации:
Цитата:
Параметры:
..............
3) тип приложения и платформа
..............
"obj" - KolibriOS DLL
Цитата:
Разрешается экспортировать только процедуры.
..............
KolibriOS DLL всегда экспортируют идентификаторы "version"
(версия программы) и "lib_init" - адрес процедуры инициализации DLL:

PROCEDURE [stdcall] lib_init (): INTEGER

Эта процедура должна быть вызвана перед использованием DLL.
Если видел примеры для XDS Modula-2/Oberon-2 compiler viewtopic.php?f=33&t=2280 то там сначала получается объектный файл, затем он линкуется с другими модулями примерно так:
Код:
          xc %name%.mod -objfmt=coff
          ld -o              %Name%.kex ^
             -T            ../LScript.x ^
                             %Name%.obj ^
                  ../../Modules/DLL.obj ^
                  ../../Modules/X2C.obj ^
                ../../Modules/InOut.obj
Сейчас нет возможности использовать сторонние модули при статической линковке.
akron1 писал(а):
- Добавлен специальный синтаксис для импорта функций из динамических библиотек.
Теперь подсветка в HippoEDIT "поехала".
Автор:  akron1 [ Чт окт 18, 2018 12:40 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
Я пока плохо представляю, как работает статическая линковка. Если будет время и желание, то может быть сделаю раздельную компиляцию с последующей линковкой. Но видимо нескоро. Сейчас мне это кажется довольно сложным.

0CodErr писал(а):
Теперь подсветка в HippoEDIT "поехала".

Если есть какие-либо идеи, то можешь предложить свой вариант синтаксиса импорта, более удобный для подсветки.
Автор:  0CodErr [ Чт окт 18, 2018 1:53 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
akron1 писал(а):
Если будет время и желание, то может быть сделаю раздельную компиляцию с последующей линковкой. Но видимо нескоро.
Ну ничего страшного, торопиться и не надо :)
Если будет что — с удовольствием потестирую.
akron1 писал(а):
предложить свой вариант синтаксиса импорта, более удобный для подсветки
Казалось бы, банальное добавление END; решает проблему
Код:
PROCEDURE [winapi, "kernel32.dll", "GetTickCount"]
    _GetTickCount* (): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "GetStdHandle"]
    GetStdHandle (nStdHandle: INTEGER): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "GetCommandLineA"]
    GetCommandLine (): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "ReadFile"]
    ReadFile (hFile, Buffer, nNumberOfBytesToRW: INTEGER; VAR NumberOfBytesRW: INTEGER; lpOverlapped: POverlapped): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "WriteFile"]
    WriteFile (hFile, Buffer, nNumberOfBytesToRW: INTEGER; VAR NumberOfBytesRW: INTEGER; lpOverlapped: POverlapped): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "CloseHandle"]
    CloseHandle (hObject: INTEGER): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "CreateFileA"]
    CreateFile (
        lpFileName, dwDesiredAccess, dwShareMode: INTEGER;
        lpSecurityAttributes: PSecurityAttributes;
        dwCreationDisposition, dwFlagsAndAttributes,
        hTemplateFile: INTEGER): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "OpenFile"]
    OpenFile (lpFileName: INTEGER; lpReOpenBuff: OFSTRUCT; uStyle: INTEGER): INTEGER; END;

PROCEDURE [winapi, "kernel32.dll", "ExitProcess"]
    ExitProcess* (code: INTEGER); END;

PROCEDURE [winapi, "shell32.dll", "ShellExecuteA"]
    ShellExecute* (hWnd, Operation, FileName, Parameters, Directory, ShowCmd: INTEGER): INTEGER; END;
Не знаю, уж насколько логично это выглядит.
akron1 писал(а):
Кроссплатформенные примеры скоро будут.
Будет ли возможность собрать те примеры(Projects.7z ) viewtopic.php?f=33&t=2443&start=45#p70389 ?
Автор:  akron1 [ Чт окт 18, 2018 5:09 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
END, конечно, не очень красиво. Хотя, можно сделать (опционально):
Код:
PROCEDURE [winapi, "kernel32.dll", "CloseHandle"]
    CloseHandle* (hObject: INTEGER): INTEGER;
END CloseHandle;

Цитата:
Будет ли возможность собрать те примеры(Projects.7z )

Да, я поставлю заглушки для Windows Console.open, Console.exit. Вроде бы ничего лучше пока нельзя сделать. Еще надо будет сделать поддержку относительных путей, чтобы компилировать из командного файла.
Автор:  Siemargl [ Чт окт 18, 2018 7:33 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
akron1 писал(а):
Я пока плохо представляю, как работает статическая линковка. Если будет время и желание, то может быть сделаю раздельную компиляцию с последующей линковкой. Но видимо нескоро. Сейчас мне это кажется довольно сложным.

Это проще чем звучит. Функции выкладываются по очереди в сегмент кода, их адреса запоминаются.
На втором проходе по местам релоков прописываются полученные адреса.

Вот как сделано в tcc, всего 300 строк

Меня наоборот, пугает динамическая =)
Автор:  akron1 [ Пт окт 19, 2018 3:33 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
akron1 писал(а):
END, конечно, не очень красиво. Хотя, можно сделать (опционально):
Код:
PROCEDURE [winapi, "kernel32.dll", "CloseHandle"]
    CloseHandle* (hObject: INTEGER): INTEGER;
END CloseHandle;
Сделано.

akron1 писал(а):
Цитата:
Будет ли возможность собрать те примеры(Projects.7z )

Да, я поставлю заглушки для Windows Console.open, Console.exit. Вроде бы ничего лучше пока нельзя сделать.
Сделано.

akron1 писал(а):
Еще надо будет сделать поддержку относительных путей
Сделано.

Примеры прикрепил.

Вложения:
Projects.zip [13.3 КБ]
14 скачиваний
Автор:  0CodErr [ Вт окт 23, 2018 5:45 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
akron1 писал(а):
заглушки для Windows Console.open, Console.exit. Вроде бы ничего лучше пока нельзя сделать.
Разве нельзя было инициализировать консоль внутри In.Open и Out.Open?
Раньше ещё поддерживался Linux, теперь он поддерживаться не будет?
Автор:  akron1 [ Вт окт 23, 2018 7:02 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
Ну а финализацию куда всунуть? Я так думаю, что инициализация и финализация консоли должны быть в одном модуле. Я выбрал модуль Console. Другое дело, что Console.open фактически не нужно вызывать в Windows, а In.Open и Out.Open не нужны в KolibriOS (In.Open, правда, инициализирует переменную Done, но этот код можно перенести в секцию инициализации модуля In). Я тут думаю, что может быть лучше In.Open и Out.Open вызывать из Console.open.

Тогда "кроссплатформенный" код главного модуля будет выглядеть так:
Код:
MODULE program;

IMPORT C := Console, In, Out;

BEGIN
    C.open;

    C.exit(TRUE)
END program.

вместо
Код:
MODULE program;

IMPORT C := Console, In, Out;

BEGIN
    C.open;
    In.Open;
    Out.Open;

    C.exit(TRUE)
END program.

Поддержку Linux хотелось бы сделать, но пока до этого руки не доходят.
Автор:  0CodErr [ Вт окт 23, 2018 7:28 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
akron1 писал(а):
Тогда "кроссплатформенный" код главного модуля будет выглядеть так:
Код:
MODULE program;

IMPORT C := Console, In, Out;

BEGIN
    C.open;

    C.exit(TRUE)
END program.
Это вполне хороший вариант.
Я просто думал, как бы так сделать, чтобы поменьше вызывать лишнего.
akron1 писал(а):
Ну а финализацию куда всунуть?
Если только неявно после выполнения основного кода
Код:
      IF Console.Initialized THEN
        Console.exit
      END;

Например, у XDS(Oberon-2) есть такой код, где вызывается In.Open, но без Out.Open
Спойлер: Показать
Код:
<*+ MAIN *> 
MODULE ackermann;

IMPORT Out, In;

VAR p1, p2, count: LONGINT;

PROCEDURE ack (m, n: LONGINT): LONGINT;
BEGIN
  INC (count);
  IF m=0 THEN RETURN n+1 END;
  IF n=0 THEN RETURN ack (m-1, 1) END;
  RETURN ack (m-1, ack (m, n-1));
END ack;

BEGIN
  In.Open;
  count := 0;
  Out.String ("Ackermann Function Calculation"); Out.Ln;
  Out.String ("------------------------------"); Out.Ln;
  Out.Ln;
  Out.String ("Enter first  parameter (1..4): "); In.LongInt(p1);
  Out.String ("Enter second parameter (1..7): "); In.LongInt(p2);
  Out.Ln;
  Out.String ("Ackermann ("); Out.Int (p1, 0);
  Out.String (", "); Out.Int(p2, 0);
  Out.String ("): ");
  Out.Int (ack (p1, p2), 0);
  Out.String (" ("); Out.Int (count, 0);
  Out.String (" recursive calls)");
  Out.Ln;
END ackermann.
А есть вообще безо всяких Open
Спойлер: Показать
Код:
<* MAIN+ *>
MODULE GCreport; 

IMPORT SYSTEM, oberonRTS, Out;

TYPE Object = POINTER TO ObjDesc;
     ObjDesc = RECORD 
     END;

VAR 
  global: Object;
  count: INTEGER;

PROCEDURE Finalize(a: SYSTEM.PTR);
BEGIN
  INC(count);
  Out.String("Garbage Collector: "); Out.Int(count,0); Out.Ln;
  global:=SYSTEM.VAL(Object,a);
  oberonRTS.InstallFinalizer(Finalize,global);
END Finalize;

PROCEDURE Init;
  VAR o: Object;
BEGIN
  count:=0;
  NEW(o);
  oberonRTS.InstallFinalizer(Finalize,o);
  NEW(o);
  oberonRTS.InstallFinalizer(Finalize,o);
  global:=o;
END Init;

BEGIN
  Init;
  oberonRTS.Collect;
  oberonRTS.Collect;
  oberonRTS.Collect;
  oberonRTS.Collect;
END GCreport.
Значит, всё же это можно как-то организовать неявно.
Ну при завершении программы как минимум.
Автор:  akron1 [ Ср окт 24, 2018 11:59 am ]
Заголовок сообщения:  Re: Компилятор Oberon-07
0CodErr писал(а):
akron1 писал(а):
Тогда "кроссплатформенный" код главного модуля будет выглядеть так:
Код:
MODULE program;

IMPORT C := Console, In, Out;

BEGIN
    C.open;

    C.exit(TRUE)
END program.
Это вполне хороший вариант.
Я просто думал, как бы так сделать, чтобы поменьше вызывать лишнего.

Пока сделал так. Теперь можно не вызывать In.Open и Out.Open.
Автор:  akron1 [ Чт ноя 08, 2018 1:35 pm ]
Заголовок сообщения:  Re: Компилятор Oberon-07
Я перестроил компилятор на генерацию машинного кода с формированием исполняемых файлов (PE и MENUET01). FASM больше не нужен. Генерация obj-библиотек пока не поддерживается. Размер машинного кода стал на 15% больше (сжатый на 5%), потому что компилятор пока генерирует длинные команды переходов там, где возможны короткие.

20.11.2018
Поддержка obj-библиотек восстановлена. Также сделал генерацию позиционно-независимого кода. Для KolibriOS это не нужно, но может быть для чего-нибудь пригодится.
Страница 7 из 7 Часовой пояс: UTC+03:00
Powered by phpBB® Forum Software © phpBB Limited
https://www.phpbb.com/