CRDT를 이용한 동적 소프트웨어 업데이트

본 논문은 분산 애플리케이션 (Distributed Applications)의 동적 소프트웨어 업데이트 (Dynamic Software Updates)를 위해 충돌 없는 복제 데이터 타입 (Conflict-free Replicated Data Types, CRDTs)을 어떻게 사용할 수 있는지 조사합니다. 우리는 애플리케이션 업데이트를 새로운 App CRDT로 모델링할 것을 제안하며, 이는 코드 업데이트의 전체 순서 (Total Order)를 정의하는 시맨틱 버전 (Semantic Version)과 연관된 애플리케이션 코드를 저장합니다. App CRDT는 API 호환 메시지 전달 미들웨어 (API-compatible message delivery middleware)와 함께 작동하며, 이를 통해 애플리케이션은 하위 호환성이 없는 (Backwards-incompatible) 소프트웨어 업데이트 상황에서도 부분적으로 업데이트된 컴포넌트 (Components)를 사용하여 계속 작동할 수 있습니다. 우리는 분산 시스템을 위해 설계된 앰비언트 지향 프로그래밍 언어 (Ambient-oriented programming language)인 AmbientTalk에 우리의 접근 방식을 구현했습니다. 우리는 이 CRDT가 기존 AmbientTalk 애플리케이션과 최소한의 변경만으로 어떻게 통합될 수 있는지 보여줍니다. 또한 우리는 Lua를 위한 앰비언트 지향 프로그래밍 프레임워크 (Ambient-oriented programming framework)인 LuAT에 우리의 접근 방식을 구현했습니다. 이는 코드를 복제하기 위해 CRDT를 사용하는 우리의 접근 방식이 다른 프로그래밍 언어로 일반화될 수 있음을 보여줍니다.