Make MutableUInt128 a struct and reuse it in Pollard Rho

This commit is contained in:
Marek Lemańczyk committed 2025-10-11 23:13:17 +02:00
1 parent 9d62278bb3
commit 60c8dbf6d6
2 files changed
+74 -16

No files matched your search

+66 -13
View File
@@ -1,5 +1,6 @@
using System; using System;
using System.Numerics; using System.Numerics;
using System.Runtime.CompilerServices;
namespace PerfectNumbers.Core; namespace PerfectNumbers.Core;
@@ -7,17 +8,14 @@ namespace PerfectNumbers.Core;
/// Mutable helper for 128-bit arithmetic derived from the .NET runtime UInt128 implementation. /// Mutable helper for 128-bit arithmetic derived from the .NET runtime UInt128 implementation.
/// Portions adapted from https://github.com/dotnet/runtime/blob/v8.0.0/src/libraries/System.Private.CoreLib/src/System/UInt128.cs. /// Portions adapted from https://github.com/dotnet/runtime/blob/v8.0.0/src/libraries/System.Private.CoreLib/src/System/UInt128.cs.
/// </summary> /// </summary>
internal sealed class MutableUInt128 internal struct MutableUInt128
{ {
public ulong High { get; private set; } public ulong High;
public ulong Low { get; private set; } public ulong Low;
public MutableUInt128()
{
}
public MutableUInt128(ulong value) public MutableUInt128(ulong value)
{ {
High = 0UL;
Low = value; Low = value;
} }
@@ -29,23 +27,35 @@ internal sealed class MutableUInt128
public MutableUInt128(UInt128 value) public MutableUInt128(UInt128 value)
{ {
Set(value); High = (ulong)(value >> 64);
Low = (ulong)value;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Set(ulong value)
{
High = 0UL;
Low = value;
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Set(UInt128 value) public void Set(UInt128 value)
{ {
High = (ulong)(value >> 64); High = (ulong)(value >> 64);
Low = (ulong)value; Low = (ulong)value;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Set(ulong high, ulong low) public void Set(ulong high, ulong low)
{ {
High = high; High = high;
Low = low; Low = low;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public UInt128 ToUInt128() => ((UInt128)High << 64) | Low; public UInt128 ToUInt128() => ((UInt128)High << 64) | Low;
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Add(ulong value) public void Add(ulong value)
{ {
ulong low = Low + value; ulong low = Low + value;
@@ -57,6 +67,7 @@ internal sealed class MutableUInt128
Low = low; Low = low;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Add(in MutableUInt128 value) public void Add(in MutableUInt128 value)
{ {
ulong low = Low + value.Low; ulong low = Low + value.Low;
@@ -67,6 +78,7 @@ internal sealed class MutableUInt128
High = high; High = high;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Subtract(ulong value) public void Subtract(ulong value)
{ {
ulong low = Low; ulong low = Low;
@@ -77,6 +89,7 @@ internal sealed class MutableUInt128
High -= borrow; High -= borrow;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Subtract(in MutableUInt128 value) public void Subtract(in MutableUInt128 value)
{ {
ulong low = Low; ulong low = Low;
@@ -87,22 +100,62 @@ internal sealed class MutableUInt128
High = High - value.High - borrow; High = High - value.High - borrow;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void Multiply(ulong value) public void Multiply(ulong value)
{ {
ulong high = High; ulong currentHigh = High;
ulong low = Low; ulong currentLow = Low;
ulong highContribution = Math.BigMul(low, value, out ulong newLow); ulong carry = Multiply64(currentLow, value, out ulong newLow);
Math.BigMul(high, value, out ulong shiftedHigh); Multiply64(currentHigh, value, out ulong shiftedHigh);
ulong newHigh = shiftedHigh + highContribution; ulong newHigh = shiftedHigh + carry;
Low = newLow; Low = newLow;
High = newHigh; High = newHigh;
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
private static ulong Multiply64(ulong left, ulong right, out ulong low)
{
const ulong Mask32 = 0xFFFF_FFFFUL;
ulong leftLow = left & Mask32;
ulong leftHigh = left >> 32;
ulong rightLow = right & Mask32;
ulong rightHigh = right >> 32;
ulong lowLow = leftLow * rightLow;
ulong lowHigh = leftLow * rightHigh;
ulong highLow = leftHigh * rightLow;
ulong highHigh = leftHigh * rightHigh;
ulong carry = (lowLow >> 32) + (lowHigh & Mask32) + (highLow & Mask32);
ulong high = highHigh + (lowHigh >> 32) + (highLow >> 32) + (carry >> 32);
low = ((carry & Mask32) << 32) | (lowLow & Mask32);
return high;
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public void MultiplyAdd(ulong multiplier, ulong addend) public void MultiplyAdd(ulong multiplier, ulong addend)
{ {
Multiply(multiplier); Multiply(multiplier);
Add(addend); Add(addend);
} }
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public ulong Mod(ulong modulus)
{
if (modulus == 0UL)
{
throw new DivideByZeroException();
}
if (High == 0UL)
{
return Low % modulus;
}
return (ulong)(ToUInt128() % modulus);
}
} }
+8 -3
View File
@@ -1,7 +1,6 @@
using System.Buffers; using System.Buffers;
using System.Buffers.Binary; using System.Buffers.Binary;
using System.Diagnostics; using System.Diagnostics;
using System.Numerics;
using System.Runtime.CompilerServices; using System.Runtime.CompilerServices;
using System.Runtime.InteropServices; using System.Runtime.InteropServices;
using PerfectNumbers.Core.Gpu; using PerfectNumbers.Core.Gpu;
@@ -73,6 +72,9 @@ internal static partial class PrimeOrderCalculator
[ThreadStatic] [ThreadStatic]
private static int s_divisorCycleSuppressionDepth; private static int s_divisorCycleSuppressionDepth;
[ThreadStatic]
private static MutableUInt128 s_pollardRhoPolynomialBuffer;
private static bool IsGpuHeuristicDevice => s_pow2ModeInitialized && s_deviceMode == PrimeOrderHeuristicDevice.Gpu; private static bool IsGpuHeuristicDevice => s_pow2ModeInitialized && s_deviceMode == PrimeOrderHeuristicDevice.Gpu;
private readonly struct Pow2ModeScope private readonly struct Pow2ModeScope
@@ -1326,8 +1328,11 @@ internal static partial class PrimeOrderCalculator
[MethodImpl(MethodImplOptions.AggressiveInlining)] [MethodImpl(MethodImplOptions.AggressiveInlining)]
private static ulong AdvancePolynomial(ulong x, ulong c, ulong modulus) private static ulong AdvancePolynomial(ulong x, ulong c, ulong modulus)
{ {
UInt128 value = (UInt128)x * x + c; ref MutableUInt128 polynomial = ref s_pollardRhoPolynomialBuffer;
return (ulong)(value % modulus); polynomial.Set(x);
polynomial.Multiply(x);
polynomial.Add(c);
return polynomial.Mod(modulus);
} }
private static ulong BinaryGcd(ulong a, ulong b) private static ulong BinaryGcd(ulong a, ulong b)