[논문 리뷰] Cove: A Practical Quantum Computer Programming Framework

Matt Purkeypile|ArXiv.org|2009. 11. 12.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 11

한 줄 요약

Cove는 상용 소프트웨어 개발자들을 대상으로 하며, 고전적 객체 지향 언어를 확장하여 양자 계산을 가능하게 하는 실용적인 양자 프로그래밍 프레임워크이다. 강력한 문서화와 다중 언어 지원을 통해 익숙한 프로그래밍 패러다임에 양자 연산을 통합함으로써 Cove는 양자 프로그래밍을 실제 소프트웨어 개발 환경에서 접근 가능하고 사용 가능하게 만든다.

ABSTRACT

While not yet in commercial existence, quantum computers have the ability to solve certain classes of problems that are not efficiently solvable on existing Turing Machine based (classical) computers. For quantum computers to be of use, methods of programming them must exist. Proposals exist for programming quantum computers, but all of the existing ones suffer from flaws that make them impractical in commercial software development environments. Cove is a framework for programming quantum computers that extends existing classical languages to allow for quantum computation, thus providing a quantum computing toolkit for commercial software developers. Since the target users of Cove are commercial developers, it is an object oriented framework that can be used by multiple languages and also places emphasis on complete documentation. The focus of Cove is not so much on the software product, but on the fundamental concepts that make quantum computing practical for common developers.

연구 동기 및 목표

• 상용 소프트웨어 개발 환경에 적합한 실용적인 양자 프로그래밍 도구의 부족을 보완한다.
• 유연한 통합을 통해 기존 고전적 프로그래밍 언어 내에서 양자 계산을 가능하게 한다.
• 초보자도 양자 컴퓨팅에 익숙하지 않더라도 접근하기 쉬운 포괄적이고 철저하게 문서화된 프레임워크를 제공한다.
• 사용성과 확장성을 중시하여 양자 프로그래밍의 장기적 채택과 산업적 활용을 지원한다.
• 주류 소프트웨어 엔지니어들이 접근하고 실용적으로 사용할 수 있도록 양자 컴퓨팅의 기본 개념을 정립한다.

제안 방법

• C#, VB.NET 등 기존 고전적 프로그래밍 언어에 양자 연산을 위한 도메인 전용 구문과 라이브러리를 확장한다.
• 테스트 및 개발를 위해 고전적 하드웨어에서 양자 행동을 모방하는 가상의 양자 머신 모델을 구현한다.
• 객체 지향 원칙을 활용해 양자 회로, 큐비트, 연산을 재사용 가능한 컴포넌트로 캡슐화한다.
• 개발자 생산성과 학습을 지원하기 위해 종합적인 문서화와 도구를 통합한다.
• 공통 런타임과 API 계층을 통해 다중 언어 지원을 구현하여 다국적 언어 간의 양자 애플리케이션 개발을 가능하게 한다.
• 클래식 제어 논리와 양자 회로 실행 간의 명확한 분리를 설계하여 명확성과 유지보수성을 향상시킨다.

실험 결과

연구 질문

• RQ1 어떻게 하면 상용 소프트웨어 개발자들이 실용적이고 접근 가능한 양자 프로그래밍을 할 수 있도록 할 수 있는가?
• RQ2 고전적 프로그래밍 모델에 양자 계산을 통합하기 위해 필요한 설계 패턴과 언어 확장은 무엇인가?
• RQ3 새로운 언어나 컴파일러가 필요 없이도 존재하는 고전적 언어 위에 양자 프로그래밍 프레임워크를 구축할 수 있는가?
• RQ4 개발자 생산성을 지원하기 위해 문서화와 도구는 어떻게 구성되어야 하는가?
• RQ5 산업적 활용을 위한 확장 가능하고 스케일링 가능한 양자 프로그래밍 프레임워크를 설계하기 위한 아키텍처 원칙은 무엇인가?

주요 결과

• Cove는 고전적 객체 지향 언어에 양자 기능을 성공적으로 확장하여 개발자들이 익숙한 프로그래밍 구조를 사용해 양자 알고리즘을 작성하고 테스트할 수 있도록 했다.
• 프레임워크는 설계에서 실행에 이르기까지 양자 애플리케이션 개발 전 과정을 지원하는 완전하고 철저하게 문서화된 툴킷을 제공한다.
• 양자 연산을 재사용 가능한 컴포넌트로 추상화함으로써 Cove는 코드 유지보수성을 향상시키고, 양자 소프트웨어 공학의 최선의 실천 방식을 촉진한다.
• 가상의 양자 머신을 사용함으로써 고전적 하드웨어에서 정확한 양자 회로 시뮬레이션을 가능하게 하여 디버깅과 테스팅을 촉진한다.
• 다양한 소프트웨어 개발 생태계에서의 광범위한 채택을 가능하게 하기 위해 다중 언어 지원을 제공한다.
• 철저한 언어 통합과 도구 지원을 통해 양자 프로그래밍이 주류 개발자들에게 실용적이고 접근 가능하게 만들 수 있음을 Cove가 입증했다.