mersenneforum.org  

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

Reply
 
Thread Tools
Old 2017-05-21, 09:38   #23
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

32·5·107 Posts
Default

Quote:
Originally Posted by Xyzzy View Post
Madpoo wouldn't agree with you. His triple and quadruple checks would grow exponentially
ET_ is offline   Reply With Quote
Old 2017-05-21, 10:45   #24
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

22×1,549 Posts
Default

There is currently no problem. So there is currently no need to change anything.

But if for some reason you really want to worry yourself about theoretical problems that don't yet exist then don't display any residue until they are matched.
retina is offline   Reply With Quote
Old 2017-05-21, 12:26   #25
GP2
 
GP2's Avatar
 
Sep 2003

5×11×47 Posts
Default

Quote:
Originally Posted by retina View Post
There is currently no problem. So there is currently no need to change anything.

But if for some reason you really want to worry yourself about theoretical problems that don't yet exist then don't display any residue until they are matched.
Quote:
Originally Posted by retina View Post
Quote:
Originally Posted by GP2 View Post
Updates are a necessary evil. Security fixes are very important, it's a bad idea to disable them.
I haven't run updates now since 2006. So I disagree that they are necessary. But I agree that a lot a people think they are necessary.
*

Dude, I dunno. Maybe between extreme paranoia and extreme blitheness there might be a happy medium.
GP2 is offline   Reply With Quote
Old 2017-05-21, 16:43   #26
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

7·11·43 Posts
Default

Quote:
Originally Posted by ET_ View Post
Madpoo wouldn't agree with you. His triple and quadruple checks would grow exponentially
LOL. I do notice that when I post new lists of "strategic double checks", the triple checks I look for later do indeed climb in frequency.

Which is a good thing... it means we're still doing a good job of weeding out the "probably bad" results and doing proactive checks.

Which, to stay on topic, would be a factor in this discussion.

Let's say some user starts submitting results trying to match the first time check. Randomly, they'd be expected to match on the first try only one out of 256 times. That means 255 out of 256 times they're going to generate at least one mismatch that would start to show up in my triple-checking project.

And on top of that, the machine turning in all of these bad results is going to show up in my queries of "really bad machines" and I'd like to think it would be so obvious it would stick out like a turd in a punch bowl.

And that's even if only one extra "bad" result showed up per exponent. In reality there would be, on average, something like 127-128 new bad results flooding in before a match was found (anywhere from 1-255 extra bad results).

That kind of thing would not only draw the attention of myself, but there are others who look at the daily results coming in and something like that even on a single exponent would be very obvious.

It wouldn't even matter if they tried creating different accounts to submit each result or different CPUs (manual results all technically come from a single CPU account per user). There's really no good way to try and mask an attempt like that where it would somehow fly under the radar.

Quote:
It would be simple enough to mask three or four of the sixteen hex digits of unverified residues, rather than just two. This would be a trivial change, maybe after a short announced transition to allow automated scripts to adjust, if necessary.

Probably having only the last two hex digits masked is a legacy from the days when we were still verifying old pre-GIMPS results that had only four or five hex digit residues rather than the current sixteen. But all of those have long since been double checked to the full sixteen hex digits.
Masking 2 hexits is probably from what you said... the earliest of the earliest results were legacy code/mainframe class systems that just had 4 hexit residues, so masking more than a couple meant you may as well mask the whole thing.

Those early results are certainly all double checked (and triple or quad checked, many by yours truly).

If it became a problem (or if we wanted to) I guess we could mask more, like 4+ hexits, or simply, as suggested, not show residues at all until a match is made.

I'm not entirely sure what all of the arguments are in favor of showing masked partial residues... I'm sure it comes in handy for troubleshooting new code when you want to see if a mismatch could be due to a LSB issue of some kind, or if you see a residue of all 0's, you could guess the masked part is probably 0x02 so it got into that error loop. Or in the case of Xolotl's weird results, it has a zero residue but checks in as "composite" in some magical way.

