mersenneforum.org  

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

Reply
 
Thread Tools
Old 2020-08-01, 01:02   #210
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

23×1,051 Posts
Default

Minor suggestion.

In the Advanced>Manual Communication dialog box, I think a check box something akin to "Upload proof file(s) now." would be worthwhile.
I can foresee 2 or 3 situations that one might want to do that.
1. They found a PRP probable prime.
2. They currently have comms, where they may not normally have it.
3. The machine may be shut down during normal comms time.
Uncwilly is offline   Reply With Quote
Old 2020-08-01, 01:42   #211
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
Ͳօɾօղէօ

5×563 Posts
Default

It looks like readme.txt from the mprime tarball hasn't been updated in a while. In addition to the new awesome things, it's missing the various copyright notices that are in the Windows version, and it may be easier to redo the mprime version from scratch.

One thing that may not be copied over from the Windows version is the missing mprime.pid in the FILE LIST.

I also think this phrase is probably dated: "checksum to guard against email transmission errors". The word email could be omitted from all instances of the phrase.

Otherwise, the Windows version of readme.txt looks great!

Last fiddled with by Mark Rose on 2020-08-01 at 01:42
Mark Rose is offline   Reply With Quote
Old 2020-08-01, 02:35   #212
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

203308 Posts
Default

Several VDF's (for PRP-CF) uploaded. One has already had the cert run (by George). Another is assigned to George. One has yet to be assigned.

Looks good.
Uncwilly is offline   Reply With Quote
Old 2020-08-01, 07:44   #213
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

2×52×31 Posts
Default

Quote:
Originally Posted by Prime95 View Post
...
This is much closer to a beta version.
...
LL work preferences are gone, if you upgrading, your LL work preferences will be converted to PRP.
...
Suggestions for further changes are welcome. I have a few ideas I'll put forward soon.
Some of the suggestion I wished to make have already been addressed :-D Nevertheless I will leave the text I prepared as it is. Of course this only represent my opinion, where I write "should", "must, ... it should be understood with an implicit "in my opinion" when not explicitly stated.

At the moment PrimeNet users can choose two work types for several categories of first time tests :
"First time LL tests" and "First time PRP tests"
"World record LL tests" and "World record PRP tests"
"100 million digit LL tests (not recommended)" and "100 million digit PRP tests"

In my opinion they should have been joined since the moment PRP was operational and reliable, with the PRP capable software getting the PRP variant and older software still getting LL tests.

The available test type requests would be :
"First time primality tests"
"World record primality tests"
"100 million digit primality tests"
The assignments would, of course be different for PRP and LL. The manual assignments pages could keep the distinction since only the user knows the software that will be used.

Since 100M digits LL is not recommended it would be logical that it should not be available from PrimeNet (not even for manual testing.)

Double checking would follow the same path, but this is less urgent because of huge amount of LL tests still to be verified.

Now a new work type is introduced : PRP-VDF.

Again as soon as PrimeNet and the software are adapted, fully operational and reliable, the server should give PRP-VDF assignments in the three categories to all software capable of that type of tests. I think it premature to limit first time tests to that type of work. It can be done once a significant proportion of users have the right software. There is a caveat though : the upload of 100 MBytes (1 Tbits) files changes a lot in bandwidth requirements compared to the "ordinary" primality testing, it will impact, sometimes seriously, those users that do not have a lot of bandwidth, this shouldn't be dismissed by the specious argument that "everybody has fibre and 5G nowadays". The same goes for the temporary disk space : when helping users with their computers I see a lot of systems that have less than 10 GB free disk space, they should have more, especially on SSD's, but still... Those two factors mean it is premature to impose that new work type to all.

A useful information would be the breakdown of LL and PRP work done by software version for the last year for instance. It might be interesting to have the big users separately.

Then, should certifying be a separate work type or should a user asking for primality tests get certifying work units as well ?

Some thoughts about PrimeNet
Since the advent of PRP-VDF implies a complete overhaul of the PrimeNet server, the different scripts, reports and queries available ... it could be the time to ensure that exponents in CAT 0 and CAT 1 will not be given by the server to a user requesting manual testing TF work (be it on the "ordinary" page or the GPU page.)

Then, I regret that the status of a primality test changes once the corresponding number is factored : the test is still Unverified, Verified or Bad. Factorisation should not "destroy" that information, it is a characteristic of the Mersenne number not of the PRP or LL tests.

Some do not find the reports about factorisation very clear. One thing I have always regretted is that there is no indication for those Mersenne numbers that have been fully factored. Except, of course, for the Mersenne Primes, but for those the different primality tests by the finder and those that did the verification runs do not show up...

Jacob
S485122 is offline   Reply With Quote
Old 2020-08-01, 08:34   #214
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

