comp.lang.ada
 help / color / mirror / Atom feed
From: "M. A. Alves" <maa@liacc.up.pt>
To: <comp.lang.ada@ada.eu.org>
Subject: Re: Curiousity: pragma No_Run_Time for Gnat
Date: Tue, 25 Sep 2001 14:09:34 +0000 (GMT)
Date: 2001-09-25T14:09:34+00:00	[thread overview]
Message-ID: <mailman.1001419228.11962.comp.lang.ada@ada.eu.org> (raw)

or... The Meanings of "Pure"

Sergey Koshcheyev wrote:
> I don't know exactly what you [Marin Condic] mean by "pure" x86 code.
> What you get from the compiler on x86 is a 32-bit executable in the
> platform-specific executable format (ELF on Linux, PE on Win32)

You man the _target_ platform? (If so then code not pure.)

> which isn't linked to GNAT libraries, though I think it may be linked
> dynamically to the C library. Linker switch -nostdlib can be used to
> overcome this and get a completely stand-alone executable (tested on
> Linux). Another linker switch can be used to link the C library in
> statically (also tested on Linux).

You mean _compiled_ on Linux or _executed_ on Linux? (If the latter then
code not pure.)

> GNAT doesn't insert any BIOS calls in the generated code when pragma
> No_Run_Time is used.

Good.

But note that for OS execution it would be acceptable to depend on the
BIOS (at least early on the startup process); after all the BIOS is there
and it is running before the OS.  *** But it is not acceptable at all for
execution to depend on another OS. ***

In fact, I have been thinking in terms of a MIOS (Minimal Input/Output
System) package providing access to the "minimal system" I have suggested
before (Ada_OS talk) as a starting target (floppy, keyboard, screen): MIOS
would probably be implemented with BIOS services: hence, in part, the
tribute in its name.

BTW, what is GRUB?  And where is GNORT?

Thanks,

-- 
   ,
 M A R I O   data miner, LIACC, room 221   tel 351+226078830, ext 121
 A M A D O   Rua Campo Alegre, 823         fax 351+226003654
 A L V E S   P-4150 PORTO, Portugal        mob 351+939354002





             reply	other threads:[~2001-09-25 14:09 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-25 14:09 M. A. Alves [this message]
2001-09-25 13:05 ` Curiousity: pragma No_Run_Time for Gnat chris.danx
2001-09-25 13:07 ` Jacob Sparre Andersen
2001-09-25 13:37 ` Sergey Koshcheyev
  -- strict thread matches above, loose matches on Subject: below --
2001-09-25 17:07 M. A. Alves
2001-09-25 16:49 M. A. Alves
2001-09-25 15:05 ` chris.danx
2001-09-25 15:38   ` Marin David Condic
     [not found] <Pine.LNX.4.33.0109251630310.3066-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 14:48 ` Samuel Tardieu
     [not found] <Pine.LNX.4.33.0109251343310.2841-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 13:20 ` David C. Hoos
2001-09-24 19:02 Marin David Condic
2001-09-24 21:14 ` Sergey Koshcheyev
2001-09-24 21:54   ` Marin David Condic
2001-09-25  7:32     ` Sergey Koshcheyev
2001-09-25 14:00       ` Marin David Condic
2001-09-25 14:14         ` Lutz Donnerhacke
2001-09-25 19:40           ` Robert Dewar
2001-09-26  9:04             ` Lutz Donnerhacke
2001-09-25 15:20         ` Sergey Koshcheyev
2001-09-25  7:36     ` Jean-Marc Bourguet
2001-09-25  7:43   ` Peter Amey
2001-09-25 14:02     ` Marin David Condic
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox