Форум «Всё о Паскале» > Компиляторы AdaMagic и GNAT CCG

Помощь - Поиск - Пользователи - Календарь

Полная версия: Компиляторы AdaMagic и GNAT CCG

Форум «Всё о Паскале» > Современный Паскаль и другие языки > Ада и другие языки

OCTAGRAM

31.01.2017 11:01

Был давно такой интересный компилятор у производителя SofCheck. 5 лет назад SofCheck и AdaCore слились, а компилятор куда-то потерялся. У AdaCore его даже не купить. Он, конечно, поддерживает более старый стандарт Ada 95 с подмножеством Ada 2005, но иногда даже и такой компилятор может пригодиться.

Этот компилятор неожиданно был найден у другого производителя, который у адаистов вообще не на слуху: MapuSoft. У них можно запросить демку и скачать, потом они впаривают какой-то AppCOE на базе Eclipse, а если оно не нужно, то приходится распаковывать архив из архива из архива. Я постарался вытащить из AppCOE собственно AdaMagic и отбросить шелуху. Не имея представления о том, как он должен был выглядеть, возможно, не во всём корректно. И некоторых файлов вроде adabgen.inf и adacgen.inf просто нет.

Замечание от 13 июня 2018: нет, всё же IDE полезно иметь, см. тему дальше.

Таким образом, это компилятор Ada -> C, C++, запускается он на Windows и Linux, а через эмуляторы — и на других платформах. Сценарий использования из коробки — это Ada -> C, C++ -> GCC, но в GCC есть GNAT, который лучше, а AdaMagic интерес, как я понимаю, представляет, когда нужно собирать под платформы, не поддерживаемые GNAT, вроде Asm.js и Эльбрус, соответственно, научиться им пользоваться нетривиально и зависит от потребностей. Может понадобиться писать свой рантайм или не использовать те возможности языка, под которые рантайм не написан.

Для скачивания требуется регистрация на форуме.

AdaMagic.2016-07-22.7z (191 Мб)

OCTAGRAM

10.02.2017 11:56

Немного о том, как установить:
Распаковать куда-нибудь, далее обозначено многоточием.
Добавить в PATH …\AdaMagic\windows\bin
Установить переменную среды ADA_MAGIC=…\AdaMagic\windows
Подредактировать …\AdaMagic\windows\SITE\rts_path и …\AdaMagic\windows\SITE\config

Дальше тяжело без документации. В PDF мало. Решал эту проблему. Вот, что удалось выяснить:

AdaMagic умел работать в 3х режимах, промежуточное представление, которое нужно компилировать дальше в машинный код собственными усилиями, либо в C/C++, либо в Java. И всё это — AdaMagic. Один поставщик (Intermetrics, AverStar, SofCheck) раздавал лицензии разным компаниям под разные условия, и когда мы берём чей-то компилятор, это адаптация AdaMagic.

Вот у MapuSoft именно второй сценарий, а у ObjectAda — первый и третий, но нет второго. ObjectAda однажды устроил раздачу бесплатных версий своего компилятора (ObjectAda 7.2 Special Edition), я себе такой сохранил, впрочем, в Интернете ещё можно найти, архив называется oa71sped.zip , и вот он пригодился. Свет проливается на то, как всё устроено. В частности, обнаруживается, что adacgen.exe — это переименованный adacomp.exe, а adabgen.exe — это переименованный adabuild.exe. А ещё в ObjectAda можно найти adacomp.inf и adabuild.inf, и если их переименовать и положить в …\AdaMagic\windows , то утилиты командной строки перестают ругаться. Правда, справка не вполне подходит. Так, в ObjectAda есть ключ -asm, что имеет смысл для компилятора для Windows, но не имеет смысла для конвертера в C/C++. Более правильная «документация» нашлась здесь: http://www.ada-auth.org/cpl/reports/ACATR048.txt Это отчёт на проверку соответствия стандарту языка Ада 95, а заодно он включает искомую документацию, хоть и старую, но сойдёт. Кстати, там всплывают ещё одни возможные имена: adacsrc и adacbuild, соответственно. Также частично удалось восстановить смысл новых ключей, глядя в код AppCOE.

Итого ключи adacgen (как представляющей наибольший интерес утилиты) получаются:

Сильно не понятные ключи (Показать/Скрыть)

Относительно понятные ключи (Показать/Скрыть)