There are a few different places in the site code responsible for masking residues. In theory it wouldn't take too much time to find all of those and tell it to mask 2 bytes. Whether or not to bother is another question since the risk at this point seems theoretical. If it became real, it wouldn't be too much trouble to address, even if it meant masking all 8 bytes of the partial residue or hiding it altogether.

Last fiddled with by Madpoo on 2017-05-21 at 16:44
Madpoo is offline   Reply With Quote
Old 2017-05-22, 01:44   #27
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

3×457 Posts
Default

I think discussing "how much masking" is barking up the wrong tree. IMO the real danger is one [evil] person with two accounts, doing both first-time LL and double checks on the same exponents -- and he'd have no issue with masking at all because he submitted the full residue in the first place.
preda is offline   Reply With Quote
Old 2017-05-22, 02:39   #28
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26·131 Posts
Default

Quote:
Originally Posted by preda View Post
I think discussing "how much masking" is barking up the wrong tree. IMO the real danger is one [evil] person with two accounts, doing both first-time LL and double checks on the same exponents -- and he'd have no issue with masking at all because he submitted the full residue in the first place.
if actually done on separate hardware this isn't so much a problem in theory ( if done with the same hardware they can check an identifier probably). Also if it checks if it's assigned it would have to be assigned to both accounts first before this becomes the problem I think. not that I run software I mostly just play around in PARI/GP and annoy people here.
science_man_88 is offline   Reply With Quote
Old 2017-05-22, 02:46   #29
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

3×457 Posts
Default

Well, to submit fake results just to ruin things he'd need mostly no hardware at all, I think.
preda is offline   Reply With Quote
Old 2017-05-22, 02:55   #30
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26·131 Posts
Default

Quote:
Originally Posted by preda View Post
Well, to submit fake results just to ruin things he'd need mostly no hardware at all, I think.
assumes it doesn't need to be assigned to be submitted.
science_man_88 is offline   Reply With Quote
Old 2017-05-22, 15:51   #31
chris2be8
 
chris2be8's Avatar
 
Sep 2009

2·1,039 Posts
Default

Quote:
Originally Posted by preda View Post
Well, to submit fake results just to ruin things he'd need mostly no hardware at all, I think.
To get away with that he needs to ensure all his first time checks are double checked by his second account. So checking for pairs of accounts that double check each other and triple checking a sample should catch that.

Chris
chris2be8 is offline   Reply With Quote
Old 2017-05-22, 16:31   #32
GP2
 
GP2's Avatar
 
Sep 2003

50318 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
To get away with that he needs to ensure all his first time checks are double checked by his second account. So checking for pairs of accounts that double check each other and triple checking a sample should catch that.

Chris
Who needs an account? Just submit your results under someone else's name. I track all of my assignments and would catch this, but probably not everyone does.
GP2 is offline   Reply With Quote
Old 2017-05-23, 11:10   #33
GP2
 
GP2's Avatar
 
Sep 2003

5·11·47 Posts
Default

Quote:
Originally Posted by GP2 View Post
Who needs an account? Just submit your results under someone else's name. I track all of my assignments and would catch this, but probably not everyone does.
Also, is there any restriction on choosing a public name in PrimeNet, or can you choose a name that matches someone else's? If I see a result returned by "MadPoo" I'll trust it more than Joe Random.

It's certainly possible to do so in a case-insensitive way, for instance 42794813 was tested by "Rick" and "rick". I suppose these are two different people and not a self-verification...
GP2 is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Automatic submit results + fetch assignments for mfaktc? DuskFalls GPU Computing 5 2017-12-02 00:34
GPU id/name for manual results preda GPU Computing 15 2017-08-16 17:34
MLucas, submit results? Sleeping_menace Mlucas 17 2015-06-13 03:12
manual results ramgeis PrimeNet 8 2013-05-30 06:33
Only submit part of ECM results? dabaichi PrimeNet 5 2011-12-07 19:27

All times are UTC. The time now is 05:59.


Sat Jul 17 05:59:35 UTC 2021 up 50 days, 3:46, 1 user, load averages: 1.32, 1.45, 1.61

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.