Verificare il risultato sulla CPU

Un kernel che viene eseguito senza arrestarsi in modo anomalo non dimostra di essere corretto. Deve verificare i numeri, perché gli errori logici silenziosi sono facili da non notare. 🔍

Il controllo più semplice consiste in un normale ciclo CPU che esegue gli stessi calcoli. Questo risultato di riferimento è la fonte affidabile con cui confrontarsi.

Scorra entrambi gli array e confronti ogni risultato della GPU con il riferimento. Un ciclo su tutti gli elementi n individua qualsiasi valore errato.

Con i numeri in virgola mobile, non esegua mai un test usando la semplice uguaglianza. Le piccole differenze di arrotondamento richiedono invece un confronto con una piccola tolleranza.

GPU e CPU potrebbero arrotondare in ordini diversi, quindi i risultati possono differire di pochissimo. Un piccolo epsilon come 1e-5 assorbe questo errore innocuo.

Anziché interrompersi alla prima differenza, tenga traccia del conteggio degli errori. Sapere quanti elementi non coincidono suggerisce il tipo di bug presente.

Concluda con un unico messaggio sincero. Una riga chiara con PASS o FAIL evita di dover esaminare attentamente gli array grezzi.

I bug nei limiti colpiscono spesso il primo e l’ultimo elemento. Stampare C[0] e C[n-1] offre un rapido controllo preliminare prima del ciclo completo.

Se è errato esattamente l’elemento ultimo, sospetti un errore nel calcolo dei limiti. Un conteggio errato dei blocchi o una condizione di controllo può spesso escludere l’ultimo thread.

Confermi sempre la correttezza prima di ottimizzare la velocità. Un kernel rapido che restituisce risposte errate è peggiore di uno lento ma corretto.

Durante lo sviluppo, lasci attivo il passaggio di verifica. È il suo test di regressione, che rileva gli errori non appena modifica il kernel.

Ha verificato il risultato: un riferimento CPU, un confronto con tolleranza, un conteggio degli errori e un PASS o FAIL chiaro. Prima di tutto, sempre la correttezza. ✅