利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

11 条记录 (耗时 0.025 秒)

    Dynamic verification of validity of executable code
    1.
    发明授权
    Dynamic verification of validity of executable code 有权
    动态验证可执行代码的有效性

    公开(公告)号：US07984304B1

    公开(公告)日：2011-07-19

    申请号：US10791602

    申请日：2004-03-02

    申请人： Carl A. Waldspurger ,  Ole Agesen ,  Xiaoxin Chen ,  John R. Zedlewski ,  Tal Garfinkel

    发明人： Carl A. Waldspurger ,  Ole Agesen ,  Xiaoxin Chen ,  John R. Zedlewski ,  Tal Garfinkel

    IPC分类号： G06F11/30 ,  G06F12/14

    CPC分类号： G06F21/565

    摘要： Computer-executable instructions in a computer are verified dynamically, after they have been identified for submission for execution, but before they are actually executed. In particular, for at least one current instruction that has been identified for submission to the processor for execution, an identifying value, for example, a hash value, is determined for a current memory block that contains the current instruction. The identifying value of the current memory block is then compared with a set of reference values. If the identifying value satisfies a validation condition, then execution of the current instruction by the processor is allowed. If the validation condition is not satisfied, then a response is generated: In the common case, execution of the current instruction is not allowed, or some other predetermined measure is taken.

    摘要翻译： 计算机中的计算机可执行指令在被识别为提交执行之后但在实际执行之前被动态地验证。 特别地，对于已被识别用于提交给处理器以执行的至少一个当前指令，为包含当前指令的当前存储块确定标识值，例如哈希值。 然后将当前存储器块的识别值与一组参考值进行比较。 如果识别值满足验证条件，则允许由处理器执行当前指令。 如果验证条件不满足，则产生响应：在常见情况下，不允许执行当前指令，或者采取其他一些预定措施。

    Managing latency introduced by virtualization
    5.
    发明授权
    Managing latency introduced by virtualization 有权
    管理由虚拟化引入的延迟

    公开(公告)号：US08719823B2

    公开(公告)日：2014-05-06

    申请号：US12397914

    申请日：2009-03-04

    申请人： Pratap Subrahmanyam ,  Carl A. Waldspurger ,  Vyacheslav Malyugin ,  Tal Garfinkel

    发明人： Pratap Subrahmanyam ,  Carl A. Waldspurger ,  Vyacheslav Malyugin ,  Tal Garfinkel

    IPC分类号： G06F9/455 ,  G06F9/46

    CPC分类号： G06F9/4881 ,  G06F9/45533 ,  G06F9/4887

    摘要： A component manages and minimizes latency introduced by virtualization. The virtualization component determines that a currently scheduled guest process has executed functionality responsive to which the virtualization component is to execute a virtualization based operation, wherein the virtualization based operation is one that is not visible to the guest operating system. The virtualization component causes the guest operating system to de-schedule the currently scheduled guest process and schedule at least one separate guest process. The virtualization component then executes the virtualization based operation concurrently with the execution of the at least one separate guest process. Responsive to completing the execution of the virtualization based operation, the virtualization component causes the guest operating system to re-schedule the de-scheduled guest process.

    摘要翻译： 组件管理并最小化由虚拟化引入的延迟。 虚拟化组件确定当前调度的访客进程已经执行响应于虚拟化组件将执行基于虚拟化的操作的功能，其中基于虚拟化的操作是客户操作系统不可见的。 虚拟化组件使客户机操作系统取消调度当前调度的客户机进程并调度至少一个单独的客户机进程。 然后，虚拟化组件与至少一个独立的客户进程的执行同时执行基于虚拟化的操作。 响应于完成基于虚拟化的操作的执行，虚拟化组件使得客户机操作系统重新安排未排程的访客进程。

    Synchronous decoupled program analysis in virtual environments
    6.
    发明授权
    Synchronous decoupled program analysis in virtual environments 有权
    虚拟环境中的同步解耦程序分析

    公开(公告)号：US09058420B2

    公开(公告)日：2015-06-16

    申请号：US12239674

    申请日：2008-09-26

    申请人： Jim Chow ,  Tal Garfinkel ,  Peter M. Chen

    发明人： Jim Chow ,  Tal Garfinkel ,  Peter M. Chen

    IPC分类号： G06F9/44 ,  G06F11/36 ,  G06F9/455

    CPC分类号： G06F11/3612 ,  G06F9/45558 ,  G06F11/3636 ,  G06F2009/45591

    摘要： Dynamic program analysis is decoupled from execution in virtual computer environments and is carried out synchronously with program execution. Decoupled dynamic program analysis is enabled by separating execution and analysis into two tasks: (1) recording, where system execution is recorded with minimal interference, and (2) analysis, where the execution is replayed and analyzed. Synchronous decoupled program analysis is enabled by suspending execution or data outputs of the program until a confirmation is received that the analysis is in sync with the program execution.

    摘要翻译： 动态程序分析与虚拟计算机环境中的执行脱钩，并与程序执行同步执行。 通过将执行和分析分为两个任务来实现解耦动态程序分析：（1）录制，其中以最小的干扰记录系统执行，以及（2）分析，执行被重放和分析。 通过暂停程序的执行或数据输出来启用同步解耦程序分析，直到接收到确认，分析与程序执行同步。

    Decoupling dynamic program analysis from execution across heterogeneous systems
    7.
    发明授权
    Decoupling dynamic program analysis from execution across heterogeneous systems 有权
    将异步系统中的动态程序分析与执行分解

    公开(公告)号：US08352240B2

    公开(公告)日：2013-01-08

    申请号：US12239648

    申请日：2008-09-26

    申请人： James Chow ,  Tal Garfinkel ,  Peter M. Chen

    发明人： James Chow ,  Tal Garfinkel ,  Peter M. Chen

    IPC分类号： G06F9/45

    CPC分类号： G06F11/3612 ,  G06F9/45558 ,  G06F11/3636 ,  G06F2009/45591

    摘要： Dynamic program analysis is decoupled from execution in virtual computer environments so that program analysis can be performed on a running computer program without affecting or perturbing the workload of the system on which the program is executing. Decoupled dynamic program analysis is enabled by separating execution and analysis into two tasks: (1) recording, where system execution is recorded with minimal interference, and (2) analysis, where the execution is replayed and analyzed. Recording and analysis are carried out on heterogeneous systems so that they can be separately optimized.

    摘要翻译： 动态程序分析与虚拟计算机环境中的执行脱钩，以便可以在运行的计算机程序上执行程序分析，而不会影响或扰乱程序正在执行的系统的工作负载。 通过将执行和分析分为两个任务来实现解耦动态程序分析：（1）录制，其中以最小的干扰记录系统执行，以及（2）分析，执行被重放和分析。 在异构系统上进行记录和分析，以便可以单独进行优化。

    System and method of manipulating virtual machine recordings for high-level execution and replay
    9.
    发明授权
    System and method of manipulating virtual machine recordings for high-level execution and replay 有权
    操作虚拟机记录的系统和方法进行高级执行和重放

    公开(公告)号：US09063766B2

    公开(公告)日：2015-06-23

    申请号：US13049637

    申请日：2011-03-16

    申请人： James Eugene Chow ,  Tal Garfinkel ,  Dominic Lucchetti

    发明人： James Eugene Chow ,  Tal Garfinkel ,  Dominic Lucchetti

    IPC分类号： G06F9/44 ,  G06F11/00 ,  G06F9/455 ,  G06F11/36

    CPC分类号： G06F9/45533 ,  G06F11/3636 ,  G06F11/366

    摘要： Execution behavior for processes within a virtual machine is recorded for subsequent replay. The execution behavior comprises a detailed, low-level recording of state changes for processes within the virtual machine. The low-level recording is processed via replay to produce a sliced recording that conforms to time, abstraction, and security requirements for a specific replay scenario. Multiple stages of replay may be arbitrarily stacked to generate different crosscut versions of a common low-level recording.

    摘要翻译： 记录虚拟机中进程的执行行为，以便后续重播。 执行行为包括虚拟机内进程的状态变化的详细低级记录。 通过重放来处理低级记录，以产生符合特定重播场景的时间，抽象和安全要求的分片记录。 可以任意堆叠多个重放阶段以产生普通低级记录的不同横切版本。

    Accelerating replayed program execution to support decoupled program analysis
    10.
    发明授权
    Accelerating replayed program execution to support decoupled program analysis 有权
    加速重播的程序执行，以支持解耦程序分析

    公开(公告)号：US08719800B2

    公开(公告)日：2014-05-06

    申请号：US12239691

    申请日：2008-09-26

    申请人： James Chow ,  Tal Garfinkel ,  Peter M. Chen

    发明人： James Chow ,  Tal Garfinkel ,  Peter M. Chen

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3612 ,  G06F9/45558 ,  G06F11/3636 ,  G06F2009/45591

    摘要： A virtual machine system decouples dynamic program analysis from program execution. Program analysis is decoupled from program execution through the use of a virtual machine to record program execution and an analysis platform to replay and analyze the program execution. Optimization techniques are applied to prevent the analysis platform from falling too far behind the program execution platform during replay.

    摘要翻译： 虚拟机系统将动态程序分析与程序执行分离。 程序分析通过使用虚拟机记录程序执行和分析平台来重新分析程序执行与程序执行脱钩。 应用优化技术来防止分析平台在重放期间落后于程序执行平台。