[논문 리뷰] Obladi: Oblivious Serializable Transactions in the Cloud

Natacha Crooks, Matthew Burke외 4명|arXiv (Cornell University)|2018. 09. 27.

Distributed systems and fault tolerance참고 문헌 51인용 수 9

한 줄 요약

Obladi는 클라우드에서 접근 패턴을 은폐하기 위해 옴니버서스 랜덤 액세스 메모리(ORAM)를 사용하면서도 ACID 트랜잭션을 제공하는 최초의 시스템이다. 트랜잭션을 에포크 단위로 묶고 커밋을 에포크 경계까지 연기함으로써 ORAM 대역폭 비용을 줄이고, 안전한 병렬 처리를 가능하게 하여, TPC-C, SmallBank, FreeHealth에서 비공개 기반 시스템 대비 5×–12×의 처리량을 달성한다. 이는 70× 높은 지연 시간에도 불구하고 이루어진다.

ABSTRACT

This paper presents the design and implementation of Obladi, the first system to provide ACID transactions while also hiding access patterns. Obladi uses as its building block oblivious RAM, but turns the demands of supporting transactions into a performance opportunity. By executing transactions within epochs and delaying commit decisions until an epoch ends, Obladi reduces the amortized bandwidth costs of oblivious storage and increases overall system throughput. These performance gains, combined with new oblivious mechanisms for concurrency control and recovery, allow Obladi to execute OLTP workloads with reasonable throughput: it comes within 5x to 12x of a non-oblivious baseline on the TPC-C, SmallBank, and FreeHealth applications. Latency overheads, however, are higher (70x on TPC-C).

연구 동기 및 목표

• 클라우드 데이터베이스에서 ACID 트랜잭션 보장을 동시에 제공하고 접근 패턴의 기밀성을 보장하는 시스템의 부족을 해결하기 위해.
• 특히 동시성, 내구성, 장애 내성 측면에서 기존 ORAM 기법의 성능 및 보안 한계를 극복하기 위해.
• 트랜잭션 의미 체계를 활용하여 ORAM의 효율성을 높이되, 기밀성은 약화시키지 않는 시스템을 설계하기 위해.
• UC 프레임워크를 사용하여 장애 발생 가능성이 있는, 비밀 유지가 가능한, 트랜잭션 기반 데이터베이스에 대한 보안 모델을 체계화하기 위해.

제안 방법

• Obladi는 고정 길이의 에포크 단위로 트랜잭션를 실행하고, 커밋 결정을 에포크의 끝까지 연기함으로써 ORAM 비용을 분산 처리한다.
• 트랜잭션 쓰기 작업을 신뢰할 수 있는 프oxy에서 버퍼링하여, 최종 키 값만 ORAM에 다시 쓰도록 하여 ORAM 연산과 대역폭을 줄인다.
• 에포크 경계에서 요청 간 충돌하는 작업을 중복 제거하고 파이프라인 처리함으로써 Ring ORAM의 안전한 병렬 처리를 가능하게 한다.
• Ring ORAM에서 근사 결정적 쓰기 백업을 활용하여, 실패 시 전체 에포크를 취소함으로써 효율적이고 기밀성을 유지하는 장애 복구를 지원한다.
• 비차단 독서를 허용하고 격리성을 보장하기 위해 지연된 가시성에도 불구하고 다중 버전 동시성 제어를 구현한다.
• 비밀 유지가 가능하고 장애 복구가 가능한, 트랜잭션 기반 데이터베이스를 위한 새로운 UC-보안 모델을 체계화한다.

실험 결과

연구 질문

• RQ1 클라우드 제공자가 접근 패턴을 볼 수 없도록 하면서도 ACID 트랜잭션을 안전하게 지원할 수 있는가?
• RQ2 트랜잭션의 의미 체계는 옴니버서스 스토리지 시스템인 ORAM의 성능 향상에 어떻게 활용될 수 있는가?
• RQ3 에포크 기반 커밋 지연은 접근 패턴을 泄露하지 않으면서도 ORAM 연산의 안전한 병렬 처리를 가능하게 할 수 있는가?
• RQ4 비밀 유지가 가능한 트랜잭션 시스템에서 장애 복구를 위해 지연된 가시성 전략을 사용할 경우 성능 및 보안의 상호 보완적 특성은 어떠한가?
• RQ5 트랜잭션 기반 ORAM 시스템에서 장애 복구 시 내구성과 기밀성을 어떻게 유지할 수 있는가?

주요 결과

• Obladi는 TPC-C, SmallBank, FreeHealth 워크로드에서 비공개 기반 시스템 대비 5×에서 12×의 처리량을 달성한다.
• 지연 시간은 비공개 기반 시스템 대비 70× 높지만, 수백 밀리초 수준을 유지하여 실용적인 반응성을 보인다.
• 에포크 기반 설계 덕분에 쓰기 작업을 묶고 지연시킴으로써 평균 ORAM 대역폭과 CPU 비용을 줄였다.
• 에포크 경계에서 요청 간 작업을 중복 제거하고 파이프라인 처리함으로써 Ring ORAM의 안전한 병렬 처리가 가능해졌다.
• 전체 에포크를 취소함으로써 최소한의 로깅으로 장애 복구를 지원하여 기밀성과 내구성을 유지한다.
• Obladi는 비밀 유지가 가능하고, 트랜잭션 기반이며, 장애 발생 가능성이 있는 데이터베이스 시스템에 대한 첫 번째 공식적인 UC-보안 정의를 제공한다.