Leccin 4
Variaciones sobre instrucciones y
direccionamientos
4.1. Propsito
En la Leccin 2, Smplez+i4 nos sirvi para in-
troducir un concepto fundamental del nivel de m-
quina convencional: el direccionamiento de la me-
moria y sus modos. En los ordenadores reales este
concepto se plasma de muy variadas maneras. Uno
de los objetivos de esta Leccin es presentar una
panormica de los distintos modos de direcciona-
miento y su utilidad. Nos extenderemos particu-
larmente en los modos relativos, muy importantes
por su utilidad para la reubicacin de programas
(Apartado 3.8).
La memoria de pila permite disear un tipo de
mquina llamada as, de pila, que se distancia lige-
ramente del modelo de von Neumann en lo que se
refiere al acceso a los datos, buscando mayor efi-
ciencia en la evaluacin de expresiones aritmti-
cas. Pero, sobre todo, este tipo de memoria, simu-
lada en una memoria normal (de acceso alea-
torio), es la base de un esquema muy comn pa-
ra resolver los problemas asociados al anidamien-
to de subprogramas y de interrupciones (Aparta-
do 3.6). Dedicaremos un Apartado a este asunto.
131
Los repertorios de instrucciones de Smplez y
de Smplez+i4 estn extraordinariamente simpli-
ficados. Estas mquinas ficticias slo son herra-
mientas didcticas para explicar las ideas bsicas
de los niveles de mquina convencional y de mi-
croarquitectura, y carecen de muchas caractersti-
cas que se encuentran en todas las UCP, como las
instrucciones para llamar a y volver de subprogra-
mas, las instrucciones lgicas y de desplazamien-
to, la disponibilidad de registros de propsito ge-
neral y de otros modos de direccionamiento... To-
do esto lo veremos aqu de una manera general,
sin hacer referencia a ningn ordenador concreto
(pero s aludiremos a algunos en los Ejercicios).
En resumen, si en la Leccin anterior hemos es-
tudiado las variantes principales en cuanto a re-
presentacin y procesamiento de los datos, en sta
nos proponemos presentar las que se refieren a re-
presentacin y tipos de las instrucciones.
Las medidas de prestaciones para comparar
UCP tienen mucho que ver con los repertorios de
instrucciones. Terminaremos con una introduccin
a este importante campo, y a las diferencias entre
CISC y RISC.
132 Leccin 4. Variaciones sobre instrucciones y direccionamientos
4.2. Tipos de software
En el nivel de mquina convencional hay deta-
lles condicionados por los niveles superiores. An-
tes de entrar en los tipos de instrucciones y modos
de direccionamiento que pueden encontrarse en
las UCP es necesario anticipar algo propio del ni-
vel de mquina operativa: la distincin entre soft-
ware de sistemas y software de aplicaciones.
La idea de rutina de uso general, que intro-
dujimos en Smplez+i4 con las rutinas de servi-
cio de interrupciones, se generaliza, dando lugar
a un conjunto de programas que acompaan a un
determinado hardware para facilitar su uso: ruti-
nas bsicas grabadas en ROM (Apartados 1.3, 18.9
y 19.3), rutinas de biblioteca, manejadores de pe-
rifricos, etc. Todo esto es software del sistema;
el software de aplicaciones est formado por los
programas que se escriben para resolver proble-
mas concretos (aplicaciones), haciendo uso del
software del sistema disponible.
Por tanto, los programadores de aplicaciones
se encuentran con una mquina arropada, en el
sentido de que disponen no slo de un hardwa-
re, sino tambin de un conjunto de programas de
uso general que han sido previamente escritos para
ellos por programadores de sistemas.
En principio, esta distincin no tendra por qu
tener consecuencias en el nivel de mquina con-
vencional. Ahora bien, con el fin de aprovechar lo
mejor posible los recursos de hardware, aparece
la idea de la multiprogramacin, que consiste en
que varios programas puedan compartir, de mane-
ra ordenada, la UCP. Por ejemplo, cuando un pro-
grama no puede seguir ejecutndose porque est
esperando una transferencia con un perifrico, la
UCP pasa a ejecutar otro (sistemas multitarea).
Varios usuarios pueden compartir una UCP que va
alternando la ejecucin de los distintos programas,
dando la impresin a cada uno de estos usuarios
de disponer de una UCP propia (sistemas de
tiempo compartido o multiusuario). Todas estas
operaciones tienen que estar controladas por soft-
ware (de sistemas), concretamente, por un sistema
operativo (Leccin 17). El sistema operativo de-
fine una mquina virtual cuyo modelo funcional
est formado por las mismas instrucciones de la
mquina convencional (salvo algunas excepciones
que veremos en el siguiente prrafo) ms las lla-
madas al sistema, que el programador de aplica-
ciones utiliza, por ejemplo, para realizar las opera-
ciones de intercambio de datos con los perifricos
de manera mucho ms cmoda que si utilizase la
mquina convencional.
En estas condiciones, es esencial que los pro-
gramas de aplicaciones no puedan, por error o de-
liberadamente, interferir unos con otros ni, por su-
puesto, afectar al buen funcionamiento del sistema
operativo. Para asegurar esta proteccin es pre-
ciso que la UCP incluya algn mecanismo. Uno
muy sencillo y muy extendido consiste en que la
UCP tiene dos modos de funcionamiento: un mo-
do usuario y un modo supervisor. En cada mo-
mento, la UCP est funcionando en un modo o en
otro. El sistema operativo (o parte de l) se ejecu-
ta en modo supervisor. Algunas instrucciones son
privilegiadas, en el sentido de que solamente pue-
den ejecutarse en el modo supervisor, y cualquier
intento de ejecutarlas en el modo usuario da lugar
a interrupcin por violacin del modo usuario
y, por tanto, a un paso automtico al sistema ope-
rativo (que contiene todas las rutinas de servicio
de interrupciones). Lo mismo ocurre con los acce-
sos a ciertas zonas de la MP, que slo se permiten
en el modo supervisor.
Resumiendo, el programador de sistemas traba-
ja con el modelo funcional de la mquina conven-
cional; el de aplicaciones lo hace con el de la m-
quina operativa: las llamadas al sistema y las ins-
trucciones de la mquina convencional menos las
privilegiadas1 .
En la Leccin 17 volveremos sobre estos con-
ceptos, que aqu hemos introducido porque cier-
tos registros, instrucciones y modos de direccio-
namiento tienen relacin con ellos.
1
En realidad, ambos trabajan en un nivel ms alto, el de
mquina simblica, definido por un lenguaje ensamblador, o,
ms frecuentemente, por un lenguaje de alto nivel.
4.3. Formatos de instrucciones 133

4.3. Formatos de instrucciones

CO MD1 CD1 MD2 CD2 MD3 CD3 DIR. SIG.

Cada UCP tiene su propio formato de instruc- (a) cuatro

ADD d3, d2, d1
ciones. Sera imposible describirlos todos, y de- (d1)+(d2) > d3
CO MD1 CD1 MD2 CD2 MD3 CD3
masiado especfico y prolijo presentar detallada-

(obsoletos)
(b) tres
mente algunos casos particulares. Nos limitaremos ADD d2, d1
a comentar, de manera general, las principales va- CO MD1 CD1 MD2 CD2 (d1)+(d2) > d1
o: (d1)+(d2) > AC
riantes, partiendo de las ideas bsicas vistas con (c) dos
Smplez: campos CO (cdigo de operacin), CD ADD d
CO MD CD
(campo de direccin) y (en el caso de Smplez+i4) (AC)+(d) > AC

(d) una
MD (modo de direccionamiento).
En Smplez, el campo CO tiene una longitud fi- CO CR MD CD
ADD .1, d
(R1)+(d) > R1
ja de tres bits, lo que limita a ocho el nmero de (e) una y media
instrucciones. Pero las instrucciones que no hacen ADD .15, .1, .7
referencia a memoria (DEC, CLR y HALT) no nece- CO CR1 CR2 CR3
(R1)+(R7) > R15
(f) media, media y media
sitan el campo CD. Como hemos hecho al definir
el modelo funcional de Smplez+i4, se pueden uti- CO CR1 CR2
ADD .1, .7
(R1)+(R7) > R1
lizar algunos de los bits intiles de estas instruc- (g) media y media
ciones como extensin del cdigo de operacin
DEC .1
para codificar otras instrucciones que no hagan re- CO CR
(R1)1 > R1
(h) media
ferencia a memoria. En el Apartado 4.6 veremos
otro ejemplo de ampliacin de Smplez basado en CO
PUSH, POP, ADD, SUB, ...
(mquinas de pila)
esta misma idea. (i) cero
Un diseo ptimo del formato de instrucciones
Figura 4.1 Formatos de instrucciones.
es deseable si se quiere tener el mximo nmero de
instrucciones con la mnima longitud de formato. matos. Junto a cada uno se da un ejemplo de ins-
Esto conduce generalmente a tres caractersticas truccin2 . Los cuatro primeros slo tienen inters
presentes en casi todos los formatos de instruc- histrico (son tpicos de mquinas con acumula-
ciones (salvo en los de los ordenadores llamados dor), pero es interesante comentarlos.
RISC, que comentaremos en el Apartado 4.9): En las instrucciones de Smplez y Smplez+i4 el
La longitud de los distintos campos no es la campo CD es nico, porque direccionan a un solo
misma para todas las instrucciones. operando en la MP. Ahora bien, la mayora de las
No todos los campos aparecen en todas las ins- operaciones aritmticas y lgicas se realizan so-
trucciones. bre dos operandos y producen un resultado, por lo
Las instrucciones pueden ser cortas o largas, o, que resulta natural concebir instrucciones que in-
lo que es lo mismo, unas ocupan un solo byte, cluyan tres direcciones de memoria: las dos de los
otras dos, otras tres... . 2
En estos ejemplos se hace abstraccin del modo de direc-
cionamiento y de cmo ste se representa en el ensamblador
Cuatro, tres, dos, una, media,... y cero di- que se est utilizando. As, en el caso de Smplez+i4, en lugar
de d en ADD .A, d (Figura 4.1(e)) tendramos que escri-
recciones bir /d, o [/d], o /d[.X], o [/d][.X], dependien-
do de cmo se direccione al operando. Las instrucciones que
Las instrucciones pueden hacer referencia (o aparecen en la figura seran las de una UCP con varios re-
no) a direcciones de memoria y/o a registros de gistros aritmticos: .1, .15... representan a los registros
la UCP. La Figura 4.1 muestra varios tipos de for- R1, R15...
134 Leccin 4. Variaciones sobre instrucciones y direccionamientos
operandos y una tercera para almacenar el resulta-
do (Figura 4.1(b)). Algunas mquinas incluan un
cuarto campo de direccin, que indicaba explcita-
mente la direccin donde se encuentra la siguiente
instruccin a ejecutar (Figura 4.1(a)). De este mo-
do, la instruccin de bifurcacin sera innecesaria,
ya que todas las instrucciones incluiran explcita-
mente una bifurcacin. La justificacin estaba re-
lacionada con la tecnologa de la MP, y puede ver-
se en el Apartado 4.123 . Con el formato de dos
direcciones (Figura 4.1(c)) el resultado poda de-
positarse en el lugar que inicialmente ocupaba uno
de los operandos o bien en el acumulador. El for-
mato de una direccin (Figura 4.1(d)) es el que ya
conocemos a travs de Smplez: slo se direcciona
un operando en la MP, y las operaciones se reali-
zan entre este operando y el contenido del acumu-
lador, quedando el resultado en el acumulador.
Ya sabemos (Apartado 3.2) que actualmente las
UCP ponen a disposicin del programador un con-
junto de registros aritmticos o de propsito ge-
neral (RPG). Si una instruccin hace referencia a
uno (o varios) de esos registros, su formato debe
incluir un campo (o varios) para identificarlo. Si
la UCP tiene, por ejemplo, diecisis RPG, ser ne-
cesario un campo de cuatro bits, que puede con-
siderarse como una direccin de registro. Re-
sultan as instrucciones de 1 + 21 direcciones
(Figura 4.1(e); 12 slo es una manera de decir
que la direccin de registro tiene menos bits que la
de memoria)4 . Normalmente, en este caso existen
tambin instrucciones aritmticas y lgicas que no
direccionan a la MP, sino a dos registros, dejando
el resultado en otro (o bien en uno de los dos); son
instrucciones de 12 + 12 + 12 direcciones, Figu-
ra 4.1(f) (o de 12 + 12 direcciones, Figura 4.1(g)).
Las instrucciones de 12 direccin, Figura 4.1(h),
operan sobre un nico registro.
3
Sin embargo, este direccionamiento explcito de la si-
guiente instruccin se ha conservado, por otras razones, en
el nivel de micromquina, como veremos en la Leccin 12.
4
Las instrucciones ADD, LD y ST de Smplez+i4 son de
1+ 12 direcciones, aunque el campo de direccin de registro
slo tiene un bit (el bit 8, vase la Figura 2.2).
Hay instrucciones que no operan sobre memoria
ni sobre registros (HALT, EI, DI, etc.) cuyo forma-
to es el de la Figura 4.1(i). Este formato es tam-
bin el de ciertas instrucciones que s hacen re-
ferencia a memoria, pero con una direccin im-
plcita que no aparece en la instruccin. Esto es
posible con un tipo de memoria en la que el acce-
so se realiza de un modo diferente al que venimos
considerando hasta ahora. Se trata de la memoria
de pila (o, simplemente, pila), que puede estar
realizada en hardware o simulada en una memoria
de acceso aleatorio. Por una parte, las mquinas
de pila (que incluyen una pila cableada, es de-
cir realizada en hardware) ofrecen una alternativa
interesante para la ejecucin de expresiones arit-
mticas. Por otra, la simulacin de una pila en la
MP es el mecanismo ms utilizado para resolver
el problema de preservacin de la direccin de
retorno en las llamadas a subprogramas (Aparta-
do 1.10) y en las interrupciones (Apartados 2.8)
(aunque no es el nico: presentaremos otros en el
Apartado 4.7). Dado el inters de este concepto, le
prestaremos una atencin especial, dedicndole el
Apartado 4.6. Pero veamos antes los distintos mo-
dos de direccionamiento para acceder a operandos
almacenados en una MP de acceso aleatorio.
4.4. Modos de direccionamiento
Consideremos instrucciones con el formato de
la Figura 4.1(e). Como hemos visto con Sm-
plez+i4, la direccin efectiva de MP a la que se re-
fiere una instruccin es funcin del contenido del
campo CD y de lo que indique el campo MD. Si
el resultado de esta funcin se expresa con n bits,
el espacio de direccionamiento (nmero de pala-
bras de la MP que pueden direccionarse) es 2n .
El introducir modos de direccionamiento res-
ponde a varios objetivos. He aqu algunos:
Facilitar las tareas de programacin.
Conseguir programas con menos instrucciones
y por tanto ms eficientes.
Reducir la longitud de las instrucciones.
4.4. Modos de direccionamiento
Ampliar el espacio de direccionamiento.
Implementar mecanismos de proteccin.
Veremos los distintos modos de direcciona-
miento que suelen encontrarse, generalizando los
ya estudiados en Smplez+i4: directo, indirecto,
indexado e inmediato. A los modos relativos les
dedicaremos otro Apartado
Direccionamiento absoluto o directo
Esperamos que, a estas alturas, el lector no ne-
cesite de ninguna aclaracin sobre lo que es el di-
reccionamiento directo: DE = (CD).
Direccionamiento inmediato
En el modo inmediato, el operando est incluido
en la misma instruccin. En Smplez+i4 lo hemos
aplicado solamente para las instrucciones de car-
gar y restar, pero, en general, resulta muy til
para todas las operaciones aritmticas y lgicas.
Normalmente, un determinado bit del campo MD
del formato de instrucciones (i en la Figura 4.2)
indica si el direccionamiento es inmediato o no. En
las mquinas con longitud de palabra suficiente-
mente larga este operando est incluido dentro de
la misma palabra de la instruccin (Figura 4.2(a)),
por lo que estas instrucciones no hacen en reali-
dad referencia a memoria (no es preciso un acceso
a la MP para ir a buscar el operando). Pero si a
la MP se accede por bytes, el operando est en el
byte siguiente al del cdigo de operacin, por lo
que podemos decir que la direccin efectiva es
la de ese byte. Algunas UCP admiten dos moda-
lidades: una, a veces llamada modo literal, para
operandos inmediatos pequeos (de un byte, Figu-
ra 4.2(b)) y otra para operandos que requieren dos
o ms bytes (Figura 4.2(c)).
Direccionamiento indirecto
Tambin sabemos (Apartado 2.4) que con el di-
reccionamiento indirecto ya no es DE = (CD), sino
DE = (MP[CD]), o, abreviadamente, DE = ((CD)),
135
n1 0
MD
CO i=1 operando
(a) Instruccin en una palabra
7 0
MD
i=1
CO
operando
(b) instruccin de dos bytes, con
operando en el segundo
7 0
MD
CO i=1
operando
(c) instruccin de cinco bytes, con
operando de treinta y dos bits
Figura 4.2 Direccionamiento inmediato.
y hemos visto, con Smplez+i4, su principal utili-
dad: la implementacin de punteros.
El puntero puede ocupar varios bytes para po-
der direccionar toda la memoria. La Figura 4.3(b)
(en la pgina siguiente) muestra un caso en el que
el campo de direccin de la instruccin tiene un
solo byte, pero el puntero tiene dos, de modo que
el direccionamiento indirecto permite direccionar
216 = 26 210 = 64 KB (por supuesto, el operan-
do podra ocupar tambin dos o ms bytes).
Frecuentemente, el puntero no est en la MP, si-
no en un registro de la UCP; lo veremos ensegui-
da, al hablar de los direccionamientos basados en
registros de propsito general (RPG).
136 Leccin 4. Variaciones sobre instrucciones y direccionamientos

