摘要：高级程序变换是提高程序性能的重要手段，很多涉及到优化参数的选择问题，如为循环分块选择适当的分块因子。由于优化参数搜索问题本身是NP难问题，目前尚没有确定性的算法可以有效解决该问题，针对于此，将该问题转化为一个非线性全局最优化问题，提出一种基于改进模拟退火算法的程序性能优化参数搜索算法，实验结果验证了算法的有效性。

关键词：程序性能优化 优化变换 优化参数 模拟退火 

单位：国防科学技术大学计算机学院 湖南长沙410073