Primegrid - LLR

[durbans]

Segnalo che il progetto BOINC primegrid (http://www.primegrid.com) ha implementato il Lucas-Lehmer-Riesel test (LLR) alla ricerca di numeri primi gemelli (fondendosi parzialmente con il progetto da noi ideato TIPS (http://www.twinprimesearch.org).

Al momento bisogna selezionare dal sito "Run test application" per ricevere le work unit di LLR, in futuro ci dovrebbe essere un selettore di applicazione che permettera' di scegliere quale tipo di workunit ricevere ( al momento infatti il progetto esegue anche primegen ).

[Marco71]

..."gemelli" mi ricordo, portarono alla luce il famoso problema a carico dell'algoritmo di divisione del processore Pentium (90 e 100MHertz).
Il problema venne segnalato dal Prof. Thomas R. Nicely in una famosa corrispondenza http://www.emery.com/bizstuff/nicely.htm.
So che forse quello che ho detto è "off-topic" ma mi riaffiorava questo ricordo nella mente...
Grazie.

Marco71.

[fradeve11]

Io non ne ho mai sentito parlare. Nessuno può fare un riassunto? ;)

[durbans]

Io non ne ho mai sentito parlare. Nessuno può fare un riassunto? ;)

Del progetto o del bug dei processori Intel ?

[fradeve11]

Del progetto o del bug dei processori Intel ?
entrambi ;)

[durbans]

Il progetto e' abbastanza semplice: trovare la piu' grande coppia di numeri primi gemelli, ovvero numeri primi che distano 2. Ad esempio, i primi numeri primi gemelli sono 3 e 5, 5 e 7, 11 e 13 e cosi' via.
I numeri testati sono della forma K * 2 ^ N +/ - 1 dove N al momento e' stato scelto pari a 195000 (il numero e' sostanzialmente casuale, pero' e' sufficiente per stabilire un record mondiale).
In pratica si scansionano tutti i K (dopo che sono passati da un crivello per eliminare quelli con fattori piccoli) fino a che non si trova una coppia di primi gemelli (in realta' prima si cerca un numero primo della forma K * 2 ^ N - 1, poi , se e' primo, si guarda se anche il K * 2 ^ N + 1 e' primo.)

Il test utilizzato e' il LLR (lucas-lehmer-riesel), con google trovi maggiori dettagli su di esso e sulla sua implementazione






Per il bug devi chiedere a Marco71, non ne so niente.

[fradeve11]

Grazie, veramente esauriente ;) Quindi potremmo dire che, a parte il puro e immacolato piacere matematico, l'unico risvolto pratico di questa elaborazione sarebbe il bug dei Pentium? :confused:

[Marco71]

...è presto detto...
I processori "affetti" dal problema erano i Pentium a frequenza di 90 e 100 MHertz (non la primissima generazione Pentium a 60 e 66 MHertz).
Il bug affliggeva la matrice ad array programmabile (P.L.A) che avrebbe dovuto contenere le 1066 entries di una tavola di "sguardo veloce" (lookup table) per i valori riguardanti i divisori intermedi dell'algoritmo utilizzato per la divisione in virgola mobile aderente allo standard I.E.E.E 754/854 (o meglio a cui avrebbe dovuto aderire).
Dovete sapere che fino a tutta la generazione 80486 Intel (si perchè parlando di suoi emuli probabilmente per velocizzare il sottosistema di f.p.u era già stato abbandonato questo algoritmo) per tutto il set di istruzioni di f.p.u per le divisioni ed anche per le istruzioni cosiddette "trascendenti" (fsin, fcos, ftan ecc.) era in adozione il sistema COrdinate Rotation DIgital Computer (CORDIC) che con un shiftatore a tamburo unitamente ad istruzioni intere di addizione permetteva di ottenere il calcolo delle istruzioni di cui sopra.
Algoritmo molto ma molto inefficiente che fu abbandonato quando fece la comparsa Pentium in favore del più rapido algoritmo S.R.T (dalle iniziali di coloro che lo proposero).
In soldoni come diceva il mio professore di analisi I e II, l'ingegnere della Intel che doveva realizzare l'insieme di maschere per il processo di fotolitografia si "dimenticò" di effettuare l'uploading di alcuni valori che rimasero tragicamente a valore nullo.
Il prof. Thomas Nicely durante una ricerca di matematica "pura" sui numeri primi "gemelli" si accorse che con determinate combinazioni di dividendi il risultato della operazione FDIV era errato.
La cosa ebbe per Intel conseguenze "catastrofiche" dato che dovette gratuitamente sostituire tutti i processori affetti (in un primo momento Intel cercò però di minimizzare il problema dicendo che l'errore statisticamente si sarebbe potuto verificare in una parte su svariati miliardi e non avrebbe interessato l'utente "comune" di allora che faceva calcoli con spreadsheet al massimo con poche cifre decimali...).
Per le generazioni seguenti di processori Intel (P6 e seguenti) ha tentato una verifica esaustiva delle proprie unità in virgola mobile ma, come avrete già capito il problema "bug" si è sempre presentato data la elevatissima complessità dei processori ad I.S.A x86/x87.
Sono stati impiegati dei supercomputer spaventosi solo per la verifica di aderenza formale dell'unità canalizzata in virgola mobile del processore Pentium PRO.
Come aneddoto mi ricordo che per avere la verifica esaustiva della sola FDIV (in singola e doppia precisione) passò più di una settimana...
Un poco quello che accadde durante la progettazione dell'80846: servì una miriade di computer basati su 80386 solo per simulare il classico prompt "C:\DOS"...
Spero mi abbiate seguito sin qui...thanks.

