(PHP 5, PHP 7)
pcntl_setpriority — Change la priorité d'un processus
$priority
[, int $pid = getmypid()
[, int $process_identifier = PRIO_PROCESS
]] )
pcntl_setpriority() change la priorité de
pid à priority.
priority
priority est généralement une valeur allant de
-20 à 20. La priorité par défaut
est 0 tandis qu'une valeur numérique plus petite
favorise une meilleure planification. Comme les niveaux de priorité
changent entre les types de systèmes et les versions de kernel, lisez
la page de manuel getpriority(2) de votre système pour des détails
spécifiques.
pidSi non spécifié, le pid du processus courant est utilisé.
process_identifier
Une constante parmi PRIO_PGRP, PRIO_USER
ou PRIO_PROCESS.
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.