n1 0

registro de ndice
MD
MD
CO I=1 CD
CO J=1 CD
+

DE
puntero operando

operando (a) direccionamiento indexado

MD registro de ndice
I=1
(a) instruccin, puntero y operando CO J=1 CD
en una palabra cada uno
+
7 0 DE
operando

MD
CO I=1 puntero

(b) direccionamiento postindexado

puntero
operando
registro de ndice

MD DE
operando
CO I=1 CD
J=1 +

(b) instruccin de dos bytes, puntero

puntero de dos y
operando de uno
Figura 4.3 Direccionamiento indirecto. (c) direccionamiento preindexado

Figura 4.4. Direccionamientos indexado, indirecto

Direccionamiento indexado
Hemos visto, con Smplez+i4, que la posibili-
dad de disponer de un registro de ndice X y de ha-
cer uso de l para el clculo de la direccin efecti-
va en tiempo de ejecucin (DE = (CD)+(X), Figu-
ra 4.4(a)) tiene varias ventajas. Por una parte, faci-
lita la programacin de operaciones que implican
el recorrido, dentro de un bucle, de palabras con-
secutivas de la MP. Por otra, conduce a programas
ms cortos y ms eficientes que los que recurren
a la modificacin de instrucciones o al direcciona-
miento indirecto para implementar ese recorrido.
Normalmente se dispone de varios registros de
ndice, o de RPG que pueden utilizarse como ta-
indexado e indexadoindirecto.
les. Naturalmente, tiene que haber un convenio de
codificacin para que en MD se exprese que el di-
reccionamiento es indexado, y cul es el registro
de ndice que utiliza la instruccin.
Cuando el direccionamiento indexado se com-
bina con el indirecto, caben dos posibilidades:
postindexacin (o indirectoindexado):
DE = ((CD))+(X), Figura 4.4(b)
preindexacin (o indexadoindirecto):
DE = ((CD)+(X)), Figura 4.4(c)
La primera, que es la adoptada en Smplez+i4,
4.5. Direccionamientos relativos
es la ms frecuente5 , pero en algunas UCP existen
las dos posibilidades.
Como antes, tanto la instruccin como el pun-
tero y el operando pueden ocupar varias palabras
(o varios bytes). En la Figura 4.4, para simplificar,
hemos puesto cada uno en una sola lnea de la
memoria.
Direccionamientos basados en registros de
propsito general
Cualquier RPG se puede utilizar como regis-
tro aritmtico (o sea, equivalente al acumulador
de una UCP del tipo de Smplez). Esto es un di-
reccionamiento directo a registro, puesto que el
operando se encuentra directamente en ese regis-
tro. Pero tambin suele darse la posibilidad de di-
reccionamiento indirecto a travs de un registro,
es decir, que la direccin en la MP del operando
sea DE = (Ri). Esta posibilidad es muy interesan-
te, puesto que permite tener los punteros en los
RPG, y, por tanto, ahorrar accesos a la MP.
Si se combina el direccionamiento indirecto a
registro con el indexado no tiene sentido hablar de
preindexacin. La direccin efectiva es:
DE = (Ri) + (Rx)
Quin hace de registro de ndice, Ri o Rx? Se-
gn la frmula, son indistinguibles. La diferencia
est en la funcin que se le atribuya en el progra-
ma a cada registro. El que haga de puntero tendr
normalmente un contenido fijo, la direccin de co-
mienzo de la zona de datos, y el que haga de ndice
cambiar su contenido durante la ejecucin para
obtener un elemento u otro de la zona.
5
Lo cual parece razonable: lo normal es tener que recorrer
un vector o zona de la MP a la que apunta un puntero, no
tener que recorrer vectores de punteros. Pero la preinde-
xacin tambin es til. Por ejemplo, en Algortmez veremos
(Apartado 6.13) que en las llamadas a subprogramas la trans-
misin de un argumento puede hacerse pasando su direccin
por la pila. La recuperacin de este argumento desde el sub-
programa implica utilizar el puntero de pila (registro cuya
funcin explicaremos en el Apartado siguiente) como si fue-
ra un registro de ndice (para obtener la direccin que se ha
guardado en la pila) y luego aplicar indireccin para buscar
el argumento.
137
Modos autoincremento y autodecremento
Algunas UCP disponen tambin de direcciona-
miento indirecto (a travs de la MP o, lo que es
ms frecuente, a travs de un registro) combina-
do con incremento o decremento del puntero. Hay
cuatro posibilidades, segn que el puntero se in-
cremente o se decremente, y segn que tal cosa se
haga antes o despus del clculo de la direccin
efectiva:
Autopreincremento: se incrementa el puntero
y luego se calcula la direccin efectiva.
Autopostincremento: se calcula la direccin
efectiva y luego se incrementa el puntero.
Autopredecremento y autopostdecremento:
lo mismo que las anteriores, pero decrementan-
do el puntero.
Es frecuente encontrar solamente dos de esas
posibilidades, generalmente autopostincremento
y autopredecremento, simplificndose sus deno-
minaciones: autoincremento y autodecremento.
Adems, cuando las instrucciones pueden operar
sobre datos de distinta longitud, el nmero en que
se incrementa o decrementa el puntero es el n-
mero de palabras de la MP que ocupa el dato.
As, con la instruccin ADD.B (sumar byte), en
caso de utilizar el modo autoincremento el pun-
tero se incrementa en una unidad (de modo que
queda apuntando al siguiente byte), mientras que
con ADD.W (sumar palabra de dos bytes) y con
ADD.L (sumar palabra larga, de cuatro bytes) se
incrementa en dos y cuatro unidades, respectiva-
mente. De este modo, situada la instruccin dentro
de un bucle, permite ir recorriendo los datos que
se suponen almacenados uno detrs de otro en una
zona de la MP. Tendremos ocasin de ver ejemplos
de su utilidad en las Lecciones siguientes.
4.5. Direccionamientos relativos
En general, en el direccionamiento relativo
la UCP interpreta que el contenido del cam-
po CD representa un desplazamiento sobre una
138 Leccin 4. Variaciones sobre instrucciones y direccionamientos

direccin de referencia, DR, de manera que

DE = (CD) + DR. DR puede determinarse en
tiempo de carga o en tiempo de ejecucin, y estos MD CD
CO (prog) 0
modos resultan especialmente tiles para reubicar +

programas (Apartado 3.8). Veamos los cuatro mo-

dos ms utilizados para determinar DR. DE
instrucc. u operando
CP

Relativo a programa
En el modo relativo a programa DR = (CP). Es (a) (CD)>0

decir, la direccin efectiva se obtiene sumando el

contenido del contador de programa, CP, con el
desplazamiento indicado en la instruccin. Ahora
bien, qu contiene exactamente CP en el momen- instrucc. u operando
to de la ejecucin de la instruccin? En el Aparta- DE

do 3.2 hemos dicho que en Smplez y Smplez+i4

MD CD
apunta siempre a la instruccin siguiente a ejecu-
CO (prog) 1
tar. Y as es en muchas UCP (por ejemplo, en Al- +

gortmez, Leccin 6), que actualizan CP antes de

hacer el clculo de la direccin efectiva; en tal ca-
so, DR es la direccin de la instruccin siguiente
(o de su primer byte). Pero no as en otras (es-
pecialmente, en los RISC, como Regstrez, Lec-
cin 8), en las que DR es la direccin de la ins-
truccin actual. En cualquier caso, como veremos
al estudiar esas mquinas, el programador (salvo
que trabaje en el nivel de mquina convencional
puro, es decir, en binario) no tiene que ocuparse
de ese detalle (s tiene que hacerlo el diseador del
ensamblador o del compilador).
Este modo se utiliza principalmente para las ins-
trucciones de bifurcacin (y en algunas UCP s-
lo existe para estas instrucciones). Normalmente,
una instruccin de bifurcacin apunta a otra ins-
truccin relativamente cercana a ella, de modo que
basta con un campo CD pequeo. Sin embargo,
los datos pueden estar en otra zona completamen-
te distinta de la MP, y en ese caso sera necesario
otro modo de direccionamiento (indirecto, relati-
vo a base, etc.) para acceder a ellos. Para que sea
posible bifurcar a instrucciones que estn antes o
despus de la actual (y para poder acceder, en su
caso, a datos almacenados ms arriba o ms abajo
que la instruccin), es necesario que el desplaza-
CP
(b) (CD)<0
Figura 4.5 Direccionamiento relativo a programa.
miento pueda ser positivo o negativo: el bit ms
significativo del campo CD se interpreta como bit
de signo (Figura 4.5).
Lo ms interesante del direccionamiento relati-
vo a programa es que permite conseguir progra-
mas independientes de su ubicacin. En efecto,
lo que se especifica en la instruccin (en el campo
CD) es un desplazamiento relativo a la ubicacin
de esa instruccin; si la distancia (en direcciones
de memoria) entre esa instruccin y la instruccin
o dato direccionado se conserva, se pueden colo-
car en cualquier parte de la MP. Y si esto es cierto
para todas las instrucciones del programa, el pro-
ceso de ajustar direcciones relativas para ligarlas a
las reales que mencionbamos en el Apartado 3.8)
es innecesario. Volveremos sobre esto, concretn-
dolo con un ejemplo, en el Apartado 6.6.
4.5. Direccionamientos relativos 139
0000
PGINA 0
Relativo a pgina
Este modo era un recurso de algunos pequeos
ordenadores para poder direccionar fcilmente to- 00FF
0100
da la MP con un campo CD pequeo. La MP se
considera estructurada como una sucesin de zo-
nas o pginas. Un bit del campo MD indica si la
instruccin hace referencia a la pgina 0 o a la p-
FE00
gina en la que se encuentra la instruccin. Actual- PGINA FE A0
mente no es muy utilizado, pero esa idea original
de paginar la MP ha resultado muy fructfera, FEA0 byte direccionado

como veremos en los Apartados 7.10 y 15.8. Me-

rece la pena, por esto, que nos detengamos en un MD instruccin: 7 0
CO P=1 A0
pequeo ejemplo ilustrativo.
(CD)=A0 15 8
Imaginemos un ordenador con una MP de CP: FE
64 KB (216 = 65.536 bytes). Las direcciones tie- 15 0
nen diecisis bits, es decir, estn comprendidas en- FEFF DE: FEA0
FF00
tre 0 y D65.535 = HFFFF. Pero las instrucciones PGINA FF

tienen como mximo dos bytes. Si entre los cam-

pos CO y MD se ocupan ocho bits, para CD s-
lo quedan ocho, por lo que pueden direccionarse FFFF

directamente 28 =256B. Evidentemente, con direc-
cionamiento indirecto podemos ampliar la capaci-
dad de direccionamiento utilizando punteros, co-
mo veamos con Smplez+i4, pero esto multiplica
el nmero de accesos a memoria para ejecutar las
instrucciones (y ms en este ejemplo, en el que ca-
da puntero tendra que ocupar dos bytes). La solu-
cin del direccionamiento paginado en este ejem-
plo puede consistir en:
Considerar la MP estructurada en 256 pginas
de 256 bytes cada una. Dada una direccin com-
pleta (de diecisis bits), los ocho bits menos signi-
ficativos representan una direccin relativa al co-
mienzo de la pgina, y los ocho ms significativos
pueden considerarse como el nmero de pgina
(comprendido entre 0 y D255 = HFF). Por ejem-
plo, la direccin D65.184 = HFEA0 correspon-
de a un byte situado en la pgina HFE = D254,
y su direccin relativa dentro de ella es igual a
HA0 = D160 (Figura 4.6).
Sealar mediante un bit del campo MD, P, si
la direccin es relativa a la pgina 0 o a la pgina
donde se encuentra la instruccin, de modo que:
Figura 4.6. Ejemplo de direccionamiento relativo a p-
gina (direcciones en hexadecimal).
DE = (CD), si P = 0
DE = (CD) + direccin del primer byte de la p-
gina de la instruccin, si P=1
Las instrucciones tendrn normalmente P=1
(slo se direccionar a travs de punteros en la p-
gina 0 cuando sea preciso acceder a un dato que
est en otra pgina, o bifurcar a otra pgina).
El direccionamiento relativo a pgina viene a
ser equivalente a un direccionamiento relativo a
programa en el que slo intervienen los bits ms
significativos del registro CP (que son los mismos
para todas las palabras situadas en una pgina). La
direccin efectiva (en el caso de P=1) se calcula
mediante la yuxtaposicin de los bits de CD (ocho
en el ejemplo) y los bits de mayor peso (ocho en
el ejemplo) del registro CP.
Si un programa cabe en una pgina, puede escri-
birse como si fuese a ejecutarse en la pgina 0. En
el momento de la carga, se le puede ubicar en cual-
quier otra pgina y funcionar exactamente igual.
140 Leccin 4. Variaciones sobre instrucciones y direccionamientos
Por tanto, el programa es tambin independiente
de su ubicacin, en el sentido de que se puede car-
gar en cualquier pgina (pero no se puede despla-
zar arbitrariamente). Si no cabe en una pgina, o si
se decide poner los datos en una pgina diferente,
tendremos que hacer referencias a travs de pun-
teros colocados en la pgina 0; en este caso, si los
datos o las instrucciones a los que se hace referen-
cia a travs de esos punteros se cambian de pgina,
es preciso cambiar los valores de los punteros.
Relativo a base
Para este modo la UCP necesita uno o varios re-
gistros especiales, los llamados registros de base.
Si se utiliza RB como registro de base, la direccin
efectiva es DE = (CD)+(RB). En principio, parece
que no hubiera diferencia con el direccionamien-
to indexado (de hecho, la misma Figura 4.4(a) es
aplicable aqu, cambiando registro de ndice por
registro de base), y as es en cuanto al clculo de
la direccin efectiva. La diferencia est en el uso
que se hace de cada uno de estos modos.
El direccionamiento indexado es muy til, co-
mo hemos visto, para recorrer zonas de la MP. La
funcin de un registro de ndice es contener un n-
dice que va cambiando durante la ejecucin del
programa. Por el contrario, en el direccionamiento
relativo a base, el contenido del registro de base se
fija en el momento de la carga, o bien al comenzar
la ejecucin, y normalmente no cambia durante el
resto de la ejecucin. La funcin de este registro es
contener la direccin de referencia, constante du-
rante la ejecucin, que se suma a CD en tiempo de
ejecucin.
El programa puede escribirse como si fuera a
cargarse a partir de la direccin 0, aun a sabien-
das de que se va a cargar a partir de una direccin
de referencia, o direccin de base B, desconocida
en tiempo de traduccin. Basta con incluir las ins-
trucciones necesarias al principio para introducir
en un registro de base, en tiempo de ejecucin, la
direccin B a partir de la cual se ha cargado real-
mente (Figura 4.7). Entonces, si todos los direc-
(RB)=B RB
MD
CO (base) CD +
DE
B+(CD) instrucc. u operando
Figura 4.7 Direccionamiento relativo a base.
cionamientos son relativos a base, el programa es
independiente de su ubicacin. A veces se utiliza
este modo slo para el acceso a la zona de datos, y
el relativo a programa para el acceso a la zona del
cdigo (es decir para las bifurcaciones y acceso a
punteros).
En algunas UCP, la suma de la direccin de ba-
se se hace automticamente en todos los accesos a
la MP (sin que la instruccin lo especifique en el
campo MD), y las instrucciones para acceder al re-
gistro o registros de base son privilegiadas; en tal
caso, el programa no puede poner nada en RB en
tiempo de ejecucin. La idea es que sea el sistema
operativo el que, en tiempo de carga, fije el valor
de la direccin de base (o las direcciones de base:
una para la zona del cdigo y otra para la de da-
tos). El programa, en tal caso, no es independien-
te de su ubicacin: Considerado aisladamente, no
puede colocarse en cualquier sitio. Pero s es reu-
bicable: el sistema operativo introduce, antes de
que el programa empiece a ejecutarse, la direccin
de base en el registro de base (o las direcciones
de base en los registros de base). En este tipo de
UCP es frecuente que cada registro de base vaya
acompaado de un registro de lmite (de acceso
tambin privilegiado), y que se genere una inte-
rrupcin si el programa intenta acceder a una di-
reccin que excede la contenida en el registro de
4.5. Direccionamientos relativos 141

