.textデータセグメントと.finiデータセグメントの間に空白がありますか？

Question

私はここに簡単な質問を持っているシンプルなCプログラム（gcc -o file file.cpp）をコンパイルしobjdump -h fileを実行するには、次の出力が得られ、

12 .text   00000172 0000000000400400 0000000000400400 00000400 2**4 
        CONTENTS, ALLOC, LOAD, READONLY, CODE 
13 .fini   00000009 0000000000400574 0000000000400574 00000574 2**2 
        CONTENTS, ALLOC, LOAD, READONLY, CODE 

。

.textセクションの後に2バイトのギャップがあるのはなぜですか？ 0x400400 + 0x172 = 0x400572ですが、.finiセクションは0x400574から始まりますか？これはアラインメントと関係がありますか？他のセクションと同様のギャップがあることに気付きました。

Answer 1

objdump -h fileの出力の最後の列は、セクションの配置です。 .finiのアラインメントは4（2**2は2の2の累乗）です。その理由は0x400572の代わりに0x400574で始まります。

x86-64のためのglibcに対してリンクする場合、.finiセクションの4のアライメントがcrti.oで指定されている：

.section .fini,"ax",@progbits 
    .p2align 2 
    .globl _fini 
    .type _fini, @function 
_fini: