PHP check zombie process

gistfile1.php

<?php
	//Проверка на зависший процесс
	$pid = '/tmp/filestart.pid';
	$timeout = 3 * 60 * 60;

	if ( is_file( $pid ) ) 
	{
		$pidInfo = explode( '|', file_get_contents( $pid ) );
		if ( isset( $pidInfo[1] ) AND $pidInfo[1] + $timeout > time() ) 
		{
			//Ещё невышел таймаут
			exit();
		}

		if ( isset( $pidInfo[0] ) ) 
		{
			`kill -9 {$pidInfo[0]}`;
		}
	}

	// С одной стороны вместо time() можно использовать filemtime(), но он возвращает дату модификации,
	// а так мы уверены что работаем с датой старта.

	file_put_contents( $pid, posix_getpid() . '|' . time() );


	//<SCRIPT>


	unlink( $pid );