Re: Ada to Ada Translator ?

[Simon Wright <simon@pushface.org>]

foo wong <crap@spellingbeewinnars.org> writes:

> So I guess where I was going with the pragmas, is that I would like to
> be able to write Ada code that had tasking/exceptions etc but by the
> time it reached gnat, these pragmas could be used to avoid linking to
> any runtime from Adacore.

You might be interested in a note I wrote about creating an RTS that can
be used by the existing GNAT compiler; see [1], scroll down to 'RTS:
second stage'.

In my case, I was OK with a GPL/RLE runtime, so quite happy to modify
existing FSF GCC files where they were useful; but I don't think there'd
be any problem with reimplementing them. You might need to consider a
'clean room' approach (or not; IANAL).

The sort of assumptions made by the compiler are that - for example, to
create a Ravenscar task - there will exist a package
System.Tasking.Restricted.Stages, containing (at GCC 8/9, GNAT CE 2018)

   procedure Create_Restricted_Task
     (Priority             :        Integer;
      Stack_Address        :        System.Address;
      Size                 :        System.Parameters.Size_Type;
      Sec_Stack_Address    :        System.Secondary_Stack.SS_Stack_Ptr;
      Secondary_Stack_Size :        System.Parameters.Size_Type;
      Task_Info            :        System.Task_Info.Task_Info_Type;
      CPU                  :        Integer;
      State                :        Task_Procedure_Access;
      Discriminants        :        System.Address;
      Elaborated           :        Access_Boolean;
      Chain                : in out Activation_Chain;
      Task_Image           :        String;
      Created_Task         :        Task_Id);

I don't support exceptions, they're fearsomely complicated, and I don't
believe that embedded software should rely on exceptions to provide
continued execution past errors, and SPARK wouldn't allow them
anyway. See notes at [2] - especially Robert Dewar's remarks linked to
at the end.

[1]
https://forward-in-code.blogspot.com/2015/06/building-runtime-system-for-arm-eabi.html
[2] https://github.com/simonjwright/cortex-gnat-rts/wiki/ExceptionHandling