RunWithFakeThreshold with DisableParallelization (#103423)

dotnet · Aug 12, 2024 · 44b4d33 · 44b4d33
1 parent 6e440de
commit 44b4d33
Show file tree

Hide file tree

Showing 2 changed files with 66 additions and 61 deletions.
diff --git a/src/libraries/System.Runtime.Numerics/tests/BigInteger/modpow.cs b/src/libraries/System.Runtime.Numerics/tests/BigInteger/modpow.cs
@@ -139,13 +139,6 @@ public static void ModPow1Large2SmallInt()
  }
  }
 
- [Fact]
- public static void ModPow1Large2SmallInt_Threshold()
- {
- // Again, with lower threshold
- BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, ModPow1Large2SmallInt);
- }
-
  [Fact]
  public static void ModPow2Large1SmallInt()
  {
@@ -163,44 +156,6 @@ public static void ModPow2Large1SmallInt()
  }
  }
 
- [Fact]
- public static void ModPow2Large1SmallInt_Threshold()
- {
- // Again, with lower threshold
- BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, ModPow2Large1SmallInt);
- }
-
- // InlineData randomly generated using a new Random(0) and the same logic as is used in MyBigIntImp
- // When using the VerifyModPowString approach, these tests were taking over 100s to execute.
- [Theory]
- [OuterLoop]
- [InlineData("16152447169612934532253858872860101823992426489763666485380167221632010974596350526903901586786157942589749704137347759619657187784260082814484793173551647870373927196771852", "81750440863317178198977948957223170296434385667401518194303765341584160931262254891905182291359611229458113456891057547210603179481274334549407149567413965138338569615186383", "-7196805437625531929619339290119232497987723600413951949478998858079935202962418871178150151495255147489121599998392939293913217145771279946557062800866475934948778", "5616380469802854111883204613624062553120851412450654399190717359559254034938493684003207209263083893212739965150170342564431867389596229480294680122528026782956958")]
- [InlineData("-19804882257271871615998867413310154569092691610863183900352723872936597192840601413521317416195627481021453523098672122338092864102790996172", "5005126326020660905045117276428380928616741884628331700680598638081087432348216495484429178211470872172882902036752474804904132643", "-103139435102033366056363338063498713727200190198435", "-4559679593639479333979462122256288215243720737403")]
- [InlineData("-2263742881720266366742488789295767051326353176981812961528848101545308514727342989711034207353102864275894987436688194776201313772226059035143797121004935923223042331190890429211181925543749113890129660515170733848725", "313166794469483345944045915670847620773229708424183728974404367769353433443313247319899209581239311758905801464781585268041623664425", "3984523819293796257818294503433333109083365267654089093971156331037874112339941681299823291492643701164442964256327008451060278818307268485187524722068240", "-1502346344475556570236985614111713440763176490652894928852811056060906839905964408583918853958610145894621840382970373570196361549098246030413222124498085")]
- [InlineData("-342701069914551895507647608205424602441707687704978754182486401529587201154652163656221404036731562708712821963465111719289193200432064875769386559645346920", "247989781302056934762335026151076445832166884867735502165354252207668083157132317377069604102049233014316799294014890817943261246892765157594412634897440785353202366563028", "121555428622583377664148832113619145387775383377032217138159544127299380518157949963314283123957062240152711187509503414343", "87578369862034238407481381238856926729112161247036763388287150463197193460326629595765471822752579542310337770783772458710")]
- [InlineData("-282593950368131775131360433563237877977879464854725217398276355042086422366377452969365517205334520940629323311057746859", "5959258935361466196732788139899933762310441595693546573755448590100882267274831199165902682626769861372370905838130200967035", "6598019436100687108279703832125132357070343951841815860721553173215685978621505459125000339496396952653080051757197617932586296524960251609958919233462530", "-4035534917213670830138661334307123840766321272945538719146336835321463334263841831803093764143165039453996360590495570418141622764990299884920213157241339")]
- [InlineData("-283588760164723199492097446398514238808996680579814508529658395835708678571214111525627362048679162021949222615325057958783388520044013697149834530411072380435126870273057157745943859", "1042611904427950637176782337251399378305726352782300537151930702574076654415735617544217054055762002017753284951033975382044655538090809873113604", "11173562248848713955826639654969725554069867375462328112124015145073186375237811117727665778232780449525476829715663254692620996726130822561707626585790443774041565237684936409844925424596571418502946", "6662129352542591544500713232459850446949913817909326081510506555775206102887692404112984526760120407457772674917650956873499346517965094865621779695963015030158124625116211104048940313058280680420919")]
- [InlineData("683399436848090272429540515929404372035986606104192913128573936597145312908480564700882440819526500604918037963508399983297602351856208190565527", "223751878996658298590720798129833935741775535718632942242965085592936259576946732440406302671204348239437556817289012497483482656", "1204888420642360606571457515385663952017382888522547766961071698778167608427220546474854934298311882921224875807375321847274969073309433075566441363244101914489524538123410250010519308563731930923389473186", "1136631484875680074951300738594593722168933395227758228596156355418704717505715681950525129323209331607163560404958604424924870345828742295978850144844693079191828839673460389985036424301333691983679427765")]
- [InlineData("736513799451968530811005754031332418210960966881742655756522735504778110620671049112529346250333710388060811959329786494662578020803", "2461175085563866950903873687720858523536520498137697316698237108626602445202960480677695918813575265778826908481129155012799", "-4722693720735888562993277045098354134891725536023070176847814685098361292027040929352405620815883795027263132404351040", "4351573186631261607388198896754285562669240685903971199359912143458682154189588696264319780329366022294935204028039787")]
- [InlineData("1596188639947986471148999794547338", "685242191738212089917782567856594513073397739443", "41848166029740752457613562518205823134173790454761036532025758411484449588176128053901271638836032557551179866133091058357374964041641117585422447497779410336188602585660372002644517668041207657383104649333118253", "39246949850380693159338034407642149926180988060650630387722725303281343126585456713282439764667310808891687831648451269002447916277601468727040185218264602698691553232132525542650964722093335105211816394635493987")]
- [InlineData("-1506852741293695463963822334869441845197951776565891060639754936248401744065969556756496718308248025911048010080232290368562210204958094544173209793990218122", "64905085725614938357105826012272472070910693443851911667721848542473785070747281964799379996923261457185847459711", "2740467233603031668807697475486217767705051", "-1905434239471820365929630558127219204166613")]
- public static void ModPow3LargeInt(string value, string exponent, string modulus, string expected)
- {
- BigInteger valueInt = BigInteger.Parse(value);
- BigInteger exponentInt = BigInteger.Parse(exponent);
- BigInteger modulusInt = BigInteger.Parse(modulus);
- BigInteger resultInt = BigInteger.Parse(expected);
-
- // Once with default threshold
- Assert.Equal(resultInt, BigInteger.ModPow(valueInt, exponentInt, modulusInt));
-
- // Once with reduced threshold
- BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, () =>
- {
- Assert.Equal(resultInt, BigInteger.ModPow(valueInt, exponentInt, modulusInt));
- });
- }
-
  [Fact]
  public static void ModPow0Power()
  {
@@ -462,4 +417,53 @@ public static IEnumerable<object[]> AssertFailureRegressionTest_InputData()
  yield return [value, exponent, modulus];
  }
  }
