公开(公告)号：US20090171647A1

公开(公告)日：2009-07-02

申请号：US11965158

申请日：2007-12-27

申请人： Phanindra Mannava ,  Seungjoon Park ,  Ajit Dingankar ,  Ching-Tsun Chou ,  Nikhil Mittal ,  Radhakrishnan V. Mahalikudi ,  Mayank Singhal

发明人： Phanindra Mannava ,  Seungjoon Park ,  Ajit Dingankar ,  Ching-Tsun Chou ,  Nikhil Mittal ,  Radhakrishnan V. Mahalikudi ,  Mayank Singhal

IPC分类号： G06F17/30 ,  G06F9/00

CPC分类号： G06F17/5022

摘要： A method and apparatus for ensuring efficient validation coverage of an architecture, such as protocol or interconnect architecture, is herein described. A coverage space of states for an architecture is generated and stored in a database. During simulation, states of the coverage space encountered are marked. From this, the states encountered and not encountered may be determined. Based on the states not encountered, a targeted test suite is developed to target at least some of the states not encountered during previous simulation. This feedback loop from simulation to refining of a test suite based on states of a coverage space not encountered during simulation may be recursively repeated until adequate validation, i.e. an adequate confidence level of validation, of the coverage space is achieved.

摘要翻译： 这里描述了用于确保架构（例如协议或互连体系结构）的有效验证覆盖的方法和装置。 生成体系结构的状态的覆盖空间并存储在数据库中。 在仿真期间，遇到的覆盖空间的状态被标记。 由此可以确定遇到和未遇到的状态。 基于未遇到的状态，开发了一个目标测试套件，目标是在以前的模拟过程中至少有一些状态。 基于模拟期间未遇到的覆盖空间的状态，从仿真到精简测试套件的反馈循环可以递归地重复，直到实现覆盖空间的充分验证，即验证的充分置信水平为止。

公开(公告)号：US20090254712A1

公开(公告)日：2009-10-08

申请号：US12061027

申请日：2008-04-02

申请人： Naveen Cherukuri ,  Ioannis Schoinas ,  Akhilesh Kumar ,  Seungjoon Park ,  Ching-Tsun Chou

发明人： Naveen Cherukuri ,  Ioannis Schoinas ,  Akhilesh Kumar ,  Seungjoon Park ,  Ching-Tsun Chou

IPC分类号： G06F12/00

CPC分类号： G06F12/0811 ,  G06F12/084 ,  G06F2212/271

摘要： A method, chip multiprocessor tile, and a chip multiprocessor with amorphous caching are disclosed. An initial processing core 404 may retrieve a data block from a data storage. An initial amorphous cache bank 410 adjacent to the initial processing core 404 may store an initial data block copy 422. A home bank directory 424 may register the initial data block copy 422.

摘要翻译： 公开了一种方法，芯片多处理器瓦片和具有非晶缓存的芯片多处理器。 初始处理核心404可以从数据存储器检索数据块。 与初始处理核心404相邻的初始非晶缓存组410可以存储初始数据块副本422.归属库目录424可以注册初始数据块拷贝422。

公开(公告)号：US20090235228A1

公开(公告)日：2009-09-17

申请号：US12075390

申请日：2008-03-11

申请人： Ching-Tsun Chou ,  Phanindra K. Mannava ,  Seungjoon Park

发明人： Ching-Tsun Chou ,  Phanindra K. Mannava ,  Seungjoon Park

IPC分类号： G06F9/44

CPC分类号： H04L69/06

摘要： In one embodiment, the present invention includes a method for associating and storing a code fragment for each cell of a table for a protocol specification in a semantic mapping corresponding to the table, and automatically generating a formal model for the protocol specification using the table and the semantic mapping. Other embodiments are described and claimed.

摘要翻译： 在一个实施例中，本发明包括一种方法，用于将对于表的语义映射中的协议规范的表的每个小区的代码片段进行关联和存储，并且使用该表自动生成用于协议规范的形式模型;以及 语义映射。 描述和要求保护其他实施例。

公开(公告)号：US08443337B2

公开(公告)日：2013-05-14

申请号：US12075390

申请日：2008-03-11

申请人： Ching-Tsun Chou ,  Phanindra K. Mannava ,  Seungjoon Park

发明人： Ching-Tsun Chou ,  Phanindra K. Mannava ,  Seungjoon Park

IPC分类号： G06F9/44

CPC分类号： H04L69/06

摘要： In one embodiment, the present invention includes a method for associating and storing a code fragment for each cell of a table for a protocol specification in a semantic mapping corresponding to the table, and automatically generating a formal model for the protocol specification using the table and the semantic mapping. Other embodiments are described and claimed.

摘要翻译： 在一个实施例中，本发明包括一种方法，用于将对于表的语义映射中的协议规范的表的每个小区的代码片段进行关联和存储，并且使用该表自动生成用于协议规范的形式模型;以及 语义映射。 描述和要求保护其他实施例。

公开(公告)号：US20100250861A1

公开(公告)日：2010-09-30

申请号：US12415929

申请日：2009-03-31

申请人： Seungjoon Park ,  Ching- Tsun Chou ,  Akhilesh Kumar

发明人： Seungjoon Park ,  Ching- Tsun Chou ,  Akhilesh Kumar