-double-size-%s
-c++
-eh
-av
-lc Generate continuous source listing interspersed with messages.
-lp Paginated source listing.
-le Generate continuous source listing interspersed with messages only if errors exist.
-lf
-lr Generate source listing only for source lines with messages. Available in conjunction with -lc or -le.
-lx Generate a cross-reference listing.
-pl Page length.
-pw Page width.
-nh
-chip
+bw Enable BackEnd warnings.
-c Frontend only, don't run the BackEnd.
-f Force generation of .c despite any errors.
-g Generate information for symbolic debugger.
-ga Generate Ada debugging information.
-gc Generate CodeView debugging information.
-h Print a short usage message. The message also prints if a tool is invoked with no parameters.
-help
-ldf
-nonr Force nr off.
-noxr Do not save cross-reference information for the browser.
-no_be_default
-ns
-O Call the optimizer with optimizing level:
all, 3, 2, 1, 0, none.
The default is to use level 3 optimization.
-xr Save xref info for the Browser (default).
-0 Identifies executable version numbers (default).
-of Read options from specified "file".
-ki Keep the info file.
-kil
-ne Don't re-exec adacomp process on failure.
-nle
-pB Pass "option" to the Back End.
-sr (Search and Register) Enable automatic registration of
source files.
-T Print timing information on compiler phases.
-noeo Turns off emitter optimizations.
-config
-xd Override default ADA_MAGIC environment
variable if exists.
-xL Override default lister.
-xX Override default xref lister.
-b
-standard.ol
-line_limit
-translate
-a Analyzer only, don't run the Emitter or BackEnd.
-ds
-eo Turns on emitter optimizations (default).
-ke Keep intermediate files.
-m msg_kind Suppresses the display of any messages of msg_kind
for the current invocation of the compiler.
+m msg_kind Enables the display of any messages of msg_kind
for the current invocation of the compiler.
-mr msg_kind Suppresses the display of any messages of msg_kind
for any recursive invocations of the compiler.
+mr msg_kind Enables the display of any messages of msg_kind
for any recursive invocations of the compiler.

The valid values for msg_kind:
a - all messages
d - implementation-dependent warning messages
e - error messages
i - information messages
n - nyi messages
w - general warning messages
r - redundant messages

By default, all messages except information and redundant messages are
displayed. For recursive invocations, no messages are displayed by
default. For convenience, "-m a" will suppress all messages *except*
errors.

-N Suppress numeric checks.
-nr No "current heap" releases (just keep allocating,
never releasing).
-nz Initialize all heap memory to a non-zero value.
(In hex, the non-zero value is BAD1BAD1 so it
is easy to spot in the debugger, and causes a
Bus Error on the Sparc when dereferenced.)
-ped
-prl Record layout listing for packed record types only.
-q Quiet mode -- suppress all inessential messages.
-rl Record layout listing for all record types.
-s Suppress checks in object code.
-t Trace each declaration and statement passed to
the emitter.
-v Provide verbose output as the tool executes.
-late_inlines Allow pragma Inline to be specified after a specless
subprogram body (for compatibility with Ada 83).
-no_inlines
-discard_names
-suppress_aggregate_temps
-show_freezing
-83 Identify Ada 95 incompatibilities in Ada 83 source. No code is generated.
-2005
-ap
-bool Place "{" and "}" on their own line.
-cap
-cppa
-cppe Use C++ exceptions and namespaces.
-cppn C++ output.
-cppc
-trace
-eot
-gl
-hm
-hs
-kc comment
-kh header
-kt
-ks
-kspan
-kn
-ro
-pp
-singunder
-sleh Suppress language exceptions at runtime.
-speh
-sp
-w Limit on the length of generated C source line.
-xx
-e Report only the first <n> errors. The default is 50 errors.

Также оказалось полезно, что компилятор запоминает, с какими ключами собирались файлы, и пишет в файлы info. Например, Ada RTL для Windows собрана так:

COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL

Здесь по идее должен быть adacgen, а не adacomp, но не везде имя поменяли, и в данном случае в файлики штампуется оригинальное имя утилиты.

А вот ключи для компиляции демки судоку, собранной средствами AppCOE:

COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL

Поскольку AppCOE ставить не хочется, вот так вот и достаётся оттуда информация.

Экспериментировал с emscripten. Собралось 287 из 325 файлов Ada RTL. Остальное нужно портировать вручную. Там всякие функции получения системного времени, аргументов командной строки и т. п.

