[논문 리뷰] Lightweight User-Space Record And Replay

Rumsevicius, Ugnius, Venkateshwaran, Siddhanth외 2명|arXiv (Cornell University)|2016. 10. 07.

Parallel Computing and Optimization Techniques참고 문헌 28인용 수 7

한 줄 요약

이 논문은 ptrace를 사용한 시스템 호출 기록, 하드웨어 성능 카운터를 사용한 정밀한 이벤트 타이밍, 그리고 seccomp-bpf와 perf 컨텍스트 스위치 이벤트를 활용한 새로운 시스템 호출 버퍼링 최적화를 조합하여, 수정되지 않은 사용자 공간 응용 프로그램을 스톡 x86/x86-64 하드웨어와 커널에서 저지연으로 기록하고 결정론적으로 재생할 수 있는 경량 사용자 공간 기록-재생 시스템 RR을 제시한다. RR은 커널 수정 없이도 광범위한 코드 인strumentation 없이 실세계 워크로드에서 2배 이내의 저지연을 달성한다.

ABSTRACT

Browsers are the main way in which most users experience the internet, which makes them a prime target for malicious entities. The best defense for the common user is to keep their browser always up-to-date, installing updates as soon as they are available. Unfortunately, updating a browser is disruptive as it results in loss of user state. Even though modern browsers reopen all pages (tabs) after an update to minimize inconvenience, this approach still loses all local user state in each page (e.g., contents of unsubmitted forms, including associated JavaScript validation state) and assumes that pages can be refreshed and result in the same contents. We believe this is an important barrier that keeps users from updating their browsers as frequently as possible. In this paper, we present the design, implementation, and evaluation of Sinatra, which supports instantaneous browser updates that do not result in any data loss through a novel Multi-Version eXecution (MVX) approach for JavaScript programs, combined with a sophisticated proxy. Sinatra works in pure JavaScript, does not require any browser support, thus works on closed-source browsers, and requires trivial changes to each target page, that can be automated. First, Sinatra captures all the non-determinism available to a JavaScript program (e.g., event handlers executed, expired timers, invocations of Math.random). Our evaluation shows that Sinatra requires 6MB to store such events, and the memory grows at a modest rate of 253KB/s as the user keeps interacting with each page. When an update becomes available, Sinatra transfer the state by re-executing the same set of non-deterministic events on the new browser. During this time, which can be as long as 1.5 seconds, Sinatra uses MVX to allow the user to keep interacting with the old browser. Finally, Sinatra changes the roles in less than 10ms, and the user starts interacting with the new browser, effectively performing a browser update with zero downtime and no loss of state.

연구 동기 및 목표

• 수정되지 않은 리눅스 사용자 공간 응용 프로그램에 대해 커널 수정 없이도 실용적이고 저지연의 기록-재생을 가능하게 하기.
• 특히 ptrace, 하드웨어 성능 카운터, seccomp-bpf, perf 컨텍스트 스위치 이벤트와 같은 기존 하드웨어 및 운영체제 기능을 식별하고 활용하여 완전히 사용자 공간 기반 솔루션을 구축하기.
• seccomp-bpf와 perf 컨텍스트 스위치 이벤트를 활용한 새로운 시스템 호출 버퍼링 최적화를 통해 ptrace 컨텍스트 스위치로 인한 성능 저하를 줄이기.
• 데이터 레이스나 비동기 신호와 같은 비결정론적 행동이 존재하더라도, 일반적인 x86/x86-64 시스템과 스톡 커널에서 결정론적 재생이 가능하다는 것을 입증하기.
• 역방향 실행 디버깅과 복잡한 응용 프로그램의 포렌식 분석을 지원하는 프로덕션 수준의 오픈소스 프레임워크를 제공하기.

제안 방법

• ptrace를 사용해 시스템 호출 진입 및 종료를 모니터링하고, 레지스터 및 메모리 상태 변화를 기록한다.
• 데이터 레이스 비결정론성을 제거하기 위해 단일 스레드 실행을 강제하며, 재생 시 정확한 사용자 공간 상태와 메모리 레이아웃을 유지한다.
• 하드웨어 성능 카운터를 활용해 커널 차단을 감지하고, 정밀한 재생 시점에 비동기 이벤트(예: 신호, 컨텍스트 스위치)를 전달한다.
• seccomp-bpf를 사용해 특정 시스템 호출에 대해 ptrace 트랩을 억제하는 시스템 호출 버퍼링 최적화를 구현하여 고비용 컨텍스트 스위치를 제거한다.
• perf 컨텍스트 스위치 이벤트를 사용해 스레드가 커널에서 차단될 때를 감지하고, 재생 중 다른 스레드의 효율적 스케줄링을 가능하게 한다.
• 실제 시스템 호출 없이도 사용자 공간 상태와 실행만 재생하고, 파일 디스크립터, 신호 등의 커널에서 보이는 영향을 재구성한다.

실험 결과

연구 질문

• RQ1 커널 수정 없이도 광범위한 코드 인스트루멘테이션 없이 사용자 공간에서 완전히 구현된 실용적이고 저지연의 기록-재생 시스템을 구축할 수 있는가?
• RQ2 이러한 시스템을 일반적인 x86/x86-64 플랫폼에서 지원하기 위해 필요한 하드웨어 및 운영체제 기능은 무엇인가?
• RQ3 seccomp-bpf와 perf 컨텍스트 스위치 이벤트를 활용한 시스템 호출 버퍼링이 ptrace 컨텍스트 스위치로 인한 성능 저하를 제거할 수 있는가?
• RQ4 단일 스레드 실행 모델은 동시성 버그 탐지에 어떤 영향을 미치며, 커버리지를 향상시키기 위해 확장 가능할 수 있는가?
• RQ5 Firefox, QEMU, Samba와 같은 실제 복잡한 응용 프로그램에서 이러한 시스템의 성능 특성은 어떠한가?

주요 결과

• RR은 중요한 실세계 워크로드에서 기록 및 재생 오버헤드가 두 배 이내로, 실용적인 성능을 입증한다.
• seccomp-bpf와 perf 컨텍스트 스위치 이벤트를 활용한 시스템 호출 버퍼링 최적화로 ptrace 유발 컨텍스트 스위치의 대부분이 제거되어 오버헤드가 극적으로 감소한다.
• RR은 Firefox, Samba, QEMU, LibreOffice, Wine과 같은 복잡하고 수정되지 않은 응용 프로그램을 높은 정밀도로 기록하고 재생하는 데 성공한다.
• 이러한 접근은 특정 하드웨어 및 커널 기능(특히 사용자 공간에서 접근 가능한 결정론적 하드웨어 성능 카운터)을 갖춘 최신 x86/x86-64 시스템에서만 가능하다.
• 이 시스템은 기존 기능(ptrace, perf, seccomp-bpf)을 재사용하여 기록-재생을 구현함으로써, 새로운 하드웨어나 커널 변경 없이도 이러한 시스템을 구축할 수 있음을 보여준다.
• RR은 역방향 실행 디버거의 기초로 프로덕션 환경에 배포되어 실제 활용성과 안정성을 입증했다.