Session operation of php-redis

session.save_handler = redis
session.save_path = "tcp://127.0.0.1:6379"

ini_set("session.save_handler", "redis");
ini_set("session.save_path", "tcp://127.0.0.1:6379");

<?php
//ini_set("session.save_handler", "redis");
//ini_set("session.save_path", "tcp://127.0.0.1:6379");
session_start();
//存入
session$_SESSION[&#39;class&#39;] = array(&#39;name&#39; => &#39;Alicelock&#39;, &#39;num&#39; => 21);
//连接
redis$redis = new redis();
$redis->connect(&#39;127.0.0.1&#39;, 6379);
//检查session_idecho &#39;session_id:&#39; . session_id() . &#39;<br/>&#39;;
//redis存入的session（redis用session_id作为key,以string的形式存储）echo &#39;redis_session:&#39; . $redis->get(&#39;PHPREDIS_SESSION:&#39; . session_id()) . &#39;<br/>&#39;;
//php获取session值echo &#39;php_session:&#39; . json_encode($_SESSION[&#39;class&#39;]);