ARGOMENTO:

Un esempio che spero chiarisca, ma temo succederà il contrario, è il seguente.
Prendete un caffè e andiamo avanti.
Vedete questa pagina piena di numeracci ?
Sono tutte le congetture di Riesel/Sierpinski ancora non provate.
Bene, fermiamoci alla prima riga della tabella di sinistra ed eviteremo grosso malditesta.
Per la base b=63 il k congetturato è ck=187258666 e rimangono ben 177330 k's (k's è il plurale di k, non vi spaventate) da eliminare!
Chi avrà la fortuna o la sfortuna di lavorare per questa base cercherà numeri primi nella forma k*63^n-1, con k < 187258666.
Quando per tutti i k summenzionati sarà stato trovato almeno un numero primo, la congettura sarà provata e si potrà affermare che qualsiasi numero nella forma 187258666*63^n-1 non solo è composito, ma è anche quello con il k più piccolo che esista che soddisfi tale proprietà.
A questo punto si potrà spostare b=63 nella pagina delle congetture dimostrate .

Pare che arriverà l'app GPU72 in OpenCL. Non si tratta di testare numeri primi per risolvere le congetture di Riesel/Sierpinski, ma di cercare fattori per i numeri di Mersenne.

srbase.my-firewall.org/sr5/forum_thread.php?id=1326

è un po' che non elaboro su questo progetto, hanno ancora le code con wu...col contagoccie?
Essendo uno di quelli che "cacciano" i badge, avere le code dei sotto-progetti vuote o solo 1-2 con qualche wu mi è un po' scomodo...

Io vedo che più o meno ogni weekend rebirther carica nuovo lavoro. Purtroppo fa un grosso lavoro manuale, anche perché prima deve dichiarare su mersenneforum quali basi e quali range si riserva. Credo di aver capito che le fattorizzi sino alla 'optimal depth' per i fatti suoi o su qualche altro progetto di calcolo distribuito. Poi deve preparare il nuovo lavoro su srbase e, una volta che è tutto svolto, analizzare i risultati per depennare i k per cui è stato trovato un numero primo, avvisare gli scopritori di numeri primi da top5000 di reportarli oppure farlo lui stesso in caso di mancata risposta. Infine, reportare il tutto su mersenneforum e rilasciare la base. Un casino.

Ultimamente il lavoro con wu long è quasi sempre disponibile, per gli altri sottoprogetti se ne va quasi subito per cui bisogna tenere d'occhio giornalmente il server status.

Tra l'altro ho osservato che il programma llr64 utilizza fft length molto differenti sullo stesso sottoprogetto e persino per lo stesso batch di wu, dato che la fft length dipende anche dalla grandezza del numero testato! Di conseguenza la configurazione ottimale di tasks x threads è variabile.
Per esempio può essere che alle prime wu di un batch si abbiano fft length piccolissime per cui vanno bene tasks single-threaded. Poi progressivamente bisogna passare a 2-3-4 threads a seconda del processore.
Il throughput (volume di produzione) della cpu al variare delle fft legth si può testare con prime95. Se serve, spiego come. Niente di complicato comunque.

Wow, non pensavo ci fosse tutto questo lavoro manuale.

Per quanto riguarda il multithread, non mi ero mai posto il problema..non pensavo fosse supportato. Funziona tramite l'app_config stile PrimeGrid qualche tempo fa? (son parecchi mesi che non elaboro)

corla99 ha scritto:

Per quanto riguarda il multithread, non mi ero mai posto il problema..non pensavo fosse supportato. Funziona tramite l'app_config stile PrimeGrid qualche tempo fa? (son parecchi mesi che non elaboro)

È leggermente diverso: srbase.my-firewall.o...5/forum_thread.php?id=6&postid=3795#3795
Solo che i settaggi devono essere personalizzati imho. Per esempio ora su un quad core sto facendo girare srbase2 e srbase8 entrambe a 2x2 con max_concurrent=1 e la cpu al 50% per avere solo 2 core disponibili, che per BOINC significa 2 tasks. Lui non capisce che sono 2x2 e mi usano tutta la cpu.

Questo è un esempio di benchmark del throughput di prime95, per il mio i5-4590:In questo momento l'app srbase8 usa la fft length 192K e mi conviene scegliere la configurazione 2x2.
L'output dipende sia dalla dimensione della cache del processore che dalla velocità della ram. Ogni computer è una storia a sé.