segmento, las pginas podran solaparse. Aun-

que, en efecto, esto puede suceder, lo que normal-
RB1 mente ocurre es que los segmentos no tienen la
zona asignada
al cdigo longitud mxima (64 KB en el ejemplo), sino la
RL1 que necesite el cdigo o los datos.
En la Figura 4.9 se representa un programa car-
RB2 gado a partir de la direccin HB0000 que accede
zona asignada
a los datos a una zona de datos cargada a partir de la direccin
RL2
15 0

CD

15 0
Figura 4.8 Registros de base y de lmite.
+ registro de segmento 0 0 0 0

lmite. De este modo, el sistema operativo puede

19 0
asignar zonas de la MP a cada programa y asegu-
rar que unos no invaden las zonas de los otros. En = direccin efectiva

la Figura 4.8 se representa una situacin en la que

hay un programa cargado, con una zona asignada 00000

para el programa en s (o cdigo) y otra para los

RSD
datos que maneja. 20000 2000
segmento
de datos

desplaz.
Relativo a segmento 20000
2AB72 dato direccionado +
Este modo viene a ser una combinacin del re-
lativo a base y el relativo a pgina. La UCP tiene 2FFFF
(mx.)
en este caso registros de segmento. Cuando se ha-
ce un acceso a la MP, el registro de segmento que
se utilice acta como un registro de base, pero su B0000
contenido se desplaza n bits a la izquierda antes de CO=LD MD
sumarlo a la direccin. I1 RSC
(CD)=AB72 B000
segmento
de cdigo

Supongamos que la longitud del campo CD es

diecisis bits (con los que se pueden direccionar CO=BR MD
desplaz.

64 KB) y que tenemos un registro de segmento de I2

