2013-01-16 17 views
47

セクションおよびセグメントの違いは何ですか:セクションはリンクと再配置のための重要なデータが含まれていながら、ウィキ<a href="http://en.wikipedia.org/wiki/Executable_and_Linkable_Format" rel="noreferrer">Executable and Linkable Format</a>からELFファイル形式

セグメントは、ファイルのランタイム実行するために必要な情報が含まれています。ファイル全体のどのバイトも最大で1つのセクションで所有でき、任意のセクションで所有されていない孤立したバイトが存在する可能性があります。

しかし、セクションとセグメントの違いは何ですか? 実行可能なELFファイルでは、セグメントに1つ以上のセクションが含まれていますか?

答えて

41

しかし、セクションとセグメントの違いは何ですか?

正確に引用したもの:セグメントには実行時に必要な情報が含まれ、セクションにはリンク時に必要な情報が含まれています。

セグメントに1つ以上のセクションが含まれていますか?

セグメントには、0個以上のセクションを含めることができます。例:

readelf -l /bin/date 

Elf file type is EXEC (Executable file) 
Entry point 0x402000 
There are 9 program headers, starting at offset 64 

Program Headers: 
    Type   Offset    VirtAddr   PhysAddr 
       FileSiz   MemSiz    Flags Align 
    PHDR   0x0000000000000040 0x0000000000400040 0x0000000000400040 
       0x00000000000001f8 0x00000000000001f8 R E 8 
    INTERP   0x0000000000000238 0x0000000000400238 0x0000000000400238 
       0x000000000000001c 0x000000000000001c R  1 
     [Requesting program interpreter: /lib64/ld-linux-x86-64.so.2] 
    LOAD   0x0000000000000000 0x0000000000400000 0x0000000000400000 
       0x000000000000d5ac 0x000000000000d5ac R E 200000 
    LOAD   0x000000000000de10 0x000000000060de10 0x000000000060de10 
       0x0000000000000440 0x0000000000000610 RW  200000 
    DYNAMIC  0x000000000000de38 0x000000000060de38 0x000000000060de38 
       0x00000000000001a0 0x00000000000001a0 RW  8 
    NOTE   0x0000000000000254 0x0000000000400254 0x0000000000400254 
       0x0000000000000044 0x0000000000000044 R  4 
    GNU_EH_FRAME 0x000000000000c700 0x000000000040c700 0x000000000040c700 
       0x00000000000002a4 0x00000000000002a4 R  4 
    GNU_STACK  0x0000000000000000 0x0000000000000000 0x0000000000000000 
       0x0000000000000000 0x0000000000000000 RW  8 
    GNU_RELRO  0x000000000000de10 0x000000000060de10 0x000000000060de10 
       0x00000000000001f0 0x00000000000001f0 R  1 

Section to Segment mapping: 
    Segment Sections... 
    00  
    01  .interp 
    02  .interp .note.ABI-tag .note.gnu.build-id .gnu.hash .dynsym .dynstr .gnu.version .gnu.version_r .rela.dyn .rela.plt .init .plt .text .fini .rodata .eh_frame_hdr .eh_frame 
    03  .ctors .dtors .jcr .dynamic .got .got.plt .data .bss 
    04  .dynamic 
    05  .note.ABI-tag .note.gnu.build-id 
    06  .eh_frame_hdr 
    07  
    08  .ctors .dtors .jcr .dynamic .got 

ここで、PHDRセグメントINTERPセグメント.interp部を含み、第一LOADセグメントは、セクションの全体の束が含まれ、0のセクションを含んでいます。

Further readingといい、illustrationです。

+1

実行時に必要な情報を含むセグメントには、リンク時に必要な情報が含まれているため、セクションがセグメントに含まれていると考えられる場合には疑問に思えます。説明されているようにそれらを考えることは、情報の種類が密接に関連していないことを考えると意味をなさないが、あるものが他のものを含んでいるという事実を考えるとき、それはちょっと混乱する。 – sherrellbc

