Sistemas Concurrentes Y Distribudios

Fisicos y Logicos

Conjunto de técnicas y mecanismos utilizados para coordinar la ejecución de procesos o hilos de ejecución

Algoritmo de Lamport
Algoritmo de Ricart y Agrawala
Algoritmo de Bully
Algoritmo del Anillo
Algoritmo de Berkeley
Protocolo de Red de Sincronización de Tiempo (NTP)
Algoritmo de la Exclusión Mutua de Chandy-Misra
Algoritmo de Consenso de Paxos
Algoritmos de Barrera

Algoritmo de anillo
Algoritmo de Bully
Algoritmo de Elección Asincrona

Una transacción atómica es una unidad de trabajo en un sistema de base de datos que se ejecuta completamente o no se ejecuta en absoluto.

Asignar una marca de tiempo

Cada evento en el sistema, ya sea una operación de lectura o escritura, un mensaje enviado o recibido, etc., tiene una marca de tiempo. Estas marcas de tiempo son números enteros no negativos que se asignan de forma única a cada evento.

Orden parcial

Las marcas de tiempo asignadas a los eventos no reflejan necesariamente la hora real, pero proporcionan un orden parcial entre los eventos.

Si la marca de tiempo del evento A es menor que la marca de tiempo del evento B, entonces se puede decir que A ocurrió antes que B en el orden parcial especificado por las marcas de tiempo.

Relación causal

El algoritmo de Lamport garantiza que si el evento A es la causa inmediata de otro evento B (por ejemplo, si B es una acción resultante de la recepción de un mensaje enviado por A), entonces la marca de tiempo de A será menor que la marca de tiempo de B.

Implementación sencilla

El algoritmo de Lamport es fácil de entender e implementar.

Mejoras locales

Cada proceso o nodo del sistema mantiene un contador local que se incrementa con cada evento local que ocurre dentro de ese proceso. Esto significa que cada vez que un proceso realiza una operación local, su contador local se incrementa en uno.

Actualizar al recibir mensajes

Cuando un proceso envía un mensaje a otro proceso, la marca de tiempo del evento se establece como el valor del contador local actual en el proceso de envío.

Actualizar al recibir mensajes

Cuando un proceso recibe un mensaje, la marca de tiempo del evento se establece como el valor máximo actual del contador local en el proceso de recepción y la marca de tiempo del mensaje recibido aumenta en uno.

Mensaje por dato/salida

En el contexto de Token Ring, "datos" se refiere a los tokens que circulan en el ring para controlar el acceso a secciones críticas. En este algoritmo, cada nodo puede enviar un mensaje por dato/salida en cada ciclo de anillo. Esto significa que un nodo puede enviar un token por ciclo para solicitar acceso a una sección crítica.

Retraso antes de los datos en el tiempo del mensaje.

Este término se refiere al tiempo que debe pasar antes de que un nodo pueda enviar un token (datos) después de recibir un token de otro nodo. En el algoritmo Token Ring, el retraso antes de los datos de tiempo del mensaje es igual al número de nodos en el anillo.

El principal problema de la exclusión mutua de Token Ring

El principal problema del algoritmo Token Ring es la latencia en la transmisión del token. Si un nodo necesita acceder a una sección crítica y el token actualmente es propiedad de otro nodo, entonces el nodo debe esperar hasta que se pueda acceder al token.

Algoritmo de anillo
Algoritmo de Bully

Una transacción atómica es una secuencia de operaciones o acciones que se ejecutan como una unidad indivisible en un sistema de bases de datos o en un sistema informático. En el contexto de las bases de datos, una transacción atómica garantiza que todas las operaciones que la componen se realicen de manera completa o ninguna se realice en absoluto.