CRDT 카운터(G-Counter·PN-Counter) 병합 계산기

칸마다 큰 쪽을 고릅니다. merge(x, y)[i] = max(x[i], y[i])이며 값은 벡터의 합입니다. 노드가 자기 칸만 올리므로 큰 쪽이 언제나 더 최근이고, 그래서 최댓값을 고르는 것만으로 합쳐집니다.

멱등이 깨지기 때문입니다. 덧셈으로 합치면 같은 상태를 두 번 받았을 때 값이 두 배가 됩니다. 분산 시스템에서 메시지가 정확히 한 번 도착한다는 보장이 없으므로 재전송이나 중복만으로 값이 틀어집니다.

주지 않습니다. max 병합은 교환·결합·멱등을 모두 만족하므로 어느 순서로 몇 번을 합쳐도 같은 값에 이릅니다. 이 도구는 가능한 순서를 실제로 돌려 같은 값이 나오는 것을 표로 보여 줍니다.

음수를 허용하면 max 병합이 감소를 삼키기 때문입니다. A가 5를 올렸다가 3을 내려 자기 칸이 2가 되어도, 아직 5만 아는 복제본과 max로 합치면 5가 남아 감소가 사라집니다. 증가 벡터 P와 감소 벡터 N을 나누면 둘 다 커지기만 하므로 각각 합쳐져 5−3=2가 그대로 남습니다.

될 수 있습니다. ΣP − ΣN이라 감소가 더 많으면 음수가 나옵니다. 재고처럼 0 아래로 내려가면 안 되는 값에는 그대로 쓰기 어려우며, 그런 곳에는 별도의 예약·정산 절차가 함께 필요합니다.

재는 대상이 다릅니다. 벡터 시계는 두 사건 중 무엇이 먼저인지, 아니면 동시인지를 판정하려고 벡터를 비교합니다. CRDT 카운터는 비교하지 않고 합쳐서 값 하나를 얻는 것이 목적입니다. 생김새가 같은 벡터라 헷갈리기 쉽습니다.

벡터가 노드 수만큼 길어집니다. 노드가 아주 많거나 자주 바뀌는 환경에서는 이 벡터 자체가 부담이 되므로, 실무에서는 오래 쉰 노드의 칸을 정리하는 별도의 절차를 함께 둡니다. 이 도구는 그 정리는 다루지 않습니다.

전송되지 않습니다. 계산은 모두 브라우저 안에서 이루어지고 넣은 값은 이 기기에만 남습니다.