Marco71.

[fradeve11]

Si sono riuscito ad assorbire quasi tutto, anche se alcune cose sono rimaste arabo. A parte questo... sconcertante :eek:
Grazie mille per i chiarimenti, hai appena edotto un utente ;)

[Marco71]

...all'epoca il "bug" ebbe molta eco...
Penso che da allora molto sia stato fatto per assicurare la massima aderenza agli standard I.E.E.E 754/854 dell'hardware che lo implementa "fisicamente" .
Nei processori (ho tolto il prefisso micro dato che esso poteva andare bene quando le lunghezze di gate dei transistor m.o.s erano appunto dell'ordine del micron, ora non più) le errata si contano a decine ed ho paura che ciò dipenda dall'enorme spazio dei "vettori" che dovrebbero essere forniti in ingresso ad un simulatore che ne dovesse verificare il funzionamento.
Per il Pentium PRO la verifica esaustiva è stata fatta per tutte le funzioni trascendenti.
Il Pentium 4 ahimè ha continuato la pessima tradizione di Intel in quanto a velocità nel calcolo in virgola mobile tramite istruzioni x87, anzi esso ha introdotto dei peggioramenti rispetto alla generazione P6 (Pentium PRO, PII e PIII).
Le famose a.l.u interne funzionanti a frequenza doppia rispetto al resto della logica sono dei grossi e fuorvianti "specchi per allodole" essendo state introdotte per cercare di avere la stessa efficienza nelle istruzioni logiche e sugli interi che avevano le precedenti gen. di processori.
Grazie.

Marco71.

[fradeve11]

:eek: sbalorditivo

[durbans]

Si comunque il progetto in se' viene fatto per la "gloria", come molti progetti di calcolo distribuito , non c'e' nessun intento di trovare bug di processori Intel.

[fradeve11]

Seriamente??? Chiedo scusa per la domanda magari stupida, ma non sarebbe utile a questo punto una collaborazione con la Intel? O si perderebbe l'aspetto "no-profit" dell'elaborazione?

[GHz]

Seriamente??? Chiedo scusa per la domanda magari stupida, ma non sarebbe utile a questo punto una collaborazione con la Intel? O si perderebbe l'aspetto "no-profit" dell'elaborazione?

Ma lol, mi sa che hai mescolato il progetto con l'intel :D

Questo progetto non serve per trovare i bug dei processori, ma è per trovare quei numeri gemelli particolari ed è, come ha detto durbans fine a se stesso. Marco ha solo scritto che ai tempi del pentium, usando un algoritmo per cercare dei numeri del genere, casualmente venne riscontrato un bug nei processori intel che fece notizia (ed in questo topic ha approfondito i fatti :p ).

Personalmente non trovo motivo di appoggiare questo progetto :fagiano: :boh:

Ciao,
GHz

[Marco71]

..."Maestro"...

Marco71.

[fradeve11]

Effettivamente... :mbe: E' pura disquisizione...

[djtux]

Quindi questo progetto è privo di possibili applicazioni pratiche? è puramente teorico?
Mi domando allora che esiste a fare un progetto simile... è come far perdere tempo a migliaia di persone a calcolare all'infinito ogni numero addizionandolo sempre di 1... 1+1=2, 2+1=3... e così via. E' logico che la cosa va all'infinito... che senso ha? :( :confused:
Anche lo SZTAKI Desktop Grid, che utilità ha?

[Marco71]

...e la teoria dei numeri (di cui anche la ricerca dei numeri primi in forma "gemella" fa parte) non è fine a se stessa e puramente "sterile".
Tutto il nostro "mondo moderno" e tutta la tecnologia oggi fruibile "dai più" è basato sulla ricerca di base, e men che meno quella in ambito della matematica.
Ed è proprio grazie a persone come il Prof. Nicely che sistemi hardware "complessi" vengono sottoposti a verifiche formali di rispondenza (piena) a ciò per cui sono stati progettati.
Vi sembra poca cosa l'aver inferito per deduzione da risultati derivanti da ricerche sulla teoria dei numeri, che una unità di calcolo in virgola mobile aveva al suo interno errori anche con ripercussioni potenzialmente gravi negli impieghi "reali" ?
La matematica, scienza "esatta" per definizione e di cui la teoria dei numeri è una branca, volenti o nolenti è alla base di tutta la scienza sperimentale e la tecnologia.
Senza di essa l'ing. Viterbi fondatore della Qualcomm, non avrebbe potuto sviluppare i codici convoluzionali alla base dei sistemi di comunicazioni C.D.M.A e quindi di tuttla la telefonia "cellulare" odierna.
Ricordo anche un altro importantissimo risultato della analisi combinatoria e del calcolo delle probabilità...
I problemi del commesso viaggiatore e del teorema dei quattro colori, hanno permesso tra l'altro, di minimizzare la lunghezza dei percorsi delle metallizzazioni multilivello che si ritrovano nei processori.
E questi sono solo pochissimi esempi.
Grazie.

Marco71.

[djtux]

Non dico che la matematica è inutile! Anzi! E' una delle materie che mi piacciono di più! :D
Ciò che non riesco a capire è: come si fa, a partire per esempio dal calcolo delle matrici di SZTAKI oppure del Rectilinea Crossing Number, ad arrivare a delle applicazioni pratiche? Semplificando... tornando all'esempio che facevo dell'addizione, che si risolve addizionando sempre all'infinito? Oppure, come si fa ad arrivare ad applicazioni pratiche calcolando matrici di numeri che man mano aumentano di complessità?

[djtux]

Non capisco questa pagina: http://primegrid.com/orig/range_grid.php

Indica le "tappe" da completare per arrivare al resoconto finale e quindi completare il progetto?

[Heric]

...e la teoria dei numeri (di cui anche la ricerca dei numeri primi in forma "gemella" fa parte) non è fine a se stessa e puramente "sterile".
Tutto il nostro "mondo moderno" e tutta la tecnologia oggi fruibile "dai più" è basato sulla ricerca di base, e men che meno quella in ambito della matematica..

Come non quotare..
La ricerca "pura", pur non dando sbocchi pratici e concreti nell'immediato, ha molto spesso messo a disposizione strumenti importantissimi se non fondamentali nell'avanzamento tecnologico. Ed è per questo che sebbene i miei progetti di punta sono in ambito medico (e gli studi sulle proteine), cerco sempre di ritagliare una percentuale ai progetti matematici (5-10% del totale). ;)

