PHPでredisを利用するサンプルコード

サンプルコード:
connect('127.0.0.1’, 6379);
$startTime = microtimeFloat();

$pipe = $redis->multi(Redis::PIPELINE);
for($i = 0; $i < 100000; $i++){ $pipe->set(“key::$i", time());
$pipe->get(“key::$i");
}
$pipe->exec();

//$redis->flushDB();
$endTime = microtimeFloat();
$runTime = $endTime – $startTime;
echo “時間:$runTime";

function microtimeFloat(){
list($usec, $sec) = explode(" “, microtime());
return ((float)$usec + (float)$sec);
}
?>

PHP

Posted by arkgame