[논문 리뷰] TreatJS: Higher-Order Contracts for JavaScript

Matthias S. Keil, Peter Thiemann|arXiv (Cornell University)|2015. 04. 30.

Logic, programming, and type systems참고 문헌 5인용 수 8

한 줄 요약

TreatJS는 소스 변환 없이 런타임에서 검증되는, 라이브러리 기반의 고계수 수준 계약 체계로, 프oxy와 반사적 샌드박싱을 통해 계약을 강제하며, 런타임 변경 없이 상호 간섭 없이 실행되고 블레임 할당이 보장된다. 이를 통해 전체 자바스크립트를 사용하여 동적이고 조합 가능한 계약을 지원하며, 유니언/인터섹션 타입과 매개변수화된 스코프를 지원하며, Google Octane 벤치마크를 통해 성능이 평가된다.

ABSTRACT

TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contracts in the style of union and intersection types, and its notion of a parameterized contract scope, which is the building block for composable run-time generated contracts that generalize dependent function contracts. TreatJS is implemented as a library so that all aspects of a contract can be specified using the full JavaScript language. The library relies on JavaScript proxies to guarantee full interposition for contracts. It further exploits JavaScript's reflective features to run contracts in a sandbox environment, which guarantees that the execution of contract code does not modify the application state. No source code transformation or change in the JavaScript run-time system is required. The impact of contracts on execution speed is evaluated using the Google Octane benchmark.

연구 동기 및 목표

• 언어나 런타임을 수정하지 않고도 자바스크립트에서 런타임에서 계약을 강제하는 고계수 수준 계약 체계를 설계하는 것.
• 응용 프로그램 상태나 동작 방식을 변경할 수 없도록 계약 실행이 상호 간섭 없이 보장되는 것.
• 클로처와 상태 기반 추상화를 포함한 전체 자바스크립트를 사용하여 동적 계약 생성 및 조합을 지원하는 것.
• 매개변수화된 계약 스코프를 통해 동적이고 조합 가능한 런타임 생성 계약을 가능하게 하여 종속 함수 계약을 일반화하는 것.
• 동적 언어에서 유니언 타입과 인터섹션 타입을 지원하는 체계적인 블레임 할당을 제공하는 것.

제안 방법

• TreatJS는 자바스크립트 프oxy를 사용하여 완전한 중재를 달성하여, 값에 대한 모든 접근이 계약에 의해 모니터링되도록 보장한다.
• 자바스크립트의 반사적 기능을 활용하여 계약을 샌드박스 환경에서 실행함으로써 계약 로직을 응용 프로그램 상태로부터 격리한다.
• 소스 코드 변환이나 런타임 변경 없이, 라이브러리 기반 접근 방식을 통해 계약을 일급 값으로 구현한다.
• 시스템은 평면, 함수, 객체, 유니언, 인터섹션 계약을 지원하며, 불리언 연결자를 사용해 조합할 수 있다.
• 매개변수화된 계약 스코프는 함수 호출 간 상태를 캡처하고 유지할 수 있는 동적이고 조합 가능한 계약 생성을 가능하게 한다.
• 샌드박스 봉인 규칙은 래핑된 값이 정체성을 유지하고, 샌드박스된 객체에 대한 할당을 금지함을 보장한다.

실험 결과

연구 질문

• RQ1 소스 코드 변환이나 런타임 수정 없이 자바스크립트에서 고계수 수준 계약을 어떻게 구현할 수 있는가?
• RQ2 예외를 던지는 예측 불가능한 예측이 있더라도, 계약 실행이 응용 프로그램 동작에 영향을 주지 않도록 보장하는 방법은 무엇인가?
• RQ3 재귀와 상태 기반 추상화를 지원하는 동적이고 조합 가능한 계약 생성을 가능하게 하는 메커니즘은 무엇인가?
• RQ4 유동적이고 프rototype 기반인 자바스크립트와 같은 언어에서 체계적이고 정확한 블레임 할당을 어떻게 보장할 수 있는가?
• RQ5 실제 웹 기반 자바스크립트 벤치마크에서 기능이 풍부한 런타임 검사 계약 체계는 어떤 성능 오버헤드를 유발하는가?

주요 결과

• TreatJS는 언어나 런타임을 수정하지 않고도 표준 자바스크립트 기능만을 사용하여 런타임 모니터링을 통해 계약을 성공적으로 강제한다.
• 시스템은 상호 간섭 없는 실행을 보장한다: 계약 예측이 예외를 던지더라도 응용 프로그램 상태나 동작 방식을 변경할 수 없다.
• 클로저와 상태 기반 추상화를 포함한 전체 자바스크립트 코드를 사용하여 런타임에서 동적으로 계약을 생성하고 조합할 수 있다.
• 매개변수화된 계약 스코프는 종속 함수 계약의 일반화를 가능하게 하며, 조합 가능하고 런타임에 생성된 계약을 지원한다.
• TreatJS의 성능 오버헤드는 Google Octane 벤치마크를 통해 측정되었으며, 기능이 풍부한 동적 계약 체계로서는 수용 가능한 성능을 보였다.
• 샌드박싱은 계약 코드가 응용 프로그램 상태를 수정할 수 없으며, 모든 계약 작업이 격리되고 안전함을 보장한다.