Reloj lógico distribuido

Los relojes lógicos se utilizan para capturar las dependencias causales de los eventos en un proceso informático distribuido.

El reloj lógico es una función que toma el evento $e$ se asigna al dominio del tiempoTTAlgún valor en$T$$C\left(e\right)$ , y como evento$la\; marca\; de\; tiempo\; de\; e$ .

若${mi}_{}\to {mi}_{}$, entonces $C\left({mi}_{}\right)>C\left({mi}_{}\right)$ , pero no al revés. Por lo tanto, no podemos juzgar el orden en que ocurrieron dos eventos según el tamaño de la marca de tiempo.

Para resolver este problema, agregamos el número de proceso a la marca de tiempo, denotado como $C_{}\left(e\right)$ . Para dos procesos${pag}_{}$y ${pag}_{}$，若$i<j$ , llamado${pag}_{}$La prioridad es menor que ${pag}_{}$prioridad.

Tenga en cuenta que la prioridad de un proceso se puede especificar arbitrariamente Aquí, para facilitar la comprensión, el número de proceso se utiliza como prioridad.

这时，${mi}_i^{}\to {mi}_j^{}\iff C_{}\left({mi}_i^{}\right)<C_{}\left({mi}_j^{}\right)oC{}_{}\left({mi}_i^{}\right)=C_{}\left({mi}_j^{}\right)yyo\_<j$

Método de cálculo del reloj lógico:

• El valor inicial del reloj lógico de cada proceso es 0.
• si el proceso $Cuando\; ocurre\; un\; evento\; en\; i$ , el valor de su reloj lógico aumenta en uno, es decir,$C_{}=C_{}+1$ _
• Si el proceso que $yo$ para procesar$Cuando\; j$ envía un mensaje, el valor del reloj lógico del proceso i primero se incrementa en uno, y luego$C_{}$Y el mensaje se manda en pasado, el proceso $j$ actualiza su propio reloj lógico como$C_{}=máx(C\_{}_{},C_{})+1$ _