Linux Kernel: __initマクロ、__exitマクロの役割(メモリの有効利用)
__initマクロ、__exitマクロが使われるケース
一般的に、__initマクロはKernelモジュールの初期化時、__exitマクロはKernelモジュールの終了時に付与します。以下の例では、初期化関数がdebimate_init()、終了関数がdebimate_exit()で、それぞれにマクロを付与しています。
__initマクロの役割・定義
__initマクロは、メモリ上の初期化関数用の領域に、関数を配置します。そして、__initマクロで指定した関数による初期化が終了後、その初期化関数はメモリ上から破棄(解放)されます。
Kernelモジュールの初期化処理は、通常一度しか呼ばれません。そのため、実行後にメモリから初期化関数を解放した方が、メモリの節約になるという考え方です。
この仕組みを提供している__initマクロの定義は、以下の通りです。
__section(.init.text)マクロは、メモリ上の初期化関数用の領域(.init.text)に、関数を配置するための宣言です。通常、コンパイラは、生成したコードを.textセクションに配置します。しかし、__sectionマクロを使う事により、任意のセクションに関数を配置できます。詳細は、GCCの仕様に記載されています。
__coldマクロは、関数にcold属性を付与します。cold属性は、この属性を付与した関数が実行される可能性が低い事をコンパイラに通知します。cold属性が付与された関数は、速度よりサイズに対して最適化されます。
__latent_entropyマクロは、Kernel内部のエントロピーが少ない問題を解決します( エントロピーを増やしてくれます)。エントロピーは、Kernelが質の良い乱数を生成するために、プールされています。初期化時以外にも、キーボード入力やストレージ書き込みなどで発生するHW割込をもとに、予測しづらい情報としてプールされます。このプールが情報量が多く、かつ不確実な内容であれば、 偏りのない乱数が生成できます。
__noinitretpolineマクロは、CPUの脆弱性”Spectre”対策である”Retpoline“を利用しない宣言です。初期化コードはSpectreの影響を受けないため、パフォーマンスが低下するRetpolineを避けています。
__exitマクロの役割・定義
__exitマクロは、__initマクロと同等で、メモリの有効活用を目的としています。メモリ上の終了関数用の領域(.exit.text)に、関数を配置します。その終了関数は、実行後にメモリ上から破棄(解放)されます。
__exitマクロの定義は、以下の通りです。
__section(.exit.text)マクロは、メモリ上の終了関数用の領域(.exit.text)に、関数のデータを配置するための宣言です。
__exitusedマクロは、関数が参照されていないように見えても、その関数をオブジェクトファイル内で保持させます。リンク時に、未使用のセクションが削除される場合があるため、その防止です。また、「関数が未使用」という警告を抑えるために用いています。
__coldマクロは、説明済みのため、省略します。
notraceマクロは、解析プログラム(コードカバレッジなど)向けのプロファイル情報を生成しないよう、 __attribute__((no_instrument_function))属性を付与します。
ロシア人と国際結婚した地方エンジニア。
小学〜大学院、就職の全てが新潟。
大学の専攻は福祉工学だったのに、エンジニアとして就職。新卒入社した会社ではOS開発や半導体露光装置ソフトを開発。現在はサーバーサイドエンジニアとして修行中。HR/HM(メタル)とロシア妻が好き。サイトに関するお問い合わせやTwitterフォローは、お気軽にどうぞ。