利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

34 条记录 (耗时 0.019 秒)

    Interposition method suitable for hardware-assisted virtual machine
    1.
    发明授权
    Interposition method suitable for hardware-assisted virtual machine 有权
    适用于硬件辅助虚拟机的插补方法

    公开(公告)号：US09195487B2

    公开(公告)日：2015-11-24

    申请号：US12468744

    申请日：2009-05-19

    申请人： Keith Adams

    发明人： Keith Adams

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

    CPC分类号： G06F9/45558 ,  G06F9/45533 ,  G06F9/45545 ,  G06F9/4806 ,  G06F9/4812 ,  G06F2009/45583

    摘要： One embodiment of the present invention is a method of interposing operations in a computational system that includes a virtualization system executable on an underlying hardware processor that natively supports one or more instructions that transition between host and guest execution modes. The method includes introducing a hooked vector into a supervisor register block of the hardware processor, wherein the hooked vector displaces a system call handler vector otherwise set by a guest computation; read and write protecting at least the hooked vector containing portion of the supervisor register block; initiating execution of a code sequence of the guest computation on the hardware processor using one of the instructions that transition between the host and guest execution modes thereof, wherein the code sequence includes a system call and wherein upon initiation of the system call, the hardware processor transfers execution to a substitute handler in accordance with the hooked vector; and responsive to execution of the substitute handler, initiating a hooked operation and transferring control to the guest system call handler.

    摘要翻译： 本发明的一个实施例是在计算系统中插入操作的方法，该计算系统包括可在本地支持在主机和客户机执行模式之间转换的一个或多个指令的底层硬件处理器上执行的虚拟化系统。 该方法包括将挂接矢量引入到硬件处理器的管理程序寄存器块中，其中所述挂接矢量移位由客户计算另外设置的系统调用处理器向量; 至少读取和写入至少保护监督寄存器块的挂接向量包含部分; 使用在主机和客户端执行模式之间转换的指令之一来启动在硬件处理器上执行访客计算的代码序列，其中代码序列包括系统调用，并且其中在开始系统调用时，硬件处理器 根据挂钩向量将执行转移到替换处理程序; 并且响应于替代处理程序的执行，启动有钩操作并将控制传送给客系统呼叫处理程序。

    Run time incremental compilation of script code
    2.
    发明授权
    Run time incremental compilation of script code 有权
    运行时增量编译脚本代码

    公开(公告)号：US09098299B2

    公开(公告)日：2015-08-04

    申请号：US13546893

    申请日：2012-07-11

    申请人： Keith Adams ,  Andrew John Paroski ,  Jason Owen Evans

    发明人： Keith Adams ,  Andrew John Paroski ,  Jason Owen Evans

    IPC分类号： G06F9/45 ,  G06F9/30

    CPC分类号： G06F9/45516 ,  G06F8/437 ,  G06F8/443 ,  G06F8/48 ,  G06F9/30192 ,  G06F9/3836

    摘要： Scripts are incrementally compiled at runtime to generate executable code. The incremental compilation generates executable code corresponding to a basic block of the script. The executable code for a basic block of script is generated for a set of types of variables of the basic block resulting from execution of the script in response to a request. The generated executable code is stored and executed for subsequent requests if these requests result in the same types of variables for the basic block. The incremental compilation of the script is performed in a lazy fashion, such that executable code is not generated for combinations of types of variables of the script code that are not obtained from requests received at runtime. The script may dynamically generate portions of a web page that is returned in response to a request for execution of the script.

    摘要翻译： 脚本在运行时增量编译以生成可执行代码。 增量编译生成与脚本的基本块相对应的可执行代码。 脚本的基本块的可执行代码是由响应于请求的脚本的执行导致的基本块的变量的一组类型而生成的。 如果这些请求导致基本块的相同类型的变量，则生成的可执行代码被存储并执行用于后续请求。 脚本的增量编译是以懒惰的方式执行的，这样就不会为脚本代码的变量类型的组合生成不能在运行时收到的请求中获取可执行代码。 脚本可以动态地生成响应于脚本的执行请求返回的网页的部分。

    Virtualization hardware for device driver isolation
    3.
    发明授权
    Virtualization hardware for device driver isolation 有权
    用于设备驱动程序隔离的虚拟化硬件

    公开(公告)号：US08595487B2

    公开(公告)日：2013-11-26

    申请号：US11555679

    申请日：2006-11-01

    申请人： Kinshuk Govil ,  Keith Adams

    发明人： Kinshuk Govil ,  Keith Adams

    IPC分类号： H04L29/06 ,  G06F9/46

    CPC分类号： G06F21/53

    摘要： Hardware virtualization support is used to isolate kernel extensions. A kernel and various kernel extensions are executed in a plurality of hardware protection domains. Each hardware protection domain defines computer resource privileges allowed to code executing in that hardware protection domain. Kernel extensions execute with appropriate computer resource privileges to complete tasks without comprising the stability of the computer system.

    摘要翻译： 硬件虚拟化支持用于隔离内核扩展。 内核和各种内核扩展在多个硬件保护域中执行。 每个硬件保护域定义允许在该硬件保护域中执行代码的计算机资源特权。 内核扩展以适当的计算机资源权限执行，以完成任务，而不包括计算机系统的稳定性。

    LOCK-FREE CONCURRENT OBJECT DICTIONARY
    5.
    发明申请
    LOCK-FREE CONCURRENT OBJECT DICTIONARY 有权
    无锁同步对象词典

    公开(公告)号：US20110161602A1

    公开(公告)日：2011-06-30

    申请号：US12651296

    申请日：2009-12-31

    申请人： Keith Adams ,  Spencer Ahrens

    发明人： Keith Adams ,  Spencer Ahrens

    IPC分类号： G06F12/10

    CPC分类号： G06F9/526 ,  G06F9/3004 ,  G06F9/30087 ,  G06F2209/521

    摘要： An object storage system comprises one or more computer processors or threads that can concurrently access a shared memory, the shared memory comprising an array of equally-sized cells. In one embodiment, each cell is of the size used by the processors to represent a pointer, e.g., 64 bits. Using an algorithm performing only one memory write, and using a hardware-provided transactional operation, such as a compare-and-swap instruction, to implement the memory write, concurrent access is safely accommodated in a lock-free manner.

    摘要翻译： 对象存储系统包括一个或多个可同时访问共享存储器的计算机处理器或线程，该共享存储器包括同等大小的单元阵列。 在一个实施例中，每个单元具有处理器用于表示指针（例如64位）的大小。 使用仅执行一个存储器写入的算法，并且使用诸如比较和交换指令的硬件提供的事务操作来实现存储器写入，以无锁的方式安全地并入并发访问。

    Efficient virtualization of input/output completions for a virtual device
    6.
    发明授权
    Efficient virtualization of input/output completions for a virtual device 有权
    虚拟设备的输入/输出完成的高效虚拟化

    公开(公告)号：US07853960B1

    公开(公告)日：2010-12-14

    申请号：US11066363

    申请日：2005-02-25

    申请人： Ole Agesen ,  Boris Weissman ,  Keith Adams ,  Jennifer-Ann M. Anderson ,  Maxime Austruy

    发明人： Ole Agesen ,  Boris Weissman ,  Keith Adams ,  Jennifer-Ann M. Anderson ,  Maxime Austruy

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

    CPC分类号： G06F9/45508 ,  G06F9/45558 ,  G06F9/4825 ,  G06F2009/45579

    摘要： Completion interrupts corresponding to I/O requests issued by a virtual machine guest, which runs on a host platform, are virtualized in such a way that I/O completion interrupts to the requesting guest are delivered no faster than it can stably handle them, but, when possible, faster than the nominal speed of a virtual device to which a virtual machine addresses the I/O request. In general, completion events received from the host platform in response to guest I/O requests are examined with respect to time. If enough time has passed that the virtual device would normally have completed the I/O request, then the completion interrupt is delivered to the guest. If the nominal time has not elapsed, however, the invention enqueues and time-stamps the event and delivers it at the earliest of a) the normal maturity time, or b) at a safepoint.

    摘要翻译： 在主机平台上运行的虚拟机访客发出的I / O请求相应的完成中断被虚拟化，使得对请求的客户端的I / O完成中断的传送速度不会比可以稳定地处理它们的速度更快，而是 在可能的情况下，虚拟机对于I / O请求所对应的虚拟设备的标称速度更快。 一般来说，根据客户端I / O请求从主机平台接收到的完成事件将相对于时间进行检查。 如果虚拟设备通常已经完成了I / O请求的足够的时间，则完成中断将传递给客户端。 然而，如果没有经过标称时间，本发明会在a）正常到期时间的最早时间排队和时间戳，并且b）在一个安全点。

    VIRTUALIZATION SYSTEM USING HARDWARE ASSISTANCE FOR SHADOW PAGE TABLE COHERENCE
    7.
    发明申请
    VIRTUALIZATION SYSTEM USING HARDWARE ASSISTANCE FOR SHADOW PAGE TABLE COHERENCE 有权
    使用硬件辅助的阴影页表相关的虚拟化系统

    公开(公告)号：US20100250869A1

    公开(公告)日：2010-09-30

    申请号：US12413379

    申请日：2009-03-27

    申请人： Keith Adams ,  Sahil Rihan

    发明人： Keith Adams ,  Sahil Rihan

    IPC分类号： G06F12/00 ,  G06F9/455

    CPC分类号： G06F12/0802 ,  G06F9/45533 ,  G06F9/45558 ,  G06F12/0891 ,  G06F12/1027 ,  G06F12/1063 ,  G06F12/1081 ,  G06F2009/45583 ,  G06F2212/152 ,  G06F2212/50

    摘要： One embodiment of the present invention includes a method for maintaining a shadow page table in at least partial correspondence with guest page mappings of a guest computation. The method marking with a traced write indication at least those entries of the shadow page table that map physical memory locations which themselves encode the guest page mappings, the marking identifying, for a hardware facility, a subset of memory access targets for which updates are to be recorded in a guest write buffer accessible to the virtualization system. Responsive to a coherency-inducing operation of the guest computation, the method reads from the guest write buffer and introduces corresponding updates into the shadow page table.

    摘要翻译： 本发明的一个实施例包括一种用于维护与来宾计算的访客页面映射至少部分对应的影子页表的方法。 具有跟踪的写入指示的方法标记至少是阴影页表的那些条目，其映射其自身编码访客页面映射的物理存储器位置，标记为硬件设施标识用于更新的存储器访问目标的子集 记录在虚拟化系统可访问的访客写入缓冲区中。 响应于客人计算的一致性诱导操作，该方法从访客写缓冲器读取并将相应的更新引入到影子页表中。

    Hardware assistance for page table coherence with guest page mappings
    9.
    发明授权
    Hardware assistance for page table coherence with guest page mappings 有权
    与访客页面映射的页表一致性的硬件辅助

    公开(公告)号：US08762684B2

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

    申请号：US13545772

    申请日：2012-07-10

    申请人： Keith Adams ,  Sahil Rihan

    发明人： Keith Adams ,  Sahil Rihan

    IPC分类号： G06F12/10 ,  G06F12/14

    CPC分类号： G06F12/1009 ,  G06F12/1036 ,  G06F12/1063 ,  G06F12/109 ,  G06F12/145 ,  G06F2009/45583

    摘要： Some embodiments of the present invention include a memory management unit (MMU) configured to, in response to a write access targeting a guest page mapping of a guest virtual page number (GVPN) to a guest physical page number (GPPN) within a guest page table, identify a first page mapping that associates the GVPN with a physical page number (PPN). The MMU is also configured to determine whether a traced write indication is associated with the first page mapping and, if so, record update information identifying the targeted guest page mapping. The update information is used to reestablish coherence between the guest page mapping and the first page mapping. The MMU is further configured to perform the write access.

    摘要翻译： 本发明的一些实施例包括存储器管理单元（MMU），其被配置为响应于将来宾虚拟页码（GVPN）的访客页面映射定向到访客页面内的访客物理页码（GPPN）的写入访问 表，标识将GVPN与物理页号（PPN）相关联的第一页映射。 MMU还被配置为确定跟踪的写指示是否与第一页映射相关联，并且如果是，则记录标识目标访客页映射的更新信息。 更新信息用于重新建立访客页面映射和第一页映射之间的一致性。 MMU还被配置为执行写访问。

    ENTERIC-COATED SODIUM METABISULFITE LIVESTOCK FEED ADDITIVE FOR VOMITOXIN DETOXIFICATION
    10.
    发明申请
    ENTERIC-COATED SODIUM METABISULFITE LIVESTOCK FEED ADDITIVE FOR VOMITOXIN DETOXIFICATION 有权
    用于维生素脱氧酶的肠衣包被的盐代谢脂肪酸饲料添加剂

    公开(公告)号：US20130230597A1

    公开(公告)日：2013-09-05

    申请号：US13884859

    申请日：2011-11-16

    申请人： Douglas R. Cook ,  Keith Adams

    发明人： Douglas R. Cook ,  Keith Adams

    IPC分类号： A61K9/14 ,  A61K33/04

    CPC分类号： A61K9/145 ,  A23K20/158 ,  A23K20/22 ,  A23K40/30 ,  A23K40/35 ,  A23K50/10 ,  A23K50/30 ,  A61K9/5015 ,  A61K33/04

    摘要： A livestock feed supplement in which a core particle containing sodium metabisulfite and at least one binder is enrobed with an enteric coating, wherein the thickness and composition of the coating protects the sodium metabisulfite from decomposition to sulfur dioxide in an aqueous acid stomach environment. Also disclosed are a method of delivering sodium metabisulfite to the lower gastrointestinal tract of an animal, and a method of delivering an antidote to relieve the toxic effect of vomitoxin in an animal, by administering to the animal the livestock feed supplement.

    摘要翻译： 一种家畜饲料添加剂，其中含有焦亚硫酸钠和至少一种粘合剂的核心颗粒与肠溶衣一起使用，其中涂层的厚度和组成保护焦亚硫酸钠在酸性胃酸环境中分解成二氧化硫。 还公开了将偏亚硫酸钠递送到动物的下胃肠道的方法，以及通过向动物施用家畜饲料补充剂来递送解毒剂以减轻呕吐毒素在动物中的毒性作用的方法。