多くのプログラマーは PIDをファイルに保存する に満足しているようです。その後、同じプロセスであることが保証されているかのようにPIDを読み取って使用します。一般的な考え方は、オッズは無視するのに十分であるということのようです。どうすればこの問題を簡単に示すことができますか?理想的には、既存のシェルスクリプトを適応させて、最小限の試行錯誤でこれを実証できるようにします。
ダミーの例:
foo &
pid=$!
echo $pid > pidfile
do
kill $!
sleep 1 &
until [ $pid -eq $! ]
kill "$(cat pidfile)" # Kills `sleep`, not `foo`!
exec
の使用は、PIDの再利用のかなり良いデモンストレーションです。
#!/bin/bash
cat > foo << 'EOF'
echo "Inside foo."
sleep 5
exec ./bar
EOF
cat > bar << 'EOF'
#!/bin/bash
echo "Inside bar."
sleep 5
EOF
chmod a+x foo bar
./foo &
while sleep 3; do
[[ -f "/proc/$!/cmdline" ]] || break
printf 'pid %d == %s\n' "$!" "$(tr '\0' ' ' < "/proc/$!/cmdline")"
done
rm foo bar
このスクリプトを実行すると、次のような結果になります。
$ ./script
Inside foo.
pid 4953 == /bin/bash ./script
Inside bar.
pid 4953 == /bin/bash /tmp/tmp.AvDLtMWYPy/bar
pid 4953 == /bin/bash /tmp/tmp.AvDLtMWYPy/bar
任意のプログラムをexec
できるので、そのPIDでのプロセスが同じである、または類似しているという保証は(まったく)ありません。