Semana 16(2)

Para poder estar al 100 con el examen he decidido investigar un poco acerca de los temas que faltaron en el temario, esto para aquellos (como a mi) que dependen del examen para pasar.

Tolerancia a fallas
Introducción

• Un punto importante en los sistemas distribuidos , es construirlos de tal forma que puede recupersarse automaticamente de fallos sin afectar el rendimiento.
• Cuando un error ocurre el sistema debería seguir operando de forma aceptable mientras se hacen las reparaciones.
• Un sistema falla cuando deja de proveer el servicio que debe prestar.
• Un sistema es tolerante a fallas si continua proveyendo los servicios especificados aún en presencia de fallas de hardware o errores de software.

Tipos de Fallos

• Transientales/Transitorias
• Son aquellos fallos que aparecen una vez y después desaparecen aun cuando la misma operación se repite.
• Intermitentes
• Son aquellos fallos que aparecen una vez y después desaperecen y después vuelven a aparecer y continua el ciclo.
• Permanentes
• Son aquellos fallos que aparecen y no desaparecen hasta que el componente erroneo es reemplazado o es arreglado el problema.

Los sistemas de almacenamiento con tolerancia a fallos son vitales en ambientes donde se trabaje con información crítica, como el caso de los bancos, entidades gubernamentales, algunas empresas, etc. El nivel de tolerancia a fallos dependerá de la técnica de almacenamiento utilizada y de la cantidad de veces que la información está duplicada, sin embargo, la tolerancia nunca es del 100% puesto que si fallan todos los "mirrors" disponibles, incluyendo el origen, los datos quedan incompletos por lo tanto la información se leerá corrupta.

Redes de Petri

Definición:

Las Redes de Petri clásicas se conciben como un grafo dirigido que posee dos tipos de nodos principales: los lugares representados por círculos y las transiciones representadas por barras rectangulares (figura 2). Entre los nodos se ubican los arcos dirigidos, los cuales se encargan de unir las transiciones con los lugares y viceversa. Cada arco dirigido posee un número que indica su peso, el cual determina la cantidad de marcas que consume de un lugar o deposita en un lugar, siempre y cuando se haya disparado una transición habilitada. Los arcos dirigidos sin número se entiende que consumen o depositan una marca. Las marcas se representan en forma gráfica como puntos negros que se ubican dentro de cada lugar.

Introducción:

• Una Red de Petri es un modelo gráfico, formal y abstracto para describir y analizar el flujo de información.
• El análisis de las Redes de Petri ayuda a mostrar información
• importante sobre la estructura y el comportamiento dinámico de los sistemas modelados.
• La teoría de las Redes de Petri permite la representación matemática del sistema a ser modelado.
• Las Redes de Petri son de utilidad en el diseño de sistemas de hardware y software, para especificación, simulación y diseño de diversos problemas de ingeniería.
• Las Redes de Petri pueden considerarse como autómatas formales o como generadores de lenguajes formales y tienen asociación con la teoría de grafos

Ventajas

• Se comprende mejor el sistema.
• La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.
• El sistema se describe de manera más precisa.
• El sistema se asegura matemáticamente que es correcto según las especificaciones.
• Mayor calidad software respecto al cumplimiento de las especificaciones.
• Mayor productividad
  
  Desventajas
• El desarrollo de herramientas que apoyen la aplicación de métodos formales es complicado y los programas resultantes son incómodos para los usuarios.

• Los investigadores por lo general no conocen la realidad industrial.
• Es escasa la colaboración entre la industria y el mundo académico, que en ocasiones se muestra demasiado dogmático.
• Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo.

Con esto tenemos todos los temas cubiertos, junto con esta entrada y esta