Trident: Efficient Load Verification for Yoked Surface Codes using a Three-Level Memory Hierarchy

양자 컴퓨터는 새로운 약물을 설계하는 것부터 복잡한 암호를 해독하는 것에 이르기까지, 현재의 고전적 컴퓨터로는 불가능한 문제들을 해결할 것을 약속합니다. 하지만 이 기계들의 구성 요소인 큐비트(qubit)라고 알려진 것들은 믿을 수 없을 정도로 취약합니다. 이들은 주변 환경으로부터 오는 아주 작은 방해에도 거의 즉각적으로 정보를 잃어버립니다. 이를 유용하게 만들기 위해, 과학자들은 수학이라는 보호층인 오류 정정(error correction)으로 이들을 감싸야 합니다. 이 과정은 많은 수의 신뢰할 수 없는 물리적 큐비트를 하나의 안정적인 '논리적(logical)' 큐비트로 묶어, 실제 작업을 수행할 수 있을 만큼 충분히 오래 생존하게 만드는 과정을 포함합니다. 이러한 보호를 위한 가장 흔한 방법은 표면 코드(surface code)로 알려져 있는데, 이는 효과적이긴 하지만 하드웨어 측면에서 매우 비용이 많이 듭니다. 즉, 단 하나의 논리적 큐비트를 만들기 위해 거의 천 개의 물리적 큐비트가 필요합니다. 양자 컴퓨터를 실용적으로 만들기 위해 연구자들은 요크드 표면 코드(Yoked Surface Code)라고 불리는 더 효율적인 저장 방법을 개발했습니다. 이 기술은 마치 안전망과 같은 영리한 체크 방식을 사용하여, 하나의 하드웨어 블록이 훨씬 더 많은 논리적 큐비트를 보유할 수 있게 해줍니다. 그러나 이 효율성에는 숨겨진 대가가 따릅니다. 이 저장소에서 데이터를 넣고 빼는 과정이 느리고 위험하여, 전체 컴퓨터의 속도를 늦추는 병목 현상을 만들어냅니다.

조지아 공과대학교와 노스웨스턴 대학교의 연구팀은 이 병목 현상을 식별하고 트리던트(Trident)라고 불리는 해결책을 제안했습니다. 그들의 시뮬레이션에 따르면, 현재 이러한 효율적인 저장 블록에서 데이터를 추출하는 방식은 데이터가 제대로 도착했는지 확인하기 위해 컴퓨터를 오랫동안 일시 정지하도록 강제합니다. 이 검증 단계는 메모리 대기 시간의 대부분을 차지하며, 이로 인해 강력한 연산 부품들이 유휴 상태로 남게 됩니다. 연구진은 효율적인 저장 블록이 데이터를 보관하는 데는 훌륭하지만, 컴퓨터가 데이터를 빠르게 가져와야 할 때는 사용하기에 너무 느리다는 것을 발견했습니다. 반대로, 덜 효율적이지만 더 단순한 버전의 저장 방식은 접근하기는 빠르지만, 모든 곳에 사용하기에는 너무 많은 공간을 차지합니다. 팀의 통찰력은 이 두 가지의 장점을 결의한 3단계 메모리 시스템을 구축하는 것이었습니다. 그들은 주 프로세서와 대규모 저장소 사이에 작고 빠른 중간 계층을 추가했습니다. 이 중간 계층은 컴퓨터가 다음에 필요할 가능성이 높은 데이터를 위한 대기 공간 역할을 하며, 이를 통해 대부분의 경우 느리고 무거운 검증 과정을 우회할 수 있게 해줍니다.

연구진은 이 새로운 3단계 시스템을 관리하는 두 가지 다른 방식을 테스트했습니다. 첫 번째 방식은 '수요 기반(demand-driven)'이라 불리며, 표준 컴퓨터의 캐시처럼 작동합니다. 이는 프로그램이 사용하는 데이터를 관찰하고 가장 빈번하게 필요한 항목을 빠른 중간 계층에 유지합니다. 두 번째 방식은 '프리페치 기반(prefetch-driven)'이라 불리며, 더 선제적입니다. 이는 다음에 필요할 것으로 예측되는 데이터를 미리 파악하여 컴퓨터가 요청하기도 전에 빠른 계층으로 이동시킵니다. 시뮬레이션에서 수요 기반 방식은 현재의 표준보다 약 2.8배 더 빠르게 실행되었습니다. 프리페치 기반 방식은 더욱 효과적이어서 속도를 4.2배 높였습니다. 이러한 성과는 상당한데, 현재의 표준은 완료하는 데 178 사이클이 걸리는 검증 지연에 의해 제한되는 반면, 새로운 시스템은 이 대기 시간을 아주 작은 부분으로 줄여주기 때문입니다. 연구진은 만약 이 지연을 완전히 제거할 수 있다면 컴퓨터가 5.7배 더 빨라질 것이라고 언급했는데, 그들의 새로운 디자인은 그 목표치에 거의 근접했습니다.

