PHP phát hiện ra rằng một phiên đã hết thời gian như thế nào?

Question

Tôi tự hỏi làm thế nào PHP phát hiện ra rằng một phiên cụ thể đã hết thời gian chờ.

Cụ thể: Tôi đang sử dụng trình xử lý phiên mặc định (dựa trên tệp), với thời lượng phiên mặc định, v.v. Mọi thứ trong php.ini đều mặc định.

Nếu bây giờ một phiên được bắt đầu, PHP thực hiện kiểm tra (tùy thuộc vào phiên không.gi_divisor và phiên.gc_probability) nếu có bất kỳ phiên hết hạn nào. Nhưng từ đâu nhận được PHP thời gian truy cập phiên cuối cùng từ các phiên để kiểm tra?

Bản thân tệp phiên chỉ chứa khối lượng công việc, ví dụ: x|i:1; cho số $_SESSION['x'] = 1;, vì vậy không có thông tin về thời gian truy cập phiên cuối cùng.

Tôi nghĩ rằng không có thông tin trong bộ nhớ liên quan đến thời gian bắt đầu phiên vì các phiên vẫn hoạt động sau khi khởi động lại máy chủ đầy đủ.

Vậy, PHP lấy thông tin từ đâu? Có phải nó so sánh mtime/ctime của tập tin phiên?

Answer 1

Trình xử lý phiên mặc định của PHP lưu trữ dữ liệu $ _SESSION trong tệp bằng cách sử dụng serialize(), trong thư mục được chỉ định bởi session.save_path. Nói chung tên tệp trông giống như $filename = 'sess_' . session_id().

Vì đây chỉ là một tệp, PHP có thể sử dụng thời gian của tệp (thời gian sửa đổi lần cuối) để xác định tệp phiên nào cũ. Về cơ bản, nó sẽ lấy tất cả các tệp phiên có mtime vượt quá giá trị session.gc_maxlifetime và unlink() chúng. Như bạn đã nói, xác suất dọn dẹp xảy ra được điều chỉnh bởi các biến ini session.gc_*.

Bây giờ, nếu bạn tạo trình xử lý phiên của riêng bạn với session_set_save_handler(), đây là tất cả ngoài cửa sổ và bây giờ bạn có quyền kiểm soát cách phiên được lưu trữ và dọn dẹp, nhưng điều này giải thích hành vi mặc định.