Re: Ravenscar-compliant bounded buffer

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 7 Wrz, 13:56, a...@anon.org (anon) wrote:

>  2) Is defined in the GNAT manual as an obsolete feature, that is
>     using the "pragma No_Run_Time ;", but still works.  In this
>     version, the user must supply the RTS subsystem that the
>     program requires.

Interesting, but IO is easy. What about multitasking? What kind of RTS
needs to be supplied for tasks to work correcly?


> /* ----------- */
> /*  put_line.c */
> /* ----------- */
> #include <stdio.h>
>
> /* put_line -- run-time subsystem procedure */
> void put_line ( value )
> char * value ;
>   {
>     printf ( "%s\n", value ) ;
>   }
> /* --eof-- */

Note that this requires the C run-time instead. It might be smaller/
faster, but still it is not No_Run_Time in the strict sense. You might
need to really use the basic OS services directly to claim "no run-
time" program. Or even forget about OS, the No_Run_Time option is most
likely intended for those who program hardware directly.

> If your in class this might turn into
> an extra assignment or it could be used in a later course.

No, I'm not "in class". :-)

--
Maciej Sobczak
http://www.msobczak.com/