<?php
// This file is part of Moodle - http://moodle.org/
//
// Moodle is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Moodle is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Moodle.  If not, see <http://www.gnu.org/licenses/>.

/**
 * Redis based session handler.
 *
 * @package    core
 * @copyright  2015 Russell Smith <mr-russ@smith2001.net>
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

namespace core\session;

use RedisException;

defined('MOODLE_INTERNAL') || die();

/**
 * Redis based session handler.
 *
 * The default Redis session handler does not handle locking in 2.2.7, so we have written a php session handler
 * that uses locking.  The places where locking is used was modeled from the memcached code that is used in Moodle
 * https://github.com/php-memcached-dev/php-memcached/blob/master/php_memcached_session.c
 *
 * @package    core
 * @copyright  2016 Russell Smith
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */
class redis extends handler {

>     /**
    /** @var string $host save_path string  */
>      * Compressor: none.
    protected $host = '';
>      */
    /** @var int $port The port to connect to */
>     const COMPRESSION_NONE      = 'none';
    protected $port = 6379;
>     /**
    /** @var string $auth redis password  */
>      * Compressor: PHP GZip.
    protected $auth = '';
>      */
    /** @var int $database the Redis database to store sesions in */
>     const COMPRESSION_GZIP      = 'gzip';
    protected $database = 0;
>     /**
    /** @var array $servers list of servers parsed from save_path */
>      * Compressor: PHP Zstandard.
    protected $prefix = '';
>      */
    /** @var int $acquiretimeout how long to wait for session lock in seconds */
>     const COMPRESSION_ZSTD      = 'zstd';
    protected $acquiretimeout = 120;
> 


    /** @var int $lockretry how long to wait between session lock attempts in ms */

>     /** @var array $sslopts SSL options, if applicable */
    protected $lockretry = 100;
>     protected $sslopts = [];


    /** @var int $serializer The serializer to use */

>     /** @var int $acquirewarn how long before warning when waiting for a lock in seconds */
    protected $serializer = \Redis::SERIALIZER_PHP;
>     protected $acquirewarn = null;


    /** @var string $lasthash hash of the session data content */

>     /** @var int $compressor The compressor to use */
    protected $lasthash = null;
>     protected $compressor = self::COMPRESSION_NONE;



    /**
     * @var int $lockexpire how long to wait in seconds before expiring the lock automatically
     * so that other requests may continue execution, ignored if PECL redis is below version 2.2.0.
     */
    protected $lockexpire;

    /** @var Redis Connection */
    protected $connection = null;

    /** @var array $locks List of currently held locks by this page. */
    protected $locks = array();

    /** @var int $timeout How long sessions live before expiring. */
    protected $timeout;

