테스트 앤 셋과 맥스 레지스터로 구현한 1비트 스와프 객체

초록

본 논문은 단일 맥스 레지스터와 무한히 많은 테스트‑앤‑셋 비트를 이용해 1비트 스와프 객체를 선형화 가능하고 대기 자유(wait‑free)하게 구현한다. 각 swap 연산은 최대 세 단계만 수행되며, 무작위화 기법을 적용하면 맥스 레지스터와 테스트‑앤‑셋을 읽기‑쓰기 레지스터로 대체할 수 있다. 이 경우 swap 연산의 기대 단계 수는 O(max(log n, min(log t, n)))가 된다.

상세 분석

이 연구는 공유 메모리 시스템에서 가장 기본적인 동기화 원소인 스와프(swap) 연산을 극한에 가깝게 단순화한다는 점에서 의미가 크다. 스와프는 “값을 교환하고 이전 값을 반환”하는 연산으로, 일반적인 구현은 복수의 읽기‑쓰기 레지스터와 복잡한 비교‑교환(CAS) 루프를 필요로 한다. 저자들은 대신 하나의 max 레지스터와 무한히 많은 테스트‑앤‑셋(TAS) 비트를 사용해 1비트 스와프를 구현한다. max 레지스터는 현재 스와프 객체가 가지고 있는 가장 큰(즉, 최신) 타임스탬프를 보관하고, TAS 비트는 각 프로세스가 특정 타임스탬프에 대해 경쟁할 때 일종의 “잠금” 역할을 한다. 알고리즘은 크게 세 단계로 구성된다. 첫째, 프로세스는 자신의 요청을 나타내는 새로운 타임스탬프를 max 레지스터에 기록한다(이때 max 연산을 통해 기존 값보다 크면 교체). 둘째, 해당 타임스탬프에 대응하는 TAS 비트를 시도한다. 성공하면 자신이 최신 요청임을 확정하고, 현재 객체 값을 읽어 반환한다. 셋째, 객체 값을 자신의 입력 비트와 교환한다. 이 흐름은 언제나 최대 세 번의 원자적 연산(읽기, max, TAS)만을 사용하므로 단계 복잡도가 상수이다. 선형화 가능성은 각 swap이 “max 레지스터에 기록된 순간”을 선형화 포인트로 두어 증명한다. 또한, 모든 프로세스가 유한 단계 내에 진행을 마치므로 대기 자유성을 만족한다. 무작위화 확장은 기존의 max 레지스터와 TAS 비트를 읽기‑쓰기 레지스터로 구현하는 방법을 차용한다. 여기서는 각 레지스터에 대해 무작위화된 백오프(back‑off)와 경쟁을 도입해 충돌을 확률적으로 회피한다. 결과적으로, t번의 값 변경이 일어난 뒤의 i번째 swap은 O(log t) 정도의 기대 단계 수를 갖지만, 프로세스 수 n이 더 큰 경우에는 O(log n)으로 제한된다. 따라서 전체 기대 복잡도는 O(max(log n, min(log t, n)))가 된다. 이와 같은 비용 구조는 기존의 일반적인 스와프 구현보다 현저히 낮으며, 특히 값이 자주 변하지 않는 상황에서 거의 상수에 가까운 성능을 제공한다.