Sobes.tech
Junior

Come fare in modo che le sessioni non siano archiviate nei file?

sobes.tech AI

Risposta dell'AI

È possibile utilizzare altri meccanismi di memorizzazione:

  • Database. Opzione comune, facilmente scalabile e consente di centralizzare la gestione delle sessioni.
  • Server di cache. Ad esempio Redis o Memcached. Garantisce alta velocità di lettura/scrittura dei dati di sessione.
  • Memoria. Per applicazioni di piccole dimensioni o in ambienti di sviluppo.

Per questo, è necessario configurare la direttiva session.save_handler e, se necessario, session.save_path nel php.ini o tramite la funzione session_set_save_handler().

Esempio di utilizzo di Redis come storage tramite php.ini:

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

Quando si utilizza session_set_save_handler(), sarà necessario implementare l'interfaccia per lavorare con lo storage scelto (read, write, open, close, destroy, gc):

<?php
// Esempio di implementazione per Redis con session_set_save_handler
class RedisSessionHandler implements SessionHandlerInterface
{
    private $redis;
    private $ttl = 3600; // Durata della sessione in secondi

    public function open($path, $name)
    {
        $this->redis = new Redis();
        return $this->redis->connect('localhost', 6379);
    }

    public function close()
    {
        $this->redis->close();
        return true;
    }

    public function read($id)
    {
        return $this->redis->get($id);
    }

    public function write($id, $data)
    {
        return $this->redis->setex($id, $this->ttl, $data);
    }

    public function destroy($id)
    {
        return $this->redis->del($id);
    }

    public function gc($max_lifetime)
    {
        // Redis gestisce automaticamente la scadenza delle chiavi,
        // quindi questo metodo può essere vuoto se TTL è impostato in write.
        return true;
    }
}

$handler = new RedisSessionHandler();
session_set_save_handler($handler, true); // true - registra il gestore come predefinito
session_start();

// Successivamente, lavorare con la sessione come di consueto
$_SESSION['user_id'] = 123;