Key points are not available for this paper at this time.
내결함성 분산 알고리즘은 많은 중요한/고가용성 애플리케이션에서 중요한 역할을 합니다. 이러한 알고리즘은 비동기 통신과 네트워크가 메시지를 잃거나 컴퓨터가 고장나는 등의 오류로 인해 올바르게 구현하기가 notoriously 어렵습니다. 우리는 비동기 결함 시스템을 비동기성과 결함을 시뮬레이션하여 메시지를 삭제하는 적대적 환경으로 간주하는 Heard-Of 모델에 기초한 도메인 특화 언어인 PSync를 소개합니다. PSync에 대한 런타임 시스템을 정의하여 비동기 네트워크에서 효율적으로 실행되도록 합니다. 우리는 런타임 시스템과 PSync 간의 관계를 관찰적 세분화 측면에서 형식화합니다. PSync에 의해 도입된 높은 수준의 동기 추상화는 내결함성 분산 알고리즘의 설계와 구현을 단순화하고 자동화된 형식 검증이 가능하게 합니다. 우리는 부분 동기 네트워크를 위한 런타임 시스템과 함께 Scala 프로그래밍 언어에 PSync의 임베딩을 구현했습니다. 여러 중요한 내결함성 분산 알고리즘을 구현하여 PSync의 적용 가능성을 보여주고, 코드 크기, 런타임 효율성 및 검증 측면에서 PSync에서의 합의 알고리즘 구현과 다른 언어에서의 구현을 비교합니다.
Drăgoi 외 (Mon,) 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: