[논문 리뷰] MICRO SPITBOL

Martin Charles Golumbic, Clinton F. Goss|arXiv (Cornell University)|2011. 09. 02.

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

한 줄 요약

이 논문은 마이크로컴퓨터 시스템을 위한 마이크로 스피트볼(MICRO SPITBOL)을 제시한다. 이는 시스템의 무결성을 유지하기 위해 주로 자동 기법을 사용하는, 작고 이식 가능한 MACRO SPITBOL의 구현이다. 65K바이트 메모리 제약이 있는 마이크로컴퓨터로의 초도 이식을 상세히 기술하고, 해석형 객체 코드의 절차 기반 압축에서 발생하는 이론적 과제를 분석한다.

ABSTRACT

A compact version of MACRO SPITBOL, a compiler/ interpreter for a variant of SNOBOL4, has been developed for use on microcomputer systems. The techniques for producing an implementation are largely automatic in order to preserve the integrity and portability of the SPITBOL system. These techniques are discussed along with a description of an initial implementation on a 65K byte minicomputer. An interesting theoretical problem which arises when using procedures which compact the interpretive object code is also analyzed.

연구 동기 및 목표

• 마이크로컴퓨터 시스템에 적합한 작고 이식 가능한 MACRO SPITBOL 버전을 개발하기 위해.
• 주로 자동화된 구현 기법을 통해 시스템의 무결성과 이식성을 유지하기 위해.
• 해석형 객체 코드의 절차 기반 압축에서 발생하는 이론적 과제를 다루기 위해.

제안 방법

• MICRO SPITBOL의 구현을 생성하기 위해 자동 코드 생성 기법을 활용한다.
• 65K바이트 메모리 제약이 있는 환경과 같은 제약 조건이 있는 메모리 환경에 맞게 MACRO SPITBOL 시스템을 적응시킨다.
• 해석형 객체 코드를 압축하기 위해 절차를 사용함으로써 이 과정에서 새로운 이론적 문제를 도입한다.
• 원래 SPITBOL 언어의 의미론과 구조를 유지하기 위해 시스템을 설계한다.
• 일致성과 다양한 마이크로컴퓨터 플랫폼 간의 이식성을 보장하기 위해 자동화된 도구를 적용한다.
• 해석 시스템에서의 동적 압축이 가지는 이론적 영향을 분석한다.

실험 결과

연구 질문

• RQ1 무결성을 훼손하지 않으면서도 마이크로컴퓨터 사용을 위해 기능이 풍부한 SPITBOL 시스템을 효과적으로 압축하는 방법은 무엇인가?
• RQ2 최소한의 SPITBOL 구현에서 이식성과 일관성을 보장하기 위해 사용할 수 있는 자동 기법은 무엇인가?
• RQ3 런타임 시스템에서 해석형 객체 코드를 압축하기 위해 절차를 사용할 때 발생하는 이론적 과제는 무엇인가?
• RQ4 해석형 코드의 압축이 시스템 동작과 정확성에 어떤 영향을 미치는가?
• RQ5 최소한의 SPITBOL 시스템에서 코드의 압축성과 해석 성능 사이에는 어떤 상충 관계가 존재하는가?

주요 결과

• MICRO SPITBOL 시스템은 65K바이트 메모리 제약이 있는 마이크로컴퓨터에서 성공적으로 구현되어 마이크로컴퓨터에의 구현 가능성을 입증하였다.
• 자동 기법이 시스템의 무결성을 유지하고 다양한 플랫폼 간의 이식 가능한 컴파일링을 가능하게 하는 데 효과적이었다.
• 해석형 객체 코드를 압축하기 위해 절차를 사용할 경우 비트리스한 이론적 문제가 발생하여 공식적 분석이 필요했다.
• 압축 메커니즘이 정확성을 유지하기 위해 신중한 설계가 필요로 하는 미묘한 상호작용을 유도하였다.
• 크기의 상당한 감소에도 불구하고 원래 MACRO SPITBOL의 의미론과 호환성을 유지하였다.
• 연구 결과 절차 기반 압축이 해석기에서 복잡한 런타임 동작을 유도할 수 있으며, 이는 더 깊은 이론적 분석이 필요하다는 점을 밝혀냈다.