이 솔루션의 가장 놀라운 점 중 하나는 추가되는 하드웨어가 매우 적다는 것입니다. 새로운 중간 계층은 매우 작아서 소량의 데이터 항목만을 보유하며, 전체 물리적 큐비트 수를 5% 미만으로 증가시킵니다. 이는 양자 하드웨어를 구축하는 것이 어렵고 비용이 많이 드는 일이기 때문에 매우 중요한 세부 사항입니다. 연구진은 이 작고 빠른 계층을 추가함으로써, 빠르지만 공간을 많이 차지하는 저장 방식을 사용하는 이론적인 '완벽한' 시스템 성능의 거의 74%를 달성할 수 있음을 보여주었습니다. 이는 막대한 물리적 공간 비용을 지불하지 않고도 빠른 저장 방식의 속도 이점을 얻을 수 있음을 의미합니다. 또한 이 연구는 이러한 속도 향상이 정확도를 희생하면서 얻어지는 것이 아님을 확인했습니다. 실제로 컴퓨터가 작업을 더 빨리 완료하기 때문에 시간이 지남에 따라 오류가 누적될 가능성이 낮아져 최종 결과가 더 신뢰할 수 있게 됩니다.

이 작업은 컴퓨터가 계산을 위한 전용 영역과 저장을 위한 별도의 영역을 갖는 특정 유형의 메모리 아키텍처에 기반합니다. 현재의 2단계 설계에서는 컴퓨터가 저장소에서 데이터 조각을 필요로 할 때, 먼저 이를 계산 영역으로 이동시켜야 합니다. 그러나 효율성을 위해 사용되는 저장 방식은 이동 중에 완벽하게 안전하지 않기 때문에, 컴퓨터는 데이터가 손상되지 않았는지 확인하기 위해 모든 데이터 조서 하나하나를 반드시 점검해야 합니다. 이 점검은 매우 시간이 많이 걸려 전체 과정을 지배합니다. 연구진은 더 단순하고 빠른 저장 방식은 데이터 이동과 동시에 검증이 이루어질 수 있는 구조 덕분에 이러한 긴 점검을 필요로 하지 않는다는 것을 발견했습니다. 이 빠른 저장 방식의 일부를 계층 구조의 중간에 배치함으로써, 시스템은 가장 활발한 데이터를 즉각적으로 접근 가능한 구역에 보관할 수 있습니다. 컴퓨터가 이 빠른 구역에 없는 데이터를 필요로 할 때, 시스템은 이를 먼저 해당 구역으로 이동시키며, 종종 다른 작업들 뒤로 느린 검증 시간을 숨깁니다.

시뮬레이션은 화학 시뮬레이션 및 암호학을 포함한 광범위하고 복잡한 양자 프로그램들을 다루었습니다. 모든 경우에서 새로운 3단계 계층 구조는 기존의 2단계 설계를 능가했습니다. 특히 프리페치 기반 방식은 데이터 접근 패턴이 예측 불가능한 프로그램에서 매우 효과적이었는데, 이는 단순한 수요 기반 방식이 적절한 데이터를 빠른 구역에 유지하는 데 어려움을 겪었던 부분입니다. 연구진은 프리페치 시스템이 데이터 요청의 90% 이상에 대해 검증 지연을 숨길 수 있었으며, 결과적으로 대부분의 작업에서 메모리 접근이 즉각적인 것처럼 느껴지게 한다는 것을 관찰했습니다. 이는 병목 현상이 단순히 사소한 불편함이 아니라, 더 스마트한 레이아웃을 통해 극복할 수 있는 근본적인 한계임을 시사합니다.

결과는 유망하지만, 여전히 시뮬레이션의 영역 내에 있습니다. 연구진은 데이터 이동에 걸리는 시간과 오류 발생 가능성을 고려하여, 이러한 양자 컴퓨터가 어떻게 작동할지에 대한 상세한 모델을 사용했습니다. 그들은 이 테스트를 위해 물리적인 기계를 직접 제작하지는 않았으나, 이 모델은 코드가 기능하는 확립된 원리에 기반하고 있습니다. 본 논문은 단순히 모든 느린 저장소를 빠른 저장소로 교체하는 것이 실행 가능한 해결책이 아님을 명시적으로 배제하는데, 그 이유는 하드웨어 비용이 너무 높기 때문입니다. 대신, 하이브리드 접근 방식이 유일하고 실질적인 경로라고 주장합니다. 연구 결과는 결함 허용(fault-tolerant) 양자 컴퓨팅의 미래가 새로운 유형의 오류 정정 코드를 발명하는 데 있는 것이 아니라, 기존 코드를 메모리 계층 구조로 어떻게 조직하느냐를 재고하는 데 있을 수 있음을 시사합니다. 작은 전략적 계층을 추가함으로써, 연구진은 막대한 물리적 자원을 요구하지 않고도 이러한 기계들의 잠재력을 완전히 끌어올릴 수 있음을 보여주었습니다.