pcntl_getpriority
(PHP 5, PHP 7)
pcntl_getpriority — Get the priority of any process
Описание
$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.
Список параметров
-
pid
-
If not specified, the pid of the current process is used.
-
process_identifier
-
One of
PRIO_PGRP
,PRIO_USER
orPRIO_PROCESS
.
Возвращаемые значения
pcntl_getpriority() returns the priority of the process
or FALSE
on error. A lower numerical value causes more favorable
scheduling.
Эта функция
может возвращать как boolean FALSE
, так и не-boolean значение,
которое приводится к FALSE
. За более подробной информацией обратитесь к разделу
Булев тип. Используйте оператор === для проверки значения,
возвращаемого этой функцией.
- 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);
}