A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Often, distributed systems may have no physically synchronous global clock. In many applications (such as distributed GNU make), if two processes never interact, the lack of synchronization is unobservable and in these applications it is enough for the processes to agree on the event ordering (i.e., logical clock) rather than the wall-clock time. The first logical clock implementation, the Lamport timestamps, was proposed by Leslie Lamport in 1978 (Turing Award in 2013).
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Logische Uhr (de)
- Horloge logique (fr)
- Logical clock (en)
- Логические часы (ru)
- Relógios lógicos (pt)
|
| rdfs:comment
| - A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Often, distributed systems may have no physically synchronous global clock. In many applications (such as distributed GNU make), if two processes never interact, the lack of synchronization is unobservable and in these applications it is enough for the processes to agree on the event ordering (i.e., logical clock) rather than the wall-clock time. The first logical clock implementation, the Lamport timestamps, was proposed by Leslie Lamport in 1978 (Turing Award in 2013). (en)
- Une horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d'horloges logiques existent et fournissent plus ou moins d'information sur la causalité. (fr)
- Eine Logische Uhr ist eine Komponente eines Computersystems, die dafür verwendet wird, Ereignissen einen eindeutigen Zeitstempel zu geben. Anders als bei einer „normalen“ Echtzeituhr, die die physikalische Zeit misst, ist der einzige Anspruch an eine logische Uhr, dass sie streng monoton steigende Werte abgibt, so dass die Kausalordnung der Ereignisse erkennbar ist. (de)
- Relógios lógicos são mecanismos para identificação de relações causais e cronológicas em sistemas distribuídos, uma vez que estes fazem uso de uma classe de algoritmos que têm como base a sincronização de seus eventos e a consistência interna de seus relógios. Os dois principais algoritmos para sincronização de relógios são:
* Relógios de Lamport
* Relógios vetoriais A relação happens-before é transitiva: se a → b e b → c então a → c. Além disso, dois eventos a e b são ditos concorrentes se não é possível inferir que a → b ou b → a. (pt)
- Логические часы — механизм определения хронологической и причинно-следственной связи событий в распределённых системах, не имеющих единых физических часов. Алгоритмы логических часов позволяют получать частичное упорядочение событий по времени и обнаруживать нарушения причинно-следственных связей. Состояние логических часов может включаться в состав внутренних сообщений, пересылаемых между узлами системы. Впервые предложен и реализован Лэмпортом в 1978 году, его работа была отмечена Премией Тьюринга 2013 года. Известные примеры логических часов:
* Часы Лэмпорта
* Векторные часы
*
* (ru)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Eine Logische Uhr ist eine Komponente eines Computersystems, die dafür verwendet wird, Ereignissen einen eindeutigen Zeitstempel zu geben. Anders als bei einer „normalen“ Echtzeituhr, die die physikalische Zeit misst, ist der einzige Anspruch an eine logische Uhr, dass sie streng monoton steigende Werte abgibt, so dass die Kausalordnung der Ereignisse erkennbar ist. Der Zweck einer solchen Uhr ist es, Ereignisse über ihren Zeitstempel in eine Finalordnung bringen zu können. In einem System mit nur einem Prozess ist das trivial: man braucht nur einen Zähler. Interessant wird das Problem, wenn man versucht, die logischen Uhren mehrerer Prozesse (Verteilte Systeme) so zu synchronisieren, dass man eine Kausalordnung für das Gesamtsystem angeben kann. Dafür ist es vor allem notwendig, das Senden und Empfangen von Nachrichten als Ereignisse zu betrachten und mit einem Zeitstempel zu versehen. Dass hierfür der Begriff synchronisieren verwendet wird, hat historische Gründe: Zunächst wurde versucht, die Kausalordnung über Echtzeituhren zu bestimmen, die zu diesem Zweck möglichst synchron gehalten werden müssen. Später erkannte man, dass es ausreichend und viel einfacher ist, mit einem abstrakten Zeitbegriff zu arbeiten, der sich auf die Bestimmung der Kausalität beschränkt. (de)
- A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Often, distributed systems may have no physically synchronous global clock. In many applications (such as distributed GNU make), if two processes never interact, the lack of synchronization is unobservable and in these applications it is enough for the processes to agree on the event ordering (i.e., logical clock) rather than the wall-clock time. The first logical clock implementation, the Lamport timestamps, was proposed by Leslie Lamport in 1978 (Turing Award in 2013). (en)
- Une horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d'horloges logiques existent et fournissent plus ou moins d'information sur la causalité. (fr)
- Relógios lógicos são mecanismos para identificação de relações causais e cronológicas em sistemas distribuídos, uma vez que estes fazem uso de uma classe de algoritmos que têm como base a sincronização de seus eventos e a consistência interna de seus relógios. Leslie Lamport foi o primeiro a provar que é possível sincronizar todos os relógios de um sistema para produzir um único padrão de tempo, mostrando que os processos do sistema não precisam concordar na hora atual, mas sim na ordem em que os eventos ocorrem. Também afirma que os relógios do sistema não precisam estar sincronizados se os processos não interagem, já que a falta de sincronização seria imperceptível e não causaria problemas. Os dois principais algoritmos para sincronização de relógios são:
* Relógios de Lamport
* Relógios vetoriais Para sincronizar os relógios lógicos, Lamport definiu a relação happens-before (acontece antes de), representada pelo símbolo →. Por exemplo, na relação a → b, o evento a acontece antes do evento b.Dessa forma, é possível sincronizar dois eventos nas seguintes situações: 1.
* Se os eventos a e b acontecem em um mesmo processo, o processo pode determinar se a → b é verdade. 2.
* Se a representa o envio de uma mensagem por um processo e b representa o recebimento da mesma por outro processo, então a → b é verdade. A relação happens-before é transitiva: se a → b e b → c então a → c. Além disso, dois eventos a e b são ditos concorrentes se não é possível inferir que a → b ou b → a. (pt)
- Логические часы — механизм определения хронологической и причинно-следственной связи событий в распределённых системах, не имеющих единых физических часов. Алгоритмы логических часов позволяют получать частичное упорядочение событий по времени и обнаруживать нарушения причинно-следственных связей. Состояние логических часов может включаться в состав внутренних сообщений, пересылаемых между узлами системы. Впервые предложен и реализован Лэмпортом в 1978 году, его работа была отмечена Премией Тьюринга 2013 года. Знание хронологической последовательности событий полезно для анализа вычислений, при создании распределённых алгоритмов, отслеживании отдельных событий или хода вычислений. При реализации алгоритмов логических часов каждый процесс распределённой системы имеет собственные структуры данных для представления логического времени и использует специальный протокол при их обновлениях. Обычно в них хранится логическое локальное время для получения отметок времени для локальных событий и логическое глобальное время, соответствующее представлениям процесса о глобальном времени. Протокол задаёт правила обновления локального логического времени при выполнении событий и правила обновления логического глобального времени для отслеживания прогресса во всей распределённой системе. Известные примеры логических часов:
* Часы Лэмпорта
* Векторные часы
*
* (ru)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)