我想知道PHP如何检测特定会话已超时.
详细说明:我正在使用默认的(基于文件的)会话处理程序,具有默认的会话生存期等等.php.ini中的所有内容都是默认的.
如果现在启动了一个会话,那么如果有任何超时会话,PHP会进行检查(取决于非session.gc_divisor和session.gc_probability).但是从哪里获取PHP会话的最后一个会话访问时间来检查？
会话文件本身仅包含工作负载,例如x|i:1;a $_SESSION['x'] = 1;,因此没有关于上次会话访问时间的信息.
我认为没有与会话开始时间相关的内存信息,因为在完整服务器重启后会话仍在工作.
那么,PHP从哪里获取信息？它是否比较会话文件的mtime/ctime？
PHP的默认会话处理程序使用serialize()在指定的目录中将$ _SESSION数据存储在文件中session.save_path.通常文件名看起来像$filename = 'sess_' . session_id().
由于它只是一个文件,因此PHP可以使用文件的mtime(上次修改时间)来确定哪些会话文件是陈旧的.基本上它会抓取所有mtime超过其session.gc_maxlifetime值的会话文件unlink().正如您所说,清理发生的概率由session.gc_*ini变量决定.
现在,如果您使用创建自己的会话处理程序session_set_save_handler(),这就完全不在窗口中,您现在可以控制会话的存储和清理方式,但这确实解释了默认行为.