Just install the php command line tool
Run the example:
php supervisor.php /usr/local/nginx/bin/nginx nobody (you can also add the parameters of the corresponding command after this, just leave it blank if there are no parameters) &
Parameter introduction: The first is the php executable program on the command line, the second is the code file below this article, the third is the executable program path that needs to be started, the fourth is what role to use to start it, and the following are reserved parameters, all passed to this executable program.
Advantages:
1. Programs that need to be daemonized run in a non-daemon state and can be restarted immediately when an error occurs
2. When the program is running as a daemon, it will check the running status regularly and restart within 1 second
3. You can set the number of restarts within a specific period of time. If the number exceeds the configured number, it will no longer restart, preventing the application from being unable to restart due to special circumstances.
Suggestion:
It is recommended to adjust the program to run in non-daemon state.
Copy the following code and save it as supervisor.php file
[php]
//author email: tipboy@qq.com
$_retry_times=5;
$_retry_times_duration=60; //This is how many times it has been restarted, and there is no need to restart again
$_times_arr=array();
$args=$_SERVER['argv'];
if(count($args)<3)
{
write_log("args num error!");
write_log("etc: php supervisor.php /usr/local/nginx/bin/nginx nobody xxx");
write_log("The first parameter is this file, the second parameter is the path of the executable file to be monitored, the third parameter is which user to use for execution, and the next parameter is the parameter used to execute the executable file");
exit();
}
//$args[0] is the name of this file
$path=$args[1];
$username=$args[2];
for($i=3;$i>0;$i--)
Array_shift($args);
while(1){
$pid=pcntl_fork();
If($pid==0)
{
//write_log("child ".getmypid()." run");
pcntl_exec($path,$args,$_SERVER);
write_log("execute file failed");
exit(0);
}
else if($pid>0)
{
//write_log(" main pid:".getmypid().", child_pid:".$pid);
$endpid=pcntl_waitpid($pid,$status,2);
//write_log("status:".$status);
If($status==0)
//It may be a daemon program, running in the background
If(file_exists("/proc/".($pid+1)."/stat"))
//Indicates that the process exists and needs to be judged regularly
write_log("program start success");
for (;;)
If(file_exists("/proc/".($pid+1)."/stat"))
//write_log("program is alive");
usleep(1000000);
else
write_log("program die");
break;
else
//Indicates that the process does not exist and is not in a non-daemon state.
write_log("program start failed");
exit(0);
}
else if($status>0)
//Indicates that it is not a daemon program, it has exited and needs to be restarted
write_log("program die");
//continue;
}
else
exit(0);
}
If(chk_need_start($_times_arr,$_retry_times_duration,$_retry_times))
Continue;
}
else
break;
}
}
};
function write_log($msg)
{
Print(date('Y-m-d H:i:s').' '.$msg."n");
}
function chk_need_start(&$_times_arr,$_retry_times_duration,$_retry_times)
{
foreach($_times_arr as $k=>$v)
{
//write_log("duration:".$_retry_times_duration);
If($k
unset($_times_arr[$k]);
}
//write_log("buffer count:".count($_times_arr));
If(count($_times_arr)>=$_retry_times)
{
return false;
}
else
{
$_times_arr[time()]=1;
return true;
}
}
?>
//author email: tipboy@qq.com
$_retry_times=5;
$_retry_times_duration=60; //This is how many times it has been restarted, and there is no need to restart again
$_times_arr=array();
$args=$_SERVER['argv'];
if(count($args)<3)
{
write_log("args num error!");
write_log("etc: php supervisor.php /usr/local/nginx/bin/nginx nobody xxx");
write_log("The first parameter is this file, the second parameter is the path of the executable file to be monitored, the third parameter is which user to use for execution, and the next parameter is the parameter used to execute the executable file");
exit();
}
//$args[0] is the name of this file
$username=$args[2];
for($i=3;$i>0;$i--)
array_shift($args);
while(1){
$pid=pcntl_fork();
if($pid==0)
{
//write_log("child ".getmypid()." run");
pcntl_exec($path,$args,$_SERVER);
write_log("execute file failed");
exit(0);
}
else if($pid>0)
{
//write_log(" main pid:".getmypid().", child_pid:".$pid);
$endpid=pcntl_waitpid($pid,$status,2);
//write_log("status:".$status);
if($status==0)
{
//Indicates that it may be a daemon program, running in the background
if(file_exists("/proc/".($pid+1)."/stat"))
{
//Indicates that the process exists and needs to be judged regularly
write_log("program start success");
for (;;)
{
If(file_exists("/proc/".($pid+1)."/stat"))
{
//write_log("program is alive");
usleep(1000000);
}
else
{
write_log("program die");
break;
}
}
}
else
{
//Indicates that the process does not exist and is not in a non-daemon state.
write_log("program start failed");
exit(0);
}
}
else if($status>0)
{
//Explain whether it is a non-daemon program. It has exited and needs to be restarted
Write_log("program die");
//continue;
}
else
{
exit(0);
}
if(chk_need_start($_times_arr,$_retry_times_duration,$_retry_times))
{
Continue;
}
else
{
Break;
}
}
};
function write_log($msg)
{
print(date('Y-m-d H:i:s').' '.$msg."n");
}
function chk_need_start(&$_times_arr,$_retry_times_duration,$_retry_times)
{
foreach($_times_arr as $k=>$v)
{
//write_log("duration:".$_retry_times_duration);
if($k
//write_log("do unset");
Unset($_times_arr[$k]);
}
}
//write_log("buffer count:".count($_times_arr));
if(count($_times_arr)>=$_retry_times)
{
return false;
}
else
{
$_times_arr[time()]=1;
return true;
}
}
?>
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
