mt_srand()で同一のランダムシードを与えているのに、mt_rand()で同一の値が返らないタイミングがあるっぽい現象に遭遇したので、調査のためにラッパークラスを作成した。

random.php

<?php
 
class Random
{
    private static $cnt;
    
    public static function init($seed)
    {
        mt_srand($seed);
        self::$cnt = 0;
    }
    
    public static function get($min, $max)
    {
        $ret = mt_rand($min, $max);
        self::$cnt++;
        Log::debug("Random::get() return {$ret}, cnt:".self::$cnt);
        return $ret;
    }
}