mersenneforum.org  

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

Reply
 
Thread Tools
Old 2017-12-17, 06:25   #1
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

101001101012 Posts
Default Update PRP (on the web interface)

Hi, a small list of things to do to bring PRP to parity with LL on the web interface:

1. manual testing assignments: add PRP-first-time and PRP-double-check as work types.

2. Reports: add "Top-producers / first PRP", and maybe PRP-DC.

3. To "Top-producers / Totals overall" add columns for PRP and PRP-DC.

4. To "Current progress / Recent Cleared" add PRP.

Last fiddled with by preda on 2017-12-17 at 06:26
preda is offline   Reply With Quote
Old 2017-12-17, 10:39   #2
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×5×479 Posts
Default

Quote:
Originally Posted by preda View Post
Hi, a small list of things to do to bring PRP to parity with LL on the web interface:

1. manual testing assignments: add PRP-first-time and PRP-double-check as work types.

2. Reports: add "Top-producers / first PRP", and maybe PRP-DC.

3. To "Top-producers / Totals overall" add columns for PRP and PRP-DC.

4. To "Current progress / Recent Cleared" add PRP.
You just said it
I was becoming nervous doing PRP without knowing how far my "antagonists" are...
ET_ is online now   Reply With Quote
Old 2017-12-17, 15:38   #3
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

6268 Posts
Default

Quote:
Originally Posted by preda View Post
2. Reports: add "Top-producers / first PRP", and maybe PRP-DC.
PRP:
https://www.mersenne.org/report_top_...tom/?type=1007

PRP-D:
https://www.mersenne.org/report_top_...tom/?type=1008

PRP-CF:
https://www.mersenne.org/report_top_...tom/?type=1009

PRP-CF-D:
https://www.mersenne.org/report_top_...tom/?type=1010

For now, they seem to be availible only by manipulating GET-parameters.
kruoli is offline   Reply With Quote
Old 2017-12-17, 17:23   #4
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2·5·479 Posts
Default

Quote:
Originally Posted by kruoli View Post
ET_ is online now   Reply With Quote
Old 2017-12-19, 20:42   #5
Siegmund
 
Siegmund's Avatar
 
Mar 2014

24·3 Posts
Default

If we're talking about adding it to the publicly-visible portion of the website...

Job #1 is going to be explaining to the world what the PRP test is and how it works and why it should be part of GIMPS.

It's not clear to me that PRP is ever going to move into the spotlight - in much the same way that the whole GPU factoring effort goes on behind the scenes. Pages like https://www.mersenne.org/manual_gpu_assignment/ exist and aren't hidden behind a password, but are not linked to any of the public-facing pages.

Heck, I am not sure *I* understand how PRP fits into the bigger picture, despite trying to keep tabs on this forum.
Siegmund is offline   Reply With Quote
Old 2017-12-19, 22:29   #6
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

31×97 Posts
Default

Quote:
Originally Posted by Siegmund View Post
Heck, I am not sure *I* understand how PRP fits into the bigger picture, despite trying to keep tabs on this forum.
Basically "R. Gerbicz" came up with an ingenious way to error check PRP tests, see this thread and even more in the other linked thread in the GPU forum:
http://mersenneforum.org/showthread.php?t=22510

So instead of LL test we might as well run PRP tests since even though they will not prove a number prime they *will* prove a number composite which is what happens >99.99% of the time.

If a number is shown to be a PRP then we need to run 2+ actual LL tests, but many LL tests are always run anyway whenever we have a positive result.

The chance/risk that a >20M digit Mersenne number should be an actual 3-PRP without being prime is so infinitesimal small that a positive PRP test is probably more likely to be prime than a positive LL test due to the better error checking.
ATH is offline   Reply With Quote
Old 2017-12-20, 16:18   #7
aurashift
 
Jan 2015

11·23 Posts
Default

can you summarize PRP?

If you do a PRP and discover something, are you the discoverer or is the LL'er?

Does PRP take less resources?
aurashift is offline   Reply With Quote
Old 2017-12-20, 16:23   #8
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

3,527 Posts
Default

Quote:
Originally Posted by aurashift View Post
can you summarize PRP?

If you do a PRP and discover something, are you the discoverer or is the LL'er?

Does PRP take less resources?
Quote:
Basically "R. Gerbicz" came up with an ingenious way to error check PRP tests, see this thread and even more in the other linked thread in the GPU forum:
http://mersenneforum.org/showthread.php?t=22510
The PRP'er is the finder and gets credit for finding a new Mersenne prime -- after the LL proofs have been performed.

PRP takes a few minutes more to do but is amazingly error free!
paulunderwood is offline   Reply With Quote
Old 2017-12-20, 16:40   #9
aurashift
 
Jan 2015

11×23 Posts
Default

my h/w is already more error free than usual (ecc & server grade h/w), so is this not worth doing for me?
aurashift is offline   Reply With Quote
Old 2017-12-20, 16:43   #10
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

67078 Posts
Default

Quote:
Originally Posted by aurashift View Post
my h/w is already more error free than usual (ecc & server grade h/w), so is this not worth doing for me?
PRP goes beyond what is possible with ECC RAM. For peace of mind, I would run PRP if I were using your hardware.
paulunderwood is offline   Reply With Quote
Old 2017-12-20, 17:15   #11
VictordeHolland
 
VictordeHolland's Avatar
 
"Victor de Hollander"
Aug 2011
the Netherlands

22308 Posts
Default

So once everybody upgrades their software will the (new) PRP test be the standard for checking primality of mersenne candidates (instead of LL?). Or will they coexist?
VictordeHolland is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
How to interface gpuOwl with PrimeNet preda PrimeNet 2 2017-10-07 21:32
MPrime graphical interface emily Software 1 2012-02-19 23:53
User interface bug fixed on LLR V3.8.4 Jean Penné Software 0 2011-01-22 16:47
interface f-bert Programming 3 2004-05-24 14:25
49-50 and 62-64 update tha Lone Mersenne Hunters 0 2004-03-14 13:14

All times are UTC. The time now is 15:54.

Sat Jan 16 15:54:15 UTC 2021 up 44 days, 12:05, 0 users, load averages: 1.83, 1.74, 1.71

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.