Forum libero

> > Non vi sto a spiegare tutto nei dettagli senno` finisco di scrivere l'anno prossimo. Comunque e` per dire: pian pianino, sta procedendo. Ma poi neanche tanto pianino, visto che ho ripreso a lavorarci da un paio di settimane... pero` e` ancora lunghetta. Piu` o meno a livello di parser c'e` tutto, il "canovaccio" e` pronto: manca solo una fraccata di funzioni per l'assemblaggio di istruzioni, e qualche modifica alla gestione dei threads nel modulo di runtime.
>
> A quanto pare la stanzetta iphone style con illiminazione chirurgica da i suoi frutti.

Ah, dici che e` quella?

> Questo post è una pietra miliare, lo salvo subito.

Potrebbe essere vero quello che dici.
Ah, nella "pietra miliare" c'era pero` un piccolo errore in un commento:

dove dice "put copy #2 of sample value into q"

in realta` lo mette nel registro r quindi dovrebbe finire con "into r". E` solo un commento (la roba tra parentesi e` un commento), sicche` non influisce sul funzionamento del programma, ma sbaglia a spiegare cosa fa l'istruzione a cui si riferisce. In origine usava il registro q, ma mentre ripensavo a scorciare un po' l'esempio m'e` venuto in mente che q doveva essere salvato (in quel caso e` un registro callee-saved perche` non e` tra gli argomenti, cioe` i registri che ricevono i parametri della chiamata, che in quel caso sono n e p ) mentre r e` il registro "spare", cioe` una specie di registro temporaneo che non c'e` mai bisogno di salvare, quindi usando r al posto di q potevo risparmiare di usare la push (--> q) all'inizio e la pop (<-- q) alla fine. Poi pero` ho corretto il codice ma mi son scordato di correggere il commento.

I registri... be', a proposito, quelli che si trovano su tutte le architetture come registri VERI, non memory-mapped (cioe` emulati), sono m, n, p, q, r, s, v, w. I nomi sono vagamente legati alla loro funzione, ma essenzialmente per i primi 4 questo legame e` solo indicativo e i primi 4 sono in pratica general-purpose. Su x86/IA-32 le equivalenze sono:

m = EAX (maschera o accumulatore)
n = ECX (contatore di rotazione binaria, contatore generico)
p = EDX (puntatore primario)
q = EBX (puntatore secondario)
r = ESI (riserva, ausiliario nelle indirezioni con registri emulati)
s = ESP (stack pointer, appunto: puntatore alla cima dello stack)
v = EBP (vicinity pointer: puntatore alla base del local frame)
w = EDI (workbench pointer: puntatore alla base dei dati thread-local)

Insomma v indirizza le variabili locali di una inlet (una "inlet" e` il nome generico di qualcosa che puo` essere una subroutine, funzione, o metodo d'interfaccia, a seconda di come si comporta in pratica), mentre w indirizza le variabili globali (che diventano thread-local in modo che ogni thread abbia la sua copia della variabile). Ci sono un'infinita` di alchimie e acrobazie che si possono fare come vantaggi del register naming manuale, per esempio se una inlet non ha bisogno di variabili locali (perche` gli bastano i registri) potrebbe liberare v salvandolo sullo stack e poi usarlo come registro generico; se non ha bisogno di accedere alle globali puo` liberare w e ottenere ancora un altro registro libero. Lo stack pointer ovviamente e` intoccabile, ma quello e` normale che lo sia: e` accessibile a livello di sintassi e si chiama davvero s, pero` bisogna sapere esattamente quel che si fa con quello, altrimenti il crash e` garantito. Ma in totale i registri usabili quando ne servono parecchi sono fino a 7 garantiti. Usare quelli memory-mapped (che non funzionano se si altera il registro w) e` un ripiego d'emergenza, ma su architetture piu` popolose di registri esisterebbero comunque davvero. I memory-mapped sono indicati da tutti gli altri simboli di una lettera: a, b, c, d, e, f, g, h, i, j, k, l, o, t, u, x, y, z.

Ah, per concludere, ad r sono attribuiti un paio di altri ruoli: e` il registro in cui viene depositato il valore di ritorno di una funzione, ed e` anche il registro in cui viene caricato il puntatore al contesto di una inlet context-bound; le inlet context-bound sono chiamate in closure: assieme alla inlet viene legato un blocco di memoria, il contesto, che contiene gli upvalues.

**Modificato dall'autore il 18.09.2014 19:47**