+
+ [Collection(nameof(DisableParallelization))]
+ public class modpowTestThreshold
+ {
+ [Fact]
+ public static void ModPow1Large2SmallInt_Threshold()
+ {
+ // Again, with lower threshold
+ BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, modpowTest.ModPow1Large2SmallInt);
+ }
+
+ [Fact]
+ public static void ModPow2Large1SmallInt_Threshold()
+ {
+ // Again, with lower threshold
+ BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, modpowTest.ModPow2Large1SmallInt);
+ }
+
+ // InlineData randomly generated using a new Random(0) and the same logic as is used in MyBigIntImp
+ // When using the VerifyModPowString approach, these tests were taking over 100s to execute.
+ [Theory]
+ [OuterLoop]
+ [InlineData("16152447169612934532253858872860101823992426489763666485380167221632010974596350526903901586786157942589749704137347759619657187784260082814484793173551647870373927196771852", "81750440863317178198977948957223170296434385667401518194303765341584160931262254891905182291359611229458113456891057547210603179481274334549407149567413965138338569615186383", "-7196805437625531929619339290119232497987723600413951949478998858079935202962418871178150151495255147489121599998392939293913217145771279946557062800866475934948778", "5616380469802854111883204613624062553120851412450654399190717359559254034938493684003207209263083893212739965150170342564431867389596229480294680122528026782956958")]
+ [InlineData("-19804882257271871615998867413310154569092691610863183900352723872936597192840601413521317416195627481021453523098672122338092864102790996172", "5005126326020660905045117276428380928616741884628331700680598638081087432348216495484429178211470872172882902036752474804904132643", "-103139435102033366056363338063498713727200190198435", "-4559679593639479333979462122256288215243720737403")]
+ [InlineData("-2263742881720266366742488789295767051326353176981812961528848101545308514727342989711034207353102864275894987436688194776201313772226059035143797121004935923223042331190890429211181925543749113890129660515170733848725", "313166794469483345944045915670847620773229708424183728974404367769353433443313247319899209581239311758905801464781585268041623664425", "3984523819293796257818294503433333109083365267654089093971156331037874112339941681299823291492643701164442964256327008451060278818307268485187524722068240", "-1502346344475556570236985614111713440763176490652894928852811056060906839905964408583918853958610145894621840382970373570196361549098246030413222124498085")]
+ [InlineData("-342701069914551895507647608205424602441707687704978754182486401529587201154652163656221404036731562708712821963465111719289193200432064875769386559645346920", "247989781302056934762335026151076445832166884867735502165354252207668083157132317377069604102049233014316799294014890817943261246892765157594412634897440785353202366563028", "121555428622583377664148832113619145387775383377032217138159544127299380518157949963314283123957062240152711187509503414343", "87578369862034238407481381238856926729112161247036763388287150463197193460326629595765471822752579542310337770783772458710")]
+ [InlineData("-282593950368131775131360433563237877977879464854725217398276355042086422366377452969365517205334520940629323311057746859", "5959258935361466196732788139899933762310441595693546573755448590100882267274831199165902682626769861372370905838130200967035", "6598019436100687108279703832125132357070343951841815860721553173215685978621505459125000339496396952653080051757197617932586296524960251609958919233462530", "-4035534917213670830138661334307123840766321272945538719146336835321463334263841831803093764143165039453996360590495570418141622764990299884920213157241339")]
+ [InlineData("-283588760164723199492097446398514238808996680579814508529658395835708678571214111525627362048679162021949222615325057958783388520044013697149834530411072380435126870273057157745943859", "1042611904427950637176782337251399378305726352782300537151930702574076654415735617544217054055762002017753284951033975382044655538090809873113604", "11173562248848713955826639654969725554069867375462328112124015145073186375237811117727665778232780449525476829715663254692620996726130822561707626585790443774041565237684936409844925424596571418502946", "6662129352542591544500713232459850446949913817909326081510506555775206102887692404112984526760120407457772674917650956873499346517965094865621779695963015030158124625116211104048940313058280680420919")]
+ [InlineData("683399436848090272429540515929404372035986606104192913128573936597145312908480564700882440819526500604918037963508399983297602351856208190565527", "223751878996658298590720798129833935741775535718632942242965085592936259576946732440406302671204348239437556817289012497483482656", "1204888420642360606571457515385663952017382888522547766961071698778167608427220546474854934298311882921224875807375321847274969073309433075566441363244101914489524538123410250010519308563731930923389473186", "1136631484875680074951300738594593722168933395227758228596156355418704717505715681950525129323209331607163560404958604424924870345828742295978850144844693079191828839673460389985036424301333691983679427765")]
+ [InlineData("736513799451968530811005754031332418210960966881742655756522735504778110620671049112529346250333710388060811959329786494662578020803", "2461175085563866950903873687720858523536520498137697316698237108626602445202960480677695918813575265778826908481129155012799", "-4722693720735888562993277045098354134891725536023070176847814685098361292027040929352405620815883795027263132404351040", "4351573186631261607388198896754285562669240685903971199359912143458682154189588696264319780329366022294935204028039787")]
+ [InlineData("1596188639947986471148999794547338", "685242191738212089917782567856594513073397739443", "41848166029740752457613562518205823134173790454761036532025758411484449588176128053901271638836032557551179866133091058357374964041641117585422447497779410336188602585660372002644517668041207657383104649333118253", "39246949850380693159338034407642149926180988060650630387722725303281343126585456713282439764667310808891687831648451269002447916277601468727040185218264602698691553232132525542650964722093335105211816394635493987")]
+ [InlineData("-1506852741293695463963822334869441845197951776565891060639754936248401744065969556756496718308248025911048010080232290368562210204958094544173209793990218122", "64905085725614938357105826012272472070910693443851911667721848542473785070747281964799379996923261457185847459711", "2740467233603031668807697475486217767705051", "-1905434239471820365929630558127219204166613")]
+ public static void ModPow3LargeInt(string value, string exponent, string modulus, string expected)
+ {
+ BigInteger valueInt = BigInteger.Parse(value);
+ BigInteger exponentInt = BigInteger.Parse(exponent);
+ BigInteger modulusInt = BigInteger.Parse(modulus);
+ BigInteger resultInt = BigInteger.Parse(expected);
+
+ // Once with default threshold
+ Assert.Equal(resultInt, BigInteger.ModPow(valueInt, exponentInt, modulusInt));
+
+ // Once with reduced threshold
+ BigIntTools.Utils.RunWithFakeThreshold(BigIntegerCalculator.ReducerThreshold, 8, () =>
+ {
+ Assert.Equal(resultInt, BigInteger.ModPow(valueInt, exponentInt, modulusInt));
+ });
+ }
+ }
 }
