수렴만으로는 부족하다: Automerge의 한계와 라이브 시스템 병합의 문제

Convergence Is Not Enough

Livelymerge 프로젝트에서 우리는 모든 객체, 클래스, 메서드가 Automerge 문서인 시스템을 구축 중이다. Automerge는 수렴을 보장하지만, 실행 중인 프로그램의 힙을 병합할 때 불변식이 깨질 수 있다. 예를 들어, 두 클라이언트가 연결 리스트를 동시에 수정하면 리스트가 잘리거나 순환이 생길 수 있다. 이는 Automerge가 의도가 아닌 쓰기 효과를 재생하기 때문이다. 우리는 병합 인식 데이터 타입이라는 방향을 탐구 중이며, Kleppmann 등의 move 연산과 Coln 프로젝트가 관련 작업이다.