Так как заморачиваться этим на первых порах не хочется, хотелось предоставить какую-нибудь заглушку, чтоб компилятор сам не вызывался, и чтоб можно было с неполным рантаймом собирать. Оттранслировать в C++ и не дать автоматически транслировать дальше. Посмотреть в исходник, что там вызывается и написать заглушки.

Нашёл, как это делать:
Сначала каждый исходник нужно обработать adareg:

adareg Hello_World_2.ads

Звёздочки (adareg *.ads *.adb) тоже понимаются.

Потом конвертировать:

adacgen -c -cppn -cppe -ke -ki Hello_World_2.ads

Это сконвертирует исходник Ada в C++. Так нужно и для тел, и для спецификаций сделать. Чтобы в C, надо убрать "-cppn -cppe". Чтобы убрать проверки, можно добавить -s. Это уже становится не Ada, но всё ещё хотя бы язык с нормальной системой типов и модулей. Всё это нужно, чтобы хоть что-то запустить на момент, пока рантайм ещё не портирован и даже заглушек ещё нет.

OCTAGRAM

14.02.2017 6:56

Такер Тефт, основоположник этого компилятора, любезно поделился файлами .inf. Там не все ключи, но судя по дате (2012й год), лучше уже ничего не будет. А внутри там дата из системы контроля версий 2008й год, так что, может быть, есть и поновее, а может быть, интересных мне ключей вроде «-cppa» и «-cppc» там никогда не было. Но это явно получше, чем брать файлы из ObjectAda Special Edition, где компилятор в машинные коды, а не в C.

Файлы распаковываются в ADA_MAGIC, то есть, в …\AdaMagic\windows

OCTAGRAM

8.04.2018 6:15

В блоге AdaCore с прошлого года появляются уже разные посты про новую технологию SPARK-To-C, она же GNAT CCG, Common Code Generator, тоже транслятор в C. Коммерческим клиентам AdaCore эта технология уже доступна, можно ожидать, что в ближайшие пару месяцев выложат в открытый доступ одновременно с обычными компиляторами, как это делается каждый год.

Код

gprbuild --target=c

Технология на данный момент сильно ограничена, но это адекватно целям её применения — экзотические платформы, а это всякий embedded, под который, если портировать GNAT, то это как минимум GCC. На embedded платформах большую роль играет минимальный размер. Также требуется потратить некоторое время на портирование рантайма. CCG решает эту проблему радикально: ни одна из возможностей Ada, требующая runtime, не доступна. Нет рантайма — нет проблемы. Можно сразу писать на Аде, наслаждаясь вменяемой модульностью, но на выходе — только то, что может быть портируемым образом перенесено в C. Например, записи с массивами с длиной, заданной дискриминантом, могут иметь в своём составе только один такой массив, и он должен быть в конце записи. Нельзя возвращать строки переменной длины из функций, так как нет вторичного стека. Некоторые автоматически навешиваемые проверки, впрочем, могут присутствовать, не совсем всё урезано.

OCTAGRAM

13.06.2018 7:25

AdaMagic продолжает развиваться, только по второму кругу (и потом каждый раз) повторять все действия не было желания, поэтому на этот раз совершенно другой подход. Ну а ещё раньше видеомонтажом диск был забит под завязку, а сейчас всё черновое удалено, так что поставил, посмотрел в действии IDE. Раньше IDE вырезалась, а теперь — наоборот, это способ по умолчанию.

Получить рабочее IDE для AdaMagic — тоже не плохо. Почему бы и нет.

Скачать IDE нужно самостоятельно, сейчас появилась 64-битная, но качать нужно 32-битную версию. И дальше по инструкциям в README.txt. IDE в комплект не входит, соответственно, обновлять на каждый выпуск теперь не нужно. Изменения не столь значительные, комплексные числа добавились в библиотеку, а в компиляторе — целочисленные константы, которые на Аде были записаны в двоичном виде, в C переделываются в шестнадцатеричный вид для совместимости с каким-то компилятором C. Пока это не сильно отличается от прошлой версии, но как знать, вдруг что-то действительно полезное появится в будущем, по новому способу обновляться заметно проще.

Кстати, напишите, кто знает, Remote Update Sites URL для AppCOE. По умолчанию никаких Update Site не настроено. В документации ни на одном скриншоте URL не показан. Тот URL, что указан в features, не работает (404). Может быть, с evaluation их дают? Это чтоб ну совсем легко обновляться.

