プロセスについて解説されたサイトで見つけた条件分岐についての解釈

Question

##疑問
・if pid.nil?はforkされた親プロセスでも子プロセスでも満たされないと考えているが、実際には子プロセスでは満たされている。その理由は何故か？

##詳細
https://github.com/Shinpeim/process-book/blob/master/004.md
githubに上がっているlinux系OSのプロセスについてとても分かりやすく解説してある記述を見つけて読んでいました。
その中に以下のコードがありました。

# -*- coding: utf-8 -*-
file = File.open("nyan.txt","r")

# ファイルをopenしてからforkする

pid = Process.fork

if pid.nil?
  #子プロセス
  sleep 1 # 親プロセスがfileを閉じるのを待つ

  # 親プロセスがfdを閉じてても、自分はまだ番号札を持ってるから読み込める
  puts file.readlines.join

  file.close #自分も番号札を返す
else
  # 親プロセス
  file.close #番号札をOSに返す
  Process.wait(pid) #子プロセスが終わるの待つ
end

こちらのコードのif pid.nil?に子プロセスというコメント記述があり、実際に走らせた場合の子プロセスのみ実行される内容が書いてあります。

しかし自分の解釈では、pid = Process.forkとforkされた瞬間に、子プロセスもpid = Process.forkまで読み終えた状態の親プロセスとまったく同様なメモリの状態を保持していると考えています。

その為、子プロセスにおいてもpidはnilではなく（自分のpidが変数pidには入っている）、elseの処理が走ってしまう（親プロセスも子プロセスもelseの処理が走る）と考えてしまいます。

しかし実際には子プロセスと親プロセスは違う処理が走っています。
この考えの間違えている部分はどこなのでしょうか？

Answer 1

しかし自分の解釈では、pid = Process.forkとforkされた瞬間に、子プロセスもpid = Process.forkまで読み終えた状態の親プロセスとまったく同様なメモリの状態を保持していると考えています。

正確にはProcess.forkの瞬間を複製し、forkの戻り値は

親プロセスでは子プロセスのプロセスIDを、子プロセスでは nil を返します。

となっています。

Comments

[domidomi]

ありがとうございます。
forkにも戻り値があることが抜けていたようです。簡単な質問にも答えていただきありがとうございました。