(CD)=FE1C
B0000
+
diecisis bits. Si el contenido del registro se des-
plaza cuatro bits antes de obtener la DE (vase la
parte superior de la Figura 4.9), esta DE tiene vein- BFE1C instrucc. direccionada
te bits, es decir, se puede direccionar una MP de
1 MB. Podemos decir que cada uno de estos re- BFFFF
(mx.)
gistros define un segmento en la MP de longitud
mxima 64 KB, que es como una pgina flotan-
te, en el sentido de que su direccin de comienzo
FFFFF
puede elegirse cargando inicialmente un valor en
el registro de segmento. Si hay varios registros de Figura 4.9. Ejemplo de obtencin de la direccin efec-
tiva con un registro de segmento.
142 Leccin 4. Variaciones sobre instrucciones y direccionamientos
H20000. RSD es el registro de segmento de datos
y RSC el de segmento de cdigo (se han elegido
las direcciones de segmentos, H2000 y HB000,
con los doce bits menos significativos a cero pa-
ra facilitar la interpretacin del ejemplo, pero po-
dran tener cualquier valor de diecisis bits). Las
instrucciones mostradas tienen tres bytes, con un
CD de diecisis bits. Hay una (I1) que accede a
un dato de direccin relativa HAB72, que se con-
vierte en la direccin absoluta H2AB72, y otra
(I2) que transfiere control a una instruccin de di-
reccin relativa HFE1C, cuya direccin absoluta
es HBFE1C.
Las UCPs que tienen este modo de direcciona-
miento han evolucionado: los contenidos de los
registros de segmento ya no se combinan direc-
tamente con el del contador de programa para ob-
tener una direccin efectiva, sino que apuntan a
estructuras de datos en la MP que contienen infor-
maciones adicionales sobre el segmento.
Combinacin con otros modos
El desplazamiento debe ante todo sumarse a la
direccin de referencia para obtener un resultado
sobre el que luego puede aplicarse indireccin y/o
indexacin.
Por ejemplo, en una instruccin que use direc-
cionamientos relativo a programa y postindexado
la direccin efectiva es6 :
DE = ((CD) + (CP)) + (RI)
Si hay un registro de base (o de segmento) para
el cdigo, RBC, y otro para datos, RBD, la direc-
cin efectiva en un caso de aplicar tambin direc-
cionamiento postindexado resulta:
DE = ((CD) + (RBC)) + (RBD) + (RI)
6
En algunas UCP no pueden coexistir los direccionamien-
tos indexado y relativo a programa, porque ste se deriva de
aqul mediante el truco de utilizar el contador de programa
como si fuese un registro de ndice (con convenio de prein-
dexacin). Tendremos ocasin de verlo en el ejemplo que se
desarrolla a continuacin y, con mucho ms detalle, en la Lec-
cin siguiente.
(Acceso a un elemento de un vector cuya direccin
de comienzo relativa est en un puntero de la zona
del cdigo).
Reubicacin dinmica
En el Apartado 3.8 explicbamos la necesidad
de ligar las direcciones relativas generadas por el
traductor a las reales de la MP para que el pro-
grama pueda reubicarse, y decamos que estas li-
gaduras pueden realizarse mediante software (con
un cargador reubicador) o mediante hardware (con
registros de base o de segmento). Aqu hemos vis-
to que el direccionamiento relativo a programa (y,
con ciertas limitaciones, tambin el relativo a p-
gina) permite construir programas independientes
de su ubicacin, en los que no es necesario preocu-
parse del ajuste de direcciones, porque las ligadu-
ras se hacen automticamente en tiempo de ejecu-
cin: cuando se suma el desplazamiento (direccin
relativa) al contenido del contador de programa se
est obteniendo la direccin real de la MP. Pero la
restriccin de utilizar siempre el modo relativo a
programa puede ser demasiado fuerte.
Hemos visto asimismo que con los direcciona-
mientos relativos a base y a segmento la ligadura
se hace en tiempo de ejecucin, que es cuando se
suma a la direccin relativa la direccin de base
(constante de reubicacin). La direccin de base
se determina en tiempo de carga, cuando el siste-
ma operativo pone los valores iniciales en los re-
gistros.
En algunos sistemas operativos de multiprogra-
macin no slo es necesario que el programa se
pueda reubicar antes de empezar a ejecutarse, sino
que se pueda reubicar en cualquier momento de su
ejecucin. Se habla en este caso de reubicacin
dinmica. Esto es as porque, como decamos en
el Apartado 4.2, el sistema operativo puede sus-
pender la ejecucin del programa y activar a otro.
Si la MP es escasa, el programa suspendido puede
llevarse temporalmente a disco para dejar espacio.
Y cuando vaya a reactivarlo, el sistema operativo
tendr que cargarlo de nuevo en la MP. Pero en ese
4.5. Direccionamientos relativos
intervalo de tiempo pueden haberse suspendido y
activado otros programas, y es muy probable que
la configuracin de programas en la MP haya cam-
biado y que la recarga de nuestro programa tenga
que hacerse en una zona distinta de la que ocupaba
inicialmente.
Pues bien, la reubicacin dinmica no puede
conseguirse slo con software7 ; si el programa no
es independiente de su ubicacin, son precisos re-
gistros de base o de segmento. En efecto, un car-
gador reubicador puede ajustar las referencias re-
lativas que hacen las instrucciones siempre que se
carga o recarga el programa, y cada vez har las
ligaduras que corresponda. El problema aparece
cuando la referencia se hace de manera indirecta
a travs de un puntero. Normalmente, el programa
pone un valor inicial en ese puntero, que es una
direccin absoluta obtenida por el cargador reubi-
cador a partir de la direccin relativa del programa
fuente. Una vez puesta esa direccin, si el progra-
ma y/o los datos se recargan en otro sitio, el car-
gador puede volver a ajustar las direcciones relati-
vas, pero no tiene modo de saber que tambin debe
ajustar el valor del puntero.
Un ejemplo puede ser til para comprender el
prrafo anterior. Un programa fuente para un or-
denador como Smplez+i4 (con instrucciones de
longitud igual a una palabra, y una direccin por
palabra) podra empezar as:
[0] BR /PRINC
[1] ZONA RES 20
[51] PUNT RES 1
[52] PRINC LD .A, #ZONA
; esta instruccin carga en el
; AC la direccin de "ZONA"
[53] ST .A, /PUNT
[54] BUCLE LD .A, [/PUNT]
; accede a "ZONA" a travs
; del puntero
...
7
Para ser precisos, deberamos decir que no puede conse-
guirse razonablemente. Como se puede desprender de las
Lecciones anteriores, casi todo puede hacerse mediante soft-
ware. Pero en este caso seran necesarios ensambladores y
cargadores con ms inteligencia y ms conocimiento so-
bre la ejecucin de los programas.
143
El ensamblador reubicante traduce las instruccio-
nes correspondientes a las direcciones [0], [52],
[53] y [54] poniendo en CD los valores 52, 1, 51 y
51, respectivamente, y pone esas direcciones en el
diccionario de reubicacin. Si el sistema operativo
decide cargar el programa a partir de la direccin
2.000, el cargador reubicador suma la constante
de reubicacin 2.000 a estos valores. Al ejecutarse
el programa, las instrucciones [52] y [53] (que en
realidad estn en las direcciones 2.052 y 2.053) in-
troducen en PUNT (direccin 2.051) el valor 2.001.
Supongamos que justo despus de la instruccin
[53] se suspende la ejecucin, el sistema operati-
vo lleva el cdigo binario, tal como est, al disco,
y ms tarde decide volver a cargarlo pero a partir
de la direccin 3.000. Un primer problema (que no
sera difcil de resolver) es que, adems del cdigo,
habra que conservar y salvar el diccionario. Su-
puesto que se hace as, el cargador vuelve a ajustar
los campos de direccin iniciales de las instruccio-
nes, sumndoles ahora 3.000. Pero no tiene modo
de saber que tambin debera ajustar el valor del
puntero. Por tanto, en [51] (ahora [3051]) perma-
necera el valor 2.001, lo que, obviamente, condu-
cira a resultados errneos (debera ser 3.001).
Sin embargo, con registros de base o de segmen-
to inicializados por el sistema operativo en el mo-
mento de la carga (y utilizados para todos los acce-
sos a la MP) no hay problema. En este ejemplo, si
tuvisemos un registro de base, RB, el cargador no
tendra que ajustar nada (es decir, sera un carga-
dor absoluto). Al cargar el programa por primera
vez, el sistema operativo introduce el valor 2.000
en RB, y este valor se suma al desplazamiento en
todos los accesos a memoria. Como la instruccin
[52] tiene direccionamiento inmediato, no accede
a memoria, y su resultado es poner el valor 1
en el registro AC. La [53] s accede a memoria, e
introduce ese valor en la direccin 2.051 (PUNT).
Observe que el puntero ahora es relativo. Cuando
se ejecute [54], en cada uno de los accesos a me-
moria se sumar el valor que tenga RB (3.000, si
ha ocurrido lo que decamos ms arriba), y se ac-
ceder a la direccin adecuada.
144 Leccin 4. Variaciones sobre instrucciones y direccionamientos
En resumen, la reubicacin dinmica implica
que las ligaduras de direcciones relativas a direc-
ciones reales se hagan en tiempo de ejecucin, y
lo ms adecuado para esto es el direccionamiento
relativo a base o a segmento.
Un ejemplo algo revesado
Veamos un caso con instrucciones de longitud
variable y diversos modos de direccionamiento,
entre ellos el relativo a programa. Hemos de hacer
una advertencia previa: este ejemplo resultar dif-
cil de asimilar en una primera lectura; el lector de-
bera volver a l despus de estudiar los modos de
direccionamiento de Algortmez (Apartado 6.6).
Se trata de una UCP que tiene treinta y dos re-
gistros, R0 a R31, de treinta y dos bits. Estos re-
gistros pueden contener un dato o una direccin.
R31 es especial: es el contador de programa. Pero
R31 puede manipularse desde un programa como
otro cualquiera de los treinta y dos registros, es
decir, el contador de programa no es transparente
al programador. Veremos que esta caracterstica
funcional hace posible dotar a la mquina de cier-
tos modos de direccionamiento que en principio
no estn definidos en el modelo funcional.
Las direcciones (y el bus A) tienen treinta y dos
bits, por lo que la capacidad mxima de la MP (es
decir, el espacio de direccionamiento) es 232 bytes
(4 GB). Estas direcciones pueden estar en uno de
los registros o en cuatro bytes de la MP.
Los cdigos de operacin de las instrucciones
especifican, en su caso, si el operando o los ope-
randos son de un byte, media palabra (dos bytes), o
una palabra (cuatro bytes). En cualquier caso, todo
operando almacenado en la MP se direcciona por
su byte menos significativo (convenio extremista
menor, Figura 3.10(a)). Hay distintos cdigos de
operacin para instrucciones que operan sobre by-
te, sobre media palabra o sobre palabra. En ensam-
blador se distinguen por un sufijo. Por ejemplo,
CLR .0 es poner a cero el registro R0 CLR.H para obtener esta direccin). Con los tres bits del
.0 es poner a cero los diecisis bits menos sig-
nificativos (media palabra) de R0, y CLR.B .0
es poner a cero los ocho bits menos significativos
de R0.
Las instrucciones tienen longitud variable. Su
primer byte est dedicado exclusivamente al c-
digo de operacin, y le pueden seguir uno o dos
especificadores de operando. Cada uno de stos
tiene al menos un byte en el que los tres prime-
ros bits indican el modo de direccionamiento y los
cinco siguientes se interpretan como una direccin
de uno de los treinta y dos registros. Si el operando
est en la MP, siguen cuatro bytes, que correspon-
den al campo de direccin, CD.
CO CO
MD R MD1 R1
(a) 1/2 direccin MD2 R2
CD0
CD1
CO
MD1 R1 CD2
MD2 R2 CD3
(b) 1/2+1/2 direcciones (c) 1+1/2 direcciones
Figura 4.10. Formatos de instrucciones para el ejemplo
del texto.
En la Figura 4.10(a) podemos ver el formato
de instrucciones de 12 direccin (por ejemplo,
instruccin para poner a cero un registro), en la
4.10(b) el de 21 + 12 direcciones (por ejemplo,
sumar los contenidos de R1 y R2 dejando el re-
sultado en R2, o sumar los contenidos de las pala-
bras de memoria cuyas direcciones se encuentran
en R1 y R2, dejando el resultado en la segunda),
y en la 4.10(c) el de 1 + 12 direcciones, que ha-
ce referencia a un operando sobre registro (o di-
reccionado por un registro) y otro sobre memoria,
direccionado por el campo CD y con R2 como re-
gistro de ndice (por ejemplo, cargar el registro R1
con el contenido de la direccin que resulte para el
operando 2, actuando R2 como registro de ndice
campo MD se codifican los modos de direcciona-
miento que muestra la Tabla 4.1.
4.5. Direccionamientos relativos 145

MD Modo Direccin efectiva

000 Registro DE = Ri (operando = (Ri))
001 Registro indirecto DE = (Ri) (operando en la MP apuntado por Ri)
010 Autoincremento DE = (Ri), y (Ri)+k Ri
011 Autoincremento indirecto DE = ((Ri)), y (Ri)+4 Ri
100 Autodecremento (Ri)k Ri, y DE = (Ri)
101 Autodecremento indirecto (Ri)4 Ri, y DE = ((Ri))
110 Indexado DE = (CD) + (Ri)
111 Indexado indirecto DE = ((Ri) + (CD)) (preindexacin)
Tabla 4.1 Modos de direccionamiento para el ejemplo del texto.

Ensamblador Binario Acciones de la UCP

CLR .0 00000000 Pone a cero R0. Incrementa (CP) en 2.
00000000
CLR.B .0 00000001 Pone a cero los 8 bits menos significativos de R0. Incrementa
00000000 (CP) en 2.
CLR [.0] 00000000 Pone a cero 4 bytes de la MP a partir del apuntado por R0. In-
00100000 crementa (CP) en 2.
CLR.H [.0++] 00000010 Pone a cero 2 bytes de la MP a partir del apuntado por R0. In-
01000000 crementa (R0) en 2. Incrementa (CP) en 2.
MOVE.B .0, .1 00000011 Traslada los 8 bits menos significativos de R0 al lugar corres-
00000000 pondiente de R1. Incrementa (CP) en 3.
00000001
MOVE [--.6],/1024[.7] 00000111 Mueve una palabra (cuatro bytes) de una direccin de memoria,
10100110 d1, a otra, d2=1024+(R7). Primero, decrementa (R6); el resul-
11000111 tado se interpreta como una direccin, di, cuyo contenido es la
00000000 direccin del operando a mover. Es decir, d1 es el contenido de
00000100 cuatro bytes de la MP, y la direccin del primero es di. Incre-
00000000 menta (CP) en 7.
00000000
ADD.B .7, #255 00000100 Al interpretar ADD.B y los modos de direccionamiento
00000111 (000,010), la UC suma 3 a (CP) que queda as apuntando al
01011111 operando (255). Suma (bytes) (R7) con ((R31))=255, dejando el
11111111 resultado en R7 (afecta slo al byte inferior). Al ser MD2=010
(autoincremento), incrementa posteriormente (R31) = (CP), en
1 (porque es ADD.B), que queda as apuntando a la instruccin
siguiente.
Tabla 4.2 Ejemplos de instrucciones para el ejemplo del texto.

La Tabla 4.2 contiene algunos ejemplos de ins-
trucciones con su posible codificacin en ensam-
blador, su representacin binaria (hemos elegido
arbitrariamente los cdigos de operacin binarios;
el lector no debe prestar atencin al contenido bi-
nario del primer byte de cada ejemplo, pero s a
la codificacin de los modos de direccionamien-
to, siguiendo la Tabla 4.1) y los resultados de su
ejecucin.
Observe que los modos autoincremento y au-
todecremento son direccionamientos indirectos a
travs de uno de los registros; cuando se combi-
146 Leccin 4. Variaciones sobre instrucciones y direccionamientos
nan con el direccionamiento indirecto (que vie-
ne indicado por el tercero de los bits de MD), se
tienen, realmente, dos niveles de indireccin. En
los modos autoincremento y autodecremento, el
incremento o decremento del registro (k en la
Tabla 4.1) es de una, dos o cuatro unidades, de-
pendiendo de que la correspondiente instruccin
se refiera a byte, a palabra o a palabra larga; de es-
te modo, Ri, que acta como puntero, queda apun-
tando al siguiente dato en memoria. Sin embargo,
en los modos autoincremento indirecto y autode-
cremento indirecto, el incremento o decremento es
siempre de cuatro unidades; en efecto, (Ri) en este
caso no es la direccin efectiva, sino la direccin
de la MP en la que se encuentra la direccin efec-
tiva, que ocupar siempre cuatro bytes.
Como las instrucciones tienen longitud varia-
ble, cuando ejecuta una, la UC deber incrementar
adecuadamente el contenido del contador de pro-
grama para que quede siempre apuntando a la si-
guiente instruccin.
El contador de programa como un registro
de direccionamiento
Si el lector se ha tomado la molestia de analizar
las instrucciones de la Tabla 4.2, es seguro que ha-
br tenido alguna dificultad para interpretar la lti-
ma. Lo que ocurre es que el contador de programa,
R31, se est utilizando tambin como registro de
direccionamiento.
Cuando el contador de programa puede mane-
jarse como otro registro cualquiera es posible ha-
cer uso de modos de direccionamiento que en prin-
cipio parecen no estar previstos. En este caso, co-
mo CP = R31, a partir de los modos definidos ini-
cialmente resultan estos otros:
El modo inmediato se obtiene utilizando
Ri = R31 = CP con modo autoincremento, puesto
que DE = (Ri) = (CP). En efecto, al interpretar el
cdigo de operacin y los modos de direcciona-
miento de los dos operandos, la UCP incremen-
tar CP adecuadamente para que quede apuntan-
do a lo que, normalmente, sera el primer byte de
la siguiente instruccin. Esto es precisamente lo
que ilustra la ltima de las instrucciones de la Ta-
bla 4.2. Invitamos al lector a pensar sobre casos
similares para comprobar los siguientes hechos:
Utilizando Ri = R31 = CP con modo autoincre-
mento indirecto resulta el modo directo (o absolu-
to), puesto que DE = ((Ri)) = ((CP)).
Con Ri = R31 = CP y modo indexado se obtie-
ne el modo de direccionamiento relativo a progra-
ma, ya que DE = (CD) + (Ri) = (CD) + (CP).
Finalmente, con Ri = R31 = CP y modo inde-
xado indirecto sale el modo relativo a programa in-
directo, ya que DE = ((CD)+(Ri)) = ((CD)+(CP)).
En cualquier caso, el lenguaje ensamblador
oculta al programador estos detalles. As, en la
ltima instruccin de la Tabla 4.2, se escribe
ADD.B .7,#255, y el ensamblador se encarga
de hacer la traduccin adecuada.
4.6. Pilas y subprogramas
Mquinas de pila
Una pila es un tipo de memoria en la que slo
se pueden leer los datos en el orden inverso en que
han sido escritos, siguiendo el principio de el lti-
mo en entrar es el primero en salir. Las dos ope-
raciones son push (introducir o apilar: escribir un
elemento en la pila) y pop (extraer o desempilar:
leer un elemento de la pila). Pero, a diferencia de
lo que ocurre con una memoria de acceso aleato-
rio, no se puede introducir ni extraer en cualquier
sitio; adems, la operacin pop (lectura) modifi-
ca el estado de la memoria. nicamente se tiene
acceso a la cima de la pila, de modo que un nue-
vo elemento se introduce siempre sobre el ltimo
introducido, y la operacin de extraccin se reali-
za siempre sobre el elemento que est en la cima,
como indica la Figura 4.11. Por tanto, en una me-
moria de pila no hay direcciones. La primera po-
sicin es el fondo de la pila. Si la pila est vaca,
no hay cima; si slo contiene un elemento, la cima
coincide con el fondo.
4.6. Pilas y subprogramas 147
PUSH
As, ADD suma el elemento que est en la cima
con el que est inmediatamente debajo de l, borra
cima
p
n+1
ambos de la pila e introduce el resultado sobre la
cima
p
n
p
n
cima.
p
n1
p
n1 Por ejemplo, supongamos que los contenidos de
los registros R0 a R3 son A, B, C y D. Para hacer
X = A B + C/D y dejar el resultado, X, en R4
escribiramos estas instrucciones:
p p
0 0 PUSH .0
PILA INICIAL PILA DESPUES
DE INTRODUCIR
PUSH .1
MUL
PUSH .2
POP
PUSH .3
DIV
cima
p
ADD
n
cima POP .4
p p
n1 n1
En la Figura 4.12 puede seguirse, paso a paso, el
estado de la pila (suponindola inicialmente vaca)
a medida que se ejecutan las instrucciones.
p p
0 0
PILA INICIAL PILA DESPUES
DE EXTRAER
estados de la pila tras la
instrucciones ejecucin de las instrucciones
Figura 4.11 Operaciones en una memoria de pila.
PUSH .0 A

Las mquinas de pila tienen una memoria de

B
pila para los operandos, pero tambin tienen una PUSH .1
A
memoria de acceso aleatorio, para los programas.
Las instrucciones bsicas de acceso a la pila son MUL
AxB
las correspondientes a las operaciones anterior-
mente descritas, es decir, PUSH y POP. Una C
PUSH .2
mquina de pila pura, como la que se estudia AxB
en las Lecciones 23 y 24, no tiene registros visi-
bles para el programador, y los operandos que se D
PUSH .3 C
meten o se sacan de la pila proceden de o van a
AxB
variables locales que estn en otra memoria. Pa-
ra facilitar el ejemplo siguiente vamos a conside-
C/D
rar una mquina de pila que s tiene registros, y DIV
AxB
en la que PUSH y POP tienen el formato de 12 di-
ADD
reccin, ya que deben especificar el registro cu- AxB+C/D
yo contenido se introduce o al que va a parar lo POP .4
que se extrae. Las instrucciones aritmticas y lgi-
cas operan sobre elementos de la pila, y, por tanto, Figura 4.12. Ejemplo de ejecucin de operaciones arit-
no especifican direccin (son de 0 direcciones). mticas en una pila.
148 Leccin 4. Variaciones sobre instrucciones y direccionamientos

Las operaciones para evaluar expresiones arit-
mticas en una pila se corresponden, formalmen-
te, con lo que se llama notacin polaca inver-
sa. La notacin aritmtica habitual es la infija: el
operador se escribe entre los dos operandos, y,
as, para expresar la suma de A y B escribimos
A + B. En la notacin polaca el operador es
prefijo (+AB), y en la notacin polaca inversa,
sufijo (AB+). En ambas notaciones puede pres-
cindirse del uso de parntesis, que en la notacin
habitual son necesarios para eliminar ambigeda-
des. Por ejemplo, las expresiones (A + B) C
y A + (B C) se escriben en notacin polaca
inversa AB + C y ABC + respectiva-
mente.
El procedimiento para interpretar una expresin
aritmtica en notacin polaca inversa es:
explorar la cadena de izquierda a derecha;
al encontrar un operador, realizar la operacin
con los dos operandos inmediatamente anterio-
res;
eliminar esos dos operandos y el operador e in-
troducir en su lugar el resultado;
seguir explorando la cadena hasta que no que-
den operandos.
Aplicando este procedimiento al ejemplo de
X = A B + C/D, que, escrito en notacin
polaca inversa es X = AB CD/+, resulta:
1. apilar A: PUSH .0;
2. apilar B: PUSH .1;
sa es un mtodo muy eficiente para evaluar opera-
ciones aritmticas. De aqu que lo utilicen algunas
calculadoras y algunas UCP.
En las Lecciones 23 y 24 estudiaremos los mo-
delos de una mquina de pila, la Mquina Virtual
Java.
Simulacin de una pila en una memoria de
acceso aleatorio
Una zona de la MP puede estar dedicada a ha-
cer las funciones de una pila. Conviene disponer
de un registro adicional en la UCP, que se llama
puntero de pila, PP, y que contiene en todo mo-
mento la direccin de la MP que corresponde a
la cima de la pila (Figura 4.13). Con esta disposi-
cin, la UC puede interpretar instrucciones como
ADD, SUB, etc. (de cero direcciones), ejecutando las
operaciones como hemos explicado ms arriba y
actualizando automticamente el contenido de PP,
de modo que el programador slo ve PP para
poner en l un valor inicial (es decir, definir dnde
est el fondo de la pila simulada).
MP

3. ahora aparece : MUL (elimina A y B y apila

A B));
4. apilar C: PUSH .2;
cima
5. apilar D: PUSH .3; PP
ZONA
6. aparece /: DIV (elimina C y D y apila C/D); RESERVADA
7. aparece +: ADD (elimina C/D y A B y +1 1 PARA
(pop) (push) LA PILA
apila la suma);
8. fin de la cadena: POP .4 (extrae el resultado y fondo

lo lleva a R4)
Es decir, la misma secuencia de instrucciones es-
crita anteriormente. Figura 4.13. Simulacin de una pila en una memoria
El uso de una pila y de notacin polaca inver- de acceso aleatorio.
4.6. Pilas y subprogramas
Uso de una pila para los subprogramas
Recuerde, del Apartado 1.10, el problema de la
preservacin de la direccin de retorno en las lla-
madas a subprogramas. Con una pila (real o simu-
lada en MP) su solucin es muy fcil: basta con
que la UC reconozca dos instrucciones especia-
les de bifurcacin, a las que llamaremos CALL
y RET. CALL debe ir (como BR) acompaada de
una direccin. Al interpretar la instruccin CALL,
la UC guarda la direccin de retorno (el conteni-
do del contador de programa en ese momento, que
es la direccin de la instruccin siguiente a CALL)
en la pila, haciendo un push. La ejecucin de RET
consiste simplemente en hacer un pop para extraer
de la pila la direccin de retorno y ponerla en el
contador de programa. Repare el lector en tres de-
talles de esta solucin:
Las operaciones push y pop mencionadas son
transparentes al programador. Es decir, ste slo
tiene que saber que existe una instruccin, CALL,
que le permite bifurcar a una direccin donde co-
mienza un subprograma, y que la ltima instruc-
cin de este subprograma debe ser RET.
El anidamiento de subprogramas (que un
subprograma llame a otro, e incluso a l mismo
de manera recursiva) no plantea ningn problema:
las direcciones de retorno se irn apilando y recu-
perando en el orden adecuado. (El nico problema
prctico radica en que la pila no es infinita).
La pila puede utilizarse tambin para transmi-
tir argumentos entre el programa y el subprogra-
ma: la secuencia de llamada incluira instruccio-
nes PUSH para introducirlos en la pila antes de
CALL, y el subprograma recuperara esos argu-
mentos con POP8 . Esto facilita la programacin
de procedimientos recursivos y reinvocables,
como veremos en el Apartado 6.13.
8
O bien, mediante LD con direccionamiento relativo al
puntero de pila. Por otra parte, en lugar de pasar los valo-
res de los argumentos pueden pasarse sus direcciones. As
es como se implementan los pasos de parmetros por valor
y por referencia tpicos de las llamadas a procedimientos en
los lenguajes de alto nivel (Apartados 6.13 y 22.7).
149
Ejemplo: una pila para Smplez
Partiendo del modelo de Smplez descrito en la
Leccin 1, veamos una posible modificacin para
que incluya las instrucciones CALL y RET.
El repertorio de instrucciones que no hacen re-
ferencia a memoria se puede ampliar fcilmente
con el sencillo recurso de que para el cdigo de
operacin binario 111 los bits siguientes formen
un campo de extensin, y as procedimos en Sm-
plez+i4 para aadir las instrucciones EI y DI. Pero
esto no nos sirve para CALL, porque es una instruc-
cin con referencia a memoria (necesita el campo
CD). Nuestra modificacin va a afectar tambin al
cdigo 101 (CLR en Smplez), que ahora se lo
vamos a asignar a CALL, mientras que CLR va a
pasar al conjunto codificado por 111. Podemos,
por ejemplo, convenir que para el cdigo 111
los tres bits siguientes (bits 8,7,6) codifican una
instruccin sin referencia a memoria: HALT (000),
CLR (001), RET (010), ADD, PUSH, POP, etc. (Las
tres ltimas no las vamos a usar aqu).
Adems de aadir estas nuevas instrucciones, es
preciso incluir un registro puntero de pila, PP, en
la UCP. Como va a contener direcciones, ser un
registro de nueve bits. La pila crece hacia arriba
en la MP, es decir, al ejecutarse CALL (lo que im-
plica una operacin push) se decrementa el conte-
nido de PP, y al ejecutarse RET (que implica pop)
se decrementa. El fondo de la pila est en la di-
reccin 507 (de la 508 a la 511 estn reservadas
para los puertos de entrada y salida). Inicialmen-
te, la pila debe estar vaca, es decir, el contenido
de PP debe ser 508. En efecto, cuando se ejecuta
la primera CALL se decrementa primero el conte-
nido de PP (que queda as apuntando al fondo de
la pila) y luego se guarda el contenido de CP en la
direccin resultante. Supondremos que este valor
inicial, (PP) = 508, se pone automticamente9 .
9
De igual modo que hemos supuesto que, inicialmente,
(CP) = 0 para empezar a ejecutar desde la instruccin alma-
cenada en 0. Para ser realistas, deberamos incluir alguna ins-
truccin que permitiese cargar un valor en PP, pero esto es
irrelevante para lo que pretendemos ilustrar aqu.
150 Leccin 4. Variaciones sobre instrucciones y direccionamientos

Dir MP. Contenido Contenido Comentarios

(dec.) (octal) (nemnico)
------- --------- ----------- ----------------------------
.....
[10] 1063 LD /51 ; transmisin
[11] 0312 ST /202 ; del sustraendo
[12] 1062 LD /50 ; transmisin del minuendo
[13] 5310 CALL /200 ; bifurca al subprograma
[14] 0064 ST /52 ; guarda el resultado
....
[20] 1145 LD /101 ; transmisin
[21] 0312 ST /202 ; del sustraendo
[22] 1144 LD /100 ; transmisin del minuendo
[23] 5310 CALL /200 ; bifurca al subprograma
[24] 0146 ST /102 ; guarda el resultado
.....
[200] 3313 BR /203 ; aqu empieza el subprograma
[201] 0000 ; resultados parciales
[202] 0000 ; sustraendo
[203] 6000 DEC ; decremento del
[204] 0311 ST /201 ; resultado parcial
[205] 1312 LD /202 ; decremento del
[206] 6000 DEC ; sustraendo
[207] 4323 BZ /211 ; si ha llegado a cero, fin
[208] 0312 ST /202 ; si no, se actualiza,
[209] 1311 LD /201 ; se carga resultado parcial
[210] 3313 BR /203 ; y se vuelve al bucle
[211] 1311 LD /201 ; resultado al acumulador
[212] 7200 RET ; instruccin de retorno

