Zero Overhead Code Coverage Analysis
    14.
    发明申请
    Zero Overhead Code Coverage Analysis 审中-公开
    零开销代码覆盖率分析

    公开(公告)号:US20170031750A1

    公开(公告)日:2017-02-02

    申请号:US15221409

    申请日:2016-07-27

    Inventor: Darren Wenn

    Abstract: An integrated circuit includes comprising a cyclic redundancy check (CRC) circuit configured to read data identifying an execution path from code executed by a processor, determine a CRC check value for the data, and, based upon the CRC check value, determine whether the execution is valid.

    Abstract translation: 一种集成电路,包括:循环冗余校验(CRC)电路,被配置为从由处理器执行的代码读取识别执行路径的数据,确定数据的CRC校验值,并且基于CRC校验值确定执行 已验证。

    Self monitoring and self repairing ECC
    15.
    发明授权
    Self monitoring and self repairing ECC 有权
    自我监测和自我修复ECC

    公开(公告)号:US09535784B2

    公开(公告)日:2017-01-03

    申请号:US14623706

    申请日:2015-02-17

    Abstract: Exemplary embodiments of the present invention disclose a method and system for monitoring a first Error Correcting Code (ECC) device for failure and replacing the first ECC device with a second ECC device if the first ECC device begins to fail or fails. In a step, an exemplary embodiment performs a loopback test on an ECC device if a specified number of correctable errors is exceeded or if an uncorrectable error occurs. In another step, an exemplary embodiment replaces an ECC device that fails the loopback test with an ECC device that passes a loopback test.

    Abstract translation: 本发明的示例性实施例公开了一种用于监视第一纠错码(ECC)设备的方法和系统,用于如果第一ECC设备开始失败或失败,则用第二ECC设备故障并替换第一ECC设备。 在一个步骤中,如果超过指定数量的可校正错误或者发生不可校正的错误,则示例性实施例对ECC设备执行环回测试。 在另一步骤中,示例性实施例用通过环回测试的ECC设备替代了对环回测试失败的ECC设备。

    MANAGEMENT SERVER, COMPUTER SYSTEM, AND METHOD
    16.
    发明申请
    MANAGEMENT SERVER, COMPUTER SYSTEM, AND METHOD 审中-公开
    管理服务器,计算机系统和方法

    公开(公告)号:US20160357464A1

    公开(公告)日:2016-12-08

    申请号:US15120837

    申请日:2014-06-26

    Applicant: HITACHI, LTD.

    Abstract: A management server acquires storage and application information from a first system to store the information. The storage information includes storage area correspondence information indicating a correspondence between a storage area and a processor. The application information includes application correspondence information indicating a correspondence between the processor and an application, and application configuration information indicating a past Input/Output (IO) load on the storage area. The management server estimates an IO load on the storage area by the application based on the storage and application information to obtain an estimated value, and determines whether or not a copy processable period, a period in which a copy process of data can be performed is present, based on the data size and the estimated value. When the copy processable period is present, the management server transmits a copy indication including a start time of the copy processable period to a copy processing server.

    Abstract translation: 管理服务器从第一系统获取存储和应用信息以存储信息。 存储信息包括指示存储区域和处理器之间的对应关系的存储区域对应信息。 应用信息包括指示处理器和应用之间的对应关系的应用对应信息以及指示在存储区域上的过去输入/输出(IO)负载的应用配置信息。 管理服务器基于存储和应用信息来估计应用对存储区域的IO负载,以获得估计值,并且确定是否可以执行复制处理周期,可以执行数据的复制处理的周期是 存在,基于数据大小和估计值。 当存在可复制可处理时段时,管理服务器将包括可复制可处理周期的开始时间的复制指示发送到复制处理服务器。

    Modeling Interactions with a Computer System
    19.
    发明申请
    Modeling Interactions with a Computer System 审中-公开
    建模与计算机系统的交互

    公开(公告)号:US20150263914A1

    公开(公告)日:2015-09-17

    申请号:US14726680

    申请日:2015-06-01

    Abstract: In certain embodiments, a method for modeling interactions with a computer system includes collecting interaction information for each of a number of interaction sessions with a computer system, each interaction session being associated with a corresponding agent system and including one or more states and one or more state transitions. The interaction information for an interaction session includes data for the one or more states and the one or more state transitions of the interaction session. The method further includes, for each of the interaction sessions, identifying the one or more states encountered during the interaction session based on the collected interaction information and generating, based on the one or more states encountered during the interaction session, a trace of the interaction session. The method further includes generating, based on the traces of the interaction sessions, a model of the interaction sessions, the model including the traces for each of the interaction sessions.

    Abstract translation: 在某些实施例中,用于建模与计算机系统的交互的方法包括收集与计算机系统的多个交互会话中的每一个的交互信息,每个交互会话与相应的代理系统相关联并且包括一个或多个状态和一个或多个 状态转换。 交互会话的交互信息包括一个或多个状态的数据和交互会话的一个或多个状态转换。 该方法还包括针对每个交互会话,基于所收集的交互信息识别在交互会话期间遇到的一个或多个状态,并且基于在交互会话期间遇到的一个或多个状态生成该交互的踪迹 会话 该方法还包括基于交互会话的轨迹生成交互会话的模型,模型包括每个交互会话的跟踪。

    Techniques and systems for data race detection
    20.
    发明授权
    Techniques and systems for data race detection 有权
    用于数据竞争检测的技术和系统

    公开(公告)号:US09135082B1

    公开(公告)日:2015-09-15

    申请号:US13112945

    申请日:2011-05-20

    CPC classification number: G06F9/524 G06F8/458 G06F11/28 G06F11/36 G06F11/3632

    Abstract: A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.

    Abstract translation: 竞争检测机制可以包括在处理器上运行多线程程序的线程,该程序被配置为产生锁定器,每个锁定器指示线程在某个时间点保持的一个或多个锁的集合。 该机制可以使处理器中包括的性能监视单元监视由线程引起的存储器访问并且基于存储器访问产生样本,该样本表示访问的存储器位置。 该机制可以基于样本和锁定点来检测数据竞争条件的存在。 检测可以包括通过线程的第一线程识别对存储器位置的受保护的访问,并且由线程的第二线程识别对存储器位置的不受保护的访问。 该过程选择性地输出数据竞争条件的指示。

Patent Agency Ranking