支持算法组件自动替换的编程范式及编译框架

摘要：

针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定.为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出.为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配.设计了编译框架原型,或支持算法与编译优化选项的自动选择.实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29.

关键词：算法组件兼容性判定、编程范式、编译框架、迭代编译

所属期刊栏目：23

分类号：TP3;TP2

资助基金：863计划2012AA010902;973计划2011CB302504;国家自然科学基金60970024;国家自然科学基金创新研究群体科学基金60921002

在线出版日期：2014-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1131-1138