mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Software

Reply
Thread Tools
Old 2023-06-23, 16:48   #1277
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2×3×1,223 Posts
Default

I have tracked down and resolved the issue with Legendre tables in srsieve2. That being written I have released mtsieve 2.5.0. Here are the changes:

Code:
framework:
   Fix how max p tested is computed as it could be wrong when running many workers.

srsieve2/srsieve2cl: version 1.7.2
   Reverted part of the change for algebraic factorizations as it excluded too many.
   Fix issue when using Legendre tables where factors would be missed.

twinsieve: version 1.6.2
   Fixed issue with base 2 where even k are factored even though even k are not used.
   The same issue can occur with odd bases.

xyyxsieve/xyyxsievecl: version 2.1
   Added -Z to allow user to force sparse logic, which can be faster or slower
   depending upon the density of x and y.
   Fixed an issue when starting with -i that can lead to a crash.

Last fiddled with by rogue on 2023-06-23 at 17:17
rogue is offline   Reply With Quote
Old 2023-06-23, 18:39   #1278
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

32×53 Posts
Default

Quote:
Originally Posted by rogue View Post
Ryan, I have not been able to reproduce the xyyxsievecl issue. I did make that change that I specified when starting with an old file. If you still have issues, then I will need some more help from you to track down the cause.
Let me send you my input file in a PM. I can repro it pretty consistently.
ryanp is offline   Reply With Quote
Old 2023-06-23, 19:12   #1279
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2·3·1,223 Posts
Default

Quote:
Originally Posted by ryanp View Post
Let me send you my input file in a PM. I can repro it pretty consistently.
Okay. Is this with 2.1? Can you include the command line arguments you use?
rogue is offline   Reply With Quote
Old 2023-06-23, 19:20   #1280
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

7358 Posts
Default

Quote:
Originally Posted by rogue View Post
Okay. Is this with 2.1? Can you include the command line arguments you use?
I hadn't tried 2.1 yet; just did an svn up and I'm trying it now. So far, at least, the input file reading is fixed:

Code:
$ ./xyyxsievecl  -P 1e12 -g 108 -i ./xyyx_1.5M.txt -o out.txt
xyyxsieve v2.1, a program to find factors numbers of the form x^y+y^x or x^y-y^x
GPU primes per worker is 2985984
Sieve started: 2009105977 <= p <= 1e12 with 295337 terms (300000 <= x <= 302000, 150001 <= y <= 159999) (expecting 66376 factors)
We'll see what happens after an hour.
ryanp is offline   Reply With Quote
Old 2023-06-23, 22:36   #1281
pepi37
 
pepi37's Avatar
 
Dec 2011
After 1.58M nines:)

1,699 Posts
Default

It looks like you fixed srsieve2. Now we have increase in speed since we can use Legendre tables, and still all factors are found :)

Good work! and thanks!
pepi37 is offline   Reply With Quote
Old 2023-06-23, 23:03   #1282
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

2×1,429 Posts
Default

Quote:
Originally Posted by rogue View Post
I have tracked down and resolved the issue with Legendre tables in srsieve2. That being written I have released mtsieve 2.5.0.
Looking good here. I replaced the v1.6.9 I was using with my R78 sieve. 63 sequences with 315K terms. It will get a good workout. I deleted the Legendre tables the old one was using and had the new one recreate them.

There is somewhat of a speed difference. 1.6.9 was running 210K p/sec. 1.7.2 is running 160K p/sec. If this is a result of error corrections, then this is the way it will be. I have no problems with it.

Many thanks!
storm5510 is online now   Reply With Quote
Old 2023-06-24, 01:37   #1283
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

32×53 Posts
Default

With xyyxsievecl 2.1, both the file reading bug and the "Fatal Error" crash after 1 hour appear to be fixed.

Code:
  p=11285155907, 22.40K p/sec, 22114 factors found at 1.67 sec per factor (last 303 min), 0.9% done. ETC 2023-07-16 20:51
ryanp is offline   Reply With Quote
Old 2023-06-24, 06:28   #1284
gd_barnes
 
gd_barnes's Avatar
 
"Gary"
May 2007
Overland Park, KS

110000000001112 Posts
Default

Srsieve2 1.7.2 fails on algebraic factor removal similar to how versions 1.7.0 and prior did.

It is removing algebraic factors that it should not be when the k and base are different perfect powers. Therefore primes could be subsequently missed.

This was fixed in version 1.7.1 at the expense of having it not remove some algebraic factors that it should. Unfortunately it is now removing more than it should.

Examples:

9*8^n-1: It removes all terms. It should only remove terms divisible by 2.
27*32^n-1: It removes all terms. It should only remove terms divisible by 3.
32*125^n-1: It removes all terms. It should only remove terms divisible by 5.

As best as I can tell, this is only happening on the Riesel side at this time.

On the Sierpinski side, it is still missing some algebraic factors but that would have no affect on future primes found.

For anyone using 1.7.2 for the extra speed because it is no longer missing factors when using the Legendre tables, you should be OK if your base is not a power. Storm and Pepi, this means you will be OK. Your bases 78 and 773 are not powers so this error will not affect them.

I will Email Mark the test cases for this later this morning.

Last fiddled with by gd_barnes on 2023-06-24 at 06:46
gd_barnes is online now   Reply With Quote
Old 2023-06-24, 07:11   #1285
pepi37
 
pepi37's Avatar
 
Dec 2011
After 1.58M nines:)

32438 Posts
Default

Ok thanks Gary
pepi37 is offline   Reply With Quote
Old 2023-06-24, 12:17   #1286
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2·3·1,223 Posts
Default

Quote:
Originally Posted by ryanp View Post
With xyyxsievecl 2.1, both the file reading bug and the "Fatal Error" crash after 1 hour appear to be fixed.

Code:
  p=11285155907, 22.40K p/sec, 22114 factors found at 1.67 sec per factor (last 303 min), 0.9% done. ETC 2023-07-16 20:51
Awesome!
rogue is offline   Reply With Quote
Old 2023-06-24, 12:26   #1287
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2·3·1,223 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
Srsieve2 1.7.2 fails on algebraic factor removal similar to how versions 1.7.0 and prior did.

It is removing algebraic factors that it should not be when the k and base are different perfect powers. Therefore primes could be subsequently missed.

This was fixed in version 1.7.1 at the expense of having it not remove some algebraic factors that it should. Unfortunately it is now removing more than it should.

Examples:

9*8^n-1: It removes all terms. It should only remove terms divisible by 2.
27*32^n-1: It removes all terms. It should only remove terms divisible by 3.
32*125^n-1: It removes all terms. It should only remove terms divisible by 5.
For these cases it can remove terms because k=x^f, but it can also try to remove terms because k=x^f and b=y^g, but it should only remove terms if gcd(f,g) > 0. It is likely failing that.

I hope to take a look at it this weekend.

The speed loss is due to the fixed code.
rogue is offline   Reply With Quote
Reply

Thread Tools


All times are UTC. The time now is 04:16.


Fri Jul 7 04:16:58 UTC 2023 up 323 days, 1:45, 0 users, load averages: 2.12, 1.78, 1.53

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