专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06922658B2 Method and system for testing the validity of shared data in a multiprocessing system 失效
标题翻译：用于测试多处理系统中共享数据的有效性的方法和系统
公开(公告)号：US06922658B2
公开(公告)日：2005-07-26
申请号：US10404489
申请日：2003-03-31
申请人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale , Shailesh Ratilal Gami , Vincent L. Ip , Dennis W. Wittig
发明人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale , Shailesh Ratilal Gami , Vincent L. Ip , Dennis W. Wittig
IPC分类号： G06F9/46 , G06F11/30 , G06F15/00
CPC分类号： G06F9/46
摘要： A method for a method for testing the validity of shared data in a multiprocessing system is disclosed. The method comprises receiving at a first central processing unit a list of fetch and store instructions associated with blocks in a shared memory location. The list includes a data value, a central processing unit identifier and a relative order associated with the instructions. In addition, one of the data values associated with one of the instructions was stored by a memory-to-memory, memory-to-register or register-to-memory operation. Further, one of the central processing unit identifiers associated with one of the instructions is an identifier corresponding to one of a plurality of central processing units that have access to the shared memory location including the first central processing unit. A fetch operation is performed at a block in the shared memory location from the first central processing unit. Fetched data is received at the first central processing unit in response to the performing, where the fetched data was stored by one of the plurality of central processing units. The method verifies that the fetched data conforms to a block concurrency rule in response to the list and that the fetched data conforms to a serialization rule in response to the list.
摘要翻译：公开了一种用于在多处理系统中测试共享数据的有效性的方法。该方法包括在第一中央处理单元处接收与共享存储器位置中的块相关联的获取和存储指令的列表。列表包括数据值，中央处理单元标识符和与指令相关联的相对顺序。此外，与指令之一相关联的数据值之一由存储器到存储器，存储器到寄存器或寄存器到存储器操作存储。此外，与指令之一相关联的中央处理单元标识符之一是对应于能够访问包括第一中央处理单元的共享存储单元的多个中央处理单元之一的标识符。在来自第一中央处理单元的共享存储器位置的块处执行提取操作。响应于执行，在第一中央处理单元处接收获取的数据，其中所获取的数据由多个中央处理单元之一存储。该方法验证所获取的数据是否符合列表的并行规则，并且所取出的数据符合列表的序列化规则。

IPRDB

热门服务

关于我们

友情链接

联系方式