PHP
PHP / MySql

Recherche
 
ManuelPHP.com

getopt
<<<
getrusage ini_alter
>>>

8.55 Options PHP et informations
8 Référence des fonctions
 Manuel PHP

Introduction
Pré-requis
Installation
Configuration à l'exécution
Types de ressources
Constantes pré-définies
assert_options
assert
dl
extension_loaded
get_cfg_var
get_current_user
get_defined_constants
get_extension_funcs
get_include_path
get_included_files
get_loaded_extensions
get_magic_quotes_gpc
get_magic_quotes_runtime
get_required_files
getenv
getlastmod
getmygid
getmyinode
getmypid
getmyuid
getopt
->getrusage
ini_alter
ini_get_all
ini_get
ini_restore
ini_set
main
memory_get_usage
php_ini_scanned_files
php_logo_guid
php_sapi_name
php_uname
phpcredits
phpinfo
phpversion
putenv
restore_include_path
set_include_path
set_magic_quotes_runtime
set_time_limit
version_compare
zend_logo_guid
zend_version

8.55.28 getrusage()Retourne le niveau d'utilisation des ressources

[ Exemples avec getrusage ]   PHP 3 >= 3.0.7, PHP 4, PHP 5

array  getrusage ( int   who )

getrusage est une interface à la fonction system getrusage(2). Elle retourne un tableau associatif contenant les informations renvoyées par cet appel système. Si who est égal à 1, getrusage sera appelé avec le paramètre RUSAGE_CHILDREN.

Toutes les valeurs du tableau sont accessibles en utilisant leur nom dans le tableau.

Exemple avec getrusage

<?php
$dat
= getrusage();
echo
$dat["ru_nswap"];        // Taille de la mémoire swap
echo $dat["ru_majflt"];       // Nombre de page mémoires utilisées
echo $dat["ru_utime.tv_sec"]; // Temps utilisateur (en secondes)
echo $dat["ru_utime.tv_usec"];// Temps utilisateur (en microsecondes)
?>
Consultez la page de manuel getrusage(2) de votre système pour plus de détails.

Note

Cette fonction n'est pas implémentée sous Windows.

<< getrusage >>
getopt Options PHP et informations ini_alter





Google

Services webmasters

Les manuels
 

ManuelPHP.com © 2003-2012 Tigersun - Crédits
Webmaster Site Internet - Télécharger des Logiciels - Programme TV - Entraide Informatique - Agence de Communication
2018-01-16