web-dev-qa-db-ja.com

無効なPIDの仮定を示す方法は？

多くのプログラマーは PIDをファイルに保存する に満足しているようです。その後、同じプロセスであることが保証されているかのようにPIDを読み取って使用します。一般的な考え方は、オッズは無視するのに十分であるということのようです。どうすればこの問題を簡単に示すことができますか？理想的には、既存のシェルスクリプトを適応させて、最小限の試行錯誤でこれを実証できるようにします。

ダミーの例：

foo &
pid=$!
echo $pid > pidfile
do
    kill $!
    sleep 1 &
until [ $pid -eq $! ]
kill "$(cat pidfile)" # Kills `sleep`, not `foo`!
bashprocesspidfile
1
l0b0

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でのプロセスが同じである、または類似しているという保証は（まったく）ありません。

2
Chris Down