mersenneforum.org  

Go Back   mersenneforum.org > New To GIMPS? Start Here! > Information & Answers

Reply
 
Thread Tools
Old 2020-04-28, 03:54   #23
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2·4,643 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
"border-line kit"???? Meaning?
Kit which is no longer producing reliable, reproducible (read: sane), results. Soon (potentially) pining for the fords, etc.

I first got involved with GIMPS by using mprime for ongoing sanity confirmation of deployed kit. This is one of the reasons I only run DCs (on the CPUs) on certain machines. When mprime starts throwing errors, it's time to decommission the machine. Like, soon.

It would be really cool if there was a way of doing similar ongoing monitoring of GPUs. For when they're being used for things like financial modeling, 3D rendering, etc.
chalsall is offline   Reply With Quote
Old 2020-04-28, 05:31   #24
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

5·1,427 Posts
Default

One hitch: The sieve mfaktc uses produces a non-deterministic set of trial factors.
To produce a deterministic set would require a big hit to sieve performance (atomic bit clear operations).
Prime95 is offline   Reply With Quote
Old 2020-04-28, 08:24   #25
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

26·113 Posts
Default

Quote:
Originally Posted by axn View Post
Suppose, somehow we can overcome this problem and force everyone to use only trusted binaries. Then, we don't need to do any of this. We can just send in a nonce and the client can return HASH(nonce, exponent, bit depth).
This proves nothing since it can be computed independently of whether the
divisions took place. You need to include some information generated by
the TF itself.


Quote:


I'm trying to understand this part. Suppose the server asks client to compute has for indices {10, 20, 30}. The assumption is that the server knows (or can compute) exactly which candidate factors correspond to the given indices. But that is not deterministic on client side. Because of variable SoE sieve depth (and the inherent nondeterminism in GPU sieve), the exact sequence of candidate factors produced can vary and so the server can't validate the residue.
Another reason to dislike GPU's: They are NDTM's. Can you even prove that two
different machines will actually trial divide with the same set of candidate divisors?
Perhaps some machines fail to test one or more candidates 2kp+1 because it skipped
some k that it should not?

I was specifying a method which I assumed was running on a DTM.
R.D. Silverman is offline   Reply With Quote
Old 2020-04-28, 08:28   #26
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

26×113 Posts
Default

Quote:
Originally Posted by chalsall View Post
Kit which is no longer producing reliable, reproducible (read: sane), results. Soon (potentially) pining for the fords, etc.
"kit"? What is a "kit"??? Is it the GPU itself? A driver? A bus? etc.
Is this word standard GPU terminology?
R.D. Silverman is offline   Reply With Quote
Old 2020-04-28, 08:37   #27
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

2×3×5×193 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
"kit"? What is a "kit"??? Is it the GPU itself? A driver? A bus? etc.
Is this word standard GPU terminology?
I love it. RDS is back to form.

https://en.wiktionary.org/wiki/kit#Noun number 4. But I suspect you figured that out from the context.
retina is online now   Reply With Quote
Old 2020-04-28, 08:37   #28
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

723210 Posts
Default

Quote:
Originally Posted by Prime95 View Post
One hitch: The sieve mfaktc uses produces a non-deterministic set of trial factors.


To produce a deterministic set would require a big hit to sieve performance (atomic bit clear operations).
So if two different machines trial divide with two different sets of trial factors how
do you know whether a true factor was actually tested??? You might be missing some.

A small change in the method can resolve different-order testing anyway. Instead of saving specific
residues, just xor ALL residues into an accumulator and hash it at the end.

Last fiddled with by R.D. Silverman on 2020-04-28 at 08:43
R.D. Silverman is offline   Reply With Quote
Old 2020-04-28, 08:53   #29
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

26×113 Posts
Default

Quote:
Originally Posted by retina View Post
I love it. RDS is back to form.

https://en.wiktionary.org/wiki/kit#Noun number 4. But I suspect you figured that out from the context.
I love it. People who make informal use of an English word during a technical discussion
in which such words may have more than one meaning. Technical discussions require
words to have only possible meaning.

Enlighten me. Please give a formal definition of the word "kit" in this context. What
items are included in a GPU "kit"?
R.D. Silverman is offline   Reply With Quote
Old 2020-04-28, 08:57   #30
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

2×3×5×193 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
Enlighten me. Please give a formal definition of the word "kit" in this context. What
items are included in a GPU "kit"?
ALL of it. Everything that is required to run a test. Including the power cable, the OS, the drivers, and the ability to keep the cat off the keyboard.
retina is online now   Reply With Quote
Old 2020-04-28, 10:39   #31
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

4,583 Posts
Default

Quote:
Originally Posted by retina View Post
ALL of it. Everything that is required to run a test. Including the power cable, the OS, the drivers, and the ability to keep the cat off the keyboard.
Proper selection of every component of the kit. Including no kittens.
kriesel is offline   Reply With Quote
Old 2020-04-28, 10:45   #32
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

2×3×5×193 Posts
Default

Quote:
Originally Posted by kriesel View Post
Proper selection of every component of the kit. Including no kittens.
Hah, yes I missed that obvious opportunity.

Revised "kit":
ALL of it. Everything that is required to run a test. Including the power cable, the OS, the drivers, and the ability to keep the kitty off the keyboard.
retina is online now   Reply With Quote
Old 2020-04-28, 10:47   #33
axn
 
axn's Avatar
 
Jun 2003

17×277 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
This proves nothing since it can be computed independently of whether the
divisions took place. You need to include some information generated by
the TF itself.
Perhaps we should do some threat modeling before evaluating proposed solutions.

What is the current problem? Someone can fake a "no factor" result by manually typing up the result line and submitting to the server.

A simple checksum that can only be generated by the client should prevent that. It should have the property that different exponent/bit level should give unique value. Presumably, the client should have enough safeguards that it can't be tricked into computing the checksum without doing the actual work. This would mean encrypting the checkpoint files written to the disk.

I don't think for the problem as stated, we need proof of work. Provided the server trusts the client, the checksum is basically the client vouching for the work done -- that should be good enough.
axn is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
GPU Trial Factoring FAQ garo GPU Computing 100 2019-04-22 10:58
mfaktc for dummies NBtarheel_33 GPU Computing 10 2011-10-13 00:04
How much Trial Factoring to do? odin Software 4 2010-08-08 20:23
How far to do trial factoring S485122 PrimeNet 1 2007-09-06 00:52
trial factoring and P-1 jocelynl Math 8 2006-02-01 14:12

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

Fri Oct 23 06:23:24 UTC 2020 up 43 days, 3:34, 0 users, load averages: 1.94, 1.73, 1.61

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.