IPC分类号： G06F12/08

CPC分类号： G06F12/0828

摘要： Methods and apparatus relating to a fairness mechanism for starvation prevention in directory-based cache coherence protocols are described. In one embodiment, negatively-acknowledged (nack'ed) requests from a home agent may be tracked (e.g., using distributed linked-lists). In turn, the tracked requests may be served in a fair order. Other embodiments are also disclosed.

摘要翻译： 描述了与基于目录的高速缓存一致性协议中的挨饿预防公平机制有关的方法和设备。 在一个实施例中，可以跟踪来自归属代理的否定确认（nacked）请求（例如，使用分布式链表）。 反过来，跟踪的请求可以以公平的顺序提供。 还公开了其他实施例。

公开(公告)号：US08190820B2

公开(公告)日：2012-05-29

申请号：US12157792

申请日：2008-06-13

申请人： Hariharan Thantry ,  Akhilesh Kumar ,  Seungjoon Park

发明人： Hariharan Thantry ,  Akhilesh Kumar ,  Seungjoon Park

IPC分类号： G06F12/08 ,  G06F13/14

CPC分类号： G06F12/0828

摘要： In one embodiment, the present invention includes a directory to aid in maintaining control of a cache coherency protocol. The directory can be coupled to multiple caching agents via an interconnect, and be configured to store a entries associated with cache lines. The directory also includes logic to determine a time delay before the directory can send a concurrent snoop request. Other embodiments are described and claimed.

摘要翻译： 在一个实施例中，本发明包括一个目录，以帮助维护高速缓存一致性协议的控制。 该目录可以通过互连耦合到多个缓存代理，并且被配置为存储与高速缓存行相关联的条目。 该目录还包括在目录可以发送并发侦听请求之前确定时间延迟的逻辑。 描述和要求保护其他实施例。

公开(公告)号：US20090313435A1

公开(公告)日：2009-12-17

申请号：US12157792

申请日：2008-06-13

申请人： Hariharan Thantry ,  Akhilesh Kumar ,  Seungjoon Park

发明人： Hariharan Thantry ,  Akhilesh Kumar ,  Seungjoon Park

IPC分类号： G06F12/08

CPC分类号： G06F12/0828

摘要： In one embodiment, the present invention includes a directory to aid in maintaining control of a cache coherency protocol. The directory can be coupled to multiple caching agents via an interconnect, and be configured to store a entries associated with cache lines. The directory also includes logic to determine a time delay before the directory can send a concurrent snoop request. Other embodiments are described and claimed.

摘要翻译： 在一个实施例中，本发明包括一个目录，以帮助维护高速缓存一致性协议的控制。 该目录可以通过互连耦合到多个缓存代理，并且被配置为存储与高速缓存行相关联的条目。 该目录还包括在目录可以发送并发侦听请求之前确定时间延迟的逻辑。 描述和要求保护其他实施例。

公开(公告)号：US07836144B2

公开(公告)日：2010-11-16

申请号：US11647618

申请日：2006-12-29

申请人： Phanindra K. Mannava ,  Robert H. Beers ,  Seungjoon Park ,  Brannon Batson

发明人： Phanindra K. Mannava ,  Robert H. Beers ,  Seungjoon Park ,  Brannon Batson

IPC分类号： G06F15/167

CPC分类号： G06F12/0831

摘要： A system and method for implementing a cache coherency protocol are described. The system includes a first caching agent to send a first cache request to a home agent. The system also includes the home agent including a queue to store the first cache request.

摘要翻译： 描述了一种用于实现高速缓存一致性协议的系统和方法。 该系统包括向归属代理发送第一缓存请求的第一高速缓存代理。 系统还包括归属代理，其包括用于存储第一高速缓存请求的队列。

公开(公告)号：US20050262250A1

公开(公告)日：2005-11-24

申请号：US10833965

申请日：2004-04-27

申请人： Brannon Batson ,  Ling Cen ,  William Welch ,  Herbert Hum ,  Seungjoon Park

发明人： Brannon Batson ,  Ling Cen ,  William Welch ,  Herbert Hum ,  Seungjoon Park

IPC分类号： G06F12/08 ,  G06F15/16

CPC分类号： G06F12/0831 ,  G06F12/0828

摘要： The invention facilitates a messaging protocol in a multi-node system to resolve conflicts at a home node.

摘要翻译： 本发明有助于多节点系统中的消息传递协议来解决家庭节点处的冲突。

公开(公告)号：US20050240734A1

公开(公告)日：2005-10-27

申请号：US10833977

申请日：2004-04-27

申请人： Brannon Batson ,  Ling Cen ,  William Welch ,  Herbert Hum ,  Seungjoon Park

发明人： Brannon Batson ,  Ling Cen ,  William Welch ,  Herbert Hum ,  Seungjoon Park

IPC分类号： G06F12/00 ,  G06F12/08

CPC分类号： G06F12/0831 ,  G06F2212/2542

摘要： A cache coherence protocol facilitates a distributed cache coherency conflict resolution in a multi-node system to resolve conflicts at a home node.

摘要翻译： 高速缓存一致性协议便于多节点系统中的分布式高速缓存一致性冲突解决，以解决家庭节点处的冲突。