FORK(2) | Linux Programmer's Manual | FORK(2) |
名前¶
fork - 子プロセスを生成する
書式¶
#include <sys/types.h>
#include <unistd.h>
pid_t fork(void);
説明¶
fork() は呼び出し元プロセスを複製して新しいプロセスを生成する。新しいプロセスは「子」プロセスと呼ばれ、呼び出し元プロセスは「親」プロセスと呼ばれる。
The child process and the parent process run in separate memory spaces. At the time of fork() both memory spaces have the same content. Memory writes, file mappings (mmap(2)), and unmappings (munmap(2)) performed by one of the processes do not affect the other.
The child process is an exact duplicate of the parent process except for the following points:
- The child has its own unique process ID, and this PID does not match the ID of any existing process group (setpgid(2)) or session.
- 子プロセスの親プロセス ID は、親プロセスのプロセス ID と同じである。
- 子プロセスは親プロセスのメモリーロック (mlock(2), mlockall(2)) を引き継がない。
- プロセスの資源利用量 (getrusage(2)) と CPU タイムカウンター (times(2)) が、子プロセスでは 0 にリセットされる。
- 子プロセスの処理待ちのシグナルの集合 (sigpending(2)) は、初期状態では空になる。
- 子プロセスは親プロセスからセマフォ調整 (semop(2)) を引き継がない。
- 子プロセスは親プロセスからプロセスに関連付けられたレコードロックを引き継がない (fcntl(2))。 (一方、子プロセスは親プロセスから fcntl(2) オープンファイル記述ロックと flock(2) ロックを引き継ぐ。)
- 子プロセスは親プロセスからタイマー (setitimer(2), alarm(2), timer_create(2)) を引き継がない。
- 子プロセスは親プロセスから主だった非同期 I/O 操作を引き継がない (aio_read(3), aio_write(3) 参照)。 また、親プロセスから非同期 I/O コンテキストを引き継がない (io_setup(2) 参照)。
上記のリストにあるプロセス属性は、POSIX.1 で全て指定されている。 親プロセスと子プロセスは、以下の Linux 固有のプロセス属性も異なる:
- 子プロセスは親プロセスからディレクトリ変更通知 (dnotify) (fcntl(2) における F_NOTIFY の説明を参照) を引き継がない。
- prctl(2) の PR_SET_PDEATHSIG の設定がリセットされ、子プロセスは親プロセスが終了したときに シグナルを受信しない。
- timer slack value のデフォルト値には、親プロセスの現在の timer slack value が設定される。 prctl(2) の PR_SET_TIMERSLACK の説明を参照。
- madvise(2) の MADV_DONTFORK フラグでマークされたメモリーマッピングは、 fork() によって引き継がれない。
- Memory in address ranges that have been marked with the madvise(2) MADV_WIPEONFORK flag is zeroed in the child after a fork(). (The MADV_WIPEONFORK setting remains in place for those address ranges in the child.)
- 子プロセスの終了シグナルは常に SIGCHLD である (clone(2) を参照)。
- ioperm(2) で設定されるポートアクセス許可ビットは、子プロセスには継承されない。子プロセスでは、 ioperm(2) を使って必要なビットをセットしなければならない。
以下の点についても注意すること:
- 子プロセスはシングルスレッドで生成される。つまり、 fork() を呼び出したスレッドとなる。 親プロセスの仮想アドレス空間全体が子プロセスに複製される。 これにはミューテックス (mutex) の状態・条件変数・ pthread オブジェクトが含まれる。 これが引き起こす問題を扱うには、 pthread_atfork(3) を使うと良いだろう。
- After a fork() in a multithreaded program, the child can safely call only async-signal-safe functions (see signal-safety(7)) until such time as it calls execve(2).
- 子プロセスは親プロセスが持つ オープンファイルディスクリプターの集合のコピーを引き継ぐ。 子プロセスの各ファイルディスクリプターは、 親プロセスのファイルディスクリプターに対応する 同じオープンファイル記述 (file description) を参照する (open(2) を参照)。 これは 2 つのファイルディスクリプターが、ファイル状態フラグ・ ファイルオフセット、シグナル駆動 (signal-driven) I/O 属性 (fcntl(2) における F_SETOWN, F_SETSIG の説明を参照) を共有することを意味する。
- 子プロセスは親プロセスが持つオープンメッセージキューディスクリプター (mq_overview(7) を参照) の集合のコピーを引き継ぐ。 子プロセスの各ファイルディスクリプターは、 親プロセスのファイルディスクリプターに対応する同じオープンメッセージキューディスクリプターを参照する。 これは 2 つのファイルディスクリプターが同じフラグ (mq_flags) を共有することを意味する。
- 子プロセスは、親プロセスのオープン済みのディレクトリストリームの集合 (opendir(3) 参照) のコピーを継承する。 POSIX.1 では、親プロセスと子プロセス間の対応するディレクトリストリーム はディレクトリストリームの位置 (positioning) を共有してもよいとされている。 Linux/glibc ではディレクトリストリームの位置の共有は行われていない。
返り値¶
成功した場合、親プロセスには子プロセスの PID が返され、 子プロセスには 0 が返される。 失敗した場合、親プロセスに -1 が返され、子プロセスは生成されず、 errno が適切に設定される。
エラー¶
- EAGAIN
- A system-imposed limit on the number of threads was encountered. There are a number of limits that may trigger this error:
- the RLIMIT_NPROC soft resource limit (set via setrlimit(2)), which limits the number of processes and threads for a real user ID, was reached;
- the kernel's system-wide limit on the number of processes and threads, /proc/sys/kernel/threads-max, was reached (see proc(5));
- the maximum number of PIDs, /proc/sys/kernel/pid_max, was reached (see proc(5)); or
- the PID limit (pids.max) imposed by the cgroup "process number" (PIDs) controller was reached.
- EAGAIN
- 呼び出し元は、スケジューリングポリシー SCHED_DEADLINE で動作しており、かつ reset-on-fork フラグがセットされていない。 sched(7) 参照。
- ENOMEM
- メモリーが足りないために、 fork() は必要なカーネル構造体を割り当てることができなかった。
- ENOMEM
- An attempt was made to create a child process in a PID namespace whose "init" process has terminated. See pid_namespaces(7).
- ENOSYS
- fork() はこのプラットフォームではサポートされていない (例えば、メモリー管理ユニット (MMU) がないハードウェア)。
- ERESTARTNOINTR (Linux 2.6.17 以降)
- System call was interrupted by a signal and will be restarted. (This can be seen only during a trace.)
準拠¶
POSIX.1-2001, POSIX.1-2008, SVr4, 4.3BSD.
注意¶
Linux では、 fork() を 書き込み時コピー (copy-on-write) ページを用いて実装している。 したがって、fork を行うことの唯一のデメリットは、 親プロセスのページテーブルを複製と 子プロセス自身のタスク構造の作成のための時間とメモリーが必要なことである。
C ライブラリとカーネルの違い¶
glibc 2.3.3 以降では、 NPTL スレッド実装の一部として提供されている glibc のfork() ラッパー関数は、 カーネルの fork() システムコール を起動するのではなく、clone(2) を起動する。 clone(2) に渡すフラグとして、伝統的な fork() システムコールと 同じ効果が得られるようなフラグが指定される (fork() の呼び出しは、 flags に SIGCHLD だけを指定して clone(2) を呼び出すのと等価である)。 glibc のラッパー関数は pthread_atfork(3) を使って設定されている 任意の fork ハンドラーを起動する。
例¶
関連項目¶
clone(2), execve(2), exit(2), setrlimit(2), unshare(2), vfork(2), wait(2), daemon(3), pthread_atfork(3), capabilities(7), credentials(7)
この文書について¶
この man ページは Linux man-pages プロジェクトのリリース 5.10 の一部である。プロジェクトの説明とバグ報告に関する情報は https://www.kernel.org/doc/man-pages/ に書かれている。
2020-06-09 | Linux |