pcntl_getpriority
(PHP 5)
pcntl_getpriority — Get the priority of any process
Description
$pid = getmypid()
[, int $process_identifier = PRIO_PROCESS
]] )
pcntl_getpriority() gets the priority of
pid. Because priority levels can differ between
system types and kernel versions, please see your system's getpriority(2)
man page for specific details.
Parameters
-
pid -
If not specified, the pid of the current process is used.
-
process_identifier -
One of
PRIO_PGRP,PRIO_USERorPRIO_PROCESS.
Return Values
pcntl_getpriority() returns the priority of the process
or FALSE on error. A lower numerical value causes more favorable
scheduling.
This function may
return Boolean FALSE, but may also return a non-Boolean value which
evaluates to FALSE. Please read the section on Booleans for more
information. Use the ===
operator for testing the return value of this
function.
- PHP Руководство
- Функции по категориям
- Индекс функций
- Справочник функций
- Расширения для управления процессами программ
- Process Control
- pcntl_alarm
- pcntl_errno
- pcntl_exec
- pcntl_fork
- pcntl_get_last_error
- pcntl_getpriority
- pcntl_setpriority
- pcntl_signal_dispatch
- pcntl_signal
- pcntl_sigprocmask
- pcntl_sigtimedwait
- pcntl_sigwaitinfo
- pcntl_strerror
- pcntl_wait
- pcntl_waitpid
- pcntl_wexitstatus
- pcntl_wifexited
- pcntl_wifsignaled
- pcntl_wifstopped
- pcntl_wstopsig
- pcntl_wtermsig
Коментарии
This function is ideal for checking if a given process is running, I have seen solutions that involve running the system utilites like PS and parsing the answer, which should work fine, but this allows you to check a given PID with a single call
function CheckPID( $PID )
{
// Check if the passed in PID represents a vlaid process in the system
// Returns true if it does
// Turn off non-fatal runtime warning for a moment as we know we
// will get one if the PID does not represent a valid process
$oldErrorLevel = error_reporting(0);
error_reporting( $oldErrorLevel & ~E_WARNING );
$res = pcntl_getpriority($PID);
error_reporting( $oldErrorLevel);
return ! ( $res === false);
}