【摘 要】
：
由于指导语句动态嵌套与绑定规则的存在,OpenMP程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析可以部分确定指导语句的嵌套类型,这些信息可
论文部分内容阅读
由于指导语句动态嵌套与绑定规则的存在,OpenMP程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析可以部分确定指导语句的嵌套类型,这些信息可以用于指导后续的编译与优化.由于函数调用的存在,嵌套与绑定常常会跨越过程边界,除了通常的局部和全局分析之外,还需要过程间分析的支持.通过在通常的过程间分析的基础上附加信息,可以使得嵌套类型信息在过程调用图中进行传播.将这些全局信息与过程内的局部信息结合起来,就可以在编译时刻确定语句的嵌套类型.结果表明,编译时刻的嵌套类型分析可以有效地确定
其他文献
目的：构建人源Runx2过表达重组载体，探讨Runx2对骨肉瘤细胞增殖能力的影响。方法：以HEK293细胞总RNA为模板，反转录为cDNA，通过PCR技术扩增Runx2全长基因并连接至真核表达质粒pcDNA
锡伯文是对清代满文的继承和发展，但与满文又不尽相同。《察布查尔报》是我国唯一的锡伯文报纸，它在锡伯文书面语言的形成过程中起了重要的推动作用，同时锡伯语报刊的创办又极大
利用量子博弈理论中量子策略比经典策略更具优越性这一结论,为实现量子逻辑或门提供了一套新的方案,该方案的工作机制为用两个单量子硬币理论来解释实现量子或门的过程。
笔式用户界面是Post-WIMP界面的重要形态,在许多领域得到广泛应用.笔式界面设计需要设计者和用户的共同参与.捕获用户使用意图是设计笔式用户界面的前提,连接交互信息的表示
循环经济本质上是一种生态经济，与传统经济不同，追求兼顾资源、环境影响的生态经济效率而非牺牲资源环境的单纯的经济增长。新的效率标准要求开展经济评价的审计面向循环经济体