Merge pull request #176 from mlemanczyk/codex/replace-concurrentdictionary-with-dictionary-and-lock

Refine primality caching and small factor loop
This commit is contained in:
Marek Lemańczyk authored and GitHub committed 2025-10-16 21:54:29 +02:00
commit 806dc96f8c
1 file changed
+67 -23
+67 -23
View File
@@ -5,8 +5,8 @@ using System.Diagnostics;
using System.Numerics; using System.Numerics;
using System.Runtime.CompilerServices; using System.Runtime.CompilerServices;
using System.Runtime.InteropServices; using System.Runtime.InteropServices;
using System.Threading;
using PerfectNumbers.Core.Gpu; using PerfectNumbers.Core.Gpu;
using System.Collections.Concurrent;
namespace PerfectNumbers.Core; namespace PerfectNumbers.Core;
@@ -787,14 +787,66 @@ internal static partial class PrimeOrderCalculator
} }
// [ThreadStatic] // [ThreadStatic]
private static ConcurrentDictionary<ulong, bool>? _primalityCache = []; private static Dictionary<ulong, bool>? _primalityCache;
private static readonly ReaderWriterLockSlim _primalityCacheLock = new(LockRecursionPolicy.NoRecursion);
// [ThreadStatic] // [ThreadStatic]
// private static UInt128 _isPrimeHits; // private static UInt128 _isPrimeHits;
private static bool TryGetCachedPrimality(ulong value, out bool isPrime)
{
_primalityCacheLock.EnterReadLock();
try
{
Dictionary<ulong, bool>? cache = _primalityCache;
if (cache is null)
{
isPrime = default;
return false;
}
return cache.TryGetValue(value, out isPrime);
}
finally
{
_primalityCacheLock.ExitReadLock();
}
}
private static void CachePrimalityResult(ulong value, bool isPrime)
{
_primalityCacheLock.EnterWriteLock();
try
{
Dictionary<ulong, bool>? cache = _primalityCache;
if (cache is null)
{
cache = new Dictionary<ulong, bool>();
_primalityCache = cache;
}
cache[value] = isPrime;
}
finally
{
_primalityCacheLock.ExitWriteLock();
}
}
private static bool GetOrComputePrimality(ulong value)
{
if (TryGetCachedPrimality(value, out bool isPrime))
{
return isPrime;
}
isPrime = Open.Numeric.Primes.Prime.Numbers.IsPrime(value);
CachePrimalityResult(value, isPrime);
return isPrime;
}
private static PartialFactorResult PartialFactor(ulong value, in PrimeOrderSearchConfig config) private static PartialFactorResult PartialFactor(ulong value, in PrimeOrderSearchConfig config)
{ {
var primalityCache = _primalityCache;// ??= [];
if (value <= 1UL) if (value <= 1UL)
{ {
return PartialFactorResult.Empty; return PartialFactorResult.Empty;
@@ -865,16 +917,7 @@ internal static partial class PrimeOrderCalculator
// continue; // continue;
// } // }
if (!primalityCache!.TryGetValue(composite, out bool isPrime)) bool isPrime = GetOrComputePrimality(composite);
{
// Console.WriteLine($"Checking composite {composite}");
isPrime = Open.Numeric.Primes.Prime.Numbers.IsPrime(composite);
_ = primalityCache.TryAdd(composite, isPrime);
}
// else
// {
// Console.WriteLine($"isPrimeHits = {++_isPrimeHits}");
// }
if (isPrime) if (isPrime)
{ {
@@ -906,12 +949,8 @@ internal static partial class PrimeOrderCalculator
for (int i = 0; i < pendingCount; i++) for (int i = 0; i < pendingCount; i++)
{ {
ulong composite = pending[i]; ulong composite = pending[i];
if (!primalityCache!.TryGetValue(composite, out bool isPrime)) bool isPrime = GetOrComputePrimality(composite);
{
// Console.WriteLine($"Checking composite {composite}");
isPrime = Open.Numeric.Primes.Prime.Numbers.IsPrime(composite);
_ = primalityCache.TryAdd(composite, isPrime);
}
if (isPrime) if (isPrime)
{ {
AddFactorToCollector(ref useDictionary, ref counts, primeSlots, exponentSlots, ref factorCount, composite, 1); AddFactorToCollector(ref useDictionary, ref counts, primeSlots, exponentSlots, ref factorCount, composite, 1);
@@ -1166,14 +1205,19 @@ internal static partial class PrimeOrderCalculator
continue; continue;
} }
// TODO: Can we calculate this using residue stepping? We can try reusing modulo calculation for division result or the other way around // Use DivRem to reuse a single division for the quotient and remainder.
int exponent = 0; int exponent = 0;
do while (true)
{ {
remainingLocal /= primeCandidate; ulong quotient = Math.DivRem(remainingLocal, primeCandidate, out ulong divisionRemainder);
if (divisionRemainder != 0UL)
{
break;
}
remainingLocal = quotient;
exponent++; exponent++;
} }
while ((remainingLocal % primeCandidate) == 0UL);
if (factorCount >= capacity) if (factorCount >= capacity)
{ {