File size and smartlinking/de

From Free Pascal wiki
Jump to navigationJump to search

Deutsch (de) English (en) français (fr) 日本語 (ja) português (pt) 中文(中国大陆)‎ (zh_CN)

Dieser Artikel befindet sich in Aufbau wie in Übersetzung. Helfen Sie mit, ihn weiter zu verbessern!


Dieser Artikel handelt davon, wie Sie die Grösse Ihrer ausführbaren Datei(en) verringern können.

Einleitung

In Free Pascal entfernt die Compilereinstellung "Smart-Linkbar" bzw. "-CX" aus der ausführbaren Datei den nicht verwendeten Code und die nicht verwendeten Variablen.

Fallstudie 1 in Windows

Diese Studie wurde am 8. Februar 2006 durchgeführt. Da zu diesem Zeitpunkt Lazarus (Version 0.9.12) mit der Möglichkeit zum "smartlinking" kompiliert und freigegeben wurde. Diese Studie beschreibt die Beziehungen zwischen den unterschiedlichen Ergebnissen und den unterschiedlichen Lazarus und Free Pascal-Versionen mit und ohne der Verwedung von smartllinking.

Die untersuchten Bedingungen:

  • Die Grösse der ausführbaren Datei nach der Verwendung von strip
  • Die Grösse der ausführbaren Datei nach der Verwendung von strip nach und der Verwendung von UPX
  • Die Zeit, die für das Linken gebraucht wird


Die Zeit, die zum Compilieren gebraucht wird, wird hier nicht berücksichtigt, da diese Zeit bei allen Konfigurationen zu ähnlich ist. Die Zeit, die zum Compilieren gebraucht wird, ist weniger bedeutend als die Zeit, die zum Linken gebraucht wird.

Die Grösse der ausführbaren Datei (in unserem Beispiel ist dies die Datei magnifier.exe) kann mit dem Befehl strip verringert werden. Beachten Sie, dass der Befehl strip immer von der Kommandozeile ausgeführt wird:

strip --strip-all magnifier.exe


Das Programm magnifier.exe ist eine virtuelle Lupe für den Desktop. Der Quellcode und die Binaries für dieses Programm sind frei verfügbar und können von folgender Seite heruntergeladen werden:
http://magnifier.sourceforge.net

Die Zeiten zum Linken wurde auf einem Computer mit 3,2 GHz Pentium 4 dual Core Prozessor und einem Intel Motherboard mit 512 MB Arbeitsspeicher (RAM) ermittelt.

Leistungsbeurteilung

Das verwendete Betriebssystem ist Windows XP und die verwendeten Lazarus Versionen sind ist 0.9.13 und 0.9.12. Der Vergleich erfolgte mit den folgenden Software-Konfigurationen:

  • Lazarus 0.9.12 und Free Pascal 2.0.2 in einem Installationspaket. LCL und RTL sind smartlinked. Von nun an 0.9.12 genannt.
  • Lazarus 0.9.13 als Subversion ab demselben Zeitpunkt heruntergeladen. Free Pascal 2.0.2 wurde separat installiert. Die LCL ist nicht smartlinked. Von nun an 0.9.13 + 2.0.2 genannt.
  • Lazarus 0.9.13 Snapshot und Free Pascal 2.1, in einem Installationspaket. Die LCL ist nicht smartlinked. Von nun an 0.9.13 + 2.1 genannt.
  • Lazarus 0.9.13 Snapshot und Free Pascal 2.1, in einem Installationspaket. Die LCL ist smartlinked. Von nun an 0.9.13 + 2,1 + SL genannt.
0.9.12 0.9.13 + 2.0.2 0.9.13 + 2.1 + SL 0.9.13 + 2.1
Dateigrösse nach strip (in bytes) 1,108,480 1,587,712 1,425,408 1,649,152
Dateigrösse nach UPX (in bytes) 318,976 438,272 388,608 454,144
Zeit zum Linken 15 Sekunden 5 Sekunden 45 Sekunden 10 Sekunden

OuptutFileSizesComparisonChart.png

Abschluss

Der 0.9.13 Snapshot vom 8. Februar 2006 verfügt über einen instabilen Compiler aus dem 2.1 Zweig, der im Vergleich zu den anderen Versionen die größeren Executables und langsamer Link-Zeit führen kann.
Die 0.9.12-Version hat die beste Dateigröße von allen, mit UPX und ohne UPX. Das zeigt, dass smartlinking die Dateigröße verringern kann. Der Preis dafür ist eine deutlich höhere Zeit beim Linken.
Die 0.9.12-Version ist komplett für smartlinking unter Windows konfiguriert und es ist keine zusätzliche Konfiguration erforderlich. Dies war bei früheren Versionen nicht der Fall.

Entfernen von ungenutzten Funktionen einer Klasse

Frage: Wenn eine virtuelle Methode einer Klasse im Programm nicht verwendet wird, wird diese dann vom Compiler entfernt?
Antwort: Wenn sie FPC 2.3.1 oder höher verwenden und alle Programmoptimierungen des Compilers verwenden und der Code nicht erreichbar ist, dann ist die Antwort ja.

Q: If a virtual method of a class is not used at all in the programm will the compiler remove it from the executable ?

A: If you use FPC 2.3.1 with whole-program optimization and the compiler can prove that it is never callable: yes. See Whole Program Optimization for more information. In case this is in relation to the thread on the Lazarus list about the big executables: note that it has only a limited effect on Lazarus programs, because almost all linked LCL code can potentially be executed (due to the way the LCL is constructed). In fact, I think most savings there come from making a number of virtual method calls non-virtual, rather than from throwing away unreachable code.

The internal linker can also do it (only throwing away virtual method calls, not turning virtual method calls into static ones), but only on Windows platforms. It is however not currently enabled in the compiler, because the changes break the external linker. It should therefore be turned into a command line option (along with a check that produces an error if you try to link a unit compiled with the option using the external linker), but that hasn't been done yet.

Q: How can the compiler determine that a virtual method is unused at all,

A: If you have a class hierarchy TBase->TDerived1->TDerived2 with a virtual method called "vmethod", and nowhere in the program there is a call to vmethod, then it is unused. Or if it is only called using TDerived2 instances, then if the linker does not find any direct references to TDerived1.vmethod or TBase.vmethod (e.g., via "inherited" calls from TDerived2 methods), it knows that the VMT entries for "vmethod" in TDerived1 and TBase can be set to nil.

Siehe auch

  • Guide for anyone inexperienced in getting FPC and Lazarus to work properly.