La arquitectura de la computadora.
Se refiere a los atributos de un sistema que puede ver un programador, es decir,
aquellos que tienen un efecto directo en la ejecucin lgica de un programa.
La organizacin de la computadora
Se refiere a las unidades operacionales y sus interconexiones que efectan las
especificaciones de la arquitectura.
Algo que queremos enfatizar es el hecho de que debido a que se debe disear
una organizacin para implantar una especificacin particular de
arquitectura, un tratamiento profundo de la organizacin tambin requiere un
estudio detallado de la arquitectura.
El conjunto de instrucciones.
o Nmeros.
o Caracteres.
Mecanismos de entrada-salida (E-S).
o Seales de control.
Multiprocesadores.
Losmultiprocesadorestienenlugarenlaclasificacindelosprocesadores
paralelos,loscualessepuedenclasificardelasiguientemanera:
Unasecuenciadeinstrucciones,mltiplessecuenciasdedatos(SIMD)
Mltiplessecuenciasdeinstrucciones,mltiplessecuenciasdedatos
(MIMD)
o Memoriacompartida(Multiprocesador)
o Memoriadistribuida(Multicomputador)
Multiprocesador(MIMDcommemoriacompartida).
EnunMIMDdememoriacompartida,todoslosprocesadorespuedenacceder
alamismamemoria,normalmentemedianteunbuscompartidodealta
velocidad.Lacomunicacinentrelosprocesadoresesfcilenprincipio.
Cualquierprocesadorpuededejardatosomensajesenunaposicindeterminada
yluegoindicaraotroprocesadorladireccinenlaquepuedeencontrarlosdatos.
Estoestpicodelmultiprocesamiento,algodistintoaloqueesun
multiprocesador.Caractersticasdeunmultiprocesador.
Conelmultiprocesamientouncomputadorejecutaunaomsaplicacionesque
secomponendeunaseriedeprocesossecuencialesquecooperanentres.Este
esquemasepuedeimplementarenunsistemamonoprocesador,perotambinse
puedeimplementarfcilmenteenunmultiprocesador:encualquiermomento,
cadaunodelosmltiplesprocesadoresestejecutandounprocesodistinto.La
comunicacinentreprocesosserealizamediantemensajesysealesdeestado
quepuedenintercambiarselosprocesadoresatravsdelamemoria.
Enlaprctica,elniveldeprestacionesdeseadocomplicalasexigenciasparala
comunicacinentrelosprocesadores.Cuandosetienenmuchosprocesadores
rpidoscompitiendoporaccederalamismamemoriaatravsdelmismobus,los
conflictospuedendegradarseriamenteelrendimientodelconjuntodelsistema.
Lasolucin,comohemosvisto,esaadirunacachelocalacadaprocesador.Esta
solucinocasionaelproblemaadicionaldelacoherenciadecache,quedebe
resolversemedianteunprotocolocomoelMESI.Lacoordinacinentrelos
procesadoresqueserequiereparaejecutarelprotocoloMESIoriginauncuello
debotellaenelbuscompartido.Elresultadoesquelosmultiprocesadorestpicos
estnlimitadosaunaspocasdecenasdeprocesadores.Unmultiprocesadorcon
milesdeprocesadoresnoparecequeseamuyprctico.
ArquitecturadeVonNewman.
Estaarquitecturasurgedequeelprocesodeprogramacinpodrasermsfcil
sielprogramaserepresentaraenunaformaadecuadaparaserguardadoenla
memoriajuntoconlosdatos.Entonces,uncomputadorpodraconseguirsus
instruccionesleyndolasdelamemoria,ysepodrahaceromodificarun
programaescribiendoenunazonadememoria.
Estaideaesconocidacomoconceptodeprogramaalmacenadoysele
atribuyealosdiseadoresdelENIAC,sobretodoalmatemticoJohnvon
Neumann.En1946,vonNeumannysuscolegasempezaroneldiseodeun
nuevocomputadordeprogramaalmacenado,quellamaronIAS.Elcomputador
IAS,nocompletadohasta1952,eselprototipodetodaunasubsecuenciade
computadoresdeusogeneral.
EnlafigurasemuestralaestructurageneraldelcomputadorIAS.Estaconsta
de:
1. Unamemoriaprincipalquealmacenatantodatoscomoinstrucciones.
2. Unaunidadaritmticolgica(ALU)capazdehaceroperacionescondatos
binarios.
3. Unaunidaddecontrolqueinterpretalasinstruccionesenmemoriay
provocasuejecucin.
4. Unequipodeentrada/salida(E/S)dirigidoporlaunidaddecontrol.
ArquitecturasdePilayParalelo.
Arquitecturaparalela.
Losmicropresadoresmodernosbuscaninstruccionesenlamemoria,tales
procesadoresestnestructuradosdemodoquecontenganmuchasmsunidades
internasdeprocesamiento,cadaunadelascualesefectaunatareaespecfica,
(teniendopresentequecadaunadeestasunidadesdeprocesamientoesens,un
microprocesadorparafinesespecializados.)Estosiginificaqueel
microprocesadormodernopuedeamenudoprocesarciertonmerode
instruccionesenformasimultnea,endiversasetapasdelaejecucin.Aesta
capacidadseledenominaamenudoparalelismo.Podemosdecirqueel
paralelismosepresentaendosniveles,loscualesson:paralelismoanivelde
instruccionesyparalelismodelamquina.
Paralelismoaniveldeinstrucciones.
Existeparalelismoaniveldeinstruccionescuandolasinstruccionesdeuna
secuenciasonindependientesyportantopuedenejecutarseenparalelo
solapndose.Porejemplo,consideremoslosdosfragmentosdecdigo
siguientes:
Elparalelismoaniveldeinstruccionesesfuncindelafrecuenciade
dependenciasdedatosverdaderasyrelativasalprocesamientoquehayaenel
cdigo.Estosfactoresdependenasuvezdelaarquitecturadelconjuntode
instruccionesydelaaplicacin.Elparalelismoaniveldeinstruccionesdepende
tambindealgoquesedenominaesperadeunaoperacin,queeseltiempo
transcurridohastaqueelresultadodeunainstruccinestdisponibleparaser
usadocomooperandodeunainstruccinposterior.Laesperadeterminacunto
retardocausarunadependenciadedatosorelativaalprocedimiento.
Paralelismodelamquina.
Elparalelismodelamquinaesunamedidadelacapacidaddelprocesadorde
sacarpartidoalparalelismoaniveldeinstrucciones.Elparalelismodela
mquinadependedelnmerodeinstruccionesquepuedencaptarseyejecutarse
almismotiempo(nmerodecaucesparalelos)ydelavelocidadysofisticacin
delmecanismoqueusaelprocesadorparalocalizarinstruccionesindependientes.
Tantoelparalelismoaniveldeinstruccionescomoelparalelismodela
mquinasonfactoresimportantesparaaumentarlasprestaciones.Elempleode
unaarquitecturaconinstruccionesdelongitudfijacomoenunRISC,aumentael
paralelismoaniveldeinstrucciones.Porotraparte,unescasoparalelismode
mquinalimitarlasprestacionessinqueimportelanaturalezadelprograma.
Arquitecturadepila.
Laarquitecturadepilaserefierebsicamentealaformaenquelaunidad
centraldeprocesamiento(CPU)almacenalasinstrucciones,porloqueesas
comolosrepertoriosdeinstruccinesseclasificanhabitualmenteporeseestado
internocomomquinadepila,mquinadeacumuladoromquinaderegistrosde
propsitogeneral.
Losoperandosenunaarquitecturadepilaestnimplicitamenteeneltopedela
pila;enunaarquitecturadeacumuladorunoperandoestaimplcitamenteenel
acumulador.Lasarquitecturasderegistrosdepropsitogeneraltienensolamente
operandosexplcitosenregistrosoenposicionesdememoria.
Dependiendodelaarquitectura,losoperandosexplcitosparaunaoperacin
puedenseraccedidosdirectamentedesdememoriaopuedesernecesario
cargarlosprimeroenelalmacenamientotemporal,dependiendodelaclasede
instruccinyeleccindelainstruccinespecfica.Enlasiguientetablase
muestracomoseralasecuenciadecdigoC=A+Benestastresclasesde
repertoriosdeinstrucciones.
Acontinuacinselistanlasprincipalesventajasydesventajasdecadaclasede
mquina,lascualesestnrelacionadascontresaspectos:laformaenquela
estructuraseadaptaalasnecesidadesdeuncompilador;loeficientequeesel
enfoquedesdeelpuntodevistadelaimplementacin,ycmoeseltamao
efectivodecdigoconrespectoaotrosenfoques.
Tipo de
Ventajas Desventajas
mquina
Modelo sencillo para A una pila no se puede acceder
evaluacin de expresiones aleatoriamente. Esta limitacin hace difcil
Pila (polaca inversa). Instrucciones generar cdigo eficiente. Tambin dificulta
cortas pueden dar una buena una implementacin eficiente, ya que la
densidad de cdigo pila llega a ser un cuello de botella
Como el acumulador es solamente
Minimiza los estados internos
almacenamiento temporal, el trfico de
Acumulador de la mquina. Instrucciones
memoria es el ms alto en esta
cortas
aproximacin
Modelo ms general para Todos los operandos deben ser nombrados,
Registro
generacin de cdigo conduciendo a instrucciones ms largas
ArquitecturaRelacional.
Hasta ahora se ha supuesto que dos procesos que se comunican a travs de una
conexin de sesin o transporte son simtricos. En la prctica, esta suposicin no
siempre se cumple. Un ejemplo comn es una red de ordenadores personales o
estaciones de trabajo sin discos, llamadas clientes, que se estn comunicando a
travs de una red con un servidor de archivos que tiene un disco sobre el cual se
almacenan todos los archivos. En este sistema, los clientes acceden a sus datos
mediante la transmisin de solicitudes al servidor, el cual se encarga de llevar a
cabo el trabajo y devuelve respuestas. La comunicacin siempre toma la forma de
parejas de solicitud-respuesta, siempre iniciadas por el cliente y nunca por el
servidor. A este modo se le conoce con el nombre de modelo cliente-servidor,
tambin conocido como arquitectura relacional, el cual se ilustra a continuacin:
delete(filename)
ArquitecturaDistribuida.
Proceso distribuido.
El termino punto a punto se refiere a las tecnologas de red que permiten una
comuicacin arbitraria entre computadoras. Internet es una tecnologa punto a
punto, ya que no distingue entre las computadoras conectadas. Una computadora
personal puede conectar a otra, tan fcilmente como se conecta con una
mainframe grande. Una gran computadora mainframe puede conectar otro
mainframe, a una computadora de tamao mediano o a una pequea computadora
personal.
Por lo general, las personas que utilizan los servicios de Internet ejecutan
software cliente. Por ejemplo, un programa comn de aplicacin que utiliza
Internet para accesar un servicio se convierte en cliente. El cliente utiliza Internet
para comunicarse con un servidor. Para algunos servicios, el cliente interacta
con el servicio por medio de una solicitud. El cliente formula una solicitud, la
enva al servidor y espera la respuesta. Para otros servicios, el cliente lleva a cabo
una interaccin larga. El cliente establece comunicacin con el servidor, y luego,
continuamente, muestra la informacin recibida del servidor, mientras transmite
golpes de teclas o seales de ratn al servidor.
Un servidor debe estar siempre en funcionamiento.
ArquitecturaVectorial.
Porqumquinasvectoriales?
Sibienesciertoquelasegmentacinsepresentacomounmecanismo
importanteparamejorarelrendimientodeunacomputadora,esanmscierto
queexistenlmitesenlamejoradelrendimientoquelasegmentacinpuede
conseguir.Habrquedecirquelosprocesadoressegmentadosdealtavelocidad
sontilesparagrandesaplicacionescientficasydeingeniera,sinembargo,los
programascientficosgrandes,cuyaejecucineslarga,tienenconfrecuencia
conjuntosdedatosactivosmuygrandesquesonaccedidosamenudo,
consiguiendounrendimientopobredelajerarquadememoria.Elimpacto
resultanteesunadisminucinenelrendimientodelacache.
Lasmquinasvectorialesproporcionanoperacionesdealtonivelquetrabajan
sobrevectores(arrayslinealesdenmeros).
Lasoperacionesvectorialespuedenhacersemsrpidasqueunasecuenciade
operacionesescalaressobreelmismonmerodeelementosdedatos,ylos
diseadoresestnmotivadosparaincluirunidadesvectorialessielconjuntode
lasaplicacioneslaspuedeusarfrecuentemente.
Unaoperacionvectorialnormalpuedesumardosvectoresde64elementosen
puntoflotanteparaobtenercomoresultadounvectorde64elementos.
Lainstuccinvectorialesequivalenteaunbuclecompleto,dondeencada
iteracinsecalculaunodelos64elementosdelresultado,actualizandolos
ndicesysaltandoalcomienzo.
Arquitecturavectorialbsica.
Unamquinavectorial,normalmente,constadeunaunidadescalar
segmentadamsunaunidadvectorial.Todaslasunidadesfuncionalesdela
unidadvectorialtienenunalatenciadevariosciclosdereloj.Estopermiteun
cicloderelojdemenorduracinyescompatibleconoperacionesvectorialesde
largaejecucinquepuedensersegmentadasanivelaltosingenerarriesgos.La
mayoradelasmquinasvectorialespermitenquelosvectoresseantratados
comonmerosenpuntoflotante,comoenterosocomodatoslgicos.
Haydostiposprincipalesdearquitecturasvectoriales:
Mquinasvectorialesconregistros.Enestetipodemquinatodaslas
operacionesvectorialesexceptolasdecargayalmacenamientooperan
convectoresalmacenadosenlosregistros.Estasmquinassonel
equivalentevectorialdeunaarquitecturaescalardecarga/almacenamiento.
Ejemplosdemquinasvectorialesconstruidasen1990queutilizanuna
arquitecturavectorialson:
o LasmquinasdeCrayResearch:CRAY1,CRAY2,XMPeY
MP.
o Lossupercomputadoresjaponeses:NECSX/2,FujitsuVP2000yel
HitachiS820.
o Losminisupercomputadores:ConvexC1yC2.
Mquinasvectorialesmemoriamemoria.Enestetipodemquinatodaslas
operacionesvectorialessondememoriaamemoria.Lasprimeras
mquinasvectorialesfuerondeestetipo,comoporejemplolasmquinas
deCDC.Esnecesariomencionarquestasnotuvieronelmismoxitoque
lasmquinasvectorialesconregistros.