L4H가 하드웨어 가상화 없이 Linux 가상머신을 구동한다

L4H는 VT-x나 AMD-V 같은 하드웨어 가상화 기능 없이 Linux 가상머신을 실행합니다. seL4 마이크로커널 위에서 Linux 커널을 사용자 모드 스레드로 돌리는 방식입니다. 가상화에 당연히 필요하다고 여겼던 기능을 빼고도 Linux를 띄운다는 점이 오래 남습니다.

NSL은 Linux 호스트에서 서명된 배포판 7종을 가상 머신으로 실행하고, 호스트 변경 없이 격리 옵션을 제공합니다. L4H는 VT-x·AMD-V·EL2 같은 하드웨어 가상화 기능 없이 Linux 가상머신을 실행합니다. 두 기사는 Linux 가상머신을 다루지만, 초점은 다릅니다. NSL은 배포판 실행과 격리 옵션을 보여줍니다. L4H는 하드웨어 가상화 기능을 쓰지 않는 구동 방식을 보여줍니다.

반가운 대목은 하드웨어 가상화 기능이 없는 환경에서도 선택지를 넓힌다는 점입니다. 프로젝트가 공개한 성능 설명에서는 I/O 집약적 작업이 Xen PV와 대체로 비슷하고, gVisor systrap 모드보다 2~20배 빠릅니다. 가상머신의 격리를 유지하면서 이 정도 성능을 낼 수 있다면 흥미로운 대안입니다.

다만 성능 수치는 프로젝트가 공개한 설명이고, 대부분의 작업에서 베어메탈보다 5~10% 느릴 것으로 예상합니다. 이 차이가 중요한 작업이라면 직접 비교할 기준을 정해야 합니다. TPM 2.0이 있으면 부팅 측정과 원격 증명을 쓸 수 있습니다. 지원되는 Intel·AMD 플랫폼에서는 IOMMU가 블록·네트워크 구성 요소를 보호합니다. 따라서 내가 쓰려는 하드웨어가 필요한 보안 기능을 갖췄는지부터 확인해야 합니다.

먼저 운영할 컴퓨터의 CPU와 TPM 2.0, IOMMU 지원 여부를 확인하십시오. 그다음 실제 작업에서 필요한 처리량을 정하고, L4H와 베어메탈의 성능을 같은 조건으로 재 보십시오. 예상한 성능 차이 안에 들어오는지 직접 시험하면 선택이 한결 구체적입니다.

가상머신을 선택할 때 하드웨어 의존성을 줄이는 일과 성능을 지키는 일 가운데 무엇부터 확인하시겠습니까?