[发明专利]用于稀疏矩阵的自动重新排序的技术

摘要

用于稀疏矩阵的自动重新排序的技术包含计算装置，所述计算装置用于确定在程序代码的代码区域中定义的表达式的分布性。如果表达式的语义不受表达式的输入/输出的重新排序的影响，则表达式被确定成是分布性的。计算装置对表达式执行相互依赖的阵列分析以确定表达式的相互依赖的阵列的一个或多个集群，其中一个或多个集群的集群的每个阵列互相依赖于集群的每个其它阵列，并且基于相互依赖的阵列的一个或多个集群借助于通过代码区域中的表达式的可重新排序阵列的迭代的后向和前向传播对代码区域执行双向数据流分析。后向传播基于后向传送函数，而前向传播基于前向传送函数。

主权项

一种用于稀疏矩阵的自动重新排序的计算装置，所述计算装置包括：分布性分析模块，用于确定在程序代码的代码区域中定义的表达式的分布性，其中如果所述表达式的语义不受所述表达式的输入或输出的重新排序的影响，则所述表达式被确定成是分布性的；相互依赖的阵列分析模块，用于对所述表达式执行相互依赖的阵列分析以确定所述表达式的相互依赖的阵列的一个或多个集群，其中所述一个或多个集群的集群的每个阵列相互依赖于所述集群的每个其它阵列；以及可重新排序阵列发现模块，用于基于所述相互依赖的阵列的所述一个或多个集群借助于通过所述代码区域中的所述表达式的可重新排序阵列的迭代的后向传播和前向传播对所述代码区域执行双向数据流分析，其中所述后向传播基于后向传送函数，而所述前向传播基于前向传送函数。