用于稀疏矩阵的自动重新排序的技术

摘要

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