Metodología Para El Desarrollo De Proyectos De Sistemas Distribuidos

INSTITUTO TECNOLOGICO DE PACHUCA

UNIDAD 4 “RESUMEN”

Francisco I. R. S.

Metodología para el desarrollo de proyectos de sistemas distribuidos
4.1 Especificaciones de alto nivel
Esta parte trata lo relacionado a las especificaciones de aplicaciones distribuidas, que comúnmente tienen un gran número de requerimientos de desempeño que los hace difíciles de especificar. En primer lugar,típicamente son concurrentes, además, requieren ser altamente confiables y disponibles, y también deben ofrecer rápidos tiempos de respuesta.
Resulta relativamente fácil describir un sistema distribuido dando una explicación detallada de su implementación, por ejemplo; donde se localiza la información, cuantas replicas de la información existen, como se procesan las peticiones y como se comunicantodas las piezas del sistema. Así como las especificaciones del usuario para programas secuenciales, las especificaciones de sistemas distribuidos deberían expresarse en términos orientados al usuario y deberían ser libres de detalles de implementación.
Un sistema distribuido es un objeto abstracto que puede usarse invocando a varias operaciones, así que el sistema es una instancia de un tipo dedatos abstracto. Las especificaciones de un sistema describen todas las constantes relevantes en su comportamiento observable; incluyendo el comportamiento de las operaciones invocadas por los usuarios y si el sistema está activo, las operaciones que el sistema realizara internamente.
El usuario de un sistema podría ser un programa o proceso, o si el sistema es interactivo, una persona. Un sistemapuede tener usuarios que trabajen concurrentemente y todos estos usuarios pueden invocar sus operaciones en paralelo.
En las especificaciones, cada operación es vista como una acción atómica. Estas operaciones atómicas poseen dos propiedades importantes: serializabilidad y totalidad. La serializabilidad se refiere a que la ejecución concurrente de un grupo de acciones es equivalente a la ejecuciónsecuencial de las mismas operaciones. La totalidad quiere decir que cada operación, o se ejecuta total y exitosamente, o falla y no tiene efecto sobre el estado del sistema.
La técnica básica que es usada en la escritura de especificaciones es introducir especificaciones no deterministas en el modelo que describa la propagación de la información sobre todas las replicas y los efectos de noserializabilidad de las operaciones concurrentes. También es de ayuda estructurar las especificaciones, de manera que se puedan distinguir los efectos esperados y no deseados, de los inesperados. Esta distinción es importante tanto para usuarios como para los implementadores del sistema, y hace que las especificaciones sean fáciles de entender.
Se mostrara con ejemplos la forma acercarse a especificarsistemas distribuidos, describiendo la implementación de un sistema, y posteriormente especificar el sistema en términos orientados al usuario.
Un diccionario distribuido.
El diccionario es modelado como un conjunto, con una operación insertar para agregar un elemento al conjunto, borrar para remover un elemento y listar para observar los miembros del conjunto. El diccionario podríaimplementarse en un sistema distribuido, consistente de un conjunto de nodos conectados por una red. El objetivo es hacer al sistema altamente disponible, en el sentido de que cualquiera de los nodos con posibilidades de operar, deberían ejecutar cualquiera de las tres operaciones en cualquier momento, sin importar el estado de la red o de los otros nodos.
La implementación funciona procesando cada operaciónen un solo nodo, cada uno de los cuales cuenta con una copia del diccionario. Si se realiza una operación de inserción o eliminación en un nodo, solo se actualiza la copia de ese nodo, y posteriormente, por medio del envio de mensajes, se propagan las modificaciones a los demás nodos del sistema. Debido a que un nodo puede no saber de las operaciones ejecutadas en otros nodos, se requiere que...