GNAT CCG, к сожалению, не настолько хорош, как мог бы быть. RAII и многие другие возможности Ады там отсутствуют. И он до сих пор не выпущен. Наверное, к ежегодному Make with Ada, регистрация на который начинается 16 октября 2018 г., а не летом, как было раньше, должны выпустить в общий доступ. Учитывая, сколько AdaCore пиарят эту разработку в блогах и учитывая их стремление пробиться в сегмент embedded (и конкурс, и CCG лежат в этом русле), этого логично ожидать.

OCTAGRAM

25.06.2019 22:44

Сейчас, когда начинают появляться деньги, возник вопрос, а по карману ли AdaMagic (aka AdaChanger)? Delphi по карману, GNAT Developer по карману, даже, может быть, с iOS всякими, если действительно захотеть.

Ответ от производителя получил

Цитата

I am sorry but we are not selling this product into Russia at this time. I will let you know if that changes.

Даже при желании мы на их финансовое состояние не повлияем никак. Можно не париться.

Тем временем обнаружил, что в adacgen.exe всё это время была довольно исчерпывающая информация, но IDA её не подхватывала, потому что плагин для чтения информации требует очень редкую msvcp100d.dll, с буквой d на конце, что значит debug, а debug версии этих библиотек не входят в состав перераспространяемых пакетов визуалки, вот и нет этого файла. После того, как скачал и подложил этот файлик, наступило прозрение. Там есть типы данных с именами полей, локальные переменные, и в IDA видно, что в таком-то регистре такая-то локальная переменная. Смысл всех ключей стал более менее понятен. В частности, загадочный -cppa банально значит включить всё, что связано с C++ (то же, что все остальные три ключа).

Опции adacgen (Показать/Скрыть)

