2012-08-09 26 views
8

セクションとセグメントについて読んでいました。以下のようにセクションとセグメントの間のマッピングをリストすることができるようです。実行可能なCプログラム内のセグメント

$ readelf -l test 

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

Program Headers: 
    Type   Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align 
    PHDR   0x000034 0x08048034 0x08048034 0x00120 0x00120 R E 0x4 
    INTERP   0x000154 0x08048154 0x08048154 0x00013 0x00013 R 0x1 
     [Requesting program interpreter: /lib/ld-linux.so.2] 
    LOAD   0x000000 0x08048000 0x08048000 0x0065c 0x0065c R E 0x1000 
    LOAD   0x000f14 0x08049f14 0x08049f14 0x00104 0x00110 RW 0x1000 
    DYNAMIC  0x000f28 0x08049f28 0x08049f28 0x000c8 0x000c8 RW 0x4 
    NOTE   0x000168 0x08048168 0x08048168 0x00044 0x00044 R 0x4 
    GNU_EH_FRAME 0x000564 0x08048564 0x08048564 0x00034 0x00034 R 0x4 
    GNU_STACK  0x000000 0x00000000 0x00000000 0x00000 0x00000 RW 0x4 
    GNU_RELRO  0x000f14 0x08049f14 0x08049f14 0x000ec 0x000ec R 0x1 

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 .rel.dyn .rel.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 

私の質問、

  1. 私はプログラムヘッダが何を意味するか理解できませんでしたか?それらはどのようにセグメントに関連していますか?
  2. セグメントからセグメントへのマッピングは明確です。しかし誰かがそれに名前を付けることができます私は数字だけを見る。コードseg(03)、データseg(02)、スタック(07)を識別しました。
+0

これは本当にプログラミングの質問ではありません。次のようにドキュメントは、セグメントを記述すること

これは "unix&linux"のような別の場所に属していますか? – John

答えて

10

readelfの出力を理解すると、ELFファイルの形式を理解するのに役立ちます。参考にしてくださいthis document.

readelfの出力をどのように解釈するかを理解する限り、linkが参考になる場合があります。

質問2については、this linkがセグメントを記述しています。その文書では、「さまざまなセクションがプログラムと制御情報を保持する」を検索して、セグメント名が記述されている領域を見つけます。

様々なセクションがプログラムを開催し、情報を制御します:

.bss  This section holds uninitialized data that contributes to the 
      program's memory image. By definition, the system initializes the 
      data with zeros when the program begins to run. This section is of 
      type SHT_NOBITS. The attribute types are SHF_ALLOC and SHF_WRITE. 

    .comment This section holds version control information. This section is of 
      type SHT_PROGBITS. No attribute types are used. 

    .ctors This section holds initialized pointers to the C++ constructor 
      functions. This section is of type SHT_PROGBITS. The attribute 
      types are SHF_ALLOC and SHF_WRITE. 

    .data  This section holds initialized data that contribute to the program's 
      memory image. This section is of type SHT_PROGBITS. The attribute 
      types are SHF_ALLOC and SHF_WRITE. 

    .data1 This section holds initialized data that contribute to the program's 
      memory image. This section is of type SHT_PROGBITS. The attribute 
      types are SHF_ALLOC and SHF_WRITE. 

    .debug This section holds information for symbolic debugging. The contents 
      are unspecified. This section is of type SHT_PROGBITS. No 
      attribute types are used. 

    .dtors This section holds initialized pointers to the C++ destructor 
      functions. This section is of type SHT_PROGBITS. The attribute 
      types are SHF_ALLOC and SHF_WRITE. 

    .dynamic This section holds dynamic linking information. The section's 
      attributes will include the SHF_ALLOC bit. Whether the SHF_WRITE 
      bit is set is processor-specific. This section is of type 
      SHT_DYNAMIC. See the attributes above. 

    .dynstr This section holds strings needed for dynamic linking, most commonly 
      the strings that represent the names associated with symbol table 
      entries. This section is of type SHT_STRTAB. The attribute type 
      used is SHF_ALLOC. 

    .dynsym This section holds the dynamic linking symbol table. This section 
      is of type SHT_DYNSYM. The attribute used is SHF_ALLOC. 

    .fini  This section holds executable instructions that contribute to the 
      process termination code. When a program exits normally the system 
      arranges to execute the code in this section. This section is of 
      type SHT_PROGBITS. The attributes used are SHF_ALLOC and 
      SHF_EXECINSTR. 

    .gnu.version 
      This section holds the version symbol table, an array of ElfN_Half 
      elements. This section is of type SHT_GNU_versym. The attribute 
      type used is SHF_ALLOC. 

    .gnu.version_d 
      This section holds the version symbol definitions, a table of 
      ElfN_Verdef structures. This section is of type SHT_GNU_verdef. 
      The attribute type used is SHF_ALLOC. 

    .gnu.version_r 
      This section holds the version symbol needed elements, a table of 
      ElfN_Verneed structures. This section is of type SHT_GNU_versym. 
      The attribute type used is SHF_ALLOC. 

    .got  This section holds the global offset table. This section is of type 
      SHT_PROGBITS. The attributes are processor specific. 

    .hash  This section holds a symbol hash table. This section is of type 
      SHT_HASH. The attribute used is SHF_ALLOC. 

    .init  This section holds executable instructions that contribute to the 
      process initialization code. When a program starts to run the 
      system arranges to execute the code in this section before calling 
      the main program entry point. This section is of type SHT_PROGBITS. 
      The attributes used are SHF_ALLOC and SHF_EXECINSTR. 

    .interp This section holds the pathname of a program interpreter. If the 
      file has a loadable segment that includes the section, the section's 
      attributes will include the SHF_ALLOC bit. Otherwise, that bit will 
      be off. This section is of type SHT_PROGBITS. 

    .line  This section holds line number information for symbolic debugging, 
      which describes the correspondence between the program source and 
      the machine code. The contents are unspecified. This section is of 
      type SHT_PROGBITS. No attribute types are used. 

    .note  This section holds information in the "Note Section" format. This 
      section is of type SHT_NOTE. No attribute types are used. OpenBSD 
      native executables usually contain a .note.openbsd.ident section to 
      identify themselves, for the kernel to bypass any compatibility ELF 
      binary emulation tests when loading the file. 

    .note.GNU-stack 
      This section is used in Linux object files for declaring stack 
      attributes. This section is of type SHT_PROGBITS. The only 
      attribute used is SHF_EXECINSTR. This indicates to the GNU linker 
      that the object file requires an executable stack. 

    .plt  This section holds the procedure linkage table. This section is of 
      type SHT_PROGBITS. The attributes are processor specific. 

    .relNAME This section holds relocation information as described below. If 
      the file has a loadable segment that includes relocation, the 
      section's attributes will include the SHF_ALLOC bit. Otherwise the 
      bit will be off. By convention, "NAME" is supplied by the section 
      to which the relocations apply. Thus a relocation section for .text 
      normally would have the name .rel.text. This section is of type 
      SHT_REL. 

    .relaNAME This section holds relocation information as described below. If 
      the file has a loadable segment that includes relocation, the 
      section's attributes will include the SHF_ALLOC bit. Otherwise the 
      bit will be off. By convention, "NAME" is supplied by the section 
      to which the relocations apply. Thus a relocation section for .text 
      normally would have the name .rela.text. This section is of type 
      SHT_RELA. 

    .rodata This section holds read-only data that typically contributes to a 
      nonwritable segment in the process image. This section is of type 
      SHT_PROGBITS. The attribute used is SHF_ALLOC. 

    .rodata1 This section holds read-only data that typically contributes to a 
      nonwritable segment in the process image. This section is of type 
      SHT_PROGBITS. The attribute used is SHF_ALLOC. 

    .shstrtab This section holds section names. This section is of type 
      SHT_STRTAB. No attribute types are used. 

    .strtab This section holds strings, most commonly the strings that represent 
      the names associated with symbol table entries. If the file has a 
      loadable segment that includes the symbol string table, the 
      section's attributes will include the SHF_ALLOC bit. Otherwise the 
      bit will be off. This section is of type SHT_STRTAB. 

    .symtab This section holds a symbol table. If the file has a loadable 
      segment that includes the symbol table, the section's attributes 
      will include the SHF_ALLOC bit. Otherwise the bit will be off. 
      This section is of type SHT_SYMTAB. 

    .text  This section holds the "text", or executable instructions, of a 
      program. This section is of type SHT_PROGBITS. The attributes used 
      are SHF_ALLOC and SHF_EXECINSTR. 
+0

私はリンクを経由しませんでしたが、初心者のためのあなたの説明からセグメントと見える部分は同じものです –

+0

セグメントとセクションは同じものではありません。セクションは一般にスタティックリンカ(リンクエディタ)によって使用され、セグメントは主にダイナミックローダによって使用されます。 'readelf -l binary 'を使って、多くのセクションが1つのセグメントにグループ化されていることを確認してください。 – JohnTortugo

2

ELFバイナリのプログラムヘッダーは、バイナリの実行方法を記述します。興味深い部分は、バイナリの一部をメモリの異なる場所にロードするLOADヘッダーです。バイナリにはほとんど任意の数のLOADヘッダーが存在する可能性がありますが、通常、リンカーはすべての読み取り専用と実行可能ファイルを1つに入れ、すべてを別のものに読み書きします。わずかに増強されたセキュリティのために、読取り専用データLOADヘッダ、読取り/書込みデータおよび読取り専用実行可能コードを有するオペレーティング・システムが存在する。

セグメントは、メモリ内の異なる場所にロードされたバイナリの部分を意味します。つまり、基本的には異なるLOADヘッダーです。

セクションは、リンク時にデータがどのように編成されたかを示します。いろいろな理由から、データ/コードだけではなく、より細かい整理をしたいと考えています。いくつかのデータは読み取り専用です。あなたの例では ".rodata"になります。コードは ".text"で、初期化されたデータは ".data"にあり、プログラム開始時にゼロである変数のデータは ".bss"になっています。

"セクションからセグメントへのマッピング"は、どのセクションがどのセグメント(異なるLOADヘッダー)にあるかを示します。したがって、 ".text"と ".rodata"は最初のLOADヘッダー(3番目のプログラムヘッダー)にあり、 ".data"は2番目のLOADヘッダー(4番目のプログラムヘッダー)にあります。

スタックは、オペレーティングシステムが実行時に与えるもので、ELFバイナリでは記述されていません。

関連する問題