PHP
downloads | documentation | faq | getting help | mailing lists | reporting bugs | php.net sites | links | conferences | my php.net

search for in the

pcntl_setpriority> <pcntl_fork
Last updated: Fri, 15 Aug 2008

view this page in

pcntl_getpriority

(PHP 5)

pcntl_getpriorityGet the priority of any process

Opis

int pcntl_getpriority ([ int $pid [, int $process_identifier ]] )

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.

Parametry

pid

If not specified, the pid of the current process is used.

process_identifier

One of PRIO_PGRP, PRIO_USER or PRIO_PROCESS.

Zwracane wartości

pcntl_getpriority() returns the priority of the process or FALSE on error. A lower numerical value causes more favorable scheduling.

Ostrzeżenie

Ta funkcja może zwrócić logiczne FALSE, ale także zwykłą wartość rozpoznawaną jako FALSE, na przykład 0 lub "". Więcej informacji w rozdziale dotyczącym typów logicznych. Użyj operatora === aby sprawdzić wartość zwracaną przez tę funkcję.

Patrz także



add a note add a note User Contributed Notes
pcntl_getpriority
jonathan at jcdesigns dot com
15-May-2008 11:12
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);
}

pcntl_setpriority> <pcntl_fork
Last updated: Fri, 15 Aug 2008
 
 
show source | credits | sitemap | contact | advertising | mirror sites