    /**
     * Create new instance of handler.
     */
    public function __construct() {
        global $CFG;

        if (isset($CFG->session_redis_host)) {
            $this->host = $CFG->session_redis_host;
        }

        if (isset($CFG->session_redis_port)) {
            $this->port = (int)$CFG->session_redis_port;
        }


>         if (isset($CFG->session_redis_encrypt) && $CFG->session_redis_encrypt) {
        if (isset($CFG->session_redis_auth)) {
>             $this->host = 'tls://' . $this->host;
            $this->auth = $CFG->session_redis_auth;
>             $this->sslopts = $CFG->session_redis_encrypt;
        }
>         }

> 


        if (isset($CFG->session_redis_database)) {
            $this->database = (int)$CFG->session_redis_database;
        }

        if (isset($CFG->session_redis_prefix)) {
            $this->prefix = $CFG->session_redis_prefix;
        }

        if (isset($CFG->session_redis_acquire_lock_timeout)) {
            $this->acquiretimeout = (int)$CFG->session_redis_acquire_lock_timeout;
        }


>         if (isset($CFG->session_redis_acquire_lock_warn)) {
        if (isset($CFG->session_redis_acquire_lock_retry)) {
>             $this->acquirewarn = (int)$CFG->session_redis_acquire_lock_warn;
            $this->lockretry = (int)$CFG->session_redis_acquire_lock_retry;
>         }
        }
> 



        if (!empty($CFG->session_redis_serializer_use_igbinary) && defined('\Redis::SERIALIZER_IGBINARY')) {
            $this->serializer = \Redis::SERIALIZER_IGBINARY; // Set igbinary serializer if phpredis supports it.
        }

        // The following configures the session lifetime in redis to allow some
        // wriggle room in the user noticing they've been booted off and
        // letting them log back in before they lose their session entirely.
        $updatefreq = empty($CFG->session_update_timemodified_frequency) ? 20 : $CFG->session_update_timemodified_frequency;
        $this->timeout = $CFG->sessiontimeout + $updatefreq + MINSECS;


<         $this->lockexpire = $CFG->sessiontimeout;



>         // This sets the Redis session lock expiry time to whatever is lower, either
>         // the PHP execution time `max_execution_time`, if the value was defined in
>         // the `php.ini` or the globally configured `sessiontimeout`. Setting it to
>         // the lower of the two will not make things worse it if the execution timeout
>         // is longer than the session timeout.
>         // For the PHP execution time, once the PHP execution time is over, we can be sure
>         // that the lock is no longer actively held so that the lock can expire safely.
>         // Although at `lib/classes/php_time_limit.php::raise(int)`, Moodle can
>         // progressively increase the maximum PHP execution time, this is limited to the
>         // `max_execution_time` value defined in the `php.ini`.
>         // For the session timeout, we assume it is safe to consider the lock to expire
>         // once the session itself expires.
>         // If we unnecessarily hold the lock any longer, it blocks other session requests.
>         $this->lockexpire = ini_get('max_execution_time');
>         if (empty($this->lockexpire) || ($this->lockexpire > (int)$CFG->sessiontimeout)) {
>             $this->lockexpire = (int)$CFG->sessiontimeout;
>         }


        if (isset($CFG->session_redis_lock_expire)) {
            $this->lockexpire = (int)$CFG->session_redis_lock_expire;
        }

> 
    }
>         if (isset($CFG->session_redis_compressor)) {

>             $this->compressor = $CFG->session_redis_compressor;
    /**
>         }


     * Start the session.
     *
     * @return bool success
     */
    public function start() {
        $result = parent::start();

        return $result;
    }

    /**
     * Init session handler.
     */
    public function init() {
        if (!extension_loaded('redis')) {
            throw new exception('sessionhandlerproblem', 'error', '', null, 'redis extension is not loaded');
        }

        if (empty($this->host)) {
            throw new exception('sessionhandlerproblem', 'error', '', null,
                    '$CFG->session_redis_host must be specified in config.php');
        }

        // The session handler requires a version of Redis with the SETEX command (at least 2.0).
        $version = phpversion('Redis');
        if (!$version or version_compare($version, '2.0') <= 0) {
            throw new exception('sessionhandlerproblem', 'error', '', null, 'redis extension version must be at least 2.0');
        }

        $this->connection = new \Redis();

        $result = session_set_save_handler(array($this, 'handler_open'),
            array($this, 'handler_close'),
            array($this, 'handler_read'),
            array($this, 'handler_write'),
            array($this, 'handler_destroy'),
            array($this, 'handler_gc'));
        if (!$result) {
            throw new exception('redissessionhandlerproblem', 'error');
        }

        // MDL-59866: Add retries for connections (up to 5 times) to make sure it goes through.
        $counter = 1;
        $maxnumberofretries = 5;

>         $opts = [];

>         if ($this->sslopts) {
        while ($counter <= $maxnumberofretries) {
>             // Do not set $opts['stream'] = [], breaks connect().

>             $opts['stream'] = $this->sslopts;
            try {
>         }




<                 $delay = rand(100000, 500000);



>                 $delay = rand(100, 500);



                // One second timeout was chosen as it is long for connection, but short enough for a user to be patient.

<                 if (!$this->connection->connect($this->host, $this->port, 1, null, $delay)) {



>                 if (!$this->connection->connect($this->host, $this->port, 1, null, $delay, 1, $opts)) {


                    throw new RedisException('Unable to connect to host.');
                }

                if ($this->auth !== '') {
                    if (!$this->connection->auth($this->auth)) {
                        throw new RedisException('Unable to authenticate.');
                    }
                }

                if (!$this->connection->setOption(\Redis::OPT_SERIALIZER, $this->serializer)) {
                    throw new RedisException('Unable to set Redis PHP Serializer option.');
                }

                if ($this->prefix !== '') {
                    // Use custom prefix on sessions.
                    if (!$this->connection->setOption(\Redis::OPT_PREFIX, $this->prefix)) {
                        throw new RedisException('Unable to set Redis Prefix option.');
                    }
                }

> 
                if ($this->database !== 0) {
>                 if ($this->sslopts && !$this->connection->ping()) {
                    if (!$this->connection->select($this->database)) {
>                     /*
                        throw new RedisException('Unable to select Redis database '.$this->database.'.');
>                      * In case of a TLS connection, if phpredis client does not
                    }
>                      * communicate immediately with the server the connection hangs.
                }
>                      * See https://github.com/phpredis/phpredis/issues/2332 .
                $this->connection->ping();
>                      */
                return true;
>                     throw new \RedisException("Ping failed");
            } catch (RedisException $e) {
>                 }
                $logstring = "Failed to connect (try {$counter} out of {$maxnumberofretries}) to redis ";
> 



<                 $this->connection->ping();



                debugging($logstring);
            }

            $counter++;

            // Introduce a random sleep between 100ms and 500ms.
            usleep(rand(100000, 500000));
        }

        // We have exhausted our retries, time to give up.
        if (isset($logstring)) {
            throw new RedisException($logstring);
        }
    }

    /**
     * Update our session search path to include session name when opened.
     *
     * @param string $savepath  unused session save path. (ignored)
     * @param string $sessionname Session name for this session. (ignored)
     * @return bool true always as we will succeed.
     */
    public function handler_open($savepath, $sessionname) {
        return true;
    }

    /**
     * Close the session completely. We also remove all locks we may have obtained that aren't expired.
     *
     * @return bool true on success.  false on unable to unlock sessions.
     */
    public function handler_close() {
        $this->lasthash = null;
        try {
            foreach ($this->locks as $id => $expirytime) {
                if ($expirytime > $this->time()) {
                    $this->unlock_session($id);
                }
                unset($this->locks[$id]);
            }
        } catch (RedisException $e) {
            error_log('Failed talking to redis: '.$e->getMessage());
            return false;
        }

        return true;
    }
    /**
     * Read the session data from storage
     *
     * @param string $id The session id to read from storage.
     * @return string The session data for PHP to process.
     *
     * @throws RedisException when we are unable to talk to the Redis server.
     */
    public function handler_read($id) {
        try {
            if ($this->requires_write_lock()) {
                $this->lock_session($id);
            }

<             $sessiondata = $this->connection->get($id);



>             $sessiondata = $this->uncompress($this->connection->get($id));
> 


            if ($sessiondata === false) {
                if ($this->requires_write_lock()) {
                    $this->unlock_session($id);
                }
                $this->lasthash = sha1('');
                return '';
            }
            $this->connection->expire($id, $this->timeout);
        } catch (RedisException $e) {
            error_log('Failed talking to redis: '.$e->getMessage());
            throw $e;
        }
        $this->lasthash = sha1(base64_encode($sessiondata));
        return $sessiondata;
    }

    /**

>      * Compresses session data.
     * Write the serialized session data to our session store.
>      *
     *
>      * @param mixed $value
     * @param string $id session id to write.
>      * @return string
     * @param string $data session data
>      */
     * @return bool true on write success, false on failure
>     private function compress($value) {
     */
>         switch ($this->compressor) {
    public function handler_write($id, $data) {
>             case self::COMPRESSION_NONE:

>                 return $value;
        $hash = sha1(base64_encode($data));
>             case self::COMPRESSION_GZIP:

>                 return gzencode($value);
        // If the content has not changed don't bother writing.
>             case self::COMPRESSION_ZSTD:
        if ($hash === $this->lasthash) {
>                 return zstd_compress($value);
            return true;
>             default:
        }
>                 debugging("Invalid compressor: {$this->compressor}");

>                 return $value;
        if (is_null($this->connection)) {
>         }
            // The session has already been closed, don't attempt another write.
>     }
            error_log('Tried to write session: '.$id.' before open or after close.');
> 
            return false;
>     /**
        }
>      * Uncompresses session data.

>      *
        // We do not do locking here because memcached doesn't.  Also
>      * @param string $value
        // PHP does open, read, destroy, write, close. When a session doesn't exist.
>      * @return mixed
        // There can be race conditions on new sessions racing each other but we can
>      */
        // address that in the future.
>     private function uncompress($value) {
        try {
>         if ($value === false) {
            $this->connection->setex($id, $this->timeout, $data);
>             return false;
        } catch (RedisException $e) {
>         }
            error_log('Failed talking to redis: '.$e->getMessage());
> 
            return false;
>         switch ($this->compressor) {
        }
>             case self::COMPRESSION_NONE:
        return true;
>                 break;
    }
>             case self::COMPRESSION_GZIP:

>                 $value = gzdecode($value);
    /**
>                 break;
     * Handle destroying a session.
>             case self::COMPRESSION_ZSTD:
     *
>                 $value = zstd_uncompress($value);
     * @param string $id the session id to destroy.
>                 break;
     * @return bool true if the session was deleted, false otherwise.
>             default:
     */
>                 debugging("Invalid compressor: {$this->compressor}");
    public function handler_destroy($id) {
>         }
        $this->lasthash = null;
> 
        try {
>         return $value;
            $this->connection->del($id);
>     }
            $this->unlock_session($id);
> 
        } catch (RedisException $e) {
>     /**


            error_log('Failed talking to redis: '.$e->getMessage());

>             $data = $this->compress($data);
            return false;
> 


        }

        return true;
    }

    /**
     * Garbage collect sessions.  We don't we any as Redis does it for us.
     *
     * @param integer $maxlifetime All sessions older than this should be removed.
     * @return bool true, as Redis handles expiry for us.
     */
    public function handler_gc($maxlifetime) {
        return true;
    }

    /**
     * Unlock a session.
     *
     * @param string $id Session id to be unlocked.
     */
    protected function unlock_session($id) {
        if (isset($this->locks[$id])) {
            $this->connection->del($id.".lock");
            unset($this->locks[$id]);
        }
    }

    /**
     * Obtain a session lock so we are the only one using it at the moment.
     *
     * @param string $id The session id to lock.
     * @return bool true when session was locked, exception otherwise.
     * @throws exception When we are unable to obtain a session lock.
     */
    protected function lock_session($id) {
        $lockkey = $id.".lock";

        $haslock = isset($this->locks[$id]) && $this->time() < $this->locks[$id];
        $startlocktime = $this->time();

        /* To be able to ensure sessions don't write out of order we must obtain an exclusive lock
         * on the session for the entire time it is open.  If another AJAX call, or page is using
         * the session then we just wait until it finishes before we can open the session.
         */

        // Store the current host, process id and the request URI so it's easy to track who has the lock.
        $hostname = gethostname();
        if ($hostname === false) {
            $hostname = 'UNKNOWN HOST';
        }
        $pid = getmypid();
        if ($pid === false) {
            $pid = 'UNKNOWN';
        }
        $uri = isset($_SERVER['REQUEST_URI']) ? $_SERVER['REQUEST_URI'] : 'unknown uri';

        $whoami = "[pid {$pid}] {$hostname}:$uri";


>         $haswarned = false; // Have we logged a lock warning?
        while (!$haslock) {
> 



            $haslock = $this->connection->setnx($lockkey, $whoami);

            if ($haslock) {
                $this->locks[$id] = $this->time() + $this->lockexpire;
                $this->connection->expire($lockkey, $this->lockexpire);
                return true;
            }


>             if (!empty($this->acquirewarn) && !$haswarned && $this->time() > $startlocktime + $this->acquirewarn) {
            if ($this->time() > $startlocktime + $this->acquiretimeout) {
>                 // This is a warning to better inform users.
                // This is a fatal error, better inform users.
>                 $whohaslock = $this->connection->get($lockkey);
                // It should not happen very often - all pages that need long time to execute
>                 // phpcs:ignore
                // should close session immediately after access control checks.
>                 error_log("Warning: Cannot obtain session lock for sid: $id within $this->acquirewarn seconds but will keep trying. " .
                $whohaslock = $this->connection->get($lockkey);
>                     "It is likely another page ($whohaslock) has a long session lock, or the session lock was never released.");
                // @codingStandardsIgnoreStart
>                 $haswarned = true;
                error_log("Cannot obtain session lock for sid: $id within $this->acquiretimeout seconds. " .
>             }
                    "It is likely another page ($whohaslock) has a long session lock, or the session lock was never released.");
> 



<                 // @codingStandardsIgnoreStart
<                 error_log("Cannot obtain session lock for sid: $id within $this->acquiretimeout seconds. " .



>                 // phpcs:ignore
>                 error_log("Error: Cannot obtain session lock for sid: $id within $this->acquiretimeout seconds. " .



<                 // @codingStandardsIgnoreEnd
<                 throw new exception("Unable to obtain session lock");



>                 $acquiretimeout = format_time($this->acquiretimeout);
>                 $lockexpire = format_time($this->lockexpire);
>                 $a = (object)[
>                     'id' => substr($id, 0, 10),
>                     'acquiretimeout' => $acquiretimeout,
>                     'whohaslock' => $whohaslock,
>                     'lockexpire' => $lockexpire];
>                 throw new exception("sessioncannotobtainlock", 'error', '', $a);


            if ($this->time() < $startlocktime + 5) {
                // We want a random delay to stagger the polling load. Ideally
                // this delay should be a fraction of the average response
                // time. If it is too small we will poll too much and if it is
                // too large we will waste time waiting for no reason. 100ms is
                // the default starting point.

<                 $delay = rand($this->lockretry, $this->lockretry * 1.1);



>                 $delay = rand($this->lockretry, (int)($this->lockretry * 1.1));


            } else {
                // If we don't get a lock within 5 seconds then there must be a
                // very long lived process holding the lock so throttle back to
                // just polling roughly once a second.
                $delay = rand(1000, 1100);
            }

            usleep($delay * 1000);
        }
    }

    /**
     * Return the current time.
     *
     * @return int the current time as a unixtimestamp.
     */
    protected function time() {
        return time();
    }

    /**
     * Check the backend contains data for this session id.
     *
     * Note: this is intended to be called from manager::session_exists() only.
     *
     * @param string $sid
     * @return bool true if session found.
     */
    public function session_exists($sid) {
        if (!$this->connection) {
            return false;
        }

        try {
            return !empty($this->connection->exists($sid));
        } catch (RedisException $e) {
            return false;
        }
    }

    /**
     * Kill all active sessions, the core sessions table is purged afterwards.
     */
    public function kill_all_sessions() {
        global $DB;
        if (!$this->connection) {
            return;
        }

        $rs = $DB->get_recordset('sessions', array(), 'id DESC', 'id, sid');
        foreach ($rs as $record) {
            $this->handler_destroy($record->sid);
        }
        $rs->close();
    }

    /**
     * Kill one session, the session record is removed afterwards.
     *
     * @param string $sid
     */
    public function kill_session($sid) {
        if (!$this->connection) {
            return;
        }

        $this->handler_destroy($sid);
    }
}