Nei sistemi distribuiti, l’ordinamento degli eventi rappresenta una sfida cruciale per garantire coerenza senza sincronizzazione fisica dei clock. Gli orologi di Lamport, introdotti come soluzione base, utilizzano un semplice contatore incrementale per ogni evento locale o ricevuto da altri nodi, stabilendo un ordine parziale basato sul valore massimo osservato.
Tuttavia, questa approccio manca di un legame con il tempo reale, rendendo difficile per gli utenti interpretare i timestamp in termini di date concrete. Qui entrano in gioco gli orologi logici ibridi (HLC), che fondono il contatore logico con il timestamp fisico del sistema, mantenendo i valori vicini al tempo wall-clock.
Funzionamento degli HLC: ogni nodo registra un orologio con due componenti – tempo fisico e contatore logico. Su eventi interni, si incrementa il contatore o si aggiorna il tempo fisico se superiore; sui messaggi ricevuti, si allinea al massimo tra locale e remoto, preservando la causalità unidirezionale come negli orologi di Lamport, ma con precisione temporale.
Rispetto ai vector clock, più avanzati nel rilevare concorrenza ma scalabili male per via dello spazio proporzionale al numero di nodi, gli HLC offrono un compromesso ideale: spazio fisso, causalità garantita e timestamps umani-legibili, ideali per debugging e auditing in database distribuiti come CockroachDB.
Vantaggi pratici: tollerano skew tra clock fisici, evitano regressioni monotoniche da NTP e sostituiscono sia orologi logici puri che fisici in applicazioni reali, migliorando l’affidabilità nei sistemi distribuiti moderni.