• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), Sep 5-7, 2001, Florence, Italy >Instruction Merging and Specialization in the SICStus Prolog Virtual Machine
【24h】

Instruction Merging and Specialization in the SICStus Prolog Virtual Machine

机译：SICStus Prolog虚拟机中的指令合并和专门化

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Wanting to improve execution speed and reduce code size of SICStus Prolog programs, we embarked on a project whose aim was to systematically investigate combination and specialization of WAM instructions. Various variants of the SICStus Prolog virtual machine instruction set were designed, implemented, and their performance was evaluated against standard benchmarks and on big Prolog programs. In this paper, we describe our methodology in finding appropriate candicates for instruction merging and specialization, discuss related trade-offs, present detailed statistics and performance measurements that we gathered, and report on our experiences from our involvement in this feat. In short, our experience is positive: the speedup of performing instruction merging and specialization in the context of the SICStus emulator is approximately 10%, while the bytecode size reduction is about 15%.
机译：为了提高执行速度并减少SICStus Prolog程序的代码大小，我们启动了一个项目，旨在系统地研究WAM指令的组合和专业化。设计，实现了SICStus Prolog虚拟机指令集的各种变体，并根据标准基准和大型Prolog程序评估了它们的性能。在本文中，我们描述了我们的方法，以找到合适的指令合并和专业化用语，讨论相关的权衡取舍，提供我们收集的详细统计数据和性能度量，并从参与这一壮举中报告我们的经验。简而言之，我们的经验是积极的：在SICStus仿真器的上下文中执行指令合并和专门化的速度大约提高了10％，而字节码大小的减小大约了15％。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号