.data:00648540 ; OPTDESC frontend_opts[53]
.data:00648540 frontend_opts   OPTDESC <offset aA_0, 0, 0, offset fdrv_opts.analyze_only, 0, \
.data:00648540                                         ; DATA XREF: ccmd_process_args+266↑o
.data:00648540                          offset info_options> ; "-a"
.data:00648540                 OPTDESC <offset aDs, 0, 0, offset be_flags.debug_sizeof, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aEo, 0, 0, offset fdrv_opts.emit_optim, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKe, 0, 0, offset fdrv_opts.keep_all, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aMr, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_recur_msg_enable, offset info_options>
.data:00648540                 OPTDESC <offset aMr_0, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_recur_msg_disable, offset info_options>
.data:00648540                 OPTDESC <offset aM_0, 0, offset as_exact1_0, 0, offset opt_msg_enable,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aM_1, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_msg_disable, offset info_options>
.data:00648540                 OPTDESC <offset aN, 0, 0, offset fdrv_opts.suppress_numeric_checks, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aNr, 0, 0, offset fdrv_opts.no_heap_release, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aNz, 0, 0, offset fdrv_opts.init_to_nonzero, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPed_1, 0, 0, offset fdrv_opts.verbose_warn83, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPrl, 0, 0, offset fdrv_opts.packed_record_listing, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aQ, 0, 0, offset fdrv_opts.quiet, 0, 0>
.data:00648540                 OPTDESC <offset aRl, 0, 0, offset fdrv_opts.record_listing, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aS_75, 0, 0, offset fdrv_opts.suppress_all, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aT_0, 0, 0, offset fdrv_opts.emit_trace, 0, 0>
.data:00648540                 OPTDESC <offset aV_0, 0, 0, offset fdrv_opts, 0, 0>
.data:00648540                 OPTDESC <offset aLate_inlines, 0, 0, \
.data:00648540                          offset fdrv_opts.allow_late_inlines, 0, offset info_options>
.data:00648540                 OPTDESC <offset aNo_inlines, 0, 0, offset fdrv_opts.suppress_inlining,\
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aDiscard_name_1, 0, 0, offset fdrv_opts.discard_names,\
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aSuppress_agg_0, 0, 0, \
.data:00648540                          offset fdrv_opts.suppress_aggregate_temps, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aShow_freezing, 0, 0, offset fdrv_opts.show_freezing, \
.data:00648540                          0, 0>
.data:00648540                 OPTDESC <offset a83, 0, 0, 0, offset opt_83, offset info_options>
.data:00648540                 OPTDESC <offset a2005, 0, 0, 0, offset opt_2005, offset info_options>
.data:00648540                 OPTDESC <offset aAp, 0, 0, offset fdrv_opts.new_attr_prag, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aBool_0, 0, 0, offset be_flags.braces_on_own_line, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCap, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_capitalization, offset info_options>
.data:00648540                 OPTDESC <offset aCppa, 0, 0, 0, offset opt_use_all_cpp_code, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppe, 0, 0, 0, offset opt_use_cpp_exceptions, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppn, 0, 0, 0, offset opt_use_cpp_namespaces, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aCppc, 0, 0, 0, offset opt_use_cpp_classes, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aTrace, 0, 0, offset be_flags.generate_trace, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aEot, 0, 0, offset fdrv_opts.emit_optim_trace, 0, 0>
.data:00648540                 OPTDESC <offset aGl, 0, 0, offset fdrv_opts.local_dbg_info, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aHm, 0, 0, offset fdrv_opts.histogram_mralloc, 0, 0>
.data:00648540                 OPTDESC <offset aHs, 0, offset as_exact1_R_0, 0, offset opt_heap_size,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKc, 0, 0, offset fdrv_opts.retain_comments, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKh, 0, 0, offset be_flags.separate_dot_h, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKt, 0, 0, offset fdrv_opts.retain_static_trees, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKs, 0, 0, offset fdrv_opts.no_heap_release_stmts, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aKspan, 0, 0, offset sourcepos_spanning_info_needed, \
.data:00648540                          0, offset info_options>
.data:00648540                 OPTDESC <offset aKn, 0, 0, offset fdrv_opts.no_heap_release_nested, 0,\
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aRo, 0, 0, offset fdrv_opts.read_only_library, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aPp, 0, 0, offset be_flags.pretty_print, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSingunder, 0, 0, \
.data:00648540                          offset be_flags.use_single_underscore_separator, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSleh, 0, 0, \
.data:00648540                          offset be_flags.suppress_lang_exception_handlers, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSpeh, 0, 0, \
.data:00648540                          offset be_flags.suppress_propagating_exception_handlers, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aSp, 0, 0, offset fdrv_opts.speed_test, 0, 0>
.data:00648540                 OPTDESC <offset aW_6, 0, offset as_exact1_0, 0, \
.data:00648540                          offset opt_output_width, offset info_options>
.data:00648540                 OPTDESC <offset aXx, 0, 0, offset fdrv_opts.experimental, 0, \
.data:00648540                          offset info_options>
.data:00648540                 OPTDESC <offset aE, 0, offset as_exact1_R_0, 0, \
.data:00648540                          offset opt_max_error_count, offset info_options>
.data:00648540                 OPTDESC  <0>
.data:00648A38 ; ARGSCAN as_exact1_R_0
.data:00648A38 as_exact1_R_0   ARGSCAN <1, 1, 1, offset not_dash, 0>
.data:00648A38                                         ; DATA XREF: .data:frontend_opts↑o
.data:00648A48 ; ARGSCAN as_exact1_0
.data:00648A48 as_exact1_0     ARGSCAN <0, 1, 1, offset not_dash, 0>
.data:00648A48                                         ; DATA XREF: .data:frontend_opts↑o

Что касается собственно использования транслятора, удалось научиться делать некоторые трюки. Например, если просто делать объявленной процедуре pragma Import, то она и в Си выводе импортируется при помощи extern, но, возможно, под другим именем, ведь в Си нельзя одно от другого отвязать. А если написать Import с соглашением Intrinsic, то в Си не выводится extern, а транслятор начинает верить, что такая фунция всё же существует и генерирует код, ссылающийся на неё. Но если это всё же не настоящий intrinsic, то к тому, чтобы он появился, надо предпринять усилия. Написав pragma Import с оглашением Intrinsic для типа, можно дополнительным параметром указать строку "#include", которая будет вставляться в сишный вывод каждого модуля, зависящего от того, где такой хитрый тип объявлен. Сам тип использовать не обязательно, он может в private быть спрятан. Что-то другое, кроме #include, не работает, но и этого достаточно. Через эту щель удалось, например, подцепиться к atomic intrinsic для счётчиков ссылок. С ними возникла проблема, что AdaMagic указатели приводит к void*, а у этих atomic instrinsic поведение определяется именно тем, какой указатель передаётся. То есть, перегрузка по типу аргумента, не смотря на то, что в Си такого нет. Решилось тем, что я завернул atomic intrinsic в макрос, приводящий обратно к нужному типу. И написал для сишного макроса адское строго типизированное объявление. Строго типизированное объявление для того, что по сути является сишным макросом. Это ли не чудо. Используя этот трюк, я реализовал System.Atomic_Counters с тем же API, как в GNAT. Работает. Посмотрел все промежуточные файлы. Через AdaMagic, через сишный препроцессор всё проходит до уровня ассемблера, вся эта луковица разбирается до кочерыжки, и остаются машинные инструкции, делающие только то, что нужно.

