Professional Documents
Culture Documents
2 RELOJES VECTORIALES
Mattern y Fidge desarrollaron relojes vectoriales para mejorar la deficiencia de los relojes
de Lamport, del hecho que no podemos deducir que un reloj vectorial para un sistema
de N procesos es un vector de N enteros.
Cada proceso mantiene su propio reloj vectorial Vi, que utiliza para
colocar marcas de tiempo en los sucesos locales. Como las marcas de tiempo
de Lamport, cada proceso adhiere el vector de marcas de tiempo en los
mensajes que enva al resto, y hay unas reglas sencillas para actualizar los
relojes.
Los vectores de marcas de tiempo tienen la desventaja, comparados con las
marcas de tiempo de Lamport, de precisar una cantidad de almacenamiento y
de carga real de mensajes que es proporcional a N, el nmero de procesos.
Reloj Vectorial: Los relojes vectoriales se construyen de manera que cada proceso Pi
mantenga un vector VCi con las dos siguientes propiedades:
1.
VCi[i] es el nmero de eventos que han ocurrido hasta el momento en Pi. En otras
palabras, VCi[i] es el reloj lgico del proceso Pi.
2.
Si VCi[j] = k, entonces Pi sabe que han ocurrido k eventos en Pj. As, ste es el
conocimiento de Pi del tiempo local en Pj.
PROPIEDADES:
La segunda propiedad se mantiene encimando los vectores junto con los mensajes
que se envan.
11.5.1 SEMNTICA DE ARCHIVOS COMPARTIDOS
Cuando dos o ms usuarios comparten el mismo archivo al mismo tiempo, es
necesario definir con precisin la semntica de lectura y escritura para evitar
problemas.
SEMNTICA DE SESIN:
Una solucin es disponer las cosas de algn modo para que el lector contine
utilizando el archivo viejo, aun cuando ya no se encuentre en el directorio.
Otra solucin es detectar que el archivo ha cambiado y hacer que fallen intentos
subsiguientes de leerlo.
Cuando un cliente cierra el archivo, el NFS requiere que si las modificaciones se han
llevado a cabo, los datos guardados en cach sean devueltos de inmediato al servidor.
El NFS requiere que siempre que un cliente abra un archivo previamente cerrado que haya
La revalidacin: Ocurre al verificar cundo fue modificado por ltima vez el archivo e invalidando la
memoria cach en caso de que contenga datos obsoletos.
El servidor: Se encarga de verificar si la apertura de un archivo debe tener xito o no, el servidor seguir
manejando las solicitudes de bloqueo de clientes ubicados en otras mquinas simplemente con negar el acceso
al archivo a esos clientes.
servidor, el cual, a su vez, enva un mensaje de invalidacin a los dems clientes. Tal
mensaje de invalidacin se conoce como ruptura del retorno de llamada.
El servidor desechar entonces la promesa de retorno de llamada que mantena para el
cliente al que acaba de enviar una invalidacin.
El cliente deber comprobar con el servidor si la promesa sigue siendo vlida. De ser as,
no existe la necesidad de transferir el archivo otra vez del servidor al cliente.