Comment faire pour que les sessions ne soient pas stockées dans des fichiers?

Il est possible d'utiliser d'autres mécanismes de stockage:

• Base de données. Option courante, facilement évolutive et permettant de centraliser la gestion des sessions.
• Serveurs de cache. Par exemple, Redis ou Memcached. Fournissent une vitesse élevée de lecture/écriture des données de session.
• Mémoire. Pour les petites applications ou en environnement de développement.

Pour cela, il faut configurer la directive session.save_handler et, si nécessaire, session.save_path dans php.ini ou à l'aide de la fonction session_set_save_handler().

Exemple d'utilisation de Redis comme stockage via php.ini:

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

Lors de l'utilisation de session_set_save_handler(), il sera nécessaire d'implémenter l'interface pour travailler avec le stockage choisi (read, write, open, close, destroy, gc):

<?php
// Exemple d'implémentation pour Redis avec session_set_save_handler
class RedisSessionHandler implements SessionHandlerInterface
{
    private $redis;
    private $ttl = 3600; // Durée de vie de la session en secondes

    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 gère automatiquement l'expiration des clés,
        // donc cette méthode peut être vide si TTL est défini dans write.
        return true;
    }
}

$handler = new RedisSessionHandler();
session_set_save_handler($handler, true); // true - enregistrer le gestionnaire comme défaut
session_start();

// Ensuite, travailler avec la session comme d'habitude
$_SESSION['user_id'] = 123;