Ich habe den Clang/LLVM-Quellcode durchsucht und bin auf die CodeModel-Eigenschaft von CodeGenOptions gestoßen.Worauf bezieht sich das CodeModel in Clang/LLVM?
Basierend auf this method erscheinen die gültigen Werte sein: "small", "kernel", "medium" und "large".
Was steuert diese Eigenschaft?
Wie gehe ich vor, um den richtigen Wert für meine Anwendung auszuwählen?
Code-Modell ist ein Begriff von AMD64 ABI (siehe 3.5.1 von https://software.intel.com/sites/default/files/article/402129/mpx-linux64-abi.pdf für weitere Informationen).
Kurz gesagt - die meisten Offsets in x64-64-Anweisungen sind PC-relativ, jedoch ist das unmittelbare Feld innerhalb der Anweisungen nur 32 Bit lang. Wenn daher die Daten "weit" von dem Code entfernt sind (mehr als 32 Bit auseinander), dann könnte man das unmittelbare Feld innerhalb der Anweisungen nicht verwenden, um den Offset effizient zu codieren, und sollte die Adresse explizit berechnen. Das Codemodell bietet verschiedene Einschränkungen für den relativen Speicherort von Code und Daten.
Wenn Sie alles statisch kompilieren, ist "klein" sicher (und Standard). Wenn Sie JIT'en, dann ist alles möglich, besonders wenn ASLR aktiviert ist und Sie ein mittleres/großes Codemodell verwenden müssen.