バッチ処理が重複するのを避ける方法

gistfile1.sh

#!/bin/sh
exec_file='/full/path/to/exec_file_name.php'
pid=`pgrep -f $exec_file`

#if not running
if [ -z $pid ] ; then
        echo "Done!!"
        php $exec_file
#don't exec
else
        echo "canceled"
fi