접근 그래프를 이용한 LRU와 FIFO의 상대 최악 순서 분석

초록

본 논문은 접근 그래프 모델을 상대 최악 순서 분석(RWOA)과 결합하여 페이지 교체 알고리즘을 비교한다. FWF는 모든 접근 그래프에서 LRU와 FIFO보다 엄격히 열등함을 보이고, LRU는 경로와 사이클 그래프에서 FIFO보다 우수하지만, 그래프 크기가 시퀀스 길이에 비례해 증가하는 경우 두 알고리즘은 서로 비교 불가능함을 증명한다.

상세 분석

접근 그래프는 페이지 요청 시점의 지역성을 정형화하기 위해 도입된 도구로, 정점은 메모리 페이지를, 간선은 연속된 요청 사이의 허용 전이를 나타낸다. 기존 연구에서는 이러한 그래프를 사용해 경쟁 분석을 수행했으나, 경쟁 비율이 최악 상황에만 초점을 맞추어 실제 성능 차이를 과소평가한다는 한계가 있었다. 본 논문은 이러한 한계를 극복하고자 상대 최악 순서 분석(RWOA)을 적용한다. RWOA는 두 알고리즘 A와 B에 대해, 동일한 입력 시퀀스의 “최악 순서”를 각각 재배열한 뒤, 그 비용을 비교함으로써 알고리즘 간 상대적 강점을 보다 정밀하게 드러낸다.

논문은 먼저 FWF(First‑In‑First‑Out)와 LRU, FIFO를 접근 그래프 위에서 정의하고, 각 알고리즘의 비용 함수를 정형화한다. 주요 정리는 다음과 같다. (1) 모든 유한 접근 그래프 G에 대해, FWF는 RWOA 관점에서 LRU와 FIFO보다 엄격히 열등한다. 이는 FWF가 그래프 구조를 전혀 활용하지 못하고, 언제나 가장 오래된 페이지를 교체하기 때문에, 최악 순서 재배열 시 비용이 급격히 증가함을 보이는 증명으로 뒷받침된다. (2) 경로 그래프와 사이클 그래프라는 제한된 형태의 접근 그래프에서는 LRU가 FIFO보다 항상 더 나은 성능을 보인다. 여기서는 LRU가 최근에 사용된 페이지를 보존함으로써, 그래프의 인접성(인접 정점 간 전이)과 잘 맞물려 교체 횟수를 최소화함을 수학적으로 증명한다. (3) 그러나 그래프가 시퀀스 길이에 비례해 확장되는 특정 패밀리(예: 트리‑형 그래프와 그 변형)에서는 LRU와 FIFO 사이에 전역적인 우열 관계를 정의할 수 없으며, 각각의 최악 순서에 따라 어느 쪽이든 우위가 바뀔 수 있음을 보인다. 이는 두 알고리즘이 서로 다른 구조적 특성을 활용하기 때문에 발생하는 현상으로, RWOA가 이러한 미묘한 차이를 포착한다는 점을 강조한다.

또한 논문은 증명 기법으로 그래프 이론적 구성과 비용 하한·상한 분석을 결합한다. 특히, “가장 긴 경로”와 “최소 사이클 커버” 개념을 이용해 최악 순서 재배열을 설계하고, 그에 따른 페이지 폴트 수를 정확히 계산한다. 이러한 접근법은 기존 경쟁 분석에서 사용되던 “악성 입력”을 일반화한 형태라 할 수 있다.

결과적으로, 접근 그래프와 RWOA를 결합함으로써 페이지 교체 알고리즘의 성능을 보다 현실적인 관점에서 비교할 수 있음을 입증한다. 특히, LRU가 실제 시스템에서 지역성을 활용하는 데 강점이 있음을 이론적으로 뒷받침하고, FIFO가 특정 구조에서는 경쟁력을 유지할 수 있음을 동시에 보여준다.