FORALL实现过程中的局部性优化

FORALL结构是FORTRAN95的一种语法,在编译器中高效地实现FORALL结构是一项富有挑战性的工作,局部性优化对其高效实现尤其重要。本文介绍作者在G95编译器中实现FORALL结构时用到的两种局部性优化方法———临时空间合并和嵌套循环排序。实验结果表明,局部性优化对提高FORALL结构的性能非常有效。对某类FORALL结构,与Intel的EFC编译器相比,我们的实现方法能提高30%的性能。

关系演算和SQL中使用量词和实现蕴涵的教学方法探讨

在元组关系演算(尤其是元组关系演算语言ALPHA)和关系数据库标准语言中,量词的含义 理解、直接使用、转换使用以及蕴涵功能(Implication)的实现等是教学难点,结合案例提出了讲授 这些知识点的一些新思路和新方法,取得了较好的教学效果.