ゾンビプロセス 終了後の動き

Question

とあるunix本に、
「終了しているが、親がその情報を取得していないプロセスをゾンビ」
とあります。

今まで自分は、ゾンビプロセスの資源(メモリ、fd...)は回収されないまま残っているものと思っていました。だからメモリリークの原因になるのだと...

カーネルはあるプロセスが終了したら無条件に早々に資源をとりあえずは回収し、そのあとゾンビになるかどうかは別の話(親が規定時間内に取得しに来るかどうか)という理解でいいでしょうか?

その場合、ゾンビプロセス自体が大量にあっても、親が取得しに来る最終の終了状態などの情報だけあればいいのでそこまでメモリを圧迫することにはならない、ということになるかと思います。

Answer 1

カーネル資料には当たってませんが、Wikipedia https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%BB%E3%82%B9#%E7%B5%82%E4%BA%86%E7%8A%B6%E6%85%8B によると、
その理解で良いかと思います。筆者がカーネル資料に当たらずにこの記述を書いたとは思えないので。
英文Wikipedia https://en.wikipedia.org/wiki/Zombie_process にも、同じ意味の記述があります。

Comments

[akiyama_pga]

毎度お世話になっております。

孤児プロセスとゾンビプロセスを混同しておりました...

ゾンビプロセス == プログラムが終了し、カーネルが後処理をし、未終了の親による状態取得を待っている状態
孤児プロセス　 == プログラムが実行中で、親が既に終了している状態。(後に親がinitになる。)

このように理解修正いたしました。

その上で、ゾンビプロセスのリソース解放のタイミングの認識があっているということで、
ゾンビプロセスが大量にあるのはメモリリークには繋がるとは考え難いが、
孤児プロセスが大量にあるのはメモリリークに関する、という風に考えたいと思います。

[otn]

孤児プロセスは、親がinitと言う以外は普通のプロセスなので「孤児プロセスが大量にあるのはメモリリークに関する」という表現には違和感があります。「プロセスが大量にあればリソースをたくさん使う」ということだけなので。
孤児プロセスは、不要なプロセスとも終了忘れのプロセスとも概念的には無関係です。
デーモンプロセスも孤児プロセスですね。

[akiyama_pga]

よく考えますと、確かに本当に(親がいない)正真正銘の孤児プロセスである瞬間はほんの一瞬(initが親に切り替わるまでの一瞬)で、それ以降は普通のプロセスと変わらないと思います。
ある孤児プロセス終了忘れと判断できるのはプログラムを書いた人(意図的に親が無くなるのを前提としているかもしれない)なので、一概に孤児プロセス == 本来動いておいてほしくないプロセス、だと判断はできないと...
メモリリークとは意図しない形でメモリが使用されることなので、この意味ではないとわかりました。