会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Advancing and rewinding a replayed program execution
    • 推进和倒回重播的程序执行
    • US08832660B2
    • 2014-09-09
    • US13314036
    • 2011-12-07
    • Jonathan LindoJeffrey DaudelArpad JakabSuman Cherukuri
    • Jonathan LindoJeffrey DaudelArpad JakabSuman Cherukuri
    • G06F9/44
    • G06F11/0778G06F11/3624
    • In an embodiment, a data processing system comprises a storage system coupled to a unit under test comprising a heap memory, a static memory and a stack; second logic operable to perform: detecting one or more changes in a first state of the heap memory and the static memory; storing, in the storage system, as a state point of the unit under test, the one or more changes in the first state of the heap memory and the static memory; third logic operable to perform: receiving a request to change the memory under test to a particular state point; in response to the request, loading the particular state point from the storage system and applying the particular state point to the heap memory and the static memory to result in changing the heap memory and the static memory to a second state that is substantially equivalent to the first state.
    • 在一个实施例中,数据处理系统包括耦合到被测单元的存储系统,包括堆存储器,静态存储器和堆栈; 第二逻辑可操作以执行:检测所述堆存储器和所述静态存储器的第一状态中的一个或多个变化; 在存储系统中存储作为被测单元的状态点,堆存储器和静态存储器的第一状态中的一个或多个变化; 第三逻辑,其可操作以执行:接收将测试中的所述存储器更改为特定状态点的请求; 响应于该请求,从存储系统加载特定状态点并将特定状态点应用于堆存储器和静态存储器以导致将堆存储器和静态存储器改变为基本上等于的存储器和静态存储器的第二状态 第一个状态
    • 5. 发明授权
    • State synchronization in recording and replaying computer programs
    • 记录和重播计算机程序中的状态同步
    • US07958497B1
    • 2011-06-07
    • US11449156
    • 2006-06-07
    • Jonathan LindoJeffrey Daudel
    • Jonathan LindoJeffrey Daudel
    • G06F9/44G06F11/00
    • G06F11/3632G06F11/3636
    • Recording and replaying computer programs includes state synchronization and thread management techniques that facilitate accurately replaying the recorded execution of a multithreaded application program. State synchronization comprises, during execution of an application program in a computer system, detecting an operation of the application program to write a memory; preventing the operation to write the memory; storing a representation of the memory; permitting the operation to write the memory, resulting in written memory; comparing the written memory to the stored representation; and in response to determining that the written memory is different than the stored representation, generating a notification that a memory state synchronization exception occurred.
    • 记录和重放计算机程序包括状态同步和线程管理技术,其有助于准确地重播多线程应用程序的记录执行。 状态同步包括在执行计算机系统中的应用程序期间,检测应用程序的操作以写入存储器; 防止操作写入内存; 存储所述存储器的表示; 允许操作写入内存,导致写入内存; 将书面记忆与存储的表示进行比较; 并且响应于确定写入的存储器不同于存储的表示,生成发生存储器状态同步异常的通知。
    • 6. 发明授权
    • Detecting race conditions in computer programs
    • 检测计算机程序中的种族条件
    • US07673181B1
    • 2010-03-02
    • US11449157
    • 2006-06-07
    • Jonathan LindoJeffrey Daudel
    • Jonathan LindoJeffrey Daudel
    • G06F11/00
    • G06F11/3612
    • Recording and replaying computer programs includes detecting whether a race condition exists among multiple threads of a multithreaded application program. In an embodiment, detecting race conditions comprises detecting and preventing an operation of a first thread of an application program to read or write a computer memory, wherein the application program executes a plurality of threads; storing an exception point representing a current location in an execution path of the application program; allowing the operation to read or write the memory; creating and storing a record identifying the memory, the first thread, and an index value for a location in the execution path; and determining, based on the record and a plurality of other similar records, whether a race condition exists at the exception point for the first thread and one or more other threads in the plurality of the threads.
    • 记录和重放计算机程序包括检测多线程应用程序的多个线程之间是否存在竞争条件。 在一个实施例中,检测竞争条件包括检测和防止应用程序的第一线程的操作来读取或写入计算机存储器,其中应用程序执行多个线程; 将表示当前位置的异常点存储在所述应用程序的执行路径中; 允许操作读或写存储器; 创建和存储识别所述存储器,所述第一线程和所述执行路径中的位置的索引值的记录; 以及基于所述记录和多个其他类似的记录,确定所述多个线程中的所述第一线程和所述一个或多个其他线程的异常点处是否存在竞争条件。
    • 8. 发明授权
    • Recording and replaying computer program execution with recorded execution event breakpoints
    • 用记录的执行事件断点记录和重放计算机程序执行
    • US08578340B1
    • 2013-11-05
    • US12890449
    • 2010-09-24
    • Jeffrey DaudelArpad JakabSuman CherukuriJonathan Lindo
    • Jeffrey DaudelArpad JakabSuman CherukuriJonathan Lindo
    • G06F9/44
    • G06F11/3636G06F9/45504
    • A computer program execution record and replay system providing recorded execution event breakpoints is described. In one embodiment, for example, in the record and replay system, a method for providing recorded execution event breakpoints, the method comprising: recording information about one or more execution events that occur during a recorded execution of a computer program; during a replay execution of the computer program in which a particular execution event of the one or more execution events is faithfully reproduced, determining whether a breakpoint is to be set in the replay execution of the computer program based on the recorded information about the particular execution event; and if the breakpoint is to be set, then setting a breakpoint in the replay execution of the computer program such that the replay execution breaks at a point corresponding to the faithful reproduction of the particular execution event.
    • 描述提供记录的执行事件断点的计算机程序执行记录和重放系统。 在一个实施例中,例如,在记录和重播系统中,提供记录的执行事件断点的方法,所述方法包括:记录关于在计算机程序的记录执行期间发生的一个或多个执行事件的信息; 在其中忠实地再现一个或多个执行事件的特定执行事件的计算机程序的重放执行期间,基于所记录的关于特定执行的信息来确定是否在计算机程序的重放执行中设置断点 事件; 并且如果要设置断点,则在计算机程序的重放执行中设置断点,使得重放执行在与特定执行事件的忠实再现相对应的点处中断。
    • 9. 发明申请
    • ADVANCING AND REWINDING A REPLAYED PROGRAM EXECUTION
    • 升级和修改重新执行的计划执行
    • US20090133033A1
    • 2009-05-21
    • US11943889
    • 2007-11-21
    • Jonathan LindoJeffrey DaudelArpad JakabSuman Cherukuri
    • Jonathan LindoJeffrey DaudelArpad JakabSuman Cherukuri
    • G06F9/46
    • G06F11/0778G06F11/3624
    • In an embodiment, a data processing system comprises a storage system coupled to a unit under test comprising a heap memory, a static memory and a stack; second logic operable to perform: detecting one or more changes in a first state of the heap memory and the static memory; storing, in the storage system, as a state point of the unit under test, the one or more changes in the first state of the heap memory and the static memory; third logic operable to perform: receiving a request to change the memory under test to a particular state point; in response to the request, loading the particular state point from the storage system and applying the state point to the heap memory and the static memory to result in changing the heap memory and the static memory to a second state that is substantially equivalent to the first state.
    • 在一个实施例中,数据处理系统包括耦合到被测单元的存储系统,包括堆存储器,静态存储器和堆栈; 第二逻辑可操作以执行:检测所述堆存储器和所述静态存储器的第一状态中的一个或多个变化; 在存储系统中存储作为被测单元的状态点,堆存储器和静态存储器的第一状态中的一个或多个变化; 第三逻辑,其可操作以执行:接收将测试中的所述存储器更改为特定状态点的请求; 响应于该请求,从存储系统加载特定状态点并将状态点应用于堆存储器和静态存储器,以导致将堆存储器和静态存储器更改为基本上等同于第一状态的第二状态 州。