Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Adsi
Adsi
TEMA 1 INTRODUCCIN
Evaluacin del rendimiento de un sistema informtico.
Intenta determinar de qu forma un conjunto de programas est utilizando un hardware.
El conjunto de programas es la carga que est procesando el hardware. Segn sea la utilizacin
se obtendrn unas prestaciones.
El concepto de prestaciones no se puede desligar de la carga. Se debe evaluar la potencia del
ordenador para realizar un conjunto de tareas.
Sin embargo es necesario poder emitir un juicio sobre la eficacia de un sistema en muchas
situaciones en las que nos podemos encontrar.
Dificultades
- La carga no es esttica.
- Los ndices que se utilizan para medir las prestaciones son diferentes segn el tipo de
estudio o sistema informtico.
- Siempre se intenta mejorar las prestaciones. Se debe negociar un nivel de servicio.
Las prestaciones son fundamentales en el diseo, seleccin, compra y utilizacin del sistema
informtico.
Uno de los principales problemas en el anlisis de prestaciones es asegurar que los
experimentos, se efectan con la misma carga.
La carga real es difcil de repetir, por tanto deberemos ser capaces de repetir esa carga. Pero
surge otro problema, y es que la carga que utilicemos debe representar una carga hipottica.
Si lo que pretendemos es comparar diferentes equipos, adems de los problemas anteriores nos
encontraremos que los instrumentos de medida y los ndices que estamos utilizando pueden no
ser exactamente los mismos.
Motivos de un trabajo de evaluacin
- Un trabajo de evaluacin de prestaciones arranca de unas necesidades. No se empieza el
trabajo sin unos objetivos.
- Se puede aplicar en todas las fases del ciclo de vida de un sistema informtico:
. en el diseo de una mquina
. en el diseo del sistema informtico
. en la ampliacin o configuracin de un sistema informtico
. sintonizacin o ajuste. Sintonizar es equilibrar el consumo de recursos.
. caracterizacin y prediccin de la carga
En general los estudios de prestaciones sern necesarios cuando se necesite predecir el
comportamiento o mejorarlo.
Magnitudes a medir
- Tanto el usuario como el responsable de un sistema tienen su idea sobre las prestaciones o
rendimiento.
- Esta idea se basa en magnitudes o parmetros los cuales pueden tener relacin con:
. consumo de tiempos
. utilizacin de recursos
. trabajo realizado por el sistema o por partes del mismo
Por ejemplo para los usuarios una cosa determinante suele ser el tiempo de respuesta ante un
comando interactivo ligero. Para el responsable del sistema podra ser la velocidad con la que
se procesan grandes trabajos batch.
Hay tres tipos de medidas a partir de las cuales se calculan ndices de rendimiento:
1.- Caractersticas fsicas del sistema.
2.- Condiciones operativas del sistema durante el tiempo que se est haciendo el estudio.
3.- Indices de prestaciones del sistema.
Variables perceptibles por el usuario (Variables o ndices externos)
- Productividad (throughput). Para una carga dada es el trabajo til por unidad de tiempo
- Capacidad: mxima cantidad de trabajo til por unidad de tiempo (mxima productividad
que puede obtenerse).
- Tiempo de respuesta: tiempo en procesar un trabajo. Trabajo puede significar cosas
diferentes: transacciones, procesos, instrucciones...
Variables internas o del sistema
a) Factor de utilizacin: tiempo en el que un componente ha sido realmente utilizado.
b) Solapamiento de los componentes: tiempo en el que varios componentes se han utilizado
a la vez.
c) Sobrecarga (overhead): carga que se ha procesado y que no ha sido pedida explcitamente
por los usuarios.
d) Factor de carga de multiprogramacin: relacin entre el tiempo de respuesta de un
trabajo en un entorno de multiprogramacin y en uno monoprogramado.
e) Factor de ganancia de multiprogramacin: relacin entre el tiempo total de ejecutar un
grupo de trabajos en multiprogramacin y monoprogramacin.
f) Frecuencia de fallo de pgina: nmero de fallos de pgina que se producen por unidad de
tiempo en un sistema de memoria virtual paginada.
g) Frecuencia de swapping: nmero de programas expulsados de memoria por unidad de
tiempo.
se comprometa a nadie.
- Performabilidad: en sistemas que siguen funcionando con fallos, probabilidad de mantener
un nivel de prestaciones.
- Facilidad para el mantenimiento.
Carga de prueba
- Para evaluar el sistema hay que hacerlo funcionar bajo una carga.
- Esta carga debe representar la carga real (el problema que tiene es que es muy variable,
quieres hacer unas modificaciones y la carga real que tienes en un momento no la tienes en
otro).
- Carga de prueba: la utilizada para tomar las medidas. Debe ser representativa y
reproducible, puede ser real o sinttica.
- La carga de prueba o de test suele formarse por componentes de carga.
En realidad se suele usar carga sinttica porque permite poder experimentar y reproducir
situaciones a nuestro gusto y sin tener que modificar el sistema real. En cambio en muchos
casos hay que preocuparse de justificar si esa carga sinttica es representativa de la situacin o
carga que queremos reproducir.
Para comprobar esto ltimo habr que medir unas magnitudes para que podamos compararlas
con las obtenidas bajo carga sinttica.
Magnitudes para los componentes de la carga
-
tiempo.
- Modificacin o sustitucin de componentes hardware. Debe perseguir el recurso ms
cargado.
- Modificacin de programas. A efectuar por los usuarios, normalmente escapa al
responsable del sistema.
De lo que se trata es de mejorar el funcionamiento. Para ello habr que determinar dnde est
el problema. Luego habr que evaluar si se puede solucionar sin cambiar componentes
hardware o si hay que adquirir nuevo software.
Si se puede solucionar sin nuevas adquisiciones, intentar modificar la carga desde el punto de
vista de la explotacin para intentar quitar trabajo a los elementos ms solicitados.
Algunos parmetros del S.O.
- Tamao del quantum.
- Prioridad.
- Factor de multiprogramacin: nmero mximo de trabajos que estn simultneamente en
memoria principal.
- Tamao de la particin de memoria: cantidad fija de memoria principal asignada a una cola
de trabajos.
- Mxima frecuencia de fallo de pgina. Si se sobrepasa este ndice se manda el proceso a
disco para que no aumente la sobrecarga.
- Indice de supervivencia de pginas. Si una pgina no se ha utilizado un tiempo, se puede
devolver a disco.
Tcnicas en la evaluacin de sistemas
- Monitorizacin: utilizacin de herramientas de medicin sobre el sistema informtico.
- Modelado: para evaluar el comportamiento de un sistema en el que hay elementos que no
estn instalados. Se suelen implementar sobre la teora de colas y resolver mediante
mtodos analticos o simulacin (programa que representa el comportamiento de un
sistema. Se debe estar seguro de que se ha modelado bien el sistema y de que el programa
funciona bien. Se utiliza cuando no se conoce otro mtodo).
- Benchmark: se trata de cargas utilizadas para la comparacin de sistemas o configuraciones.
Los mtodos analticos se basan en leyes que relacionan distintas partes del modelo. Se llega a
crear un modelo matemtico. En cambio estos modelos normalmente estn limitados para
modelar comportamientos extraos.
En los modelos de simulacin en principio se puede modelar cualquier cosa, pero suelen
exigir mucho tiempo de desarrollo y ejecucin. Adems son muy difciles de validar.
Las tcnicas de benchmarking suelen ser las ms sencillas y unas de las utilizadas, aunque
muchas veces los resultados obtenidos no dependen nicamente del benchmark, o el
benchmark puede no ser representativo de una carga real.
- Monitores hbridos, que son una combinacin de las dos tcnicas anteriores.
Segn su mecanismo de activacin se clasifican en:
- Monitores de eventos o acontecimientos, son aquellos que se activan por la aparicin de
ciertos eventos. Si el evento ocurre con frecuencia producen ms sobrecarga. Se puede hacer
una traza de lo que est ocurriendo.
- Monitores de muestreo, son aquellos que se activan a intervalos mediante interrupciones de
reloj. Segn la frecuencia de muestreo se llega a un compromiso entre resolucin y
sobrecarga. Para evitar el sincronismo entre la evolucin de los estados y los intervalos de
medida se utilizan intervalos aleatorios.
Y segn su forma de presentar los resultados se clasifican en:
- Monitores en lnea, van presentando datos parciales.
- Monitores batch, los datos se analizan cuando termina la ejecucin del programa.
Esquema conceptual
Sistema a medir
Interface instrumentacin
Filtro
Procesador
Registrador
Interpretador
La interfaz de instrumentacin es lo que conecta al monitor con lo que est observando. Por
ejemplo si al S.O. se aaden interrupciones software para detectar determinadas acciones, esas
interrupciones seran la interfaz.
El selector permite hacer un registro selectivo de las muestras o variables que nos interesan.
El procesador trata las muestras seleccionadas para poderlas registrar en el formato y con la
informacin adecuada que necesitar la memoria a que se destine y para que se pueda
interpretar o analizar.
En algunos casos el analizador trabaja al mismo tiempo que el resto de elementos (on line) y en
otros trabaja en diferido.
Monitores software
La activacin del monitor implica la ejecucin de instrucciones. Pueden ser guiados por
sucesos, por muestreo o una mezcla de ambas tcnicas.
Insercin del cdigo del monitor:
- Adicin de un nuevo programa, fcil de instalar y eliminar.
- Modificacin del software a medir, basado en el uso de sondas software.
- Modificacin del S.O., se suele utilizar para acceder a datos visibles desde el S.O.
Son programas que se ejecutan junto con los programas y en el sistema que miden.
6
Las sondas software son conjuntos de instrucciones que se insertan en puntos clave de un
programa.
La prioridad de los monitores software deber ser mayor que la de los elementos que deba
medir. Suelen escribirse en el mismo lenguaje que el sistema operativo.
Monitor software por muestreo:
1) Un temporizador indica el momento del muestreo.
2) Se inhiben las interrupciones.
3) Se toman datos sobre las actividades suspendidas o sobre el estado de ciertos elementos.
4) Almacenar los datos.
5) Arrancar el temporizador.
6) Habilitar las interrupciones.
La utilizacin de registros temporales permite reducir el nmero de muestras.
La interferencia introducida se pude controlar fijando el periodo de muestreo. Este parmetro
se debe establecer de forma que los datos obtenidos sean fiables para el objetivo del estudio
pero que no sea tan pequeo que la interferencia introducida sea grande.
En algunos casos se pueden producir efectos de sincronismo entre fenmenos que se estn
midiendo y la frecuencia de muestreo. Para evitar este peligro se puede utilizar un periodo de
muestreo generado aleatoriamente pero donde se puede fijar la media.
Monitores software dirigidos por sucesos:
- Por traps: cdigo que se inserta en partes del programa para extraer informacin cuando se
llega a esas partes.
- Por interceptacin de interrupciones: se desva el tratamiento de una interrupcin a cdigo
del monitor donde se registran datos sobre el estado en ese momento y luego se sigue el
tratamiento de la interrupcin.
Monitores hardware
Se conectan al sistema a travs de sondas electrnicas.
Suelen utilizarse para ndices de prestaciones de bajo nivel.
Su principal caracterstica es que son externos al sistema que van a medir, lo que implica que:
- no utilizan recursos del sistema
- no producen interferencias
- son rpidos
Inconvenientes:
- difciles de instalar y utilizar
- hay magnitudes que solo puede acceder el software
- pueden producir errores en el hardware
Esquema sencillo monitor hardware:
reloj
mdulo
lgico
contadores
almacenamiento
Los monitores pueden hacerse ms complejos, con procesadores y memorias RAM para
procesar y grabar los datos. A su vez estos procesadores pueden tener unidades de E/S como
pantallas, teclado, etc.
El caso ms sencillo es una seal de reloj y una variable a medir conectadas a una puerta and, y
la salida enviada a un contador. Se medir la cantidad de pulsos que la seal est activada.
Un ejemplo de un monitor hardware puede ser una analizador lgico.
Monitores hbridos
Suelen ser software que captan acontecimientos en el sistema operativo y los enva a un
mdulo hardware que est conectado al bus del sistema. El envo puede ser una instruccin de
E/S.
El mdulo hw puede ser un procesador que graba el suceso recibido con una marca de tiempo.
La informacin se va procesando y se puede ir representando en una pantalla conectada al
procesador del monitor.
As se disminuye la sobrecarga ya que el tratamiento del monitor se hace en otro sistema y se
aumenta la rapidez gracias a tener un hw dedicado.
Se suelen usar en el diseo de nuevas arquitecturas. Algunas arquitecturas paralelas los llevan
incorporados.
Comparacin
Los monitores hardware:
- ms caros.
- ms difciles de utilizar.
- no sobrecargan el sistema.
- tienen ms resolucin.
- son ms portables.
- si el sistema falla pueden seguir midiendo y detectar la causa.
Dato que un monitor hardware no pude acceder: contenido de una posicin de memoria.
Dato que un monitor software no pude acceder: cantidad de instrucciones mquina ejecutadas.
Los monitores software:
- pueden acceder a datos de ms alto nivel.
- en principio no hay lmite al tipo de datos a los que pueden acceder (mayor mbito de
medida).
- suelen ser ms baratos.
Introduccin
- Toma de datos presentacin de resultados.
- Para facilitar la interpretacin forma grfica.
- La representacin debe ser clara, concisa, simple y fcil de utilizar.
- Se puede utilizar todo tipo de grficos, segn los datos a representar.
Tipos de variables
Cualitativas: se definen por un conjunto de subclases mutuamente exclusivas que se expresan
normalmente con palabras. Pueden estar ordenadas (superordenador, miniordenador,
microordenador) o no (carga cientfica, de ingeniera).
Cuantitativas: sus distintos niveles se expresan numricamente. Pueden ser de dos tipos:
. Discretas: toman valores contables (ej. nmero de procesadores en un sistema).
. Continuas: toman valores no contables (ej. tiempo de respuesta de una operacin).
Si en el eje de abcisas (x) tenemos variables cualitativas o cuantitativas discretas, conviene usar
grficos de barras.
Recomendaciones para la construccin de grficos
- Minimizar el esfuerzo del lector.
- Maximizar la informacin.
- Evitar la informacin innecesaria.
- Seguir las pautas habituales.
- Evitar ambigedad: identificar los datos y no mezclar muchos datos en la misma grfica.
No se deben poner curvas de diferentes unidades y con diferentes escalas en un mismo grfico.
La informacin debe evitar explicaciones.
Diagramas de Gantt
En un sistema se busca la utilizacin mxima de los recursos.
Para que est bien aprovechado, los recursos se deben utilizar a la vez.
Los diagramas de Gantt permiten ver la utilizacin de los recursos y el solapamiento en su
utilizacin.
Es un tipo de grficas que es interesante para el anlisis del funcionamiento de un sistema
informtico. En general se utiliza para visualizar temporalmente los valores que toman un
grupo de variables booleanas.
CPU
60
E/S
20
Red
30
0%
20%
20
10
40%
60%
15
80%
100%
Grficos de Kiviat
Permite caracterizar los problemas de forma rpida.
Se trata de un crculo donde los radios representan ndices de prestaciones.
La interseccin entre el radio y el crculo representa el 100%.
Normalmente el funcionamiento ideal tiene una forma determinada. De forma que al ver el
grfico se identifica rpidamente lo bien o mal que est funcionando el sistema y cuales son las
partes causantes.
Normalmente se diferencian ndices beneficiosos (que es bueno que tengan valores altos) de
valores perniciosos como puede ser el ndice de paginacin el desaprovechamiento de algn
recurso.
Grfico de Kiviat, versin de Kent:
1) Seleccionar un nmero par de variables a estudiar la mitad buenos ndices (a mayor valor,
mejores prestaciones) y la otra mitad malos ndices (mejores prestaciones a menor valor).
2) Se subdivide el crculo en tantos sectores como variables hay que representar.
3) Se numeran los radios en sentido horario.
4) Se asocian los buenos ndices a los radios impares y los malos a los pares.
CPU supervisor
CPU ocupada
Solo CPU
CPU y cualquier canal
CPU usuario
Al menos un canal activo sin solape con CPU
CPU en espera
Al menos un canal activo
En un sistema ideal, todos los ndices buenos tendran valores altos y los malos, valores muy
bajos. El grfico de Kiviat de ese sistema, tendra forma de estrella.
Introduccin
Carga: demandas que realizan los usuarios de un sistema en un intervalo de tiempo.
- No se puede hablar de prestaciones sin hablar de la carga con la que se han tomado las
medidas.
- Para poder comparar diferentes sistemas y configuraciones, ser imprescindible aplicarles
una carga.
Necesidad de caracterizar la carga:
- Tarea difcil debido a qu cambia con el tiempo
Realimentacin interna: sistemas adaptativos.
Realimentacin externa: introducidas por los usuarios.
Caracterizacin de la carga
Descripcin cuantitativa segn unos parmetros.
Los parmetros que describe la carga se seleccionan segn los objetivos de la caracterizacin.
Objetivos tcnica de estudio e instrumentos de medida de parmetros para describir la
carga.
Ejemplo de parmetros para describir la carga:
- tiempo de CPU.
- operaciones de E/S.
- espacio en memoria requerido
- ficheros en disco.
- mezcla de instrucciones.
- tiempo medido de CPU entre operaciones de E/S.
- nmero de usuarios
Carga de prueba
Carga que se procesa durante el periodo de medida.
Para hacer estudios de comparacin o de sintonizacin necesitaremos reproducir la misma
carga. Reproducir la misma carga es difcil aunque se ejecuten los mismos programas.
Se utilizan modelos de carga:
- Ms difciles de repetir.
- A veces la carga que se modela no existe (predicciones).
Caractersticas de los modelos de carga:
- Repetible o reproducible.
- Compacto, para reducir el tiempo de ejecucin.
- Compatible con el tipo de estudio y con mquinas diferentes si es un modelo de carga
ejecutable.
- Permite evitar problemas de privacidad o seguridad.
- Si no es carga real, deben ser representativos.
- Flexible, fcil de modificar para ajustarlo a variaciones de la carga a la que representa.
11
Cargas de test
12
- Real
- Sinttica: utilizan extractos de carga real. Natural o hbrida.
- Artificial: no utilizan extractos de carga real
Ejecutables: Mix, Kernels, Programas sintticos, Benchmarks
No ejecutables: Distribuciones, Modelos de colas
Carga de test real
- Barata
- Representativa
- Las sesiones de medida se deben seleccionar para que sean representativas del
funcionamiento normal o de la situacin de estudio.
- La situacin que se quiere reproducir puede no darse en el instante deseado.
- Poco reproducible porque es difcil que volvamos a crear la misma situacin a voluntad.
- Poco flexible. (No se puede modificar la carga).
- Puede haber problemas de confidencialidad.
- No se puede usar en problemas de seleccin.
Se trata de la carga que realmente se est ejecutando en un sistema con todos sus usuarios y
sus aplicaciones. Lo nico que se tiene que seleccionar es durante cunto tiempo se est
midiendo.
Carga de test sintticas naturales
- Subconjunto de programas extrados de la carga real.
- Se suelen usar en estudios de ampliacin, reposicin y seleccin.
- Dificultades en la utilizacin de carga sinttica:
Prioridades de ejecucin
Parmetros diferentes en las monitorizaciones
Parmetros o ampliaciones de sistemas operativos y programas como compiladores
Tambin se les llama benchmarks, aunque normalmente se llama benchmark a cualquier carga
de test. Son programas extrados de la carga real pero no es carga real porque los usuarios no
los estn utilizando para realizar trabajo til.
Cargas de test sintticas hbridas
- Son una mezcla de programas extrados de la carga real y de carga artificial.
- Permiten modelar parte de carga existente y parte inexistente (ej. ampliaciones de carga,
programas confidenciales).
Un ejemplo de esta situacin puede ser que se estudia la adquisicin de un nuevo software
pero se quiere preveer cmo responder el sistema, el cual ya se est utilizando para una serie
de tareas.
Cargas artificiales
- Pueden servir para cargar el sistema real o modelos de sistemas.
- No utilizan componentes de la carga real.
13
Se les llaman artificiales porque estn construidas para ser modelos de carga. No son
extracciones de la carga real. Hay carga artificial que es ejecutable, es decir que son
programas.
MIX (mezcla) de instrucciones
Se trata de medir la frecuencia de aparicin de las diferentes instrucciones. As pues hacer un
modelo representativo ser hacer una secuencia de instrucciones en las que la proporcin y
frecuencia de aparicin sean las mismas.
El problema de esta tcnica es que es difcil aplicarla de forma que solo evaluemos el
procesador y no otros aspectos como la gestin de memoria. Otro problema es que la
comparacin slo sera vlida para procesadores con el mismo juego de instrucciones.
MIX de instrucciones
- Las frecuencias dependen de la carga.
- Los tiempos dependen del procesador.
- El sumatorio de la frecuencia por la carga dar el tiempo del MIX.
- El en sumatorio segn el tipo de instruccin y carga se pueden dar pesos.
- Se usaron para comparar procesadores.
- Son muy dependientes del sistema:
gestin de memoria
secuenciamiento de las instrucciones
manejo de direcciones
MIX de sentencias
- Compuesto por sentencias de lenguajes de alto nivel.
- Son ms independientes del sistema pero muy dependientes del compilador.
- La frecuencia de aparicin de las sentencias se puede medir:
a) Estticamente: medir la frecuencia de aparicin en los listados de los programas.
b) Dinmicamente: frecuencia con la que realmente se estn ejecutando las sentencias.
- La forma dinmica es ms fiable pero ms costosa.
En caso de utilizarlos habra que controlar dos cosas: el grado de optimizacin del compilador
y el tipo de libreras que se utilizan.
El problema de la medicin esttica es que puede haber partes de un software que sean
importantes en talla pero que se ejecuten pocas veces.
La medicin dinmica es ms complicada porque hay que conocer las partes del programa que
ms se utilizan utilizando el software con diferentes datos para no representar un
comportamiento muy particular.
Kernels (ncleo)
- Fragmento de un programa que representa su parte ms caracterstica.
- Son programas cerrados que tienen un consumo de recursos conocido.
- Ej. funcin de Ackermann, Sieve, inversin de matrices, programas de ordenacin.
- Se seleccionan segn su similitud con los programas de la carga real.
14
Hay que tener una precaucin al utilizarlos. Como son una parte de una aplicacin, puede que
quepan enteros en una cache, con lo que los resultados pueden ser muy buenos, pero si se
probase la aplicacin entera seran completamente diferentes.
Programas sintticos
- No realizan trabajo til. Slo consumen recursos.
- La cantidad de recursos consumidos se fija con parmetros de control:
for i:=1 to N1 do
Consume CPU
for i:=1 to N2 do
Consume E/S
- Hay parmetros de correccin y calibrado para corregir el consumo que una parte del
programa introduce en otra.
Secuencias conversacionales
- Para cargas transaccionales o conversacionales se utilizan ordenadores que simulan las
peticiones.
- Se suele utilizar el propio sistema a medir para simular esa carga.
- En una carga conversacional se suele hacer un guin que representa el comportamiento de
un usuario.
Ej. de guin:
1- Conexin al sistema
2- Editar un fichero y aadir lneas
3- Compilar
4- Editar
5- Compilar
6- Ejecutar
Tendramos dos sistemas conectados. Uno generara las peticiones como si fuesen los usuarios.
El otro sera el sistema bajo estudio y que se estara monitorizando para tomar las medidas.
Benchmarks
- Son programas construidos con alguna de las tcnicas anteriores que producen una carga
genrica.
- Se utilizan para la comparacin entre ordenadores.
- No representan una carga especfica.
La ventaja de estas cargas de prueba es que se suele tomar como una carga de prueba estandar.
Los fabricantes y vendedores suelen apoyar su producto con resultados al aplicar alguno de
estos benchmarks.
El gran inconveniente es que estas cargas de prueba pueden ser muy poco representativas de
nuestra carga.
Cargas artificiales no ejecutables
- Suelen basarse en medidas o procedimientos estadsticos que se utilizan en modelos basados
en redes de colas.
- Se resuelven mediante simulaciones y mediante modelos analticos.
15
Por ejemplo en un modelo de redes de colas, la carga se caracterizar con datos como las tasas
de llegadas, tiempos de utilizacin de cada recurso, qu recursos necesita cada cliente y
cuntas veces lo visita, ....
Implementacin
- Especificacin: viene marcada por los objetivos del estudio de prestaciones. La
especificacin dar el nivel de detalle de los componentes de la carga de test.
- Construccin: tendr una parte de extraccin de datos de la carga a representar y otra parte
de diseo en la que realmente se construye la carga de prueba.
- Validacin: debe comprobar la representatividad de la carga de prueba y su validez para los
objetivos iniciales. Al realizar la carga de prueba debemos pensar de qu forma podemos
comprobar su es til para nuestro estudio o no.
Fase de especificaciones
- Previsin del uso del modelo.
- Sesin de medida.
- Nivel de modelizacin.
- Componente bsico de carga. La unidad de trabajo ms pequea que es considerada.
- Parmetros a utilizar. (Segn el nivel de detalle y segn su disponibilidad).
- Criterio para evaluar su representatividad.
Construccin
- Anlisis de los parmetros. (Medidas sobre el sistema).
- Extraccin de los valores representativos. De la cantidad de valores extrados en el punto
anterior, hacer una seleccin.
Mediante tcnicas estadsticas
Algoritmos de agrupamiento
Modelos markovianos
el modelo de carga.
- Un inconveniente es que la probabilidad de ser muestreado es proporcional al tiempo de
ejecucin.
- Se puede corregir tomando una muestra cada n componentes ejecutados.
Esta es una forma sencilla de decidir los componentes que estarn en el modelo de carga de
prueba. Para que sea representativo debe haber bastantes muestras.
Los componentes del modelo se pueden construir con mtodos artificiales.
Mtodos de agrupamiento
- Agrupar las muestras segn criterios de similitud para formar los componentes bsicos de la
carga.
- Se basan en las distancias entre los elementos.
- Una nube de puntos la convertimos en un nmero de puntos donde cada uno de ellos
representa un grupo de muestras.
- Un paso previo a estos algoritmos consiste en normalizar los parmetros que caracterizan
cada punto de la nube:
A partir de la media y la desviacin tpica:
pik = (pik - mk)/k
i = 1...m (nmero de valores), k = 1...n (nmero de parmetros).
Media del parmetro
Desviacin tpica
m
ik
2
ik
2
ik
k = im= 1 mi(=m 1)
n
Normalizacin entre 0 y 1, se realiza para que con la misma escala se vean las
distancias en cada uno de los parmetros.
pik = (pik - min(pk)) / (max(pk) - min(pk))
A partir de una ponderacin:
pik = pik * wk
- Permite destacar un parmetro. Se puede combinar con las anteriores.
m
i =1
(a ik y ck ) x X
c =1 i =1 k =1
ic
yck =
c i c
ik
Fase de construccin
Fase de validacin
18
Fase de especificacin
- Uso previsto del modelo
- Sesin de medida
- Nivel de modelizacin
- Componente bsico de la carga
- Parmetros a utilizar
- Criterio para evaluar la representatividad
Fase de construccin
- Anlisis de los parmetros
- Extraccin de valores representativos
- Asignacin de valores a los componentes del modelo
- Reconstruccin de mezclas de componentes significativos
Fase de validacin
- Ejecucin del modelo
- Aplicacin del criterio de representatividad
{ Modelo listo para el uso
- Es representativo {
{ Modificacin de parmetros o mezclas en el modelo
Llegadas (A)
Terminaciones (C)
Cola
Servidor
Una red de colas de espera ser un conjunto de estaciones como sta donde las salidas de
unas estaciones estn conectadas a las entradas de otras.
19
- El tiempo que una peticin est en una estacin no depende del tamao de las colas en otras
estaciones. (Supuesto del tiempo de servicio homogneo).
- El nmero de peticiones que llegan a una estacin es independiente del tamao de las colas
en otras estaciones. (Supuesto de llegadas homogneo).
- Las redes que cumplen estos supuestos se llaman redes de colas separadas u homogneas.
Variables operacionales bsicas en redes
Durante un periodo de medida T se han obtenido las siguientes medidas para cada estacin i:
- Ai
- Bi
- Cik trabajos que piden servicio en la estacin k inmediatamente despus de servirse en i.
- A0k trabajos cuya primera peticin es a estacin i.
- Ci0 trabajos cuya ltima peticin es a estacin i.
- Ci suma de todos los Cik
0 significar el exterior del modelo, es decir, en los sistemas abiertos ser la fuente de clientes y
donde van a parar los clientes que han terminado trabajos.
Variables operacionales deducidas
- Ui = Bi / T
- Si = Bi / Ci
- Xi = Ci / T
- qik = Cik / Ci
representa los trabajos que despus de servirse en el recurso i piden el
servidor j (representa una probabilidad o una frecuencia de encaminamiento).
Leyes operacionales
a) Ley de la utilizacin:
Bi / T = (Ci / T)*(Bi / Ci) Ui = Xi * Si
La utilizacin es igual al flujo de clientes por el servicio medio que pide cada uno.
b) Ley de Little:
W, tiempo acumulado en el sistema. Peticiones * unidad de tiempo.
N = W / T, nmero medio de peticiones en el sistema.
R = W / C, tiempo medio de residencia en el sistema por peticin.
W / T = (C / T)*(W / C) N = X * R, el nmero medio de peticiones en el sistema
es la productividad por el tiempo medio de residencia de cada peticin en ese sistema.
- La ley de Little se aplica a diferentes niveles. Cada nivel tendr sus parmetros.
Ejemplo
- 10 terminales.
- 7.5 terminales trabajando por trmino medio.
- Productividad del sistema 0.5 interacciones/sg.
- Disco del nivel 1:
Sirve 40 peticiones/Sg.
Tiempo de servicio por peticin 0.0225Sg.
Nmero medio de peticiones presentes 4.
Leyes operacionales
c) Ley del flujo forzado:
- Relaciona la productividad del sistema con las productividades de los recursos individuales.
- Todas las productividades deben ser proporcionales en todas las partes del sistema.
- Razn de visita de un recurso: relacin entre el nmero de terminaciones en un recurso y las
terminaciones en el sistema.
- Se puede ver como el nmero de peticiones de un recurso que hace una interaccin del sistema.
Vk = Ck / C, recurso k. C son las interacciones a nivel de sistema. Xk = Vk * X
Demanda de servicio a un recurso: Dk = Vk * Sk
La ley del flujo forzado relaciona los parmetros de todas las partes del sistema.
- Xk = Ck / T = (Ck / C)*(C / T) = X * Vk
- Xk = X * Vk, es una relacin entre la productividad total y la de un recurso.
Ejemplo:
- En un sistema batch cada trabajo requiere una media de 6 accesos a un disco especfico.
- Ese disco atiende 12 peticiones/sg.
- La productividad del sistema?
X = Xk / Vk = 12 / 6 = 2 trabajo / sg.
- Si otro disco sirve 18 peticiones/Sg. Cuntos accesos requiere un trabajo a ese disco?
Vk = Xk / X = 18 / 2 = 9 accesos
Pasos en el benchmarking
- Objetivos de las mediciones.
- Seleccin de los componentes apropiados para cubrir la finalidad.
- Comprobar los aspectos del sistema que se va a estudiar y que pueden influir en las
prestaciones.
- Toda la informacin anterior, as como la fecha de aplicacin debe presentarse en los
resultados.
- Anlisis de los resultados llegando a comprender las razones de los ndices obtenidos.
Aspectos que pueden influir de forma no intencionada en los resultados: versiones de las
libreras, opciones de los compiladores, hardware especfico, ...
Utilizacin de los benchmarks
- Para la adquisicin de equipos. El benchmark deber reflejar las necesidades del comprador.
- Sintonizacin. Se deben conocer muy bien los bench. para conocer las causas de los
diferentes resultados.
- Planificacin de la capacidad. Se va aumentado la carga para conocer la capacidad que
queda disponible.
- Comparacin de compiladores.
- Diseo de sistemas informticos o procesadores. Los bench. se suelen tomar como entrada
para simuladores.
Factores que influyen en el benchmarking
- Tipo y versin del sistema operativo.
- Compilador. Versin y directivas de compilacin.
- Lenguajes de programacin.
- Libreras. Pueden ir ms rpido con menos precisin. IEEE dicta un estndar para las
libreras.
- Antememoria (memoria cach).
- Verificacin de ejecucin correcta del bench. (los resultados son los apropiados).
Es importante comprobar que el benchmark realiza alguna tarea y que se ha resulto bien.
25
Errores comunes
- Representar en la carga de test slo comportamientos medios. Si se representan valores
medios se pueden dar sincronizaciones en los consumos que no son reales.
- Controlar de manera inadecuada el nivel de carga. Modificamos ciertos parmetros
esperando que los resultados no cambien.
- Ignorar los efectos de la cach. Las prestaciones de las cachs son muy sensibles al orden en
el que se hace las peticiones. En los estudios de caracterizacin de la carga se suele perder
informacin relativa al orden en que se producen los consumos.
- Ignorar la sobrecarga introducida en la monitorizacin.
- No validar las medidas. Errores en la medida suelen pasar inadvertidos.
- No asegurar las mismas condiciones iniciales. Por ejemplo, ejecutar dos veces el
benchmark.
- No medir las prestaciones del transitorio. Se suelen tomar las medidas una vez el sistema
funciona de forma estable. A veces interesa medir el coste de las operaciones de inicio.
- Almacenar muchos datos pero realizar poco anlisis. Normalmente la toma de datos y la
experimentacin ocupan la mayor parte del tiempo del proyecto. Se debe planificar para
que el anlisis sea el adecuado.
Benchmarking games
- Falsear intencionadamente los resultados:
- Utilizar configuraciones diferentes para ejecutar la misma carga en dos sistemas.
- Compiladores diseados para optimizar la carga.
- Utilizar una secuencia de trabajos sincronizada.
- Seleccin de la carga de forma parcial (sin verificar su representatividad de la carga
real).
- Utilizar benchmarks muy pequeos. Caben en la cach y no ensean problemas con
la memoria.
- Traducciones manuales de los benchmarks para mejorar las prestaciones.
- Potencia CPU.
- Implementacin del sistema en general y del sistema de ficheros.
- Compiladores de C y Fortran.
- Manejo de memoria y rendimiento de las cachs.
- E/S de disco y rendimiento del controlador.
- Rendimiento multiusuario frente a tareas significativas.
27
TEMA 8 COMPILADORES
Qu hace un compilador
- Traduce de un lenguaje de alto nivel a lenguaje mquina.
- Esta traduccin debe ser lo ms eficiente posible.
- En algunas partes crticas la traduccin se optimiza a mano y no se utilizan compiladores.
- El resultado del compilador est encaminado a una arquitectura especfica.
- El compilador intentar reorganizar el cdigo para que sea ms eficiente.
- En RISC, intentar que varios encaminamientos trabajen a partir de una mezcla de
instrucciones diferentes.
En las mejoras que introduce el compilador suele ocurrir que el tamao del fichero aumenta
aunque la ejecucin es ms rpida.
Lenguaje intermedio
- El compilador traduce el fuente a un lenguaje parecido a ensamblador, permite manejar
variables. Tras el anlisis sintctico se traduce el programa a ste lenguaje.
- Hay instrucciones que en el fuente no aparecen y deben aparecer en este lenguaje.
- Ejemplo:
- Todas las instrucciones tienen un cdigo de operacin y 2 operandos.
- Las instrucciones tienen la forma X:=Y op Z.
- Todas las referencias a memoria son lecturas o escrituras explcitas.
- Los valores lgicos utilizados para saltos se calculan aparte.
- Los saltos son a direcciones absolutas.
Bloques bsicos
- Esto facilita el anlisis del cdigo. Sabemos que todas las instrucciones en un bloque se
ejecutan una detrs de otra.
- Las flechas entre bloques forman un diagrama de flujo.
- Podemos saber las variables que se usan en cada bloque y las que se modifican.
- Nos permite concentrarnos en las interacciones entre bloques.
28
A:: t1 := j
t2 :=n
t3 :=t1<t2
jmp (B) t3
B:: t4 :=k
t5 :=j
t6 :=t5*2
t7 :=t4+t6
k :=t7
t8 :=j
t9 :=t8*2
m :=t9
t10 :=j
t11 :=t10+1
j := t11
jmp (A) TRUE
j,t5,t8,t10
t6,t9,m
k,t4
t7,k
t11,j
- Reduccin de complejidad:
Y = X**2 Y = X*X
J = K*2 J = K+K
- Rebautizar variables. Se intenta romper dependencias:
x = y*z;
x0=y*z;
q = r+x+x;
Quedara
q = r+x0+x0;
x = a+b;
x = a+b;
Rebautizar variables aumenta el paralelismo del cdigo, lo cual facilita la ejecucin en
procesadores RISC.
- Eliminar subexpresiones comunes:
d = c*(a+b)
c = (a+b)/2
(a+b) es comn a las dos expresiones,
temp = a+b
d = c*temp
e = temp/2
- Sacar cdigo invariante de bucles:
for (i...) {
a[i] = b[i]*c*d;
e = g[k];
}
Quedara:
temp = c*d;
for (i...) {
a[i] = b[i]+temp
};
e = g[k];
- Simplificacin de variables inducidas:
Se trata de identificar expresiones que se calculan de una forma regular en un bucle. Es muy
interesante en el clculo de direcciones de un vector:
bucle
direccion = direccionbase(A) + (I-1)*tallaelementos(A)
Quedara:
direccion = direccionbase(A) - (1*tallaelementos(A))
bucle
direccion = direccion + tallaelementos(A)
31
Saltos retardados
Es lo que se propone para minimizar los vaciados de pipeline a causa de saltos.
(Operaciones muy frecuentes durante la ejecucin de programas).
Cuando el procesador detecta un salto ya ha cargado otras instrucciones.
Para solucionarlo los compiladores intentan poner operaciones que se van a ejecutar de
todas formas (se salte o no) despus de la instruccin de salto.
Si no encuentra instrucciones que pueda poner, inserta operaciones que no hacen nada.
Otra posibilidad es poner instrucciones antes del salto y anularlas al evaluar el salto si estas
instrucciones no se deberan haber ejecutado.
Procesadores con varias instrucciones/ciclo
- Si los conductos estn siempre ocupados obtendremos una instruccin mquina por ciclo.
- Hay procesadores que pueden terminar ms de una instruccin por ciclo.
- Una forma de hacer esto es tener varios conductos y enviar operaciones (que sean
independientes) a travs de ellos.
- La posibilidad de explotar estas caractersticas depender de los programas que se ejecuten.
- Principalmente hay tres tipos de procesadores RISC:
Superescalares.
Superpipelined.
Long Instruction Word.
Sacar una instruccin por ciclo ya es un logro cuando cada instruccin necesita al menos 5
ciclos. Los procesadores que pueden ejecutar ms de una instruccin por ciclo deben utilizar
varias tuberas para ello. En cambio deben tener mecanismos que resuelvan posibles
dependencias entre las operaciones que se ejecutan a la vez. Es decir que una instruccin
necesite algo que se deba haber producido en instrucciones anteriores.
Long Instruction Word
Se trata de poner conductos en paralelo, pero la decisin de encaminar las instrucciones no
se hace en tiempo de ejecucin sino que se deja en manos del compilador.
La unidad de control para gestionarlo ser ms simple, pero lo compiladores son ms
complejos y lentos.
Las instrucciones que pueden ir en paralelo se pegan en una sola instruccin en tiempo de
compilacin.
Tcnicas para mejorar la utilizacin de pipelines
Circunvalacin de registros si el resultado de una operacin lo va a utilizar otra que est
cerca, se le pasa directamente sin escribir en un registro.
Rebautizar registros detectan en tiempo de ejecucin que un registro se usa mucho para
dos fines diferentes y los sustituye por otro.
Reducir los retardos por saltos:
- Insertar operaciones que se pueden anular. Ejecuciones especulativas.
- Asignaciones condicionales. Por ej. a=b<c?d:e, permiten ahorrar saltos.
- Buffers para saltos (branch tarjet buffers). Guarda informacin sobre saltos anteriores y dnde se ha
saltado.
- Prediccin de saltos segn el compilador o hardware.
35
36
39
Practica 1
Time
Saca como resultado el tiempo de ejecucin de otro comando. Este tiempo se da en tres cifras:
tiempo total desde que se lanz la ejecucin hasta que la termin, tiempo de CPU en estado
usuario y tiempo de CPU en estado sistema. Estado usuario es el estado normal de un
programa que ejecutemos. Estado sistema se trata de llamadas que el programa puede hacer al
S.O., rutinas del S.O. para servir fallos de pgina, excepciones, ...
Lo normal es que el tiempo en estado usuario sea mayor que en sistema. Lo contrario puede
indicar problemas del programa en los accesos a memoria o repetidas condiciones de
excepcin.
Times
Se trata de una funcin que se puede utilizar desde programas en C. Devuelve una estructura
con tiempos sobre la ejecucin. #include <sys/times.h>
Prof
Sirve para analizar el tiempo que los programas pasan en sus diferentes subprogramas.
Funciona muestreando peridicamente el contador del programa. Para utilizarlo hay que
compilar el programa con una opcin adicional -p. Luego al ejecutarse el programa se va
generando un fichero con datos de la ejecucin.
Los datos que se muestran en pantalla son:
- % Time: porcentaje de tiempo de CPU consumido por la rutina.
- Seconds: tiempo de CPU consumido por esta rutina.
- Cumsecs: tiempo de ejecucin total consumido por esta y todas las rutinas anteriores.
- Calls: nmero de veces que la rutina ha sido llamada.
- msec/call: segundos dividido por el nmero de llamadas. Da la media del tiempo
empleado en cada llamada (en ms.)
- Name: nombre de la rutina.
Gprof
Adems de la informacin que proporciona prof, gprof nos indica como se llaman los
subprogramas entre s (grafo de llamadas).Tambin aporta las veces que un subprograma llama
a otro y las que lo llaman sus padres.
Tambin necesita un compilado especial, la opcin -G.
La salida de gprof est dividida en tres secciones:
- Grafo de llamadas
- Tiempos, da una lista de las funciones, porcentaje de tiempo empleado por cada una,
nmero de llamadas, ... (similar a prof).
- Indice, es una mezcla de referencias para poder localizar funciones por nmero en
lugar de por nombre.
Practica 3
40
AWK
- Es un lenguaje interpretado, por lo que no es muy eficiente pero suele ser suficiente para el
tipo de tareas que suele resolver.
- Est orientado al procesamiento de informes con un formato fijo.
- El lenguaje tiene una sinstaxis parecida a C.
- No es necesario la declaracin de variables. Reserva espacio y las inicializa en el momento
de utilizarlas.
Estructura de las rdenes
- Un programa awk es una secuencia de unidades con dos partes:
- Patrn: debo realizar las acciones?
- Acciones: como un subprograma en C
- El funcionamiento del programa: toma un fichero de entrada y para cada lnea comprueba
cada uno de los patrones que tiene el programa. Si el patrn se cumple en la lnea se
ejecutan las operaciones asociadas.
Es decir que los patrones son condiciones lgicas que se evalan en cada lnea del fichero que
se est procesando. Si esta condicin se cumple se ejecuta el subprograma que tiene asociado.
Ejemplo
awk $3>0 {printf $1,$2*$3} fichero.datos
- El patrn: $3>0 ser cierto en todas las lneas donde el tercer campo (secuencia de
caracteres separadas por blancos) sea mayor que 0.
- La accin: {printf $1,$2*$3} sacar por la salida estndar el primer campo de la lnea y la
multiplicacin de los campos 2 y 3.
- $0 indica toda la lnea que est procesando.
-Al procesar una lnea $n indica el campo n.
- La variable predefinida NF indica el nmero de campos que tiene la lnea que se est
tratando.
- La variable pedefinida NR indica el nmero de lneas que ya han sido procesadas.
Patrones y acciones
- En los patrones no es necesario escribir if (patron).
- Los patrones son opcionales: si una parte del programa no tiene patrn, se supone cierto.
- Las acciones son opcionales: la accin por defecto es imprimir la lnea entera.
- El programa se puede escribir en un fichero:
awk -f programa.awk fichero.datos
Programa.awk
Todas las partes son opcionales.
Las acciones pueden ser conjuntos de instrucciones, secuencias de control, etc.
41
Patrones
- $2 >= 5
- $2*$3 > 5
- $1 == Pepe
- Expresiones regulares.
- Combinacin lgica de los anteriores (&&,||, !).
- (($2 >= 5) && ($2*$3 > 5)) || !($1==Pepe)
Variables
- No hay que definirlas.
- Se ponen a pelo donde se van a utilizar.
- Se inicializan automticamente a 0.
- El contexto da el tipo.
- frase = $0 #La variable frase ser una cadena de caracteres que contiene toda una
lnea del fichero de datos.
- vector[20]=1 #Crear un vector de 21 componentes. Todas las componentes a 0
menos la 20 que valdr 1.
- tabla[10,20] = 1
Los comentarios se preceden de #.
Funciones pedefinidas
- Aritmticas:
- Races, potencias, logaritmos, nmeros aleatorios, ...
Instrucciones de control
- Igual que en C.
- if - else
- while
- for
- Admite argumentos (argc y argv).
- Se pueden ejecutar comandos de UNIX a travs de la funcin syntax.
Parmetros de entrada
- awk -f prog.awk a v=1 b ficherodatos
- ARGC = 4
- ARGV[0] = awk
- ARGV[1] = a
- ARGV[2] = v=1
- ARGV[3] = b
- ARGV[4] = ficherodatos
La variable v ya se puede utilizar en el programa.
43