RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 1414722
Accepted
aepot
aepot
Asked:2022-07-29 03:51:32 +0000 UTC2022-07-29 03:51:32 +0000 UTC 2022-07-29 03:51:32 +0000 UTC

伪随机数生成器“Mersenne Vortex” - SIMD 实现

  • 772

我需要一个分布良好且周期长的高质量 HRNG。现存最流行的是梅森漩涡。

我从 C 的作者SFMT 1.5.1那里获取了 SIMD实现, 并用 C# (.NET 6) 重写了它。

抱歉,游戏开发者,这个版本的 Whirlwind 与 Unity 不兼容,不容易修改,我们必须等到 Unity 本身切换到 CoreCLR 和 .NET 6。:(

完成了以下任务:

  • 处理器必须支持 SSE2,无回退
  • 支持静态成员级别的线程安全
  • 与公众成员的行为兼容System.Random
  • 没有零种病
  • 让它尽可能简单
  • 面向 x64 应用程序
/// <summary>
/// Генератор псевдослучайных чисел на основе алгоритма Вихрь Мерсенна
/// Конфигурация: SFMT-19937:122-18-1-11-1:dfffffef-ddfecb7f-bffaffff-bffffff6
/// </summary>
public class MersenneTwister
{
    const int MersenneExponent = 19937;
    const int Length128 = MersenneExponent / 128 + 1;
    const int Length32 = Length128 * 4;

    private readonly Vector128<uint>[] state = new Vector128<uint>[Length128];
    private int index;

    [ThreadStatic]
    private static MersenneTwister _shared;

    /// <summary>
    /// Общий экземпляр генератора, создается отдельно для каждого потока
    /// </summary>
    public static MersenneTwister Shared => _shared ??= new(GetRandomSeed());

    /// <summary>
    /// Создает экземпляр генератора со случайным сидом
    /// </summary>
    public MersenneTwister() 
    {
        InitGenerator(Shared.NextUInt32());
    }

    /// <summary>
    /// Создает экземпляр генератора с указанным сидом
    /// </summary>
    /// <param name="seed">Сид для создания генератора</param>
    public MersenneTwister(int seed) : this((uint)seed) { }

    private MersenneTwister(uint seed)
    {
        InitGenerator(seed);
    }

    private static uint GetRandomSeed()
    {
        ReadOnlySpan<byte> bytes = Guid.NewGuid().ToByteArray();
        ReadOnlySpan<uint> hash = MemoryMarshal.Cast<byte, uint>(SHA256.HashData(bytes));
        uint result = 0;
        foreach (uint value in hash)
            result ^= value;
        return result;
    }

    private void InitGenerator(uint seed)
    {
        if (!Sse2.IsSupported)
            throw new InvalidOperationException("SSE2 не поддерживается на данном устройстве.");

        Span<uint> values = MemoryMarshal.Cast<Vector128<uint>, uint>(state);
        values[0] = seed;
        for (int i = 1; i < Length32; i++)
        {
            values[i] = (uint)(1812433253UL * (values[i - 1] ^ (values[i - 1] >> 30)) + (uint)i);
        }
        index = Length32;
        PeriodCertification(values);
    }

    private void PeriodCertification(Span<uint> values)
    {
        uint inner = 0;
        ReadOnlySpan<uint> parity = stackalloc uint[] { 0x00000001U, 0x00000000U, 0x00000000U, 0x13c9e684U };

        for (int i = 0; i < 4; i++)
            inner ^= values[i] & parity[i];
        for (int i = 16; i > 0; i >>= 1)
            inner ^= inner >> i;
        inner &= 1;

        if (inner == 1)
            return;

        for (int i = 0; i < 4; i++)
        {
            for (uint work = 1; work != 0; work <<= 1)
            {
                if ((work & parity[i]) != 0)
                {
                    values[i] ^= work;
                    return;
                }
            }
        }
    }

    private void UpdateState()
    {
        const int offset = 122;
        int i;
        Vector128<uint> r1 = state[^2];
        Vector128<uint> r2 = state[^1];
        for (i = 0; i < Length128 - offset; i++)
        {
            state[i] = DoRecursion(state[i], state[i + offset], r1, r2);
            r1 = r2;
            r2 = state[i];
        }
        for (; i < Length128; i++)
        {
            state[i] = DoRecursion(state[i], state[i + offset - Length128], r1, r2);
            r1 = r2;
            r2 = state[i];
        }
    }

    private Vector128<uint> DoRecursion(Vector128<uint> a, Vector128<uint> b, Vector128<uint> c, Vector128<uint> d)
    {
        Vector128<uint> z = Sse2.ShiftRightLogical128BitLane(c, 1);
        z = Sse2.Xor(z, a);
        Vector128<uint> v = Sse2.ShiftLeftLogical(d, 18);
        z = Sse2.Xor(z, v);
        Vector128<uint> x = Sse2.ShiftLeftLogical128BitLane(a, 1);
        z = Sse2.Xor(z, x);
        Vector128<uint> y = Sse2.ShiftRightLogical(b, 11);
        Vector128<uint> mask = Vector128.Create(0xdfffffefU, 0xddfecb7fU, 0xbffaffffU, 0xbffffff6U);
        y = Sse2.And(y, mask);
        return Sse2.Xor(z, y);
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,ulong.MaxValue]
    /// </summary>
    public ulong NextUInt64()
    {
        if (index >= Length32)
        {
            UpdateState();
            index = 0;
        }
        Span<ulong> values = MemoryMarshal.Cast<Vector128<uint>, ulong>(state);
        ulong r = values[index / 2];
        index += 2;
        return r;
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,uint.MaxValue]
    /// </summary>
    public uint NextUInt32()
    {
        if (index >= Length32)
        {
            UpdateState();
            index = 0;
        }
        Span<uint> values = MemoryMarshal.Cast<Vector128<uint>, uint>(state);
        return values[index++];
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,int.MaxValue)
    /// </summary>
    public int Next()
    {
        return (int)(((ulong)int.MaxValue * NextUInt32()) >> 32);
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,maxValue)
    /// </summary>
    public int Next(int maxValue)
    {
        if (maxValue <= 0)
            throw new ArgumentOutOfRangeException(nameof(maxValue), "Значение должно быть больше 0.");

        return (int)(((ulong)maxValue * NextUInt32()) >> 32);
    }

    /// <summary>
    /// Возвращает число в диапазоне [minValue,maxValue)
    /// </summary>
    public int Next(int minValue, int maxValue)
    {
        if (minValue < 0)
            throw new ArgumentOutOfRangeException(nameof(minValue), "Значение должно быть больше либо равно 0.");
        if (maxValue <= minValue)
            throw new ArgumentOutOfRangeException(nameof(maxValue), $"Значение должно быть больше, чем {nameof(minValue)}.");

        return (int)(((ulong)(maxValue - minValue) * NextUInt32()) >> 32) + minValue;
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,long.MaxValue)
    /// </summary>
    public long NextInt64()
    {
        return (long)(((BigInteger)long.MaxValue * NextUInt64()) >> 64);
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,maxValue)
    /// </summary>
    public long NextInt64(long maxValue)
    {
        if (maxValue <= 0)
            throw new ArgumentOutOfRangeException(nameof(maxValue), "Значение должно быть больше 0.");

        return (long)(((BigInteger)maxValue * NextUInt64()) >> 64);
    }

    /// <summary>
    /// Возвращает число в диапазоне [minValue,maxValue)
    /// </summary>
    public long NextInt64(long minValue, long maxValue)
    {
        if (minValue < 0)
            throw new ArgumentOutOfRangeException(nameof(minValue), "Значение должно быть больше либо равно 0.");
        if (maxValue <= minValue)
            throw new ArgumentOutOfRangeException(nameof(maxValue), $"Значение должно быть больше, чем {nameof(minValue)}.");

        return (long)(((BigInteger)(maxValue - minValue) * NextUInt64()) >> 64) + minValue;
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,1)
    /// </summary>
    public double NextDouble()
    {
        return (NextUInt64() >> 11) / 9007199254740992.0; // 2^53
    }

    /// <summary>
    /// Возвращает число в диапазоне [0,1)
    /// </summary>
    public float NextSingle()
    {
        return (NextUInt32() >> 8) / 16777216.0f; // 2^24
    }
}

它很容易使用,如下所示:

static void Main(string[] args)
{
    MersenneTwister mt = new MersenneTwister();
    int randomNumber = mt.Next(10);
    Console.WriteLine(randomNumber);

    Console.ReadKey();
}

性能方面,不错,我就不给数字System.Random了.

它在同一个种子上产生相同的数字序列,就像SFMT 1.5.1在 C 中的原始开发一样,也就是说,这里的计算也一切正常。

从System.Random没有开始被继承,因为不想拉它的内部逻辑。而且由于他自己System.Random没有实现任何东西(他们可能已经为它附加了这么多年的接口),我没有看到联系他的意义。

请看看我在公共方法的转换中是否一切正常,以及我是否对种子太聪明了。或者可能需要调整以使其更快?

c# инспекция-кода
  • 1 1 个回答
  • 125 Views

1 个回答

  • Voted
  1. Best Answer
    aepot
    2022-07-31T17:21:22Z2022-07-31T17:21:22Z
    • 固定字段命名。
    • 优化然后销毁PeriodCertification。弗默日尔他的遗体在InitGenerator。
    • 修复了NextUInt64(), 较早生成时的奇数索引错误,ulong如果之前有一代uint并且索引仍然是奇数,那么新的旧部分会ulong重复先前给定的uint数字。
    /// <summary>
    /// Генератор псевдослучайных чисел на основе алгоритма Вихрь Мерсенна
    /// Конфигурация: SFMT-19937:122-18-1-11-1:dfffffef-ddfecb7f-bffaffff-bffffff6
    /// </summary>
    public class MersenneTwister
    {
        private const int MersenneExponent = 19937;
        private const int Length128 = MersenneExponent / 128 + 1;
        private const int Length32 = Length128 * 4;
    
        private readonly Vector128<uint>[] _state = new Vector128<uint>[Length128];
        private int _index;
    
        [ThreadStatic]
        private static MersenneTwister _shared;
    
        /// <summary>
        /// Общий экземпляр генератора, создается отдельно для каждого потока
        /// </summary>
        public static MersenneTwister Shared => _shared ??= new(GetRandomSeed());
    
        /// <summary>
        /// Создает экземпляр генератора со случайным сидом
        /// </summary>
        public MersenneTwister() : this(Shared.NextUInt32()) { }
    
        /// <summary>
        /// Создает экземпляр генератора с указанным сидом
        /// </summary>
        /// <param name="seed">Сид для создания генератора</param>
        public MersenneTwister(int seed) : this((uint)seed) { }
    
        private MersenneTwister(uint seed)
        {
            InitGenerator(seed);
        }
    
        private static uint GetRandomSeed()
        {
            ReadOnlySpan<byte> bytes = Guid.NewGuid().ToByteArray();
            ReadOnlySpan<uint> hash = MemoryMarshal.Cast<byte, uint>(SHA256.HashData(bytes));
            uint result = 0;
            foreach (uint value in hash)
                result ^= value;
            return result;
        }
    
        private void InitGenerator(uint seed)
        {
            if (!Sse2.IsSupported)
                throw new InvalidOperationException("SSE2 не поддерживается на данном устройстве.");
    
            Span<uint> values = MemoryMarshal.Cast<Vector128<uint>, uint>(_state);
            values[0] = seed;
            for (int i = 1; i < Length32; i++)
            {
                values[i] = (uint)(1812433253ul * (values[i - 1] ^ (values[i - 1] >> 30)) + (uint)i);
            }
            _index = Length32;
    
            Vector128<uint> parity = Vector128.Create(0x00000001u, 0x00000000u, 0x00000000u, 0x13c9e684u);
            Vector128<uint> v = Sse2.And(_state[0], parity);
    
            uint inner = 0;
            for (int i = 0; i < 4; i++)
                inner ^= v.GetElement(i);
            for (int i = 16; i > 0; i >>= 1)
                inner ^= inner >> i;
    
            if ((inner & 1) == 0)
                values[0] ^= 1;
        }
    
        private void UpdateState()
        {
            const int offset = 122;
            Vector128<uint> r1 = _state[^2];
            Vector128<uint> r2 = _state[^1];
            int i = 0;
            for (; i < Length128 - offset; i++)
            {
                _state[i] = DoRecursion(_state[i], _state[i + offset], r1, r2);
                r1 = r2;
                r2 = _state[i];
            }
            for (; i < Length128; i++)
            {
                _state[i] = DoRecursion(_state[i], _state[i + offset - Length128], r1, r2);
                r1 = r2;
                r2 = _state[i];
            }
        }
    
        private Vector128<uint> DoRecursion(Vector128<uint> a, Vector128<uint> b, Vector128<uint> c, Vector128<uint> d)
        {
            Vector128<uint> z = Sse2.ShiftRightLogical128BitLane(c, 1);
            z = Sse2.Xor(z, a);
            Vector128<uint> v = Sse2.ShiftLeftLogical(d, 18);
            z = Sse2.Xor(z, v);
            Vector128<uint> x = Sse2.ShiftLeftLogical128BitLane(a, 1);
            z = Sse2.Xor(z, x);
            Vector128<uint> y = Sse2.ShiftRightLogical(b, 11);
            Vector128<uint> mask = Vector128.Create(0xdfffffefu, 0xddfecb7fu, 0xbffaffffu, 0xbffffff6u);
            y = Sse2.And(y, mask);
            return Sse2.Xor(z, y);
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,ulong.MaxValue]
        /// </summary>
        public ulong NextUInt64()
        {
            if ((_index & 1) == 1)
                _index++;
            if (_index >= Length32)
            {
                UpdateState();
                _index = 0;
            }
            Span<ulong> values = MemoryMarshal.Cast<Vector128<uint>, ulong>(_state);
            ulong r = values[_index >> 1];
            _index += 2;
            return r;
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,uint.MaxValue]
        /// </summary>
        public uint NextUInt32()
        {
            if (_index >= Length32)
            {
                UpdateState();
                _index = 0;
            }
            Span<uint> values = MemoryMarshal.Cast<Vector128<uint>, uint>(_state);
            return values[_index++];
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,int.MaxValue)
        /// </summary>
        public int Next()
        {
            return (int)(((ulong)int.MaxValue * NextUInt32()) >> 32);
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,maxValue)
        /// </summary>
        public int Next(int maxValue)
        {
            if (maxValue <= 0)
                throw new ArgumentOutOfRangeException(nameof(maxValue), "Значение должно быть больше 0.");
    
            return (int)(((ulong)maxValue * NextUInt32()) >> 32);
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [minValue,maxValue)
        /// </summary>
        public int Next(int minValue, int maxValue)
        {
            if (minValue < 0)
                throw new ArgumentOutOfRangeException(nameof(minValue), "Значение должно быть больше либо равно 0.");
            if (maxValue <= minValue)
                throw new ArgumentOutOfRangeException(nameof(maxValue), $"Значение должно быть больше, чем {nameof(minValue)}.");
    
            return (int)(((ulong)(maxValue - minValue) * NextUInt32()) >> 32) + minValue;
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,long.MaxValue)
        /// </summary>
        public long NextInt64()
        {
            return (long)(((BigInteger)long.MaxValue * NextUInt64()) >> 64);
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,maxValue)
        /// </summary>
        public long NextInt64(long maxValue)
        {
            if (maxValue <= 0)
                throw new ArgumentOutOfRangeException(nameof(maxValue), "Значение должно быть больше 0.");
    
            return (long)(((BigInteger)maxValue * NextUInt64()) >> 64);
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [minValue,maxValue)
        /// </summary>
        public long NextInt64(long minValue, long maxValue)
        {
            if (minValue < 0)
                throw new ArgumentOutOfRangeException(nameof(minValue), "Значение должно быть больше либо равно 0.");
            if (maxValue <= minValue)
                throw new ArgumentOutOfRangeException(nameof(maxValue), $"Значение должно быть больше, чем {nameof(minValue)}.");
    
            return (long)(((BigInteger)(maxValue - minValue) * NextUInt64()) >> 64) + minValue;
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,1)
        /// </summary>
        public double NextDouble()
        {
            return (NextUInt64() >> 11) / 9007199254740992.0; // 2^53
        }
    
        /// <summary>
        /// Возвращает число в диапазоне [0,1)
        /// </summary>
        public float NextSingle()
        {
            return (NextUInt32() >> 8) / 16777216.0f; // 2^24
        }
    }
    

    在这个阶段,我将保持原样,这里没有什么可以优化的。

    • 0

相关问题

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    我看不懂措辞

    • 1 个回答
  • Marko Smith

    请求的模块“del”不提供名为“default”的导出

    • 3 个回答
  • Marko Smith

    "!+tab" 在 HTML 的 vs 代码中不起作用

    • 5 个回答
  • Marko Smith

    我正在尝试解决“猜词”的问题。Python

    • 2 个回答
  • Marko Smith

    可以使用哪些命令将当前指针移动到指定的提交而不更改工作目录中的文件?

    • 1 个回答
  • Marko Smith

    Python解析野莓

    • 1 个回答
  • Marko Smith

    问题:“警告:检查最新版本的 pip 时出错。”

    • 2 个回答
  • Marko Smith

    帮助编写一个用值填充变量的循环。解决这个问题

    • 2 个回答
  • Marko Smith

    尽管依赖数组为空,但在渲染上调用了 2 次 useEffect

    • 2 个回答
  • Marko Smith

    数据不通过 Telegram.WebApp.sendData 发送

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5