벡터 시계·램포트 시계 계산기

한 이벤트가 다른 이벤트에 영향을 줄 수 있었는지를 나타내는 관계입니다. 같은 프로세스 안에서 앞선 이벤트는 뒤선 이벤트보다 먼저이고, 메시지를 보낸 이벤트는 그것을 받은 이벤트보다 먼저이며, 이 관계는 이어집니다(a→b이고 b→c면 a→c). 어느 쪽도 아니면 두 이벤트는 «동시»입니다.

아닙니다. 서로 영향을 줄 수 없었다는 뜻입니다. 실제 시계로 몇 시간이 차이 나더라도 그 사이에 메시지가 한 번도 오가지 않았다면 두 이벤트는 동시입니다. 반대로 벽시계 시각이 비슷해도 메시지로 이어져 있으면 앞뒤가 분명합니다.

한쪽 방향만 보장하기 때문입니다. a가 b보다 앞서면 L(a) < L(b)인 것은 언제나 참이지만, L(a) < L(b)라고 해서 a가 앞선 것은 아닙니다. 이 도구는 그런 쌍을 따로 모아 보여 줍니다 — 램포트 값만으로 순서를 매기면 있지도 않은 인과관계를 만들어 내게 됩니다.

프로세스 수만큼의 칸을 두고, 자기 이벤트마다 자기 칸을 1 올리고, 메시지를 받으면 받은 벡터와 칸마다 큰 쪽을 취합니다. 각 칸은 「그 프로세스에서 일어난 일을 몇 개까지 알고 있는가」를 뜻하며, 모든 칸이 ≤이고 적어도 한 칸이 <이면 앞선 것입니다.

인과관계 판정은 정확하지만 값이 프로세스 수만큼 커집니다. 프로세스가 수천 개면 이벤트마다 수천 칸을 들고 다녀야 해 그대로는 쓰기 어렵고, 실무에서는 버전 벡터처럼 칸을 줄인 방식으로 바꿔 씁니다. 이 도구는 프로세스 8개·이벤트 60개까지 다룹니다.

거부합니다. 그런 실행은 인과관계가 고리를 이뤄 어느 쪽이 먼저인지 정할 수 없기 때문입니다. 실제 시스템에서 일어날 수 없는 실행이므로 시계를 매기지 않고 그 사실을 알려 줍니다.

전송되지 않습니다. 모든 계산은 브라우저 안에서 이뤄지고, 입력값은 이 기기에만 남습니다.