http://www.posteet.com/ Recent posteets posted to Posteet 60 http://www.posteet.com/view/1336 # [Default] All domains have the same time synchronized from ntp-client in dom0. echo 0 > /proc/sys/xen/independent_wallclock # If, however, this is not the case, you will have to run ntp-client on all guests. For this to work, you will need to set to 1, i.e. echo 1 > /proc/sys/xen/independent_wallclock [clock] [date] [dom0] [synch] [time] [xen] ]]> spirit Sat, 25 Oct 2008 11:53:58 +0000 clock date dom0 synch time xen http://www.posteet.com/view/1310 $start = microtime(TRUE); // Code PHP à bencher for ($i = 0; $i < 10000; $i++) { isset($array['id']); } echo number_format(microtime(TRUE) - $start, 6)." seconds: isset\n"; [exec] [performance] [php] [time] ]]> spirit Fri, 10 Oct 2008 12:08:16 +0000 exec performance php time http://www.posteet.com/view/803 time command > timelog doesn't work, because time outputs to stderr time command 2> timelog doesn't work either, because time actually is a bash keyword, and it's always run in a subshell Redirecting the output of time can be achieved by executing the whole command in a block, then redirecting its output: { time command; } 2> timelog Note: Linux also provides a time binary (/usr/bin/time), but with a different output (and might be less efficient ?) [bash] [linux] [time] ]]> skanx Thu, 28 Feb 2008 18:29:03 +0000 bash linux time