[Marco71]

...mi fa piacere vedere una tantum (latini docet) che le sciocchezze che dico spesso, a volte hanno un fondamento attinente alla realtà.
La Intel (per dirne una) ha uno stuolo immenso di matematici (in ogni branca della matematica pura, combinatoria, statistica ecc. ecc.) che servono nei punti più disparati della costruzione di circuiti integrati sempre più complessi.
La verifica della unità in virgola mobile del Pentium PRO (I.E.E.E 754/854) è un esempio applicativo "reale".
Thanks.

Marco71.

[djtux]

Siamo in 4, 145esimi nella Top teams di PrimeGRID, per il momento sto scaccolando solo io... mi date una mano a riportare su il team?:D :mc:

L'ideale per me sarebbe poter impostare la cache di PrimeGRID a 1 giorno mantenendo a 4 o più quella di Seti@home... ho un solo pc purtroppo.
Se lo stesso pc lo imposto su Seti@home come "casa" e su PrimeGRID come "scuola" funzionerà?

[djtux]

Ho impostato delle preferenze separate per il mio pc come "scuola" però lo stesso pc continua ad essere impostato come per Seti@home come "casa"... mi vede 2 pc ma in realtà è uno solo... come faccio?

Grazie.

[djtux]

Adesso siamo 139esimi... ma le WUs di PrimeGRID sono tutte così piccole? Ci metto circa 12min per elaborarne una di primegen 5.13...

