Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Optimize BigInteger.Parse #97589

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 25 commits into from
Jul 3, 2024
Merged

Optimize BigInteger.Parse #97589

Changes from 1 commit
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
ed7fcbf
Optimize NumberToBigInteger
kzrnm Jan 27, 2024
cfabb12
DisableParallelization
kzrnm Jan 19, 2024
b449f90
Trailing zero
kzrnm Feb 1, 2024
15f9b4a
Fix assertion
kzrnm Feb 2, 2024
58dd869
Recursive parse
kzrnm Feb 5, 2024
da5402f
Skip trailing zeros
kzrnm Feb 15, 2024
1f4722c
Shrink PowersOf1e9
kzrnm Feb 15, 2024
9a7f04d
OmittedLength
kzrnm Feb 16, 2024
64d30c1
pre-calculate 1000000000^(1<<5)
kzrnm Feb 16, 2024
6ce0f7e
Move PowersOf1e9
kzrnm Feb 17, 2024
9435597
fix
kzrnm Feb 18, 2024
742951b
Fix large case
kzrnm Feb 18, 2024
dd7d3c6
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm Mar 22, 2024
fd0860e
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm Mar 28, 2024
d6918b2
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm Apr 23, 2024
0e05fc9
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm May 5, 2024
8ddb8e0
public
kzrnm May 5, 2024
7c53834
Use PowersOf1e9.MaxPartialDigits, PowersOf1e9.TenPowMaxPartial
kzrnm May 6, 2024
573fb68
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm May 12, 2024
7568c5b
Remove NumberBufferToBigInteger
kzrnm May 12, 2024
456bf8e
intDigits
kzrnm May 12, 2024
535b59a
Use BigInteger(ReadOnlySpan<uint> value, bool negative)
kzrnm May 12, 2024
29747f2
base1E9
kzrnm May 14, 2024
f01a779
Remove RecursiveLarge
kzrnm May 14, 2024
3043545
Merge branch 'main' into BigIntegerParsePowOf10
kzrnm Jul 2, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Skip trailing zeros
  • Loading branch information
@kzrnm
kzrnm committed Mar 18, 2024
commit da5402fb208063fdbe4b9a6e6e94bcfa4cd80d55
27 changes: 22 additions & 5 deletions src/libraries/System.Runtime.Numerics/src/System/Number.BigInteger.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -732,6 +732,10 @@ static void Recursive(in PowersOf1e9 powersOf1e9, ReadOnlySpan<byte> digits, Spa
ReadOnlySpan<uint> multiplier = powersOf1e9.GetSpan(log2);
Span<uint> bitsUpper = bits.Slice(0, upperBuffer.Length + multiplier.Length);

int multiplierTrailingZeroCountUInt32 = (MaxPartialDigits * (1 << log2)) >> 5;
multiplier = multiplier.Slice(multiplierTrailingZeroCountUInt32);
bitsUpper = bitsUpper.Slice(multiplierTrailingZeroCountUInt32);

if (multiplier.Length < upperBuffer.Length)
BigIntegerCalculator.Multiply(upperBuffer, multiplier, bitsUpper);
else
Expand Down Expand Up @@ -962,7 +966,6 @@ public void CalculatePowerOfTen(int trailingZeroCount, Span<uint> bits)
Debug.Assert(bits.Length > unchecked((int)(0.934292276687070661 / 9 * trailingZeroCount)) + 1);
Debug.Assert(trailingZeroCount >= 0);


int trailingPartialCount = Math.DivRem(trailingZeroCount, MaxPartialDigits, out int remainingTrailingZeroCount);

if (trailingPartialCount == 0)
Expand All @@ -987,7 +990,7 @@ public void CalculatePowerOfTen(int trailingZeroCount, Span<uint> bits)
else
bits2 = default;

int curLength;
int curLength, curTrailingZeroCount;
scoped Span<uint> curBits, otherBits;

if ((popCount & 1) != 0)
Expand All @@ -1007,6 +1010,7 @@ public void CalculatePowerOfTen(int trailingZeroCount, Span<uint> bits)
ReadOnlySpan<uint> first = GetSpan(fi);
first.CopyTo(curBits);
curLength = first.Length;
curTrailingZeroCount = MaxPartialDigits * (1 << fi);
trailingPartialCount >>= fi;
trailingPartialCount >>= 1;
}
Expand All @@ -1018,10 +1022,23 @@ public void CalculatePowerOfTen(int trailingZeroCount, Span<uint> bits)
if ((trailingPartialCount & 1) != 0)
{
ReadOnlySpan<uint> power = GetSpan(i);

Span<uint> src = curBits.Slice(0, curLength);
Span<uint> dst = otherBits.Slice(0, curLength += power.Length);
BigIntegerCalculator.Multiply(power, src, dst);

int powerTrailingZeroCount = MaxPartialDigits * (1 << i);
int powerTrailingZeroCountUInt32 = powerTrailingZeroCount >> 5;
int curTrailingZeroCountUInt32 = curTrailingZeroCount >> 5;

Debug.Assert(powerTrailingZeroCountUInt32 < power.Length
&& power.Slice(0, powerTrailingZeroCountUInt32).Trim(0u).Length == 0
&& power[powerTrailingZeroCountUInt32] != 0);
Debug.Assert(curTrailingZeroCountUInt32 < src.Length
&& src.Slice(0, curTrailingZeroCountUInt32).Trim(0u).Length == 0
&& src[curTrailingZeroCountUInt32] != 0);

BigIntegerCalculator.Multiply(power.Slice(powerTrailingZeroCountUInt32), src.Slice(curTrailingZeroCountUInt32), dst.Slice(powerTrailingZeroCountUInt32 + curTrailingZeroCountUInt32));

curTrailingZeroCount += powerTrailingZeroCount;

Span<uint> tmp = curBits;
curBits = otherBits;
Expand All @@ -1039,7 +1056,7 @@ public void CalculatePowerOfTen(int trailingZeroCount, Span<uint> bits)
curBits = curBits.Slice(0, curLength);
uint multiplier = UInt32PowersOfTen[remainingTrailingZeroCount];
uint carry = 0;
for (int i = 0; i < curBits.Length; i++)
for (int i = (curTrailingZeroCount >> 5); i < curBits.Length; i++)
{
ulong p = (ulong)multiplier * curBits[i] + carry;
curBits[i] = (uint)p;
Expand Down