Riduzione "session.gc_maxlifetime" non funge, perchè?

[Donovant]

Salve , come da titolo, non capisco perchè non riesco a ridurre la durata di una session...
In ogni pagina ho scritto

ini_set("session.gc_maxlifetime", "3");
session_start(); 

ma non riesco a far scadere la sessione...anche inserendo ini_set("session.gc_maxlifetime", "0"); "ZERO" alla chisura della pagina, quando torno sul link, la sessione è ancora attiva.
Come mai?

Grazie.

[bubi1]

Beh, la sessione non viene cancellata magicamente, c'e' il garbage collector(gc) che si occupa di questo.

E il garbage collector di default ha una probabilita' di avviarsi al inizio della sessione pari a 1/100. Di conseguenza, se per qualche stranissimo motivo hai bisogno di sessioni che durino 3 secondi, devi aumentare la probabilita' del gc, che e' definita dal rapporto tra session.gc_probability e session.gc_divisor.

Con altre parole, fai:

ini_set("session.gc_maxlifetime", "3");
ini_set("session.gc_probability","1");
ini_set("session.gc_divisor","1"); 

e tutto funzionera' come ti aspetti.

Ma tieni presente che in questo modo fai partire il gc ad ogni inizio sessione, cosa che si riflettera' inevitabilmente sulle prestazioni, in uno scenario con molti script/molte richieste. Non saprei se in modo grave; mai fatto cose del genere.

[Donovant]

Ok grazie....si in effetti non mi serve farla scadere in 3 secondi, volevo solo provare, per vedere se funzionava....quindi cmq se aumento, visto che c'è la prob. 1/100 , se si verifica questa possibilità scatterà il garbage che vedrà che il tempo di expire è più lungo, giusto?

[bubi1]

Esatto.
Considera' che tutto dipende dal carico reale dal server in produzione. Io ad esempio metto la probabilita' a 1/1000. Perche' se ci sono molti siti/moltissimi script/moltissimi hit al secondo, sono sicuro che ogni 10-20 secondi almeno una volta mi parte il gc.
Se invece avessi il sito su un server dedicato, e con un load misero, tipo qualche visita al giorno, ovviamente lo configurerei diversamente.

[luca200]

Originariamente inviato da Donovant
quindi cmq se aumento, visto che c'è la prob. 1/100 , se si verifica questa possibilità scatterà il
garbage che vedrà che il tempo di expire è più lungo, giusto?

Se sei su un server condiviso e usi le sessioni standard, aumentarlo non serve a niente.

[Donovant]

Ma come faccio a far scadere la sessione rimanendo loggato nella pagina? (senza aver bisogno di chiudere il browser)
Vorrei che dopo un po' di tempo, magari di inattività dell'utente, lo stesso si debba RI-loggare, come si fa per i sistemi di e-commrce, o altro.

[luca200]

Metti le sessioni su db, così te le gestisci in autonomia e con precisione

[Donovant]

E quindi dovrei fare ogni volta un confronto io? per capire se la sessione è scaduta anche se stanno navigando?