1 - Amiga Magazine Online

Liste di Sistema ... ma non solo
Come gestire strutture a lista sfruttando i servizi di Exec
Quando si scrive un programma, due sono gli elementi
fondamentali dei quali tenere conto fin dalla fase di pro-
gettazione, che forniscono gli strumenti per esprimere e
per implementare nel linguaggio che abbiamo scelto le
idee su cui si basa il programma stesso. Questi due ele-
menti sono riassunti nella famosa equazione di Wirth:
strutture dati + algoritmi = programmi
Le strutture dati descrivono il modo in cui sono organiz-
zati i dati sui quali il programma dovrà operare, mentre
gli algoritmi specificano quali passi il programma dovrà
compiere su quelle strutture per giungere al risultato vo-
luto: è quindi evidente che queste due componenti inte-
ragiscono fortemente e concorrono a caratterizzare il
comportamento globale del programma in termini di oc-
cupazione di memoria e di velocità di esecuzione. È ne-
cessario saper valutare questi due aspetti quando si vo-
gliono confrontare implementazioni diverse delle stesse
idee, in modo da poter scegliere I'implementazione che,
anche se la migliore in assoluto, offra però caratteristiche
che possono farla preferire alle altre.
Le liste
Tra le strutture dati più diffuse e universalmente cono-
sciute annoveriamo i vettori e le liste. Rimandiamo al pa-
ragrafo finale di questo articolo l'analisi dei pregi e dei
difetti che entrambe presentano; per il momento sottoli-
neiamo solo che si tratta di strutture contenitore, cioè at-
te a contenere un certo numero di elementi, e che pro-
prio questa loro comune funzione permette di metterle a
confronto. Possiamo però anticipare i risultati del con-
fronto: vedremo che i vettori offrono maggiore efficienza,
in quanto ogni elemento è accessibile direttamente me-
diante il suo indice, mentre le liste sono di gran lunga
più flessibili, perché non richiedono che gli elementi ri-
siedano in una zona contigua di memoria, né che il loro
numero sia fissato a priori.
i linguaggi cosiddetti imperativi, come il C, il C++, il Pa-
scal, forniscono direttamente la possibilità di dichiarare
una certa variabile come vettore, ma non offrono lo stes-
so supporto per le liste, che devono essere costruite dal
programmatore ricorrendo a strutture e puntatori. Questo
naturalmente non significa che l'impiego di un vettore sia
la soluzione migliore in tutti i casi, anzi si potrebbe soste-
nere il contrario, esagerando nel verso opposto, e argo-
mentare che i linguaggi non imperativi, come il Lisp e il
Prolog, usano invece le liste come strutture dati principa-
li. I1 linguaggio E rappresenta in questo panorama un'ec-
cezione significativa, perché offre un supporto diretto sia
per i vettori che per le liste, ma per questo rimandiamo
alla serie di articoli su AmigaE.
E Amiga?
Vediamo allora l'esempio di una applicazione in cui le li-
ste sono state scelte, per la loro flessibilità, come struttu-
ra dati particolarmente conveniente: il Sistema Operativo
di Amiga.
Tutti noi sappiamo che la carta vincente delllAmigaDOS,
uno dei suoi fiori all'occhiello, è la capacità di configurarsi
dinamicamente, tipica di un sistema multitasking.
Nel corso di una sessione di lavoro su Amiga ci sono task
che vengono lanciati e che terminano, librerie che
vengono aperte e chiuse, risorse che sono acquisite e rilasciate,
messaggi che vengono inviati e ricevuti. La filosofia
che sta dietro tutto ciò è che niente è fissato staticamente
(tranne la locazione 0x0004!), ma tutto è in continua
evoluzione. Questa visione del mondo si sposa perfettamente
con la flessibilità delle strutture a lista, sulle
quali è possibile intervenire inserendo ed eliminando elementi
che possono risiedere ovunque nella memoria di
Amiga.
Gran parte della gestione delle risorse fa quindi ricorso a
liste, che possono essere semplici, cioè percorribili in un
solo verso, o doppie, percorribili in entrambi i versi. Per
esempio la lista delle finestre aperte su uno schermo è
una lista semplice, mentre tutte le cosiddette liste di siste-