[论文解读] MICRO SPITBOL

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

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 实现。
• 将 MACRO SPITBOL 系统适配至内存受限环境，如 65K 字节小型计算机。
• 使用过程压缩解释型目标代码，过程中引入了一项新颖的理论问题。
• 设计系统以保持原始 SPITBOL 语言的语义与结构。
• 应用自动化工具以确保在不同微型计算机平台上的一致性和可移植性。
• 分析动态压缩在解释系统中引发的理论影响。

实验结果

研究问题

• RQ1 如何在不牺牲完整性的前提下，有效压缩全功能 SPITBOL 系统以适用于微型计算机？
• RQ2 可采用哪些自动化技术来确保最小化 SPITBOL 实现的可移植性与一致性？
• RQ3 在运行时系统中使用过程压缩解释型目标代码时，会引发哪些理论挑战？
• RQ4 解释型代码的压缩如何影响系统行为与正确性？
• RQ5 在最小化 SPITBOL 系统中，代码紧凑性与解释性能之间存在哪些权衡？

主要发现

• MICRO SPITBOL 系统已在 65K 字节小型计算机上成功实现，证明了其在微型计算机上部署的可行性。
• 自动化技术在保持系统完整性以及实现跨平台可移植编译方面表现有效。
• 在使用过程压缩解释型目标代码时，出现了一个非平凡的理论问题，需要进行形式化分析。
• 压缩机制引入了细微的交互作用， necessitating 仔细设计以维持正确性。
• 尽管体积显著减小，该系统仍保持与原始 MACRO SPITBOL 语义的兼容性。
• 研究表明，解释器中基于过程的压缩可能引入复杂的运行时行为，需要更深入的理论审视。