Programa 4.1 Dos llamadas a un subprograma de resta para Smplez modificado (con pila).

Con estos elementos, las llamadas a subprogra-
mas se simplifican, como puede verse en el Pro-
grama 4.1, que sustituye a los Programas 1.5 y 1.6
de Smplez. El programador no tiene ya que preo-
cuparse de construir instrucciones de retorno, ni
siquiera de saber cules son las direcciones de re-
torno: cuando se ejecuta una instruccin CALL
la unidad de control apila automticamente la di-
reccin de retorno, y cuando se ejecuta una RET
saca la direccin de la cabeza de la pila. Y llamar
desde un subprograma a otro no planteara ningn
problema: las direcciones de retorno se iran api-
lando y recuperando ordenadamente (el nico pro-
blema es que la pila crezca hasta invadir zonas
del programa).
Uso de una pila para las interrupciones
Del mismo modo que en las llamadas a subpro-
gramas, la pila puede utilizarse para salvar la di-
reccin de retorno en las interrupciones. Esto faci-
lita el anidamiento, pues un esquema como el de
Smplez+i4, en el que (CP) se guarda en una di-
reccin fija (la 63), exigira que en toda rutina de
servicio se volviese a guardar en una posicin lo-
cal el contenido de 63 antes de permitir que otras
causas pudiesen interrumpir.
En las UCP que tienen modo supervisor y modo
usuario suele haber dos pilas, una para cada modo:
la pila de usuario y la pila del sistema. En este ca-
so, las direcciones de retorno en las interrupciones
se apilan en la pila del sistema.
4.7. Repertorios de instrucciones
4.7. Repertorios de instrucciones
Para comentar algunas caractersticas generales
sobre los distintos tipos de instrucciones, las clasi-
ficaremos en cinco grupos:
de movimientos de datos
aritmticas, lgicas y de comparacin
de desplazamientos
de transferencia de control
de gobierno
Utilizaremos los cdigos nemnicos ya intro-
ducidos en Lecciones anteriores y explicaremos
los nuevos conforme vayan apareciendo. Entre los
lenguajes ensambladores hay mucha variedad, pe-
ro algunos nemnicos son prcticamente univer-
sales (LD, ST, MOVE...).
Instrucciones de movimientos de datos
Aqu incluimos tanto movimientos internos co-
mo comunicaciones con los dispositivos perifri-
cos. Nos referimos con movimientos internos
a las operaciones que consisten en trasladar datos
entre la memoria y los registros accesibles al pro-
gramador.
LD y ST se utilizan, segn el modo de di-
reccionamiento, para mover datos de la MP a un
registro, de un registro a la MP, de la MP a la MP, o
entre dos registros. Pero en muchas UCP se susti-
tuyen por, o se complementan con, una instruccin
genrica, MOVE, que especifica la fuente y el
destino, donde fuente y destino pueden ser
posiciones de la MP o registros. En UCP que per-
miten operandos de varias longitudes, hay cdigos
de operacin distintos para mover bytes, palabras
o palabras largas (LD.B: cargar byte, ST.W:
almacenar palabra, MOVE.L: mover palabra lar-
ga, etc.).
Es frecuente disponer de dos versiones de la ins-
truccin LD: LDU (cargar sin signo)10 y LDS
(cargar con signo). Esta duplicidad tiene sentido
10
U es por unsigned (sin signo).
151
cuando el destino (normalmente, un registro) tie-
ne mayor longitud que el operando fuente. Su-
pongamos, por ejemplo, que el contenido del byte
de direccin d de la MP es HF0 = B11110000.
Si lo interpretamos como un nmero representa-
do en coma fija y complemento a 2 (con ocho
bits), se trata del nmero H10 =16. La ins-
truccin LDU.B .R1,d se limita a llevar HF0
a los ocho bits menos significativos del registro
R1: si R1 tiene treinta y dos bits, los veinticua-
tro ms significativos pueden quedar como es-
taban o ponerse a cero (dependiendo del mode-
lo funcional de la mquina). Pero la instruccin
LDS.B .R1,d extiende el bit de signo, resultan-
do en R1 HFFFFFFF0, que interpretado como n-
mero en coma fija y complemento a 2 (con treinta
y dos bits) es H10 =16.
PUSH y POP son tambin, evidentemente,
instrucciones de este grupo, que operan sobre la
cima de la pila y un registro (o una palabra de la
MP).
Otras instrucciones de movimiento son las que
transfieren informaciones (datos, estado u rde-
nes) entre la UCP y los perifricos. Hay dos mane-
ras de proceder que, en el nivel de mquina con-
vencional, se reflejan en dos maneras de progra-
mar el envo a y la recepcin de informaciones de
un perifrico:
Utilizar las mismas instrucciones de movimien-
to disponibles para intercambiar datos entre un
registro y la MP (LD, ST o MOVE) sabiendo que
ciertas direcciones no corresponden a la MP, si-
no a perifricos. Esta ha sido la solucin adop-
tada en Smplez y la que tambin seguiremos
en Regstrez (Leccin 8).
Tener instrucciones especficas para la entrada
y la salida de datos. Los cdigos nemnicos son
IN y OUT, respectivamente. Estas instruc-
ciones debern contener un campo de direccin
de perifrico (o, ms correctamente, de direc-
cin de puerto, puesto que cada perifrico ne-
cesita como mnimo dos direcciones: una para
la transferencia de los datos y otro para reci-
152 Leccin 4. Variaciones sobre instrucciones y direccionamientos
bir rdenes o comunicar su estado). En la Lec-
cin 6 presentaremos la mquina llamada Al-
gortmez, que tiene estas instrucciones.
En el segundo caso hay dos espacios de di-
reccionamiento independientes: uno para la MP y
otro para los perifricos. En el primero, el espacio
de direccionamiento es compartido.
Instrucciones aritmticas, lgicas y de com-
paracin
Las instrucciones aritmticas bsicas son
ADD, SUB, MUL y DIV (y ADD.B, ADD.W, AND, OR y XOR son las correspondientes
etc.). Los algoritmos para operaciones en coma
flotante (Apndice A) pueden estar realizados
en hardware (generalmente, con un procesador
de coma flotante que conceptualmente no es
ms que una extensin de la UAL). En tal caso
existirn instrucciones como ADD.F (sumar
en coma flotante, SUB.F, etc., y, en su caso,
ADD.FS (sumar con formato de coma flotante
corto), ADD.FL (largo), etc. Igualmente, pueden
existir instrucciones para operar en decimal:
ADD.D, etc.
Es frecuente disponer de dos versiones: sin sig-
no (ADDU, etc.) y con signo (ADDS, etc.). La car si negativo), pueden hacer uso del resultado.
nica diferencia en su ejecucin es que la UCP tra-
ta de distinto modo al desbordamiento. Por ejem-
plo, suponiendo (para no escribir nmeros binarios
largos) que los operandos fuesen de cuatro bits, la
suma binaria de 0111 y 0110 sera 1101; si se ha
realizado con ADDU la UCP no da desbordamiento
(porque, en efecto, 7 + 6 = 13, que es el resul-
tado, interpretado como nmero sin signo), pero
si la instruccin hubiese sido ADDS la UCP habra
puesto el indicador V a uno (el resultado 1101, in-
terpretado como nmero con signo y complemen-
to a 2, es un resultado incorrecto).
Todas las UCP incluyen la posibilidad de su-
mar y restar con el acarreo producido por una
operacin previa, para poder, en caso necesario,
realizar por software operaciones sobre operandos
ms largos que los previstos en las instrucciones:
ADDC (sumar dos operandos y el acarreo previo)
y SUBC, y, en su caso, ADDC.B, etc.
Tambin pueden considerarse aritmticas
INC y DEC, aunque no siempre existen (sus
funciones pueden realizarlas ADD y SUB con
direccionamiento inmediato).
Algunas UCP tienen instrucciones aritmticas
con operandos etiquetados (Apartado 3.3). Por
ejemplo, la instruccin TADD11 suma dos ope-
randos en coma fija, y si la etiqueta de uno de
ellos (o las dos) no corresponde al tipo coma fi-
ja se pone a uno un indicador.
Las instrucciones lgicas bsicas, NOT,
a las operaciones explicadas en el Apartado 4.4.
Tambin podemos incluir entre ellas a CLR (po-
ner a 0 todos los bits) y a SET (poner a 1 todos
los bits). Como siempre, si puede haber operandos
de distinta longitud se utilizan distintos cdigos bi-
narios, y en los cdigos nemnicos aadiremos los
sufijos .B, .W, .L: CLR.B, etc.
Finalmente, la instruccin CMP12 compara
dos operandos y pone a cero o a uno el indicador
N segn que el primero sea mayor (o igual) o me-
nor que el segundo, y el Z segn que sean iguales
o distintos. Otras instrucciones, como BN (bifur-
Es como una instruccin SUB que no deja el re-
sultado de la resta en ningn sitio.
Instrucciones de desplazamiento
Las instrucciones de desplazamiento realizan
las operaciones estudiadas en el Apartado 3.5 (y
resumidas en la Figura 3.12), donde tambin vi-
mos sus cdigos nemnicos.
Instrucciones de transferencia de control
Adems de las transferencias de control incon-
dicionadas, BR, CALL y RET, encontramos
11
T es por tag (etiqueta).
12
No se confunda con complementar. Con nuestros con-
venios nemnicos, el complemento a 1 se obtiene con la ins-
truccin NOT, y el complemento a 2 con NEG.
4.7. Repertorios de instrucciones
en este grupo a las condicionadas al valor que ten-
gan los indicadores: BZ (bifurcacin si cero),
BNZ (bifurcacin si no cero), BN (bifurcacin
si negativo), BNN, CALLZ, CALLNZ RETZ,
etc.
Hay que tener en cuenta que la solucin expli-
cada en el Apartado 4.6 para las llamadas a y re-
tornos de subprogramas no es la nica, aunque sea
la ms utilizada. En UCP que adoptan otras solu-
ciones, las instrucciones para llamar a subprogra-
mas pueden ser diferentes. Por ejemplo la solucin
puede consistir en guardar la direccin de retorno
en la palabra cuya direccin es la anterior a la de la
primera instruccin del subprograma; en este caso
no existe la instruccin RET13 , ya que si la lla-
mada ha sido CALL dir el retorno se har con
BR [/dir]. En otras UCP la direccin de re-
torno se guarda en un registro, y el retorno se ha-
ce mediante una bifurcacin con direccionamiento
indirecto a ese registro.
En la Leccin 8 estudiaremos una solucin muy
eficiente (reduce el nmero de accesos a la MP)
basada en el uso de registros para transmitir tanto
los argumentos como la direccin de retorno.
Una instruccin cuyo efecto es parecido pero no
igual al de RET es RETI (retorno de interrup-
cin): adems de restaurar la direccin de retorno
repone tambin el contenido del registro de estado
y de los que la UCP haya guardado automtica-
mente en el cambio de contexto que sigue a una
interrupcin (Apartado 3.6).
Finalmente, algunas UCP incluyen instruccio-
nes llamadas SKIP, SKIPZ, etc. que no espe-
cifican direccin de transferencia de control: si se
cumple la condicin, la siguiente instruccin no se
ejecuta. Podemos llamarlas instrucciones de sal-
to. Son interesantes porque su formato puede ser
muy corto, al no tener que especificar ms que el
cdigo de operacin y la condicin de salto.
13
Pero s CALL, porque su efecto tiene que ser diferen-
te al de BR. En efecto, adems de guardar la direccin de
retorno en dir, ahora tiene que bifurcar no a dir sino a
dir+1 (o a dir+k, si la direccin ocupa k direcciones de
la MP).
153
Un caso muy especial de instruccin de salto
(salto con una condicin que no se cumple nun-
ca) es la instruccin NOP (no operacin): no ha-
ce nada, pero ocupa un espacio en memoria y un
tiempo de ejecucin. Puede utilizarse para conse-
guir que un programa ocupe exactamente un deter-
minado nmero de posiciones de memoria o que
tarde un cierto tiempo en ejecutarse (as, teniendo
en cuenta los tiempos de ejecucin de las distintas
instrucciones, pueden ejercerse acciones sobre el
exterior en instantes prefijados).
Instrucciones de gobierno
Son las que actan sobre la UCP y sobre unida-
des de control perifricas, bien sea para alterar su
estado (por ejemplo, HALT, EI y DI) o pa-
ra comprobarlo, y normalmente son instrucciones
privilegiadas. En los ejemplos de entrada y salida
para Smplez vimos que la comprobacin del es-
tado de los perifricos se haca con la instruccin
LD (y la alteracin, por ejemplo, para permitir
o inhibir las interrupciones de un perifrico, con
ST). Pero algunas UCP tienen instrucciones de
entrada y salida especficas para estas acciones de
gobierno. A veces estas instrucciones se combinan
con una accin de bifurcacin o de salto condicio-
nado. Por ejemplo, podramos tener la instruccin
SKIPR dir: salto si el perifrico de direccin
dir est preparado.
Una instruccin que es de gobierno, pero tam-
bin de transferencia de control, es la de llamada
al supervisor: BRK. Se trata de una instruccin
muy importante, porque permite construir el nivel
de mquina operativa, como veremos en la Tercera
Parte.
Lenguajes ensambladores
Cada fabricante ha elegido sus propios conve-
nios para los nemnicos de las instrucciones y pa-
ra la manera de indicar en ensamblador los modos
de direccionamiento. En la norma IEEE 694, que
hemos utilizado para definir los ensambladores de
154 Leccin 4. Variaciones sobre instrucciones y direccionamientos

Smplez y Smplez+i4 y para los ejemplos de esta En las Lecciones 6 y 7 tendremos ocasin de es-
Leccin, se definen cdigos de operacin nem- tudiar ejemplos de programacin en ensamblador.
nicos, reglas, etc., de manera suficientemente am- No obstante, conviene sealar que nuestra insis-
plia como para escribir programas para cualquier tencia sobre la programacin en ensamblador no
mquina. Es decir, dado el modelo funcional de guarda relacin con la importancia de esta activi-
un ordenador en el nivel de mquina convencio- dad; de hecho, raramente se programa hoy da en
nal (repertorio de instrucciones, registros, modos ensamblador (vase el Apartado 7.13).
de direccionamiento, etc.), siempre se puede cons-
truir un ensamblador que traduzca a su lenguaje
de mquina los programas escritos en el lenguaje
4.8. Medidas de prestaciones
IEEE 694.
La comparacin entre ordenadores es, natural-
En la bibliografa que citamos en el Aparta-
mente, un asunto de gran importancia prctica. Pe-
do 4.13 el lector puede encontrar la definicin
ro tambin es difcil y controvertido. Dado nuestro
completa de esta norma y ver ejemplos de progra-
enfoque conceptual, descriptivo y cualitativo, no
mas para distintos ordenadores y de corresponden-
vamos a extendernos en l ms que para presentar
cias entre el ensamblador del fabricante y la norma
las ideas y los trminos bsicos.
IEEE 694. La mayora de los cdigos de operacin
ya los hemos visto, as como la manera de indicar
el modo de direccionamiento (en los ejemplos del Velocidad y potencia
Apartado 4.4). En general, el modo de direcciona- En general, la velocidad de un sistema para un
miento se especifica mediante smbolos que acom- determinado estmulo puede definirse como la in-
paan a la expresin de la direccin, como resume versa de su tiempo de respuesta a ese estmulo. En
la Tabla 4.3. un ordenador sera la inversa del tiempo que trans-
Modo Smbolo Ejemplo curre desde que empieza a ejecutar un determina-
Absoluto (directo) Prefijo / /dir do programa hasta que termina.
Pgina 0 Prefijo ! !dir Por otra parte, la potencia es la cantidad total
Indirecto Corchetes [dir] de trabajo realizado por unidad de tiempo. En un
Relativo a CP Prefijo $ $dir ordenador, el nmero de programas ejecutados por
Inmediato (literal) Prefijo # #valor segundo (o por hora, o por da).
Indexado Corchetes dir[.R] En principio ambas cosas, as definidas, son
Preindexado Corchetes [dir[.R]]
idnticas. En efecto, imaginemos un programa cu-
Postindexado Corchetes [dir][.R]
Registro Prefijo . .R ya ejecucin tarda un milisegundo. La velocidad
Autopreincremento Prefijo ++ ++dir ser 1/103 = 1.000, y, si se ejecuta repetidamen-
Autopostincremento Sufijo ++ dir++ te este mismo programa, en un segundo se habrn
Autopredecremento Prefijo -- --dir ejecutado 1.000 programas. Ahora bien, hay que
Autopostdecremento Sufijo -- dir-- tener en cuenta que el tiempo de respuesta para un
Tabla 4.3. Convenios para representar el modo de di- programa de aplicacin tiene tres componentes:
reccionamiento en el ensamblador IEEE 694.
TR = TP + TS + TES
En los modos ++ y --, dir es, gene- Durante TP , la UCP est ejecutando instrucciones
ralmente, un registro. Por ejemplo, en la instruc- del programa; TS es el tiempo que la UCP em-
cin ADD .2, [.7++] la direccin efectiva es plea en ejecutar instrucciones del sistema operati-
el contenido del registro R7 (y, tras obtener el ope- vo, y TES es el tiempo durante el cual la UCP es-
rando, se incrementa el contenido de este R7). t inactiva esperando la terminacin de transferen-
4.8. Medidas de prestaciones
cias con los perifricos14 . Si el programa se ejecu-
ta completamente hasta terminar, sin intervencin
del sistema operativo, entonces TS = 0, pero en tal
caso la UCP pierde el tiempo durante TES . En el
Apartado 4.2 hemos avanzado una idea que estu-
diaremos con detalle en la Leccin 20: un sistema
operativo con multiprogramacin permite que du-
rante este tiempo la UCP ejecute instrucciones de
otro programa. Obviamente, esto supone una so-
brecarga: el tiempo TS que el sistema operativo
emplea en hacer la conmutacin de un programa a
otro. Pero si la sobrecarga no es muy grande con
relacin a TES se consigue una mejora de la po-
tencia aunque la velocidad para cada programa
sea menor.
La Figura 4.14 ilustra grficamente la idea en
un ejemplo de ejecucin de tres programas, A, B
y C, dos de ellos idnticos (en cuanto a tiempos):
tienen una parte de procesamiento (P1A, P1B) se-
guida de una de entrada/salida (ESA, ESB) de du-
racin doble a la anterior y terminan con otra par-
te de procesamiento (P2A, P2B) de igual duracin
que la primera; el tercer programa slo tiene pro-
cesamiento (PC). Las franjas sombreadas corres-
ponden a la carga de los programas en la MP, y las
blancas (slo en el caso de multiprogramacin) a
la sobrecarga de tiempo del sistema operativo. Es
fcil observar en esta ilustracin que, si bien el
tiempo total para la ejecucin de los tres progra-
mas (que da la referencia para la potencia) es me-
nor utilizando multiprogramacin, el tiempo que
transcurre desde que uno cualquiera de los progra-
mas empieza su ejecucin hasta que ese programa
termina (cuya inversa es la velocidad para tal pro-
grama) es mayor con multiprogramacin.
En resumen, la velocidad responde al punto de
vista individual, o del usuario, mientras que la po-
tencia es una medida ms prxima al punto de vis-
ta global, o de la gestin del sistema.
14
Observe que TES puede ser del orden de milisegundos
(transferencias con los discos) o del orden de segundos o mi-
nutos (si el programa necesita un dato proporcionado por el
usuario).
155
P1A ESA P2A P1B ESB P2B PC
(a) con monoprogramacin
P1A P1B PC P2A PC P2B PC
ESA ESB t
(b) con multiprogramacin
Figura 4.14. Diagramas de tiempos en la ejecucin de
tres programas.
Velocidad de la UCP
Centrmosnos ahora en la velocidad de la UCP.
Aqu hemos de adelantar algo que estudiaremos
con detalle en la Segunda Parte. El funcionamiento
de la UCP est sincronizado mediante una seal
binaria que va alternando dos niveles de tensin
(niveles lgicos 0 y 1) con un perodo constante.
A esta seal se le llama reloj15 , y cada perodo es
un ciclo de reloj16 . La inversa de la duracin del
ciclo de reloj es la frecuencia de reloj, que, con la
tecnologa actual, es del orden de las centenas de
MHz (Megaciclos por segundo), o de varios GHz
(Gigaciclos por segundo).
Una frmula muy sencilla para determinar el
tiempo de respuesta de la UCP para un determi-
nado algoritmo (suponiendo que este algoritmo no
contiene operaciones de entrada/salida, y que tam-
poco hay sobrecarga por el sistema operativo, es
decir, TR = TP ) es:
TR = I CPI/F
donde:
I es el nmero de instrucciones del progra-
ma. Evidentemente, depende del algoritmo, pe-
ro para un mismo algoritmo, y si estamos com-
15
No debe confundirse con la seal de las interrupciones de
reloj (Apartado 3.6): sta (de menor frecuencia) est generada
por un controlador externo a la UCP.
16
Tampoco debe confundirse ciclo de reloj con ciclo de
memoria (Apartado 1.13). Normalmente, un ciclo de memo-
ria tiene una duracin de varios ciclos de reloj. En el resto de
este Apartado, ciclo se refiere a ciclo de reloj.
156 Leccin 4. Variaciones sobre instrucciones y direccionamientos
parando dos UCP, depende mucho del reperto-
rio de instrucciones. Cuantas ms instrucciones
tenga la UCP y ms cosas permitan hacer stas,
menor ser I 17 .
CPI (ciclos por instruccin) es el nmero de ci-
clos de reloj que requiere la ejecucin de ca-
da instruccin. En realidad, es un nmero me-
dio, ya que no todas las instrucciones necesitan
el mismo nmero de ciclos. Este factor depen-
de sobre todo del diseo de la microarquitectu-
ra, pero, en general, las instrucciones complejas
van a exigir ms ciclos para su ejecucin.
F es la frecuencia del reloj, y depende de la
tecnologa, es decir, de factores de los niveles
de circuito elctrico y dispositivo.
En promedio, el tiempo de respuesta para una
instruccin ser:
TRI = CPI/F microsegundos
(si F se mide en MHz)
y de aqu procede la unidad de medida ms senci-
lla para la velocidad de una UCP:
V = 1/TRI = F/CPI MIPS
MIPS significa Millones de Instrucciones
Por Segundo , y es una unidad muy utilizada,
pero excesivamente simplista, porque no tiene en
cuenta la potencia de cada instruccin individual,
y adems no slo depende de la UCP (que sera
lo deseable), sino del programa. Vemoslo con un
ejemplo sencillo.
Imaginemos una UCP con F = 120 MHz que
no dispone de operaciones de coma flotante en
hardware. La operacin de multiplicacin de dos
nmeros representados en coma flotante se har
mediante un programa (Apndice A). Suponga-
mos que la ejecucin de este programa implica la
ejecucin de sesenta instrucciones y tarda un mi-
crosegundo. Como TR = I CPI/F , resulta que,
17
Adems, como normalmente se programa en lenguajes
de alto nivel, depender tambin del compilador: un compi-
lador bien diseado y adaptado a la mquina genera menos
instrucciones que otro que no lo est.
en este caso, el nmero medio de ciclos por ins-
truccin es CPI = 106 120 106 /60 = 2,
y la velocidad es V = F/CPI = 120/2 = 60
MIPS. Imaginemos ahora que a la misma UCP le
aadimos una unidad de coma flotante. La mis-
ma operacin se realizar con una sola instruccin,
MUL.F, cuya ejecucin tarda, por ejemplo, seis
ciclos (las instrucciones de coma flotante requie-
ren ms ciclos que las de coma fija). El tiempo
de ejecucin resulta ser 6/120 = 0, 05 microse-
gundos (una ganancia en la velocidad, para esta
operacin, de 1/0, 05 = 20). Y, sin embargo, de-
beramos decir que la velocidad se ha reducido a
V = F/CPI = 120/6 = 20 MIPS.
Que la velocidad medida en funcin de CPI de-
pende del programa resulta bastante evidente si te-
nemos en cuenta que CPI vara de unas instruccio-
nes a otras. Si la UCP tiene n tipos de instruccio-
nes clasificadas por el nmero de ciclos que re-
quiere la ejecucin de cada una (es decir, las ins-
trucciones del tipo 1 necesitan C1 ciclos, las del ti-
po 2 C2 ciclos, etc.), y si la ejecucin de un deter-
minado programa implica la ejecucin de I1 ins-
trucciones del primer tipo, I2 del segundo, etc., el
nmero medio de ciclos para ese programa resulta
ser:
CPI = I1 C1 +I2 C2 +... In Cn
I1 +I2 +... In
Vemos que CPI depende de la proporcin relati-
va de instrucciones (o mezcla de instrucciones)
que se ejecutan cuando se ejecuta el programa.
Esto hace que los MIPS no sean una medida fia-
ble para comparar una UCP con otra y que, en ri-
gor, ni siquiera sea correcto hablar de los MIPS
de una UCP, porque varan con el programa
(Ejercicios 10 a 13). Pese a todo, suele mencionar-
se en las documentaciones tcnico-comerciales,
aunque se tiende a adoptar otras medidas ms ri-
gurosas, basadas en bancos de medida.
Para comparar ordenadores dedicados a tareas
de clculo numrico (y, que, por tanto, disponen de
operadores de coma flotante en hardware), y, es-
pecialmente, los llamados supercomputadores
(Apartado 15.2), suele utilizarse otra unidad de
4.8. Medidas de prestaciones
medida: MFLOPS (Millones de operaciones en
coma FLOtante Por Segundo). Su utilidad tambin
es muy limitada: carece de valor, por ejemplo, pa-
ra medir la velocidad de la UCP con programas en
los que predomina el procesamiento simblico.
Citemos finalmente una unidad que se utiliza
con los ordenadores especialmente diseados pa-
ra procesar programas lgicos (Apartado 22.10):
LIPS (inferencias lgicas por segundo) y sus ml-
tiplos: KLIPS y MLIPS.
Bancos de medida
Para eludir la dependencia de un programa, se
pueden promediar las velocidades medidas para
un conjunto de programas. Este conjunto puede
estar formado por:
Pequeos programas: clculo del factorial, or-
denacin de listas, inversin de matrices, etc.
Programas reales: compiladores, procesadores
de textos, procesadores de imgenes, etc.
Medidas sintticas: programas especficamente
diseados para evaluar la velocidad con distin-
tas funciones, tratando de reproducir un perfil
medio del uso de esas funciones por los pro-
gramas reales; las ms conocidas son Whets-
tone (conjunto de programas en Fortran) y
Dhrystone (conjunto de programas en C y
Ada); la primera pone nfasis en la velocidad
del ordenador para clculos cientficos y de
ingeniera, mientras que la segunda est ms
orientada al software del sistema.
El lector interesado puede acudir a la abundante
bibliografa sobre el asunto para conocer ms de-
talles. Solamente nos queda advertir que convie-
ne contemplar con cierto escepticismo los datos
publicados en las documentaciones comerciales
de los fabricantes cuando comparan sus productos
con los de la competencia. No porque sean falsos,
sino porque, de entre la variedad de medidas po-
sibles, naturalmente toman las ms favorecedoras.
En este sentido, la constitucin de SPEC (Stan-
dard Performance Evaluation Corporation) es una
interesante iniciativa tomada por varios fabrican-
157
tes con la intencin de acordar bancos de medida
comunes. La unidad de medida de velocidad de
una UCP definida inicialmente por SPEC se llam
SPECmarks:
1. Se ejecuta un conjunto de programas concretos,
determinados por SPEC.
2. Para cada programa se mide la velocidad de
manera relativa a la de un ordenador VAX-
11/780: tiempo de ejecucin del programa en
el VAX dividido por el tiempo de ejecucin del
mismo programa en la mquina objeto de me-
dida.
3. La velocidad en SPECmarks es la media geo-
mtrica del conjunto de mediciones18 .
As, una UCP con 100 SPECmarks sera, en pro-
medio, cien veces ms rpida que la UCP del
VAX-11/780.
Los problemas de esta unidad son comunes a
todos los bancos de medida:
En principio, miden la velocidad, no la poten-
cia. No dan una evaluacin precisa de las pres-
taciones de la mquina operativa (es decir, del
conjunto formado por la UCP, el sistema de en-
trada/salida y el sistema operativo).
El perfil medio que pretenden reproducir
puede ser muy diferente de la carga de traba-
jo real sometida al ordenador.
En relacin con el punto anterior, los diseado-
res de hardware y de software pueden optimizar
sus productos para la medida.
Como ejemplo del ltimo punto, es ilustrativo
el siguiente hecho. El primer banco SPEC (lla-
mado SPEC CPU89) consista en seis programas
(en Fortran y Ada) con abundancia de clculos
en coma flotante, y cuatro (en C) para procesa-
miento de enteros. Uno de los programas permi-
ta que ciertas optimizaciones en el compilador
llegasen a dividir por siete el tiempo de respues-
ta para ese programa, aumentando as aparente-
mente el nmero de SPECmarks. Posteriormen-
18
Si el lector resuelve los Ejercicios 14 y 15 comprender
por qu se utiliza la media geomtrica, y no la aritmtica.
158 Leccin 4. Variaciones sobre instrucciones y direccionamientos
te, SPEC ha ido eliminando ese y otros progra-
mas que presentaban parecidos problemas y refi-
nando las medidas. En la ltima versin, SPEC
CPU2000, se definen separadamente un conjun-
to de doce programas en C y C++ para evaluar
la velocidad con enteros (SPECint2000) y otro de
catorce programas en Fortran y C para coma flo-
tante (SPECfp2000). Tambin ha introducido otras
medidas para la potencia (SPECint_rate2000 y
SPECfp_rate2000) y ha definido medidas obteni-
das con optimizacin de los compiladores (com-
pilacin agresiva) y sin ella (compilacin con-
servadora: SPECint_base2000, etc.)19 .
4.9. RISC y CISC
El diseo del repertorio de instrucciones es una
tarea compleja, especialmente en un entorno com-
petitivo, en el que los fabricantes tienen que resol-
ver mltiples conflictos entre costes de desarrollo,
plazos de fabricacin, coste y prestaciones del pro-
ducto... No pretendemos en este curso entrar en
detalles propios del diseo de ordenadores, pero,
desde un punto de vista descriptivo, es obligatorio
comentar una tendencia reciente. Para entenderla
hay que adoptar una perspectiva histrica.
Durante los aos 60, 70 y 80 la evolucin de las
UCP de los ordenadores se caracteriz por un enri-
quecimiento del repertorio de instrucciones, tanto
en cantidad (varios centenares) como en modos de
direccionamiento. Esto obedeca a razones prcti-
cas20 : cuantas ms posibilidades ofrezca el nivel
de mquina convencional ms fcil ser desarro-
llar niveles superiores (sistemas operativos, com-
19
Como mquina de referencia se toma otra ms actual, la
estacin de trabajo Ultra5_10 de Sun Microsystems con una
UCP SPARC de 300 MHz y 256 MB de MP, pero ste es un
cambio intranscendente, como se puede comprobar estudian-
do los mencionados Ejercicios 14 y 15.
20
Se ha demostrado tericamente que un ordenador con s-
lo dos instrucciones, sumar uno al acumulador y decre-
mentar el acumulador y bifurcar si resulta cero podra hacer
lo mismo que cualquier otro ordenador (o, por decirlo tam-
bin de manera terica, dotado de una MP infinita, tendra la
misma potencia computacional que una mquina de Turing).
piladores, aplicaciones, etc.). Sin embargo, mu-
chos estudios sobre estadsticas de uso de instruc-
ciones durante la ejecucin de los programas de-
mostraban que gran parte de tales instrucciones
apenas se utilizaban; esto es an mas cierto cuando
los programas en lenguaje de mquina no estn es-
critos directamente por un programador, sino que
proceden de un proceso de compilacin. En media,
del anlisis de programas compilados resulta que
alrededor del 80 % de las operaciones se realizan
con slo un 20 % de las instrucciones del reper-
torio (naturalmente, ste es un resultado global, y
hay una gran variacin dependiendo del programa
fuente y del repertorio de instrucciones).
Esto condujo a algunos investigadores a plan-
tear una alternativa de diseo diferente: si decidi-
mos reducir al mnimo el nmero de instruccio-
nes (no el mnimo terico de la nota a pie de pgi-
na, pero s el que resulta de eliminar todas las que
tengan un porcentaje muy bajo de utilizacin) ten-
dremos programas ms largos y, en principio, ms
lentos en su ejecucin. Pero la unidad de control
podr ser mucho ms sencilla, y su implementa-
cin en los niveles inferiores (desde el de microar-
quitectura hasta el de dispositivo) podr, para el
mismo espacio fsico (o sea, superficie de circui-
to integrado), ser mucho ms eficiente. Es decir,
que quizs el resultado final sea que la mquina
no resulte tan lenta. En trminos ms cuantitati-
vos, recordando que el tiempo de respuesta para un
programa con I instrucciones es TR = I CPI/F ,
se trata de que el aumento de I quede compensa-
do por una reduccin de CPI y un aumento de F .
Es como el ciclista que en una pendiente de subida
pone un desarrollo corto, de modo que recorrer
la misma distancia le exige ms pedaladas: ha au-
mentado I (nmero total de pedaladas), pero si es-
to le permite reducir suficientemente CPI/F (que
sera lo anlogo al tiempo que invierte en cada pe-
dalada) puede llegar antes al puerto21 .
21
Prosiguiendo la analoga, podemos pensar en ordenado-
res de desarrollo variable, lo que exige un modelo de or-
denador con repertorio adaptativo. Normalmente, el dise-
o es de pin fijo, y el problema es la eleccin de este
4.10. Resumen
A un ordenador cuyo diseo sigue la tendencia
tradicional se le llama CISC (Complex Instruc-
tion Set Computer), por contraposicin a RISC
(Reduced Instruction Set Computer).
Los RISC suelen tener del orden de cien instruc-
ciones y un nmero reducido de modos de direc-
cionamiento, pero esta caracterstica no es la ni-
ca, ni siquiera la ms importante; otras son:
Tienen arquitectura load/store. Esto quiere
decir que los nicos accesos a la MP son para
extraer instrucciones y datos y para almacenar
datos. Todas las operaciones de procesamiento
se realizan en registros de la UCP, con instruc-
ciones de 21 , 12 + 21 o 21 + 12 + 12 direc-
ciones.
Sus instrucciones son sencillas: realizan ni-
camente las operaciones bsicas, no como los
CISC, en los que suelen encontrarse instruccio-
nes sofisticadas que pretenden facilitar la com-
pilacin de ciertos lenguajes de alto nivel, pero
cuyo porcentaje de uso es muy bajo.
Su formato de instrucciones es regular: todas
las instrucciones tienen la misma longitud y el
nmero de formatos diferentes es reducido (tres
o cuatro); en cada formato, todos los bits tienen
el mismo significado para todas las instruccio-
nes, y esto permite que la unidad de control sea
ms sencilla.
Como consecuencia de lo anterior, y ya en el ni-
vel de microarquitectura, la implementacin de
la unidad de control suele hacerse cableada22
y el nmero medio de ciclos por instruccin se
aproxima a 1 (o, incluso, se ejecutan varias ins-
trucciones en un solo ciclo, como veremos en
el Apartado 15.3).
pin para obtener las mejores prestaciones medias teniendo
en cuenta todos los programas de aplicacin posibles. Con las
tcnicas de microprogramacin puede adaptarse el repertorio
de instrucciones al tipo de aplicaciones (Apartado 12.5), pero
este cambio, en principio, no es automtico. Algunas pro-
puestas sobre esta idea pueden encontarse en las referencias
que se citan al final del Apartado 4.12.
22
Como veremos en la Segunda Parte, lo normal en los
CISC es que la unidad de control sea microprogramada.
159
4.10. Resumen
Los formatos de instrucciones son muy varia-
dos, pero, en general, las de procesamiento inclu-
yen, adems del cdigo de operacin, la especifi-
cacin para encontrar a los operandos y al resulta-
do, es decir, dnde estn (en registros o en la MP)
y cmo se localizan.
La localizacin de los operandos en la MP de-
pende del modo de direccionamiento. Tras presen-
tar los principales modos, directo, indirecto, inme-
diato, indexado y relativo (a programa, a pgina,
a base o a segmento), hemos visto cmo el direc-
cionamiento relativo a programa permite escribir
programas independientes de su ubicacin, y c-
mo el relativo a base o a segmento permite que los
programas sean reubicables dinmicamente.
Las mquinas de pila son una variante intere-
sante de la arquitectura de von Neumann, pero
el concepto de pila puede implementarse en una
arquitectura clsica con la ayuda de un registro
adicional, el puntero de pila, que permite simu-
lar una memoria de pila en una memoria de acce-
so aleatorio, y que facilita el anidamiento de las
llamadas a subprogramas y de las interrupciones.
En el Apartado 6.13 veremos cmo se puede hacer
uso de esta pila para transmitir parmetros en las
llamadas.
Los tipos de instrucciones incluidas en un re-
pertorio son:
de movimientos de datos: LD, ST, MOVE, PUSH,
POP, IN, OUT;
aritmticas, lgicas y de comparacin: ADD,
ADDC, SUBC, MUL, DIV, NOT, AND, OR, XOR, CMP;
de desplazamientos: SHR, SHL, ROR, ROL, RORC,
ROLC, SHRA, SHLA;
de transferencia de control: BR, BZ, BN..., SKIP,
SKIPZ,..., CALL, CALLZ,..., RET, RETZ...
de gobierno: HALT, BRK, EI, DI, etc.
Las comparaciones entre ordenadores en lo que
respecta a sus prestaciones son difciles de es-
tablecer. Hay algunas medidas, tan globales co-
mo simplistas, para la velocidad de la UCP: los
160 Leccin 4. Variaciones sobre instrucciones y direccionamientos
MIPS (millones de instrucciones por segundo) y
los MFLOPS (millones de operaciones en coma
flotante por segundo), y otras, tambin globales,
pero ms rigurosas, son las que se realizan con
bancos de medida, como los definidos por SPEC.
Generalmente, las UCP incluyen varios cente-
nares de instrucciones en sus repertorios, con for-
matos y modos de direccionamiento diversos y
complicados. Una tendencia alternativa es la de los
RISC, en los que el nmero de instrucciones y
modos es reducido, el formato de instrucciones es
regular y slo se accede a la MP para leer o escri-
bir: las instrucciones de procesamiento tienen los
operandos y el resultado en registros de la UCP.
4.11. Observaciones terminolgicas
La mayora de los autores consideran direcciona-
miento directo sinnimo de direccionamiento abso-
luto, aunque algunos llaman directo a todo tipo de
direccionamiento que no sea indirecto, y, as, hablan
de directo indexado, directo relativo, etc. En al-
gunos microprocesadores de ocho bits con direcciona-
miento relativo a pgina se utiliza directo para refe-
rirse al direccionamiento a la pgina 0 (CD slo tiene
un byte), y absoluto para las instrucciones que per-
miten referirse a cualquier direccin (CD con dos o tres
bytes).
Hemos catalogado como relativos a todos los mo-
dos de direccionamiento en los que se suma un des-
plazamiento a una direccin de referencia. En algunos
textos y manuales relativo se refiere exclusivamente
a relativo a programa.
A un programa independiente de su ubicacin se le
llama tambin PIC (Position Independent Code).
Tanenbaum (1999) seala acertadamente que el tr-
mino consagrado de instrucciones de movimiento de
datos es equvoco: cuando algo se mueve deja de estar
en el sitio original, lo que no es el caso. Sera ms ajus-
tado al significado instrucciones de duplicacin de da-
tos.
Hemos traducido branch (o jump) por bifurca-
cin, y skip por salto. Algunos autores reservan
jump para referirse a las bifurcaciones incondiciona-
das y branch para las condicionadas.
Pila y puntero de pila son traducciones de
stack (o pushdown stack) y stack pointer. El
desplazamiento (contenido del campo CD cuando se
interpreta como un nmero a sumar o restar del conte-
nido de un registro) lo es de displacement, a veces
llamado offset.
A las pilas tambin se les llama memorias LIFO (por
LastIn, FirstOut: el ltimo en entrar es el primero
en salir).
El trmino prestaciones tiene el sentido cuantita-
tivo habitual, por ejemplo, en la industria del autom-
vil (medidas de la eficiencia). Hemos traducido per-
formance, throughput, instruction mix y bench-
mark por velocidad, potencia, mezcla de ins-
trucciones y banco de medida, respectivamente. (El
trmino ingls performance es polismico: segn el
contexto, se puede traducir por actuacin, conduc-
ta, desempeo, prestaciones...).
4.12. Notas histricas
Direccionamiento de la siguiente instruc-
cin: explcito frente a secuencial
Algunos de los ordenadores diseados antes de la
introduccin de las memorias de ncleos con acceso
aleatorio incluan en cada instruccin un campo para el
direccionamiento de la siguiente (Figura 4.1(a)). Esto
estaba justificado teniendo en cuenta que la memoria
principal era un tambor magntico (padre de los ac-
tuales discos), en el que el tiempo de acceso a una di-
reccin depende de la posicin instantnea del tambor;
el programador poda as situar las sucesivas instruc-
ciones de su programa en los lugares adecuados para
minimizar el tiempo de su acceso. En las mquinas ac-
tuales las instrucciones de un programa se almacenan
siempre en posiciones sucesivas de la memoria, y el
direccionamiento de la siguiente instruccin a ejecutar
es implcito, ahorrndose as ese campo de direcciona-
miento. Naturalmente, esto obliga a la introduccin de
instrucciones de bifurcacin, que, sin realizar procesa-
miento til, ocupan posiciones de memoria y tiempo
de ejecucin. Pero este tributo es soportable siempre
que el porcentaje de tales instrucciones en un progra-
ma sea pequeo. Slo en casos excepcionales no es as;
por ejemplo, en las tcnicas de microprogramacin que
estudiaremos en la Segunda Parte. Por cierto, la equvo-
ca denominacin acceso aleatorio proviene de que
el programador puede elegir las direcciones de la MP
de modo arbitrario (que sera una traduccin de ran-
dom ms apropiada en este caso que aleatorio), sin
4.12. Notas histricas
que esta eleccin afecte al tiempo de acceso.
A este respecto, es interesante observar que el mo-
delo de von Neumann presupona una MP de acceso
aleatorio (a diferencia de la utilizada en el ENIAC, ba-
sada en lneas de retardo). Para construirla, propugna-
ba el uso de selectrones, dispositivos fabricados por
RCA que hacan un uso ingenioso de la propiedad de
persistencia de las cargas electrostticas en los tubos
de rayos catdicos (el mismo principio que actualmen-
te se sigue, en un nivel microelectrnico, en las memo-
rias dinmicas con tecnologa MOS). Con cuarenta
selectrones poda conseguirse una MP de 4.096 pala-
bras de 40 bits (... la capacidad de esta memoria ex-
cede en unas diez veces a la necesaria para la mayora
de los problemas actuales..., Burks et al., 1946). Pero
la primera tecnologa econmica y fiable para las me-
morias de acceso aleatorio fue la de ncleos de ferrita,
inventada por Forrester en el M.I.T. e introducida en
el ordenador Whirlwind en 1953 (Redmond y Smith,
1980); pervivi durante ms de veinte aos en todos
los ordenadores hasta su sustitucin por las memorias
de semiconductores.
Mquinas de palabras y de caracteres
Smplez y Smplez+i4 pueden considerarse mqui-
nas de palabras u orientadas a palabras: la unidad
bsica de informacin que se transfiere o se procesa es
la palabra, conjunto de bits elegido en el diseo para
que puedan representarse con l tanto datos como ins-
trucciones. En los primeros ordenadores, diseados pa-
ra clculo cientfico, el nmero de bits era 32, 36 o 40,
adecuado para la representacin numrica en binario
(en formato de coma fija o de coma flotante) con sufi-
ciente precisin. Como decamos en el Apartado 3.3, si
la frecuencia de operaciones de entrada/salida es gran-
de con relacin a la de clculos aritmticos, y esto es
cierto especialmente en las aplicaciones comerciales,
compensa representar internamente la informacin nu-
mrica con cadenas decimales codificadas en BCD y
trabajar con aritmtica decimal. Por esta razn, a me-
diados de los aos 50 aparecieron ordenadores llama-
dos de gestin (por oposicin a los cientficos) en los
que la unidad bsica era el carcter, codificado en seis
u ocho bits, y con instrucciones capaces de trabajar con
cadenas de caracteres de longitud variable; eran mqui-
nas de dos direcciones, sin acumulador.
Actualmente no tiene sentido distinguir entre ambos
tipos de mquinas: la mayora tienen posibilidad de di-
reccionar bytes y palabras (siendo una palabra una su-
161
cesin de dos, cuatro u ocho bytes), y muchas disponen
de instrucciones diferentes para aritmtica en BCD y
para aritmtica binaria.
Direccionamiento de la MP
La disposicin de la Figura 3.1(a) (direcciones de
palabra alineadas, siempre pares) es la tpica de uno
de los primeros miniordenadores, el PDP-11, mientras
que la de la Figura 3.1(b) (una palabra o doble palabra
puede empezar en cualquier direccin de la MP, direc-
cionable por bytes) corresponde a la de otro ordenador
del mismo fabricante, el VAX-11, y a muchos micro-
procesadores actuales.
El esquema ms utilizado en los ordenadores espe-
cializados en clculo cientfico es el de una direccin.
Sin embargo, los ordenadores para aplicaciones comer-
ciales, en los que existen instrucciones aritmticas de-
cimales que operan sobre cadenas de longitud variable,
el uso del acumulador es poco prctico, y se prefera el
formato de dos direcciones. Los ordenadores mixtos
(la mayora de los diseados a partir de los aos 60)
incluyen en su repertorio ambos tipos de instrucciones.
El direccionamiento indirecto se encuentra en to-
dos los ordenadores, aunque en algunos slo se dis-
pone de este modo sobre registro, no sobre la MP. El
PDP1, introducido por Digital Equipment Corp. en
1959, tena direccionamiento indirecto multinivel a me-
moria (Apartado 2.12). Entre las raras mquinas que
despus se han diseado con esta caracterstica (indi-
reccin multinivel) estn las de la serie HP 2100 de
HewlettPackard y la 516 de Honeywell.
El direccionamiento indirecto a travs de la MP con
autoincremento y autodecremento se empez a incor-
porar en los ordenadores de la segunda generacin que
tenan pocos registros, y era una modalidad de direc-
cionamiento indirecto sobre ciertas palabras de la MP
reservadas para ese fin. Por ejemplo, el PDP8 tena re-
servadas ocho palabras, las de direcciones Q10 a Q17.
Cualquier referencia con indireccin a una de ellas ha-
ca que se tomara como direccin efectiva su conteni-
do, incrementndose previamente este contenido, si se
trataba de autoincremento, o decrementndose despus
de tomar la direccin efectiva, si era autodecremento.
Evidentemente, el acceder a registros y no a la MP ha-
ce que la ejecucin de las instrucciones sea ms rpida.
El ejemplo sobre modos de direccionamiento desa-
rrollado al final del Apartado 4.5 est inspirado en los
ordenadores PDP-11 y VAX-11, cuyos modos se defi-
nen en los Ejercicios 8 y 9.
162 Leccin 4. Variaciones sobre instrucciones y direccionamientos
Repertorios de instrucciones
La primera mquina de pila fue el Burroughs
5000, introducido en 1963. La motivacin del nuevo
enfoque arquitectnico era ajustar mejor el nivel de m-
quina convencional a las necesidades de los lenguajes
de alto nivel, concretamente, en aquel momento, Algol
(Backus, 1960, Barton, 1961). Esta idea de acercar el
nivel de mquina convencional al de mquina simbli-
ca para reducir lo que se llam la brecha semntica
(semantic gap) ha sido motivadora de muchas inno-
vaciones. Las mquinas de pilas despertaron cierto in-
ters en los aos 60 y 70, pero lo fueron perdiendo en
los 80. Algunos ordenadores actuales combinan la ar-
quitectura clsica con la de pila, por ejemplo, los de
la serie HP3000 de HewlettPackard.
La tendencia RISC tiene su origen en tres pro-
yectos de investigacin independientes iniciados a fina-
les de los aos 70. En IBM, bajo la direccin de John
Cocke (Radin, 1982), se dise el llamado 801, que,
aunque no lleg a realizarse, dio lugar posteriormen-
te al producto R6000 de la misma empresa. En la
Universidad de Berkeley, David Patterson y colabora-
dores acuaron el trmino y construyeron el RISCI PC (filosofas de diseo, arquitectura y prestaciones)
y el RISCII (Patterson y Ditzell, 1980; Patterson y
Squin, 1982). Y en la Universidad de Stanford, John
Hennessy encabez el proyecto MIPS (Hennessy et
al., 1981), cuyo nombre no tiene nada que ver con la
unidad de velocidad: es un acrnimo de Microproces-
sor without Interlocked Pipeline Stages. Actualmente
muchos fabricantes de ordenadores y de circuitos inte-
grados incluyen productos RISC.
Aunque no se han plasmado en productos, se han
hecho algunas propuestas de arquitecturas con reper-
torio adaptativo, como la de Athanas y Silverman
(1993), que se llama PRISM, acrnimo de una expre-
sin en ingls que puede traducirse por reconfigura-
cin del procesador mediante metamorfosis del reper-
torio de instrucciones. Vanse tambin Hauser (2000)
y Vassiliadis et al. (2003).
4.13. Orientaciones bibliogrficas
Minsky (1967) demostr que dos instrucciones son
suficientes para cualquier clculo. Morgan (1988) pre-
senta (con fines didcticos) la realizacin microprogra-
mada de un ordenador con slo tres instrucciones: INC,
DEC y BN.
La norma del ensamblador IEEE 694 (IEEE, 1985a,
Fischer, 1979) ha tenido escaso xito en la industria.
Slo nos consta su adopcin por Hitachi en su familia
de RISC SuperH.
Un resumen de los tres primeros proyectos sobre
RISC puede encontrarse en Patterson (1985). Otros ar-
tculos de revisin y comparacin con los CISC son,
por ejemplo, los de Colwel et al. (1985) y Stallings
(1988). Algunas referencias sobre los productos RISC
ms conocidos son las siguientes:
Alsup (1990) describe la familia M88000 de Mo-
torola, y Atkins (1991) el i860 de Intel. Hewlett
Packard llama PA (Precision Architecture) a su
gama basada en RISC; una descripcin aparece en
Lee (1989), y detalles de implementacin y veloci-
dad del microprocesador, en Asprey et al. (1993). El
RS/6000 (Oehler y Blasgen, 1991) de IBM ha si-
do la base del PowerPC, apadrinado por una alian-
za de IBM, Motorola y Apple (Becker et al., 1993).
La descripcin tcnica oficial de IBM es el libro de
Cathy et al. (1994). Digital Equipment Corp. ha desa-
rrollado un RISC de 64 bits, el Alpha (McLellan,
1993). Una comparacin entre el Alpha y el Power
puede encontrarse en Smith y Weis (1994). Sun Mi-
crosystems ha definido el SPARC (Scalable Pro-
cessor ARChitecture), fabricado por varias empresas
de semiconductores; volveremos sobre esta arquitectu-
ra en las Lecciones 8 y 16.
Para estudiar con ms detalle y rigor lo relaciona-
do con las prestaciones, el lector puede acudir al libro
de Jain (1991). En el Captulo 2 de Patterson y Hen-
nessy (2004) se explican, con profusin de ejemplos,
las medidas de velocidad; en el Captulo 1 de Hennessy
y Patterson (2003) se incluye, adems, un estudio de
las relaciones entre velocidad y coste. Los artculos de
Price (1989) y Weiker (1990) describen las tcnicas de
bancos de medida.
SPEC (que incluye entre sus miembros a los prin-
cipales fabricantes de hardware y de software) no se
limita a la definicin de bancos para las UCP. Se ocupa
tambin del rendimiento de supercomputadores, pro-
cesadores grficos, servidores de ficheros, servidores
de web, etc. Informes detallados sobre sus actividades
se encuentran en la Internet (SPEC, 2004). Hay otras
organizaciones dedicadas a la medida de prestaciones
en campos de aplicaciones especializados, como TPC
(Transaction Processing Performance Council) (TPC,
2004) y BAPCo (Bussiness Applications Performance
Council) (BAPCo, 2004).
4.14. Ejercicios
4.14. Ejercicios
1. Estudie distintas alternativas (capacidad de MP
direccionable, tamao de la pgina, formato de
instrucciones, etc.) para redisear primero Sm-
plez y luego Smplez+i4 de modo que incluyan
direccionamiento relativo a pgina (conservando
la longitud de palabra de doce bits).
2. Considerando Smplez+p (Smplez con pila,
Apartado 4.6), escriba un subprograma para mul-
tiplicar y otro (que har uso del anterior) para
calcular el factorial. Haga una figura similar a la
Figura 4.12 en la que se indique el contenido de
la pila a medida que se calcula el factorial de 5.
3. Suponga ahora que la solucin adoptada para los
subprogramas en Smplez no es la de la pila, sino
la de que la instruccin CALL guarde la direccin
de retorno en la palabra direccionada. Modifique
adecuadamente el Programa 4.1 y los del Ejerci-
cio anterior.
4. Repita el Ejercicio anterior considerando Sm-
plez+i4 y que la direccin de retorno se guarda en
X. Si se precisara del registro X como ndice en
un subprograma, qu manipulaciones sera pre-
ciso hacer para no perder la cadena de direcciones
de retorno?
5. Disee un formato de instrucciones para Sm-
plez+i4p (Smplez+i4 al que se le aaden CALL
y RET, que acceden a una pila de 252 palabras
en la parte alta de la MP). Suponiendo que en las
interrupciones la UCP ya no guarda la direccin
de retorno en la palabra de direccin 63, sino en
la pila, qu modificacin habra que hacer en el
Programa 3.5?
6. Suponiendo que Smplez dispone de una instruc-
cin SKIPZ, reprograme los bucles de espera ac-
tiva del Apartado 1.12.
7. Suponga que se modifica la estructura interna de
Smplez+i4 para que el registro que el programa-
dor conoce como X sea tambin el contador de
programa. Estudie el efecto que esto tendra so-
bre la ejecucin de instrucciones que especifican
direccionamiento indexado y las que modifican el
valor de X, y cul podra ser la utilidad de esta mo-
dificacin. Haga lo mismo suponiendo, adems,
que el modo indexado es autoincremento.
163
8. El PDP11 era un ordenador (realmente, una se-
rie de ordenadores compatibles) con direcciones
de diecisis bits, MP de 64 KB, y ocho RPG de
diecisis bits, de los que R0 a R5 son RPG, R6
es un puntero de pila y R7 es el CP. Dispone de
instrucciones para trabajar con dos tipos de datos:
bytes y palabras (dos bytes). Las palabras se di-
reccionan por la direccin de su byte menos signi-
ficativo (convenio extremista menor y direcciones
alineadas, Figura 3.1(a)).
Las instrucciones sobre un operando (en registro
o en MP) tienen una longitud de una o de dos pa-
labras. Su formato es:
bits 156: cdigo de operacin
bits 53: modo de direccionamiento
bits 20: registro
En la segunda palabra va CD (slo para el caso
indexado).
Las instrucciones sobre dos operandos tienen una,
dos o tres palabras, segn que ninguno, uno o los
dos operandos se direccionen en modo indexado.
Su formato es:
bits 1512: cdigo de operacin
bits 119: modo de direccionamiento para ope-
rando fuente
bits 86: registro para operando fuente
bits 53: modo de direccionamiento para ope-
rando destino
bits 20: registro para operando destino
Los modos de direccionamiento son los indicados
en la Tabla 4.4 (pgina siguiente), donde k es 1
o 2 segn que el operando ocupe un byte o una
palabra.
Analice las diferencias con el ordenador hipo-
ttico explicado como ejemplo en el Aparta-
do 4.5, y, en particular, vase cmo se obtie-
nen otros modos de direccionamiento cuando
Ri = R7.
Suponiendo que dispone de las instrucciones
explicadas en el Apartado 4.7, programe para
este ordenador una solucin al problema de la
suma de cien nmeros (Apartado 1.8), con-
siderando primero que esos cien nmeros
estn en formato de byte y luego que estn en
formato de palabra.
Programe el intercambio de dos zonas de la
MP (Apartado 1.9).
164 Leccin 4. Variaciones sobre instrucciones y direccionamientos

MD Modo Direccin efectiva

000 Registro DE = Ri (operando = (Ri))
001 Registro indirecto DE = (Ri) (operando en la MP apuntado por Ri)
010 Autoincremento DE = (Ri), y (Ri)+k Ri
011 Autoincremento indirecto DE = ((Ri)), y (Ri)+2 Ri
100 Autodecremento (Ri)k Ri, y DE = (Ri)
101 Autodecremento indirecto (Ri)2 Ri, y DE = ((Ri))
110 Indexado DE = (CD) + (Ri)
111 Indexado indirecto DE = ((Ri) + (CD)) (preindexacin)

Tabla 4.4 Modos de direccionamiento del PDP-11.

MD Modo Direccin efectiva

00 Literal operando en bits 50
0100 Indexado DE=DIR+k(Ri) (k = 1, 2 o 4)
0101 Registro DE=Ri
0110 Registro indirecto DE=(Ri)
0111 Autodecremento (Ri)k Ri, y DE=(Ri)
1000 Autoincremento DE=(Ri), y (Ri)+k Ri
1001 Autoincremento indirecto DE = ((Ri)), y (Ri)+4 Ri
1010 Desplazamiento (B) DE = (CD)+(Ri)
1011 Desplazamiento indirecto(B) DE = ((CD)+(Ri))
1100 Desplazamiento (W) DE = (CD)+(Ri)
1101 Desplazamiento indirecto(W) DE = ((CD)+(Ri))
1110 Desplazamiento (L) DE = (CD)+(Ri)
1111 Desplazamiento indirecto (L) DE = ((CD)+(Ri))

Tabla 4.5 Modos de direccionamiento del VAX-11.

9. La arquitectura de la serie VAX11, de treinta de traduccin de lenguajes de alto nivel: es muy

y dos bits, desciende de la del PDP11. Com-
parando la Tabla 4.5 con la 4.4 puede verse que
sus modos de direccionamiento incluyen a los del
PDP-11 (excepto uno, el autodecremento indirec-
to: la experiencia haba demostrado que rara vez
se utilizaba). El modo indexado del PDP-11 aqu
se llama desplazamiento, y se escinde en tres
(seis, considerando los indirectos), segn la lon-
gitud del campo CD: un byte, una palabra (dieci-
sis bits) o una palabra larga (treinta y dos bits).
El nuevo modo indexado se utiliza siempre junto
con alguno de los otros modos (del 0110 al 1111),
y tiene utilidad para direccionar arrays: DIR (el
valor obtenido con el otro modo) contiene la di-
reccin de comienzo, y Ri el ndice dentro del
array, cuyos elementos pueden ser bytes (k=1),
palabras (k=2) y palabras largas (k=4). El modo
literal tambin est motivado por consideraciones
frecuente la iniciacin de variables con constan-
tes pequeas; si la constante puede representarse
con menos de siete bits, una instruccin con este
modo es ms pequea que una instruccin con el
modo inmediato.
La MP es direccionable por bytes, palabras y
palabras largas, sin restricciones de alineamien-
to. Tiene una capacidad de direccionamiento de
232 bytes = 4 GB. Hay diecisis RPG de treinta y
dos bits; R0 a R11 son RPG, R12 y R13 tienen
funciones especiales asociadas a las llamadas a
subprogramas, R14 es un puntero de pila y R15 es
el contador de programa. Las instrucciones pue-
den manejar operandos de distinta longitud: byte,
palabra, y palabra larga, y adems dispone de ins-
trucciones aritmticas en coma flotante con ope-
randos de cuatro y de ocho bytes (cuyos formatos
pueden verse en la Figura 3.18).
4.14. Ejercicios
Todos los operandos pueden direccionarse en la
MP por la direccin de su byte menos significati-
vo (Figura 3.1(b)). Los formatos de instrucciones
son similares a los explicados para el ejemplo del
Apartado 4.5, con la diferencia de que la variedad
de especificadores de operando es mucho mayor,
y pueden tener desde uno hasta diez bytes. El pri-
mero de esos bytes indica, en sus cuatro bits ms
significativos, el modo de direccionamiento, y en
los otros cuatro, una direccin de uno de los die-
cisis registros.
Responda a las mismas cuestiones planteadas en
el Ejercicio anterior.
10. Calcule las velocidades en MIPS de Smplez+i4
cuando ejecuta los Programas 2.1, 2.2 y 2.3. En
los tres casos, considere, para simplificar el clcu-
lo, nicamente las instrucciones que forman el
bucle. Tenga en cuenta que, igual que en Smplez
(Apartado 1.13), todas las instrucciones requie-
ren, al menos, un ciclo de memoria (200 ns); las
que tienen un operando en memoria, un ciclo adi-
cional para la lectura o escritura de este operando,
y las que tienen direccionamiento indirecto, otro
ciclo para la lectura del puntero.
11. Imagine que medimos los tiempos de ejecucin,
en milisegundos, de cuatro UCP, U1, U2, U3 y
U4, ejecutando dos programas, P1 (que ejecuta
1.000 instrucciones) y P2 (que ejecuta 10.000), y
obtenemos los siguientes resultados:
P1 P2
U1 1 10
U2 10 16
U3 1 40
U4 2 5
Calcule las velocidades medias, en MIPS, de las
cuatro UCP, suponiendo:
1. Que la carga de trabajo se distribuye uniforme-
mente entre P1 y P2 (es decir, ambos se ejecu-
tan el mismo nmero de veces).
2. Que la carga es tal que de cada diez programas
que se ejecutan uno es P2 y nueve P1.
Puede identificar la ms rpida y la ms lenta de
las UCP?
12. Ampliando los datos del Ejercicio anterior, su-
ponga que el coste de U1 es 1, el de U2, 2, el de
165
U3, 3 y el de U4, 4. Si para elegir entre ellos inte-
resa maximizar la relacin velocidad/coste, cul
sera la eleccin en cada uno de los dos supues-
tos?
13. Los dos Ejercicios anteriores ponen de manifiesto
que la velocidad medida en MIPS no es adecuada
para comparar entre s a dos UCP. Este otro ser-
vir para mostrar no slo que no puede hablarse
de los MIPS de una UCP sino que esa medida
puede, incluso, dar una idea equivocada del tiem-
po real de ejecucin.
Imagine una UCP con una frecuencia de reloj de
100 MHz que tiene tres tipos de instrucciones:
tipo ciclos por instruccin
I1 CPI = 1
I2 CPI = 2
I3 CPI = 3
Por otra parte, tenemos dos compiladores, Ca y
Cb , que, traduciendo un mismo programa fuente,
nos han generado dos cdigos objeto con distintas
mezclas de instrucciones para esta UCP. En millo-
nes de instrucciones a ejecutar, estas mezclas han
resultado ser:
I1 I2 I3
Ca 2 4 10
Cb 32 30 2
Se trata de averiguar cul de los dos compiladores
est ms optimizado para esta UCP (y este pro-
grama). Para ello, calcule:
1. La velocidad de la UCP en MIPS en funcin
del compilador.
2. El tiempo real de ejecucin de cada uno de los
programas objetos.
14. Cuando se comparan las velocidades medias (ob-
tenidas promediando las velocidades medidas pa-
ra varios programas) de dos mquinas normali-
zando estas velocidades a la de una tercera m-
quina de referencia (como se hace en las defini-
ciones de SPEC), la media debe ser geomtrica,
no aritmtica. Para comprender el motivo, tome
de nuevo los datos del Ejercicio 11, y suponga
que se trata de comparar entre s a U3 y U4, to-
mando como referencia en un caso a U1 y a U2
en otro. Complete la tabla de la pgina siguiente,
en la que:
166 Leccin 4. Variaciones sobre instrucciones y direccionamientos

VRij es la velocidad (relativa a la mquina Ui) nidos en las dos primeras. Observando estos cua-
para el programa Pj. tro resultados finales, qu conclusin puede ob-
MaRi es la media aritmtica de las velocidades tenerse con respecto a la utilidad de los dos tipos
(relativas a la mquina Ui). de medias para comparar mquinas?
MgRi es la media geomtrica de las velocida- 15. Generalice los resultados del Ejercicio anterior,
des (relativas a la mquina Ui). sustituyendo los datos del Ejercicio 11 por varia-
bles (t11 : tiempo de ejecucin de P1 en U1, etc.).
U3 U4 Ma4/Ma3 Mg4/Mg3 Qu propiedad tiene la media geomtrica que la
P1 1 2 hace adecuada para esta forma de evaluar presta-
P2 40 5 ciones?
VR11 16. En las UCP de tipo RISC sin encadenamiento
VR12 (Apartado 15.3) el nmero medio de ciclos por
MaR1 instruccin est comprendido entre 1,3 y 1,6, y
MgR1 en los CISC entre 4 y 10. Por otra parte, los pro-
gramas en lenguaje de mquina procedentes de un
VR21 compilador vienen a tener, para el mismo progra-
VR22 ma fuente, entre 20 % y 40 % ms instrucciones
MaR2 en un RISC que en un CISC. Admitiendo estos
MgR2 datos, calcule los valores extremos de la relacin
Velocidad RISC/Velocidad CISC (suponiendo
Los cuatro espacios a rellenar en las dos ltimas que la frecuencia de reloj es la misma en ambos
columnas son los cocientes de los nmeros obte- procesadores).