| 主权项 |
1.一种用以验证多重节点资料处理系统内快取记忆体连贯之方法,包括:辨识藉模拟该资料处理系统而产生的活动追踪记录内之交易对组,其中该交易对组包括:一代表从该资料处理系统之第一节点的系统滙流排上之处理器发源并引用伴随一第二节点之记忆体位置的交易之外来节点交易(foreign node transaction FNT);及代表由该FNT造成之在该第二节点的系统滙流排上发生之交易的发源节点交易(home node transaction HNT);合并该交易对组的各个交易以形成一对应的合并交易(merged transaction MT),其中该合并交易包括该FNT与该HNT的属性;及藉着将该交易对组的各个交易以其对应之合并交易取代而产生一经修改的活动追踪记录,藉此使该经修改的活动追踪记录适合由一连贯检查器做快取记忆体连贯验证。2.如申请专利范围第1项之方法,其中该HNT是由一连接该第一节点与该第二节点之交换器发源。3.如申请专利范围第1项之方法,其中该合并交易包括该FNT的起始时间与来源。4.如申请专利范围第1项之方法,其中该合并交易包括该HNT的终止时间。5.如申请专利范围第1项之方法,其中该FNT包括一非拥有读取交易,其中被该FNT引用之快取记忆体线在该第一节点上的所有快取记忆体内无效。6.如申请专利范围第1项之方法,其中该FNT包括一拥有交易且被该FNT引用之快取记忆体线不是由该第一节点上的快取记忆体唯一单独拥有。7.如申请专利范围第1项之方法,其中该FNT包括一写入交易。8.如申请专利范围第1项之方法,其中该FNT包括一从包括下列交易之群组中选择的交易:其中被引用之快取记忆体线在该第一节点之所有快取记忆体内无效之非拥有读取交易、其中被引用之快取记忆体线不是由该第一节点内之快取记忆体唯一单独拥有之拥有交易、及写入交易。9.如申请专利范围第8项之方法,其中该MT的起始时间与来源等于该FNT的起始时间与来源,且其中该MT的终止时间、回应、与回应时间等于该HNT的终止时间、回应、与回应时间。10.如申请专利范围第1项之方法,其中该修改活动追踪记录尚包括删除活动追踪记录中源自连接该第一节点与该第二节点之交换器的无效交易。11.一种驻存在电脑可读取媒体上用以验证多重节点资料处理系统内快取记忆体连贯之电脑程式产品,包括:用以辨识藉模拟该资料处理系统而产生的活动追踪记录内之交易对组的电脑编码工具,其中该交易对组包括:一代表从该资料处理系统之第一节点的系统滙流排上之处理器发源并引用伴随一第二节点之记忆体位置的交易之外来节点交易(foreign nodetransaction FNT);及代表由该FNT造成之在该第二节点的系统滙流排上发生之交易的发源节点交易(homenode transaction HNT);用以合并该交易对组的各个交易以形成一对应的合并交易(merged transaction MT)之电脑编码工具,其中该合并交易包括该FNT与该HNT的属性;及用以藉着将该交易对组的各个交易以其对应之合并交易取代而产生一经修改的活动追踪记录之电脑编码工具,藉此使该经修改的活动追踪记录适合由一连贯检查器做快取记忆体连贯验证。12.如申请专利范围第11项之电脑程式产品,其中该HNT源自一连接该第一节点与该第二节点之交换器。13.如申请专利范围第11项之电脑程式产品,其中该合并交易包括该FNT之起始时间与来源。14.如申请专利范围第11项之电脑程式产品,其中该合并交易包括该HNT之终止时间。15.如申请专利范围第11项之电脑程式产品,其中其中该FNT包括一非拥有读取交易且被该FNT引用之快取记忆体线在该第一节点上的所有快取记忆体内无效。16.如申请专利范围第11项之电脑程式产品,其中该FNT包括一拥有交易且被该FNT引用之快取记忆体线不是由该第一节点上的快取记忆体唯一单独拥有。17.如申请专利范围第11项之电脑程式产品,其中该FNT包括一写入交易。18.如申请专利范围第11项之电脑程式产品,其中该FNT包括一从包括下列交易之群组中选择的交易:其中被引用之快取记忆体线在该第一节点之所有快取记忆体内无效之非拥有读取交易、其中被引用之快取记忆体线不是由该第一节点内之快取记忆体唯一单独拥有之拥有交易、及写入交易。19.如申请专利范围第18项之电脑程式产品,其中该MT的起始时间与来源等于该FNT的起始时间与来源,且其中该MT的终止时间、回应、与回应时间等于该HNT的终止时间、回应、与回应时间。20.如申请专利范围第11项之电脑程式产品,其中该用以修改活动追踪记录之编码工具尚包括用以删除活动追踪记录中源自一连接第一节点与第二节点之交换器的无效交易之编码工具。21.一种资料处理系统,该资料处理系统包括处理器、电脑可读取媒体、输入装置、及输出装置,其中该电脑可读取媒体被以电脑指令组态以制备一多重节点资料处理系统之活动追踪记录给快取记忆体连贯检查器使用,该等电脑指令包括:用以辨识该活动追踪记录内之交易对组的电脑编码工具,其中该交易对组包括:一代表从该资料处理系统之第一节点的系统滙流排上之处理器发源并引用伴随一第二节点之记忆体位置的交易之外来节点交易(foreign node transaction FNT);及代表由该FNT造成之在该第二节点的系统滙流排上发生之交易的发源节点交易(home node transaction HNT):用以合并该交易对组的各个交易以形成一对应的合并交易(merged transaction MT)之电脑编码工具,其中该合并交易包括该FNT与该HNT的属性;及用以藉着将该交易对组的各个交易以其对应之合并交易取代而产生一经修改的活动追踪记录之电脑编码工具,藉此使该经修改的活动追踪记录适合由一连贯检查器做快取记忆体连贯验证。22.如申请专利范围第21项之资料处理系统,其中该FNT包括一从包括下列交易之群组中选择的交易:其中被引用之快取记忆体线在该第一节点之所有快取记忆体内无效之非拥有读取交易、其中被引用之快取记忆体线不是由该第一节点内之快取记忆体唯一单独拥有之拥有交易、及写入交易。23.如申请专利范围第22项之资料处理系统,其中该MT的起始时间与来源等于该FNT的起始时间与来源,且其中该MT的终止时间、回应、与回应时间等于该HNT的终止时间、回应、与回应时间。24.如申请专利范围第23项之资料处理系统,其中该用以修改活动追踪记录之编码工具尚包括用以删除活动追踪记录中源自一连接第一节点与第二节点之交换器的无效交易之编码工具。图式简单说明:图1是NUMA资料处理系统的一种具体实例方块图;图2是图1之资料处理系统的一个节点之一种具体实例的方块图;图3是根据以前技术之传统SMP系统的验证连贯方法之流程图;图4是适合使用于本发明内之事件追踪记录的概念显示图;图5是使用图3之连贯检查器的NUMA系统内之验证连贯方法的流程图;图6是根据本发明之一种具体实例举例显示用以合并NUMA系统内之交易的预设规则表;且图7显示合并FNT与HNT交易的处理程序。 |
