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

search for in the

ini_alter> <getopt
[edit] Last updated: Fri, 17 May 2013

view this page in

getrusage

(PHP 4, PHP 5)

getrusageRestituisce lo stato dell'utilizzo delle risorse

Descrizione

array getrusage ([ int $who ] )

Questa funzione è un interfaccia a getrusage(2). Restituisce una matrice associativa contente le informazioni restituite dalla chiamata di sistema. Se il parametro who vale 1, getrusage()sarà eseguita con RUSAGE_CHILDREN.

Tutte le informazioni sono accessibili tramite i nomi dei campi documentati.

Example #1 Esempio di uso di getrusage()

<?php
$dat 
getrusage();
echo 
$dat["ru_nswap"];         // numero di swap
echo $dat["ru_majflt"];        // numero di page faults
echo $dat["ru_utime.tv_sec"];  // tempo utente utilizzato (seconds)
echo $dat["ru_utime.tv_usec"]; // tempo utente utilizzato (microseconds)
?>
Per maggior dettagli si veda la pagina di getrusage(2) nel manuale del proprio sistema.

Nota: Questa funzione non è implementata sulle piattaforme Windows.



add a note add a note User Contributed Notes getrusage - [2 notes]
up
0
Domas Mituzas
5 years ago
getrusage() reports kernel counters that are updated only once application loses context and a switch to kernel space happens. For example on modern Linux server kernels that would mean that getrusage() calls would return information rounded at 10ms, desktop kernels - at 1ms.

getrusage() isn't usable for micro-measurements at all - and getmicrotime(true) might be much more valuable resource.
up
0
php at lavrenko dot pp dot ru
7 years ago
The author of the article mentioned in the previous post says "Once I got a negative value for both times - I have absolutely no clue how that can happen.". This is because time in microseconds is not padded with zeros from the left, therefore, you cannot concatenate the two numbers. Instead, you should normalize the values and then add them up:

$dat["ru_utime.tv_sec"]*1e6+$dat["ru_utime.tv_usec"];

 
show source | credits | stats | sitemap | contact | advertising | mirror sites