[发明专利]静态数据竞争检测和分析

摘要

本发明涉及静态数据竞争检测和分析。对多线程应用的至少一部分进行静态数据竞争分析以标识多线程应用中的潜在的数据竞争缺陷。静态数据竞争分析包括组件内静态分析以及组件间静态分析。给定组件的组件内静态分析包括标识组件中的一组存储器访问操作。对于该组存储器操作中的至少一个的每一个，该分析确定是否存在与存储器访问命令相关联的数据竞争保护元件。

主权项

一种对多线程应用的至少一部分执行静态数据竞争分析以便标识多线程应用中的潜在的数据竞争缺陷的方法，所述方法包括：对所述多线程应用的至少多个组件执行组件内静态分析的动作，所述组件内静态分析包括对于所述多个组件中至少一些组件中的每一个的以下动作：标识组件内的一组存储器访问操作的动作；以及对于所述组件中的该组存储器访问操作中的每一个存储器访问操作，执行以下动作：确定是否有与所述存储器访问操作相关联的数据竞争保护元件的动作，其中所述数据竞争保护元件包括锁和易失性存储器访问；以及对所述多个组件执行组件间静态分析的动作。