24×439 Posts
Default

FYI: I've disabled the server's proof processing while I fix a problem. 3 proofs did not verify and the problem is on the server. Proofs will still upload and will be processed later -- probably later today.
Prime95 is offline   Reply With Quote
Old 2020-08-01, 12:07   #215
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

23×31 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Paging Oliver:

Did anything strange happen during the run of 10471007? The proof failed certification. Do you have the proof file by chance?
Quote:
Originally Posted by Prime95 View Post
FYI: I've disabled the server's proof processing while I fix a problem. 3 proofs did not verify and the problem is on the server. Proofs will still upload and will be processed later -- probably later today.
So that's not something on my side? In any case, I uploaded the file to my server here. I used this script to upload files automagically:
Code:
while sleep 1m;
do
  if ! find ../301b1 -name '*.proof' | egrep -q '.+';
  then
    continue;
  fi;
  echo 'Dateien vorhanden!';
  for f in $(ls ../301b1/*.proof);
  do
    echo $f, schlafen...;
    sleep 3m;
    ../Uploader/uploader.exe manoli94 $f;
    mv $f .;
  done;
done
I needed to add some sleeps because the script was trying to upload proof files that were currently written. If it was acessing the proof file in a bad moment, this might have caused the issue.
kruoli is offline   Reply With Quote
Old 2020-08-01, 15:38   #216
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

155608 Posts
Default

Quote:
Originally Posted by kruoli View Post
So that's not something on my side?.
Correct. My fault. Server getting roundoff > 0.5.

1) Detecting this and recovering was on my to-do list.
2) I asked the FFT routines to be extra safe in selecting FFT length. I think I got the sign backwards and asked it to be extra risky. Not a good combination given #1.
Prime95 is offline   Reply With Quote
Old 2020-08-01, 19:15   #217
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

22·7·151 Posts
Default

Seems like the time is near for a V30 prime95 thread in the software subforum. Some of the content here could plausibly fit there.
kriesel is offline   Reply With Quote
Old 2020-08-01, 19:50   #218
Runtime Error
 
Sep 2017
USA

27 Posts
Default Etiquette for PRP-VDF w/ Manual Testing

(I know v30 is a work in progress; sorry if I'm jumping the gun here.)

What is the recommended process for uploading proofs from manual testing assignments?

Out of curiosity, I tried to upload proof files before submitting the results on the website. I copy-pasted the proof files onto the same folder as Prime95 on a machine with Internet connectivity and restarted the Prime95 instance. It threw an error and refused to upload the proof files. Once I actually did submit the manual results, I restarted Prime95 again, and it is now uploading my proof files.

Will there be a more elegant way to upload proofs from manual testing? Thanks!

Also, Could we possibly add a way to see if a proof file has been uploaded to the website? Like some form of "no proof file left behind" sanity check for us who use manual testing? Otherwise, I will inevitably lose a proof file somewhere. Thanks.

Last fiddled with by Runtime Error on 2020-08-01 at 19:57 Reason: Added a follow up question
Runtime Error is offline   Reply With Quote
Old 2020-08-01, 21:16   #219
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

24×439 Posts
Default

Server is processing proof files again.

The bug was in my parsing of the proof file header using fscanf. If the first byte of the first residue was ASCII whitespace, it thought the header was on byte longer than it really was. Error handling reading the last residue was not good, resulting in the 0.5 roundoff error.

Last fiddled with by Prime95 on 2020-08-01 at 21:21
Prime95 is offline   Reply With Quote
Old 2020-08-01, 21:19   #220
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

24·439 Posts
Default

Quote:
Originally Posted by Runtime Error View Post
(I know v30 is a work in progress; sorry if I'm jumping the gun here.)

What is the recommended process for uploading proofs from manual testing assignments?.
You have guessed at the process.

1) Manually submit your results.json.txt.
2) move the proofs to a folder where prime95 v30.2 is running.
3) wait for the proofs to get uploaded (I archive my proofs using advanced resource limits dialog box)

I too have felt the need for a proof status web page. We'll write one sooner or later.
Prime95 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Your help wanted - Let's buy GIMPS a KNL development system! airsquirrels Hardware 313 2019-10-29 22:51
Is GMP-ECM still under active development? mathwiz GMP-ECM 0 2019-05-15 01:06
LLR 3.8.6 Development version Jean Penné Software 0 2011-06-16 20:05
LLR 3.8.5 Development version Jean Penné Software 6 2011-04-28 06:21
LLR 3.8.4 development version is available! Jean Penné Software 4 2010-11-14 17:32

All times are UTC. The time now is 06:07.

Mon Aug 10 06:07:20 UTC 2020 up 24 days, 1:54, 2 users, load averages: 1.42, 1.35, 1.36

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