익명 메모리 비식별화와 뮤텍스 기반 알고리즘

초록

본 논문은 익명 읽기/쓰기 메모리에서 각 프로세스가 동일한 주소 체계를 공유하도록 하는 “비식별화” 문제를 정의하고, 기존의 대칭적 무한정 교착 상태 없는 뮤텍스 알고리즘을 활용해 간단하면서도 최적의 해결책을 제시한다. 메모리 크기 m이 M(n)= { m | ∀ ℓ∈(1,n] gcd(ℓ,m)=1 } \ {1} 조건을 만족하면, 모든 프로세스가 참여하는 초기화 단계에서 각 레지스터에 대한 전역 매핑을 계산할 수 있다.

상세 분석

논문은 먼저 익명 메모리 모델을 명확히 정의한다. 각 프로세스 p_i는 외부 적대자가 정한 퍼뮤테이션 f_i에 의해 주소 SM