[lucab76]

Ho impostato delle preferenze separate per il mio pc come "scuola" però lo stesso pc continua ad essere impostato come per Seti@home come "casa"... mi vede 2 pc ma in realtà è uno solo... come faccio?
Grazie.
I passi da fare, in teoria, sono semplici: :read:
1) Crei un profilo "School" sotto le General Preferences;
2) Vai alla pagina di gestione della macchina e gli setti una nuova Location;
3) Apri BOINC, selezioni il progetto dove hai cambiato Location alla macchina e fai un update manuale. :D

Occhio che: :O
a) Il profilo "School" è condiviso ed usato da tutti i progetti a cui partecipi;
b) Puoi assegnare Location diverse alla stessa macchina, a seconda dei progetti;

Se questo procedimento non funziona (anche se mi sembra di capire che hai fatto tutto quello che dovevi fare), specifica meglio il problema... :p In che senso "mi vede 2 pc ma in realtà è uno solo"? :mbe:

[GHz]

Aggiungo che non abbiamo il team su prime grid, ne avevamo discusso ed era stato deciso di no (questo non sgnifica che non possiamo cambiare idea), il team di hardware upgrade che c'è è stato aperto da un'altro membro di sua iniziativa che ora non è più attivo e non sono riuscito a contattare, e sto aspettando che si attivi il trasferimento del fondatore (ci vogliono 2 mesi, dovremo essere vicini), sempre che funzioni :doh:

[Heric]

Io sono dentro al Team "farlocco".. :muro: Ho intenzione di scaccolare ancora in futuro nel progetto: istruzioni? :help:

[gabi.2437]

Lasci il team farlocco e joini quello vero no?

[djtux]

"mi vede 2 pc ma in realtà è uno solo"... >> vorrei impostare 2 profili differenti per lo stesso computer per un solo progetto (PrimeGRID)...

In pratica voglio che PrimeGRID riempi la cache per 0.5 giorni come frequenza di connessione e che Seti@home rimanga a 6 giorni di cache. Ma tutto questo su un solo pc, quello che ho a casa...

Poi semmai riuscirò ad installare e a nascondere per bene BOINC anche a scuola, i 13 AthlonXP 2600 avranno i loro profili e vorrei metterli tutti su PrimeGRID o qualche progetto simile di matematica o comunque su progetti che distribuiscono delle WUs "leggere" che non richiedano un tempo di elaborazione superiore ad 1h con l'AthlonXP 2600... Per il momento PrimeGRID è il miglior candidato in questo senso ma non c'è il nostro team BOINC.Italy su PrimeGRID...

[lucab76]

"mi vede 2 pc ma in realtà è uno solo"... >> vorrei impostare 2 profili differenti per lo stesso computer per un solo progetto (PrimeGRID)...

In pratica voglio che PrimeGRID riempi la cache per 0.5 giorni come frequenza di connessione e che Seti@home rimanga a 6 giorni di cache. Ma tutto questo su un solo pc, quello che ho a casa...
La prima frase resta un mistero... :asd:
Un solo pc su un solo progetto lavora con un solo profilo...
Due profili diversi per un pc su uno stesso progetto è impossibile, o lavora con una location o con un altra! :O

Comunque, interpretando la seconda frase :p , fai così: :read:
Accedi al tuo account su PrimeGRID;
General Preferences -> Add separate preference for school -> metti la cache a 0.5 giorni. -> Salvi e torni all'account;
Vai ai tuoi computer, scegli il pc di casa e gli assegni la Location "school";
Apri il BManager e fai un update di PrimeGRID: così si renderà conto della nuova location e userà 0.5gg di cache su PrimeGRID.

Ora, se le normali preferenze hanno già 6gg di cache, hai finito. :)

Altrimenti:
Accedi al tuo account su SETI;
General Preferences -> Add separate preference for work (ad esempio) -> metti la cache a 6.0 giorni. -> Salvi e torni all'account;
Vai ai tuoi computer, scegli il pc di casa e gli assegni la Location "work";
Apri il BManager e fai un update di SETI: così si renderà conto della nuova location e userà 6.0gg di cache su SETI.

Per conferma poi chiudi e riavvia il BManager e guarda cosa scrive nel tab dei messaggi, quando riepiloga progetti e location; ad esempio:
14/03/2007 8.01.38|boincsimap|URL: http://boinc.bio.wzw.tum.de/boincsimap/; Computer ID: XXXXXX; location: ; project prefs: default
14/03/2007 8.01.38|Einstein@Home|URL: http://einstein.phys.uwm.edu/; Computer ID: XXXXXX; location: ; project prefs: default

Facci sapere! ;)
PS: Ovviamente se agli altri pc non cambi la location, a loro non cambierà nulla! :D

[djtux]

Grazie per i consigli ma ho deciso che mi conviene dedicare l'unico computer che ho ad un solo progetto alla volta altrimenti non posso aumentare il mio RAC nel team in maniera efficace...
Ma intanto, visto che non posso mettere BOINC sui pc della scuola dato che ci vuole la password dell'amministratore e l'amministratore non mi dà il permesso di farlo, posso installare client di altri progetti di Calcolo Distribuito non BOINC... se il nostro team fosse presente anche su questi altri progetti allora potrei dare una mano più consistente... >> ho aperto un post apposta nel forum sui progetti "non BOINC".

[GHz]

Grazie per i consigli ma ho deciso che mi conviene dedicare l'unico computer che ho ad un solo progetto alla volta altrimenti non posso aumentare il mio RAC nel team in maniera efficace...
Ma intanto, visto che non posso mettere BOINC sui pc della scuola dato che ci vuole la password dell'amministratore e l'amministratore non mi dà il permesso di farlo, posso installare client di altri progetti di Calcolo Distribuito non BOINC... se il nostro team fosse presente anche su questi altri progetti allora potrei dare una mano più consistente... >> ho aperto un post apposta nel forum sui progetti "non BOINC".

Perchè per gli altri client di progetti non BOINC non ci vuole il permesso e la password dell'admin? :mbe:

[djtux]

Beh non so se è vero per tutti gli altri client, ma io per il momento ho provato con Muon1 che... adesso che ci penso non si deve installare ma basta farlo partire dalla cartella di files scaricata dal sito in formato RAR...:D devo provare con altri progetti...

Comunque non so perché ma certi programmi non richiedono la password dell'amministratore per essere installati, ad esempio Mozilla Firefox e OpenOffice...

[GHz]

Beh non so se è vero per tutti gli altri client, ma io per il momento ho provato con Muon1 che... adesso che ci penso non si deve installare ma basta farlo partire dalla cartella di files scaricata dal sito in formato RAR...:D devo provare con altri progetti...

Comunque non so perché ma certi programmi non richiedono la password dell'amministratore per essere installati, ad esempio Mozilla Firefox e OpenOffice...

Se è per quello anche BOINC funziona benissimo anche senza installazione, tanto che c'è la cartella pronta "pulita" da scaricare zippata nel topic ufficiale :D
Comunque l'autorizzazione ci deve sempre essere :O
Probabilmente per alcuni programmi ci sono le permission giuste e vengono installati senza andare a toccare il sistema ma solo il profilo dell'utente, mentre per altre cose c'è bisogno dei diritti di admin.