Warum ergibt zwei mal kompileren keine identischen .exe-Dateien?

[CCRDude]

Schaut euch doch mal die Screenshots an, statt zu spekulieren

Es geht nicht um den Timestamp im PE-Header (und selbst der war jahrelang statisch). Auch ASLR ist Betriebssystemsache und keine Aufgabe des Compilers. Und unterschiedliche Teile, die zuerst in der .exe landen, passen da genau so wenig zu. Parallelisierung müsste mehrere Threads für einzelne Methoden bedeuten, was ich mir nicht als effektiv vorstellen kann.

Es geht scheinbar in allen Fällen (in den Screenshots) um lediglich vier Byte, und zwischendurch pendeln die auch wieder zurück.
Zugegeben verwirrt Günther da mit "Sie sind völlig unterschiedlich" selber, denn "völlig" ist das wahrlich nicht

Ne Antwort habe ich auch nicht, da mein letztes Delphi XE (ja, noch ohne Zahl) war. Ist doch aber nicht soo schwer... zwei unterschiedliche Dateien nehmen, und zwei Funktionen am Wechsel zwischen Gleichlauf und Versatz disassemblieren und vergleichen, inwieweit die identisch sind, ob da ggfls. ein nop-Padding dazwischen ist... dann hätte der Compiler einfach Probleme mit dem Alignment.

[Delphi-Laie]

Zitat von himitsu:

Eventuell arbeitet der Compiler auch nicht ganz statisch und optimiert manchmal so und manchmal so.

Das kann ja "irgendwie nicht ganz wahr sein".

Seit wann ist die Optimierung ein - salopp forumuliert - Glücksspiel?

Hat der Kunde nicht das Recht auf stete vollumfängliche Optimierung gemäß den eingestellten Optionen?

Wenigstens ein Compiler sollte verläßlich, genaugenommen determiniert arbeiten. Ansonsten muß man sich über die Ablehnung solcher Compilate für sicherheitskritische Bereiche nicht wundern.

[samso]

Äh, seit Ihr Euch sicher, dass der Compiler das Problem verursacht und nicht der Linker?

[Zacherl]

Zitat von Delphi-Laie:

Wenigstens ein Compiler sollte verläßlich, genaugenommen determiniert arbeiten. Ansonsten muß man sich über die Ablehnung solcher Compilate für sicherheitskritische Bereiche nicht wundern.

Zumindest sollte ein solches Feature nicht standardmäßig aktiviert sein.

Zitat von samso:

Äh, seit Ihr Euch sicher, dass der Compiler das Problem verursacht und nicht der Linker?

Auch der Linker sollte standardmäßig deterministisch arbeiten.

@Günther:
Compilierst du eventuell auf einer Maschine mit Skylake CPU? Hier wurde ja ein CPU-Bug gefunden, der scheinbar speziell durch Compiler oft ausgelöst wird:
https://www.golem.de/news/cpu-bug-wi...06-128662.html

[samso]

Das beschrieben Verhalten habe ich bisher auf allen Maschinen und mit allen Delphis (Delphi 6..Delphi 10.1) beobachtet.

[himitsu]

Zitat von samso:

Das beschrieben Verhalten habe ich bisher auf allen Maschinen und mit allen Delphis (Delphi 6..Delphi 10.1) beobachtet.

Und es wird zukünftig noch viel besser,
wenn sich LLVM (MSBuild) auch noch dazwischen hängt.

[Rollo62]

War da nicht neulich ein Bug im 64-Bit Compiler bei dem IdeFixPack. Wo kein deterministischer Code erzeugt wurde ?

[Delphi-Laie]

Zitat von Rollo62:

War da nicht neulich ein Bug im 64-Bit Compiler bei dem IdeFixPack. Wo kein deterministischer Code erzeugt wurde ?

Was Du meinst, ist, daß der Compiler und/oder Linker (jedenfalls das monierte Programm) nicht determiniert bzw. deterministisch arbeitet und deshalb nicht immer den gleichen Code erzeugt. Das erstellte Programm selbst kann wiederum determiniert sein.