[論文レビュー] MICRO SPITBOL

Martin Charles Golumbic, Clinton F. Goss|arXiv (Cornell University)|Sep 2, 2011

Parallel Computing and Optimization Techniques参考文献 7被引用数 1

ひとこと要約

本稿では、システム整合性を保つ largely 自動的手法を用いて、マイクロコンピュータシステム向けにコンパクトでポータブルな MACRO SPITBOL の実装である MICRO 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 の意味論と互換性を維持した。
• 本研究により、インタプリタにおける手続きベースの圧縮が、より深い理論的検討を要する複雑な実行時動作を引き起こす可能性があることが明らかになった。