Questo è lo schemino che ho all'interno del mio app_config.xml, che vale solo per il mio PC. Conclusioni tratte testando una moltitudine di fft length...

Nubman ha scritto:

Pare che arriverà l'app GPU72 in OpenCL. Non si tratta di testare numeri primi per risolvere le congetture di Riesel/Sierpinski, ma di cercare fattori per i numeri di Mersenne.

srbase.my-firewall.org/sr5/forum_thread.php?id=1326

L'applicazione ha versione CUDA per le schede NVIDIA e OpenCL per quelle AMD.
In effetti, io avevo già usato il software mfaktc per fare un po' di manual testing per conto di GIMPS.
La versione OpenCL si chiama mfakto.
Qui i dettagli: srbase.my-firewall.o...5/forum_thread.php?id=6&postid=5765#5765

Succulento batch di wu della nuova app GPU72. Circa 8000 ora.
Si tratta di fattorizzazione da 2^72 a 2^73 per numeri di Mersenne con esponente di 100M e qualcosa.

Voglio prendere il badge silver di GPU72.
Le wu danno 1500cr, ne servono 67.

Mi vanno tutte in errore dopo 2 secondi circa. Il problema sembra essere questo:
Ubuntu 18.04.4 LTS e GTX 1660Ti con driver 430.50
Idee?

corla99 ha scritto:

Mi vanno tutte in errore dopo 2 secondi circa. Il problema sembra essere questo:

./mfaktc.exe: error while loading shared libraries: libcudart.so.10.1: cannot open shared object file: No such file or directory

Ubuntu 18.04.4 LTS e GTX 1660Ti con driver 430.50
Idee?

Stesso problema con Ubuntu 14.04 e driver 430.26.
È mfaktc.exe che non trova libcudart.so.10.1 in /usr/local/cuda-10.1/lib64.
Devi installare il CUDA Toolkit 10.1: developer.nvidia.com...et_version=1804&target_type=runfilelocal
Esegui quelle 2 righe e installa solo il toolkit (leva la X da tutti il resto).
Poi riavvia il sistema.

P.S. a me l'installazione del toolkit è terminata con un messaggio di errore: Segmentation fault (core dumped), ma ha fatto il suo dovere.

srbase.my-firewall.o...orum_thread.php?id=1327&postid=5990#5990

Ora GPU72 sta fattorizzando sugli esponenti 77-78. Le wu sono molto più lunghe.

Crediti dell'app GPU72 più che triplicati per uniformarsi agli altri progetti hihi

srbase.my-firewall.o...orum_thread.php?id=1327&postid=6020#6020 detto
srbase.my-firewall.o...orum_thread.php?id=1327&postid=6036#6036 fatto

Qualche novità sull'applicazione GPU72.

Ha cambiato nome. Ora si chiama TF, da Trial Factoring.
È stato finalmente aggiunto lavoro più corto, cioè fattorizzazione nell'intervallo di esponenti 72-73.
Si sta ancora ragionando sulla proporzione di crediti da assegnare per il lavoro svolto.
Qualcuno suggerisce di allinearsi con PPS-SV di PrimeGrid.

Base S406 provata con un megaprimo.
srbase.my-firewall.org/sr5/forum_thread.php?id=1419

Altro megaprimo e altra base provata (R182).
srbase.my-firewall.org/sr5/forum_thread.php?id=1452

Base R236 provata a fine novembre ed S436 a fine dicembre.
srbase.my-firewall.org/sr5/forum_thread.php?id=1470
srbase.my-firewall.org/sr5/forum_thread.php?id=1511

corla99 ha scritto:

Mi vanno tutte in errore dopo 2 secondi circa. Il problema sembra essere questo:

./mfaktc.exe: error while loading shared libraries: libcudart.so.10.1: cannot open shared object file: No such file or directory

Ubuntu 18.04.4 LTS e GTX 1660Ti con driver 430.50
Idee?

Sì.
Dovresti scaricare libcudart.so.10.1 e copiarlo in /usr/lib o /usr/lib64.

Tale spiegazione è fornita in questo post .

Stavo giusto cercando un progetto su cui spostare la gpu, visto che ho preso il badge su PG...magari nel weekend faccio qualche prova

Hai l'imbarazzo della scelta.

1) TF su SRBase
2) WW su PrimeGrid
3) GFN-1x su Private GFN Server

ciao ragazzi,. Mi confermate che le nuove iscrizioni a SRBase sono bloccate?