+1

実際、セグメントを「読み込み可能」として参照すると、それは少し意味があります。 [こちら](https://www.google.com/imgres?imgurl=http%3A%2F%2Fnairobi-embedded.org%2Fimg%2Felf%2Felf_link_vs_exec_view.jpg&imgrefurl=http%3A%2F%2Fnairobi-embedded.org %2F040_elf_sec_seg_vma_mappings.html&docid = faYGEXrorr2u4M&tbnid = eyZPxpPF7qhIjM%3A&w = 770&h = 664&bih = 917&biw = 1676&ved = 0ahUKEwi04ZG8rM7NAhUCFx4KHSLHBVoQMwgeKAAwAA&iact = mrc&uact = 8)セクション/セグメントの大きな図。あなたのポストに感謝します! – sherrellbc

+0

本当に便利な写真。 –

15

セクションは、リンカーの静的含まれ、OS

引用が正確であるが、実際にそれを違いを理解することが、あなたはセクションヘッダとプログラムヘッダのフィールドを理解しようとすべきであるため、セグメント動的データ(セグメント)エントリ、およびそれらがリンカ(セクション)とオペレーティングシステム(セグメント)によってどのように使用されるかを示します。

特に重要な情報は、(長さ以外)である:

  • セクション:セクションのいずれかである場合、リンカーに教える:メモリにロードされる

    • 生データ、例えば.data,.textなど
    • 他のセクションに関するメタデータまたはメタデータは、リンカーによって使用されますが、実行時に消えます。 .symtab.srttab.rela.text
  • セグメント:セグメントは、仮想メモリにロードされなければならない

    • セグメントが持っているもの権限(読み取り、書き込み、実行):オペレーティング・システムに指示します。これは効率的にプロセッサによって強制することができることを覚えておいてください:How does x86 paging work?

私はでより詳細にすることをカバーチュートリアル書かれています:http://www.cirosantilli.com/elf-hello-world/

1つまたは複数のセクションをセグメント含まれていますか?

はい、セクションをセグメントに配置するのはリンカです。

Binutilsでは、セクションをldでセグメント化する方法は、というリンカースクリプトというテキストファイルによって決定されます。ドキュメント:https://sourceware.org/binutils/docs/ld/Scripts.html

ld --verboseでデフォルトの値を取得し、-Tでカスタム値を設定できます。例えば

、私のデフォルトのUbuntu 17.04リンカスクリプトが含まれていますなど

.text   :                                        
    {                                            
    *(.text.unlikely .text.*_unlikely .text.unlikely.*)                               
    *(.text.exit .text.exit.*)                                     
    *(.text.startup .text.startup.*)                                    
    *(.text.hot .text.hot.*)                                      
    *(.text .stub .text.* .gnu.linkonce.t.*)                                                                        
    } 
.text.unlikelyという名前のセクションを置くようにリンカに指示します

.text.*_unlikely.text.exitを、.textセグメントに。

OS開発は、カスタムスクリプトが有用で、最小の例である場合である。https://github.com/cirosantilli/x86-bare-metal-examples/blob/d217b180be4220a0b4a453f31275d38e697a99e0/linker.ld

実行可能ファイルがリンクされると、行っている区間を知ることのみが可能であるためにどのセグメントリンカー格納オプションのセクションヘッダにおける場合実行可能ファイル:Where is the "Section to segment mapping" stored in ELF files?

+0

ええ、セグメントの名前はどうやって決められていますか?理論的には、セグメントは名前を持たず、 'readelf'は名前なしでそれらを示します。私は 'ld'がそれらの名前をスクリプトのプレースホルダー/変数として使用していると思います。 – newlog

+0

@newlogはい、私は出力ELFは単にセグメントの名前を格納しないと思います。名前が使われているリンカスクリプトの例を見るのは興味深いでしょうが、私はそれらを持っていません。また、なぜ 'ld'が' .text'がExecute権限を持っていてWriteではないのか不思議です。 –

関連する問題

 関連する問題