PHPのセッションタイムアウトはphp.iniで設定されているsession.gc_maxlifetimeで秒設定できますが、そもそもガーベッジコレクションの起動タイミングがよく分からなかったので調べてみました。ガーベッジコレクションのメソッドがCallされるのは、session_s…