comp.lang.ada
 help / color / mirror / Atom feed
From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Simplest Ada program
Date: Mon, 21 Nov 2016 15:57:44 +0100
Date: 2016-11-21T15:57:44+01:00	[thread overview]
Message-ID: <o0v206$kht$1@dont-email.me> (raw)
In-Reply-To: <o0v11t$1mu$1@gioia.aioe.org>

On 21.11.16 15:41, Dmitry A. Kazakov wrote:
> On 21/11/2016 12:38, Mr. Man-wai Chang wrote:
>> On 21/11/2016 5:17 PM, Dmitry A. Kazakov wrote:
>>>   OS loader/linker time
>>> + Ada run-time elaboration time
>>> + 0 execution time
>>> + Ada run-time finalization time
>>> + OS finalization time
>>
>> So the linker of your Ada compiler can predict execution time of an Ada
>> program?
>
> Loader is a part of OS. E.g. ld under Linux.

Consequently, when more control over run-time requirements is
possible, such as when bootstrapping a statically bound sequential
program that does nothing, then the only time it takes is placing
the program where it becomes ready for executing its 0 instructions...

  reply	other threads:[~2016-11-21 14:57 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-11-21  8:22 Simplest Ada program Mr. Man-wai Chang
2016-11-21  8:25 ` Dmitry A. Kazakov
2016-11-21  8:27   ` Mr. Man-wai Chang
2016-11-21  8:41     ` Dmitry A. Kazakov
2016-11-21  8:57       ` Mr. Man-wai Chang
2016-11-21  9:17         ` Dmitry A. Kazakov
2016-11-21 11:38           ` Mr. Man-wai Chang
2016-11-21 14:41             ` Dmitry A. Kazakov
2016-11-21 14:57               ` G.B. [this message]
2016-11-21 14:58               ` Mr. Man-wai Chang
2016-11-21 22:20                 ` Niklas Holsti
2016-11-24 19:26                   ` Jacob Sparre Andersen
2016-11-25  9:04                   ` Mr. Man-wai Chang
2016-11-25  9:19                     ` Dmitry A. Kazakov
2016-11-25  9:24                       ` Mr. Man-wai Chang
2016-11-25 16:23                         ` Chris Moore
2016-11-25 16:29                           ` Mr. Man-wai Chang
2016-11-25 22:53                     ` Niklas Holsti
2016-11-26 11:58                       ` Mr. Man-wai Chang
replies disabled

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