comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Size of linked program increasing with new version of GNAT.
Date: Thu, 1 Jan 2015 12:28:34 +0000 (UTC)
Date: 2015-01-01T12:28:34+00:00	[thread overview]
Message-ID: <m83ehi$lus$2@dont-email.me> (raw)
In-Reply-To: lndbstazz46d$.82hq0dieuouh$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
> On Wed, 31 Dec 2014 04:08:13 -0800 (PST), Jean François Martinez wrote:

>> The executable is parasited by
>> things like runtime, libraries, dynamic linker (or first stage of dynamic
>> linker) and so on.
> 
> The code size can be approximated by a linear function A + B*x, where x is
> the program "complexity". Arguments that A might be irrelevant is true only
> if B is correspondingly small compared to the alternatives so that with
> growing x you could compensate your losses on A.

Executables' size also reflects technical needs: compressing an
executable program such as gnatmake shows ratios of
over one half on Intel. Chances are, then, that there is redundant
executable code in gnatmake. But there are reasons that there is,
I guess, because the optimizers make the processor perform better,
reflecting its sets of instructions and its architecture (parallel
pipelines etc.). When TIME is more important than SPACE
in order to meet timing requirements, greater code size might
seem paradoxical, but might be necessary.

Has anyone tried deduplication with executables?

  reply	other threads:[~2015-01-01 12:28 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-25 17:44 Size of linked program increasing with new version of GNAT Tony
2014-12-25 17:57 ` Björn Lundin
2014-12-25 18:36   ` tony7
2014-12-25 19:41     ` Björn Lundin
2014-12-25 20:04       ` Shark8
2014-12-25 20:15       ` tony7
2014-12-25 21:23         ` Shark8
2014-12-25 22:48           ` Peter Chapin
2014-12-27  1:39             ` Randy Brukardt
2014-12-27  6:43               ` Simon Wright
2014-12-27 18:25                 ` Tony
2014-12-27 23:18                   ` Simon Wright
2014-12-29 23:56                   ` Randy Brukardt
2014-12-30 15:21                     ` Björn Lundin
2014-12-30 17:45                     ` Tony
2014-12-30 21:58                       ` Randy Brukardt
2014-12-30 23:51                         ` Shark8
2014-12-31 12:08                     ` Jean François Martinez
2014-12-31 12:45                       ` Dmitry A. Kazakov
2015-01-01 12:28                         ` Georg Bauhaus [this message]
2014-12-26 14:32 ` Pascal Obry
2014-12-26 15:48   ` J-P. Rosen
2014-12-26 15:55   ` Simon Clubley
2014-12-26 20:14     ` Tony
2014-12-27  1:48       ` Randy Brukardt
2014-12-27  9:35     ` Pascal Obry
2014-12-27 21:17     ` Jean François Martinez
replies disabled

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