排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
别名分析的精度影响着很多其他编译优化的效果。在对展开后的循环体做指令调度的时候,不精确的别名分析结果会导致冗余数据依赖的产生,从而限制了调度。流敏感的别名分析因为代价过高而扩展性不好。在流不敏感别名信息的基础上,提出了一种需求驱动的流敏感别名检查方法,能够以流敏感的方式判断两个表达式在某程序点上是否为别名。该方法假设两个表达式之间具有别名关系,从而获取初始的数据流事实。用数据流分析技术计算逆向程序点上的数据流事实。如果在所有逆向路径上的数据流事实中都产生了矛盾,则认为别名关系不成立。实验结果表明,该方法能较好地提高别名分析的精度。 相似文献
4.
本文详细探讨了MPP系统的并行SWAP(对换)管理技术;论述了在分布式共享系统完成私有空间、分布共享空间、节点共享空间以及共享虚存空间的SWAP设计与实现;提出了多机并发的SWAP实现策略;解决了矾面淘汰时多处理器的同步、保护以及多机间物理矾面多副本一致性、Cache一致性、TLB一致性等实际问题。 相似文献
5.
6.
1