...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Fast Frequent Querying with Lazy Control Flow Compilation
【24h】

Fast Frequent Querying with Lazy Control Flow Compilation

机译：带有惰性控制流编译的快速频繁查询

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

摘要

Control flow compilation is a hybrid between classical WAM compilation and meta-call, limited to the compilation of non-recursive clause bodies. This approach is used successfully for the execution of dynamically generated queries in an inductive logic programming setting (ILP). Control flow compilation reduces compilation times up to an order of magnitude, without slowing down execution. A lazy variant of control flow compilation is also presented. By compiling code by need, it removes the overhead of compiling unreached code (a frequent phenomenon in practical ILP settings), and thus reduces the size of the compiled code. Both dynamic compilation approaches have been implemented and were combined with query packs, an efficient ILP execution mechanism. It turns out that locality of data and code is important for performance. The experiments reported in the paper show that lazy control flow compilation is superior in both artificial and real life settings.
机译：控制流编译是经典WAM编译和元调用之间的混合，仅限于非递归子句主体的编译。此方法已成功用于归纳逻辑编程设置（ILP）中动态生成的查询的执行。控制流编译将编译时间减少了一个数量级，而不会减慢执行速度。还介绍了控制流编译的一个惰性变体。通过按需编译代码，它消除了编译未到达代码的开销（在实际的ILP设置中经常发生的现象），从而减小了编译代码的大小。两种动态编译方法均已实现，并与有效的ILP执行机制查询包结合在一起。事实证明，数据和代码的本地性对于性能至关重要。该论文报道的实验表明，在人工和现实环境中，惰性控制流编译均具有优越性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号