Посмотреть можно здесь:

https://osdn.net/projects/referencing/scm/h…ments/tree/tip/

Кажется, самый сложный непортируемый трюк позади. Остаётся обычная Ada 95, на которой надо просто писать.

OCTAGRAM

23.06.2020 16:46

Пытался на Эльбрусе запустить. Пока что помешала педантичность l++. Оказывается, есть кое-что, критичное для AdaMagic, что часть стандарта ISO C, но против стандарта ISO C++. void* по стандарту ISO C++ не приводится неявно к указателю на что-либо другое, а AdaMagic такой код генерит постоянно. Во всех других известных трансляторах это приведение порождает предупреждение, и это ещё если знать, как включить. В l++ это неотключаемая ошибка. Ждём как починят.

tukva

27.03.2021 16:00

Кстати, исходники CCG (Common Code Generator), есть на github. Это компилятор Ады в Си на основе LLVM. Вот официальная документация

Я не пробовал собирать, но слышал, что он проходит у же почти все тесты.

Terryknole

23.04.2021 2:48

давно хотел посматреть

Terrysen

25.04.2021 20:04

123

Terrysen

26.04.2021 2:30

123

Terrysen

26.04.2021 8:31

123

SportBKVerif

27.05.2021 7:53

Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top

SportBKVerif

27.05.2021 7:53

SportBKVerif

27.05.2021 7:54

SportBKVerif

27.05.2021 7:55

SportBKVerif

27.05.2021 7:55

SportBKVerif

27.05.2021 7:56

SportBKVerif

27.05.2021 7:56

SportBKVerif

27.05.2021 7:57

SportBKVerif

27.05.2021 7:58

DavidBed

11.06.2021 2:22

всё о заработке

uxayosopiz

11.06.2021 19:44

Isugamoz <a href="http://slkjfdf.net/">Oozergiaf</a> fwp.laxt.pascal.net.ru.pkz.pt http://slkjfdf.net/

buy outdated promethazine codein

18.09.2021 18:10

viagra generico receta

Allenadvom

24.09.2021 9:07

Hello. And Bye.

allocvetymf

9.10.2021 14:23

Добрый день!

Цветочный салон АллоЦветы предлагает богатый выбор букетов цветов с доставкой в Москве и области.

- Срочная доставка на дом или в офис
- Низкие цены
- Возможны оптовые заказы.

->> Бесплатная доставка при стоимости заказа от 2500 руб!

магазин: "Алло Цветы"

buy cialis online canadian pharm

6.11.2021 12:33

money online order save cialis

JeremyBon

28.11.2021 11:07

Цитата

да сейчас без опыта никуда не устроишьться, не знаю что делать..

Остромир, мы берем без опыта и образования! Главное чтобы человек был адекватный и старательный.

buy clamelle azithromycin 500mg

5.12.2021 14:48

Pcn Without Apresrciption

Malcolmkep

30.12.2021 18:18

Hello. And Bye.

Malcolmkep

19.01.2022 9:21

Hello. And Bye.

HaroldStarf

23.01.2022 20:53

Reminds me of Georgia Peach.
would love to get naught with her
Love horny stepdaughters mmmm
pornbaby.cyou/neighbor/teen-girl-with-big-tits-pics

She has a huge pussy massive
A big idea
que buena me muero por ella

qcdigitalck

21.11.2022 8:12

Hello,

I believe octagram.name has so much room to grow. You're in a market with stiff competition, but also has a lot of customer demand.

We have been marketing web-sites for more than 8 years and we would be glad to explain how you can increase your online presence.

It's a free consultation with no obligation and once you learn more about our approach we can talk about potentially delegating this work to us.

octagram.name is a great site and it would be our pleasure to help you grow it to it's full potential.

Simply reply to this email and we can setup a call or continue by email.

Appreciate your time

Alexander
qc-digital

BorisRaw

28.03.2023 18:48

Тут про Бали интересовались - считаю очень приличное "место жительства".

Andrejkam

20.04.2023 0:37

Я удалил это сообщение tsgbb

BorisMit

21.04.2023 2:26

Очень хорошая идея tsgbb

denisbeta

24.09.2023 19:15

Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.