diff --git a/src/libraries/System.Runtime.Numerics/tests/BigInteger/parse.cs b/src/libraries/System.Runtime.Numerics/tests/BigInteger/parse.cs
@@ -86,15 +86,20 @@ public static void RunParseToStringTests(CultureInfo culture)
  }
  }
 
+ public static IEnumerable<object[]> Parse_Subspan_Success_TestData()
+ {
+ yield return new object[] { "123456789", 0, 9, "123456789" };
+ yield return new object[] { "123456789", 0, 1, "1" };
+ yield return new object[] { "123456789", 1, 3, "234" };
+ yield return new object[] { "123456789", 8, 1, "9" };
+ yield return new object[] { "123456789abc", 8, 1, "9" };
+ yield return new object[] { "1\03456789", 0, 1, "1" };
+ yield return new object[] { "1\03456789", 0, 2, "1" };
+ yield return new object[] { "123456789\0", 0, 10, "123456789" };
+ }
+
  [Theory]
- [InlineData("123456789", 0, 9, "123456789")]
- [InlineData("123456789", 0, 1, "1")]
- [InlineData("123456789", 1, 3, "234")]
- [InlineData("123456789", 8, 1, "9")]
- [InlineData("123456789abc", 8, 1, "9")]
- [InlineData("1\03456789", 0, 1, "1")]
- [InlineData("1\03456789", 0, 2, "1")]
- [InlineData("123456789\0", 0, 10, "123456789")]
+ [MemberData(nameof(Parse_Subspan_Success_TestData))]
  public static void Parse_Subspan_Success(string input, int offset, int length, string expected)
  {
  Eval(BigInteger.Parse(input.AsSpan(offset, length)), expected);
@@ -1171,6 +1176,7 @@ private static void Eval(BigInteger x, string expected)
  public class parseTestThreshold
  {
  public static IEnumerable<object[]> Cultures => parseTest.Cultures;
+
  [Theory]
  [MemberData(nameof(Cultures))]
  [OuterLoop]
@@ -1183,15 +1189,10 @@ public static void RunParseToStringTests(CultureInfo culture)
  }));
  }
 
+ public static IEnumerable<object[]> Parse_Subspan_Success_TestData() => parseTest.Parse_Subspan_Success_TestData();
+
  [Theory]
- [InlineData("123456789", 0, 9, "123456789")]
- [InlineData("123456789", 0, 1, "1")]
- [InlineData("123456789", 1, 3, "234")]
- [InlineData("123456789", 8, 1, "9")]
- [InlineData("123456789abc", 8, 1, "9")]
- [InlineData("1\03456789", 0, 1, "1")]
- [InlineData("1\03456789", 0, 2, "1")]
- [InlineData("123456789\0", 0, 10, "123456789")]
+ [MemberData(nameof(Parse_Subspan_Success_TestData))]
  public static void Parse_Subspan_Success(string input, int offset, int length, string expected)
  {
  BigIntTools.Utils.RunWithFakeThreshold(Number.BigIntegerParseNaiveThreshold, 0, () =>