会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Automated simulation fabric discovery and configuration
    • 自动仿真结构​​发现和配置
    • US08249846B2
    • 2012-08-21
    • US12402650
    • 2009-03-12
    • Aaron Ches BrownJeff Jerome FrankenyJames Kai HsuGlenn Owen Kincaid
    • Aaron Ches BrownJeff Jerome FrankenyJames Kai HsuGlenn Owen Kincaid
    • G06F17/50
    • G06F17/5022
    • A configuration manager identifies a first device and a second device within a simulated system. Each device within the simulated system includes an inbound port and an outbound port. Next, the configuration manager injects a simulation only packet on the first device's outbound port and detects that the second device's inbound port receives the simulation only packet. As a result, the configuration manager determines that a direct connection exists between the first device's outbound port and the second device's inbound port. In turn, the configuration manager configures one or more first device configuration registers and one or more second device configuration registers that correspond to the first device and the second device, respectively.
    • 配置管理器识别模拟系统内的第一设备和第二设备。 模拟系统中的每个设备都包括入站端口和出站端口。 接下来,配置管理器在第一设备的出站端口上注入模拟数据包,并检测到第二个设备的入站端口接收到仅模拟数据包。 因此,配置管理器确定在第一设备的出站端口和第二设备的入站端口之间存在直接连接。 反过来,配置管理器分别配置与第一设备和第二设备相对应的一个或多个第一设备配置寄存器和一个或多个第二设备配置寄存器。
    • 5. 发明授权
    • Verifying cumulative ordering of memory instructions
    • 验证存储器指令的累积排序
    • US06795878B2
    • 2004-09-21
    • US09734115
    • 2000-12-11
    • Aaron Ches BrownSteven Robert FaragoRobert James RamirezKenneth Lee Wright
    • Aaron Ches BrownSteven Robert FaragoRobert James RamirezKenneth Lee Wright
    • G06F1337
    • G06F12/0815
    • A method, computer program product and data processing system for verifying cumulative ordering. In one embodiment of the present invention a method comprises the step of selecting a memory barrier instruction issued by a particular processor. The method further comprises selecting a first cache line out of a plurality of cache lines to be paired with one or more of the remaining of the plurality of cache lines. If a load memory instruction executed after the memory barrier instruction in the first cache line was identified, then the first cache line selected will be paired with a second cache line. If a load memory instruction executed before the memory barrier instruction in the second cache line was identified, then a pair of load memory instructions has been identified. Upon identifying the second load memory instruction, a first and second reload of the first and second cache lines are identified. Upon identifying the first and second reloads of the first and second cache lines, a determination may be made as to whether the first reload occurred after the second. If the first reload did not occur after the second reload, then a determination may be made as to whether the ownership transaction referencing the first cache line was initiated between the first and second reload. If the ownership transaction was initiated between the first and second reload, then a potential violation of cumulative ordering has been identified.
    • 一种用于验证累积排序的方法,计算机程序产品和数据处理系统。 在本发明的一个实施例中,一种方法包括选择由特定处理器发出的存储器屏障指令的步骤。 该方法还包括从多个高速缓存线中选择要与多条高速缓存行中剩余的一条或多条高速缓存行配对的第一高速缓存行。 如果在第一高速缓存行中的存储器障碍指令之后执行的加载存储器指令被识别,则所选择的第一高速缓存行将与第二高速缓存行配对。 如果在第二高速缓存行中的存储器障碍指令之前执行的加载存储器指令被识别,则已经识别出一对加载存储器指令。 在识别第二加载存储器指令时,识别第一和第二高速缓存行的第一和第二重新加载。 在识别第一和第二高速缓存行的第一和第二重新载入时,可以确定在第二高速缓存行之后是否发生第一重新加载。 如果在第二次重新加载之后没有发生第一次重新加载,则可以确定引用第一高速缓存行的所有权交易是否在第一和第二重新加载之间启动。 如果所有权交易在第一次和第二次重新加载之间启动,则已经识别出潜在的累积排序违规。