用于调试存储器一致性模型的系统和方法专利登记公告

专利名称：用于调试存储器一致性模型的系统和方法

摘要：一种用于分析关于存储器模型（M）的测试程序（P）的方法和系统，包括将测试程序预处理为中间形式，以及将所述测试程序的中间形式转换（204）为关系逻辑表示。将所述关系逻辑表示与存储器模型（M）组合（206），以产生合法性公式。在搜索所述存储器模型的空间或者所述合法性公式的核心上计算（208）界限的集合。求解（212）由所述合法性公式和所述界限的集合定义的关系可满足性问题，以判定所述测试程序的合法轨迹或者调试所述存储器模型。

专利类型：发明专利

专利号：CN201080050828.8

专利申请（专利权）人：国际商业机器公司

专利发明（设计）人：J.多尔比;E.托拉克;M.瓦齐里

主权项：一种用于分析关于存储器模型的测试程序的方法，包括：使用处理器将测试程序（P）预处理为中间形式（220）；将所述测试程序的中间形式转换（204）为关系逻辑表示；将所述关系逻辑表示与存储器模型（M）组合（206），以产生合法性公式；在搜索所述存储器模型的空间或所述合法性公式的核心上计算（208）界限的集合；以及求解（212）由所述合法性公式和所述界限的集合定义的关系可满足性问题，以进行判定所述测试程序的合法轨迹以及调试所述存储器模型中的至少一个。

专利地区：美国