합의 수의 유용성

Question

공유 된 물체의 컨센서스 번호 을 알고있는 정보와 유용성은 무엇입니까?

Answer 1

아마도 Herlihy의 원래 종이 :

동시 데이터 객체의 대기가없는 구현은 다른 프로세스의 실행 속도에 관계없이 유한 수의 단계에서 모든 작업을 완료 할 수 있음을 보장하는 것입니다. 동시 알고리즘, 동시 데이터 구조 및 다중 프로세서 아키텍처에서 훨씬 최근의 작업의 핵심에서 다른 데이터 객체의 대기가없는 구현을 구축하는 문제. 첫째, 양식의 진술을 입증하기 위해 합의 프로토콜을 감소시키기 위해 간단하고 일반적인 기술을 소개합니다. Y의 대기가없는 구현은 없습니다. " 우리는 한 수준의 오브젝트가 낮은 수준의 객체면에서 대기가없는 구현이 없도록 객체의 계층 구조를 도출합니다. 특히, 우리는 최근 관심의 초점이있는 원자 읽기 / 쓰기 레지스터가 계층 구조의 맨 아래에 있음을 보여줍니다. 많은 간단하고 익숙한 데이터 유형의 대기가없는 구현을 구성하는 데 사용할 수 없습니다. 또한 테스트 & 세트 및 페치 앤 추가와 같은 고전적인 동기화 프리미티브는 읽기 및 쓰기보다 강력하고 표준 메시지 전달 프리미티브와 마찬가지로 계산 적으로 약합니다. 둘째, 그럼에도 불구하고, 우리는 순차 객체의 대기가없는 구현을 생성 할 수있는 간단한 범용 객체가 존재한다는 것을 보여줍니다.