Executable and Linkable Format
























ELF
拡張子
なし、.o、.so、.elf、.app
マジック
ナンバー
0x7f ELF
開発者
UNIX Systems Laboratories
種別
バイナリ、実行可能、オブジェクト、共有ライブラリ、コアダンプ

Executable and Linkable Format (ELF) とは、コンパイラが生成するオブジェクト、および、ライブラリとリンクされた実行ファイルのファイルフォーマットである。a.outフォーマット、COFFの後継として広く採用されている。セクション数の制限が緩く、メモリ上で連続していないファイルや、ロードされる場所と実行される場所が違う箇所を含む場合にも対応が可能な柔軟な設計となっている。


System V が採用し、GNUツールチェーンがサポートしている。今ではBSD派生OSやLinuxをはじめとするフリーなOSにおける実行ファイルフォーマット、そして、ゲーム機等を含む組み込み機器開発にも数多く使われている。




目次






  • 1 ヘッダ


  • 2 共有ライブラリ


  • 3 デバッグ情報ファイル


  • 4 関連項目





ヘッダ


ELFには以下の3種類のヘッダがある。




ELFファイルの構造



ELFヘッダ

ファイルの先頭に存在し、ELF識別子、アーキテクチャ情報および、他の2つのヘッダへの情報を持つ。

プログラムヘッダ

ファイル上のどの部分(セグメント)がどのような属性で何処に読み込まれるかを保持するヘッダであり、ファイルローダによって扱われる。ELFヘッダに続いて実行時ディスクから何らかの形で読み込まれるセグメントの数だけ存在する。直接読み込まれるわけではないオブジェクトファイルには存在しないことがある。

セクションヘッダ

オブジェクトファイルの論理的な構造を記述する部分で、ヘッダと名前がついているが実際にはファイルの最後あたりに置かれていることが多い。ここはリンカやデバッガによって参照されることがある。セクションはセクション名があるが、それは特殊なセクションに置かれ何番目の文字列かという指し方を行う。このことによって、エントリそのものは固定長にしつつセクション名の長さ制限を取り払っている。



共有ライブラリ


共有ライブラリにも対応しており、しかるべき属性のセグメント内にある、Procedure Location Tableや、Global Offset Tableを利用して、間接的に参照することになる。



デバッグ情報ファイル


デバッグ情報のフォーマットは定義されていないが、ELF(妖精)をもじったDebug With Arbitary Record Format略してDWARF(小人)と呼ばれる形式のフォーマットがよく使われる。



関連項目


  • 位置独立コード













  • 表

  • 話

  • 編

  • 歴


実行可能ファイル
ファイル形式


  • a.out

  • COFF

  • COM

  • ECOFF

  • ELF

  • Hunk

  • Mach-O

  • MZ

  • NE

  • OMF

  • PE (exe)

  • PEF

  • XCOFF
構成部分とプログラム

  • 機械語

  • セグメント

  • シンボルテーブル

  • オブジェクトファイル

  • リンカ

  • ローダ

    		•



    Popular posts from this blog

    Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

    Image
    28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
    Read more

    Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

    Image
    up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
    Read more

    A Topological Invariant for $pi_3(U(n))$

    Image
    3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
    Read more