专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20110047315A1 Virtualization of real-time clock 有权
标题翻译：虚拟化实时时钟
公开(公告)号：US20110047315A1
公开(公告)日：2011-02-24
申请号：US12461774
申请日：2009-08-24
申请人： Christophe De Dinechin , Karen Lee Noel , Jonathan Ross
发明人： Christophe De Dinechin , Karen Lee Noel , Jonathan Ross
IPC分类号： G06F12/08
CPC分类号： G06F1/14
摘要： A system and corresponding method virtualizes a real-time clock in the presence of a time-disrupting event. The real-time clock is used with physical machines and includes a single time source within each of the physical machines. The system is implemented in one or more programmable devices, which may be hardware and/or software devices, or a combination of hardware and software devices. The physical machines include one or more virtual machines. The system includes an offset module that determines a time difference offset between a virtual interrupt timer counter (ITCV) associated with a virtual machine and a physical interrupt timer counter (ITCP) associated with a physical machine. The system also includes a virtual machine monitor that computes one or more first time adjustments based on the offset and applies the adjustments to eliminate at least a first part of the offset.
摘要翻译：系统和相应的方法在存在时间干扰事件的情况下虚拟化实时时钟。实时时钟与物理机器一起使用，并在每个物理机器中包含单个时间源。该系统在一个或多个可编程设备中实现，其可以是硬件和/或软件设备，或硬件和软件设备的组合。物理机器包括一个或多个虚拟机。该系统包括偏移模块，其确定与虚拟机相关联的虚拟中断定时器计数器（ITCV）与与物理机器相关联的物理中断定时器计数器（ITCP）之间的时间差偏移。该系统还包括虚拟机监视器，其基于偏移来计算一个或多个第一时间调整并应用调整以消除偏移的至少第一部分。

2. 发明授权

US08694819B2 System and method for gradually adjusting a virtual interval timer counter value to compensate the divergence of a physical interval timer counter value and the virtual interval timer counter value 有权
标题翻译：用于逐渐调整虚拟间隔定时器计数器值以补偿物理间隔定时器计数器值和虚拟间隔定时器计数器值的差异的系统和方法
公开(公告)号：US08694819B2
公开(公告)日：2014-04-08
申请号：US12461774
申请日：2009-08-24
申请人： Christophe De Dinechin , Karen Lee Noel , Jonathan Ross
发明人： Christophe De Dinechin , Karen Lee Noel , Jonathan Ross
IPC分类号： G06F1/00
CPC分类号： G06F1/14
摘要： A system and corresponding method virtualizes a real-time clock in the presence of a time-disrupting event. The real-time clock is used with physical machines and includes a single time source within each of the physical machines. The system is implemented in one or more programmable devices, which may be hardware and/or software devices, or a combination of hardware and software devices. The physical machines include one or more virtual machines. The system includes an offset module that determines a time difference offset between a virtual interrupt timer counter (ITCV) associated with a virtual machine and a physical interrupt timer counter (ITCP) associated with a physical machine. The system also includes a virtual machine monitor that computes one or more first time adjustments based on the offset and applies the adjustments to eliminate at least a first part of the offset.
摘要翻译：系统和相应的方法在存在时间干扰事件的情况下虚拟化实时时钟。实时时钟与物理机器一起使用，并在每个物理机器中包含单个时间源。该系统在一个或多个可编程设备中实现，其可以是硬件和/或软件设备，或硬件和软件设备的组合。物理机器包括一个或多个虚拟机。该系统包括偏移模块，其确定与虚拟机相关联的虚拟中断定时器计数器（ITCV）与与物理机器相关联的物理中断计时器计数器（ITCP）之间的时间差偏移。该系统还包括虚拟机监视器，其基于偏移来计算一个或多个第一时间调整并应用调整以消除偏移的至少第一部分。

3. 发明授权

US5873127A Universal PTE backlinks for page table accesses 失效
标题翻译：通用PTE反向链接用于页表访问
公开(公告)号：US5873127A
公开(公告)日：1999-02-16
申请号：US646734
申请日：1996-05-03
申请人： Michael Seward Harvey , Karen Lee Noel
发明人： Michael Seward Harvey , Karen Lee Noel
IPC分类号： G06F12/10
CPC分类号： G06F12/1009 , G06F12/109
摘要： A system for accessing page table entries is disclosed. The system provides access to a page table entry mapping a predetermined physical page of memory. The system includes a physical page data base having an entry for each physical page of memory. Each physical page data base entry contains backlink information regarding an associated physical page of memory. The present system obtains a physical page data base entry associated with the predetermined physical page of memory from the physical page data base. The system uses a reserved page table entry, for example mapped by shared space, to build a virtual window. The virtual window provides a virtual address that may be used to access the page table entry mapping the predetermined physical page of memory. The virtual address provided by the virtual window is mapped to physical memory by the reserved page table entry. In a further aspect of the invention, the present system determines whether the page table entry mapping the predetermined physical page of memory is accessible in the current process context. If the page table entry mapping the predetermined physical page of memory is not currently accessible, a virtual window is built using the reserved page table entry. If the page table entry mapping the predetermined physical page of memory is currently accessible, no virtual window is built. An organization of the page table into a tree structure is further disclosed.
摘要翻译：公开了一种用于访问页表项的系统。系统提供访问映射预定的存储器物理页的页表项。该系统包括具有用于存储器的每个物理页面的条目的物理页面数据库。每个物理页数据库条目包含关于存储器的关联物理页面的反向链接信息。本系统从物理页面数据库获得与预定的存储器物理页面相关联的物理页面数据库条目。系统使用保留页表项，例如由共享空间映射，以构建虚拟窗口。虚拟窗口提供虚拟地址，该虚拟地址可用于访问映射存储器的预定物理页面的页表项。由虚拟窗口提供的虚拟地址由保留页表项映射到物理内存。在本发明的另一方面，本系统确定映射存储器的预定物理页面的页表条目是否在当前进程上下文中是可访问的。如果映射存储器的预定物理页面的页表条目当前不可访问，则使用预留页表项构建虚拟窗口。如果映射存储器的预定物理页面的页表条目当前可访问，则不构建虚拟窗口。进一步公开了页表的组织成树结构。

4. 发明授权

US6085296A Sharing memory pages and page tables among computer processes 失效
标题翻译：在计算机进程之间共享内存页面和页面表
公开(公告)号：US6085296A
公开(公告)日：2000-07-04
申请号：US968238
申请日：1997-11-12
申请人： Nitin Y. Karkhanis , Karen Lee Noel
发明人： Nitin Y. Karkhanis , Karen Lee Noel
IPC分类号： G06F12/10 , G06F12/08
CPC分类号： G06F12/1009
摘要： A method of managing computer memory pages. The sharing of a program-accessible page between two processes is managed by a predefined mechanism of a memory manager. The sharing of a page table page between the processes is managed by the same predefined mechanism. The data structures used by the mechanism are equally applicable to sharing program-accessible pages or page table pages.
摘要翻译：一种管理计算机存储器页面的方法。两个进程之间的程序可访问页面的共享由存储器管理器的预定机制来管理。在进程之间的页表页面的共享由相同的预定义机制来管理。该机制使用的数据结构同样适用于共享程序可访问页面或页表页面。

5. 发明授权

US5873120A Variable split virtual address space allocation with multi-system compatibility 失效
标题翻译：具有多系统兼容性的可变分割虚拟地址空间分配
公开(公告)号：US5873120A
公开(公告)日：1999-02-16
申请号：US642291
申请日：1996-05-03
申请人： Michael Seward Harvey , Karen Lee Noel , Wayne Michael Cardoza
发明人： Michael Seward Harvey , Karen Lee Noel , Wayne Michael Cardoza
IPC分类号： G06F9/50 , G06F12/10 , G06F12/00
CPC分类号： G06F9/5016 , G06F12/109 , G06F2212/656
摘要： A virtual memory system is disclosed, providing a virtual address space of virtual addresses simultaneously available to a given process. The virtual address space includes a process private space accessible only to a given process, as well as a shared space of virtual addresses potentially accessible to two or more processes. The process private space includes virtual addresses on one side of a private/shared virtual address boundary, while the virtual addresses within the shared space are on the other side of the private/shared virtual address boundary. The private/shared boundary is ensured to be greater than a predetermined highest process private (or shared) virtual address of a different virtual memory system, and less than or equal to a predetermined lowest shared (or process private) virtual address of that different virtual memory system. Compatibility is ensured for software written for the different virtual memory system, allowing such software to run without modification on the present system. In an example embodiment, the private/shared boundary is set responsive to a user input reflecting a desired ratio between shared and process private space.
摘要翻译：公开了一种虚拟存储器系统，其提供了给定进程同时可用的虚拟地址的虚拟地址空间。虚拟地址空间包括仅对给定进程可访问的进程专用空间，以及两个或多个进程可能可访问的虚拟地址的共享空间。进程私有空间包括专用/共享虚拟地址边界一侧的虚拟地址，而共享空间内的虚拟地址位于专用/共享虚拟地址边界的另一侧。确保私有/共享边界大于不同虚拟存储器系统的预定最高处理私有（或共享）虚拟地址，并且小于或等于该不同虚拟存储器系统的预定最低共享（或处理专用）虚拟地址内存系统为不同的虚拟内存系统编写的软件保证了兼容性，允许这样的软件在当前系统中无需修改即可运行。在示例实施例中，响应于反映共享和进程私人空间之间的期望比率的用户输入设置专用/共享边界。

6. 发明申请

US20080104358A1 MANAGING PHYSICAL MEMORY IN A VIRTUAL MEMORY COMPUTER 审中-公开
标题翻译：在虚拟内存计算机中管理物理内存
公开(公告)号：US20080104358A1
公开(公告)日：2008-05-01
申请号：US11962990
申请日：2007-12-21
申请人： Karen Lee Noel , Nitin Karkhanis
发明人： Karen Lee Noel , Nitin Karkhanis
IPC分类号： G06F12/02 , G06F12/08
CPC分类号： G06F12/126 , G06F12/08 , G06F12/1009 , G06F12/1036 , G06F2212/656
摘要： A method manages memory of a computer where the physical memory of the computer includes one or more non-pageable pools. According to the method, one or more non-pageable pools of physical memory that are otherwise managed by a virtual memory are designated. The memory for one of the designated pools is then mapped in response to a request from a non-privileged program.
摘要翻译：一种方法管理计算机的存储器，其中计算机的物理存储器包括一个或多个非可页面池。根据该方法，指定由虚拟存储器另外管理的一个或多个不可访问的物理存储器池。然后，响应于非特权程序的请求映射指定池之一的内存。

7. 发明授权

US06804766B1 Method for managing pages of a designated memory object according to selected memory management policies 失效
标题翻译：根据所选择的存储器管理策略来管理指定存储器对象的页面的方法
公开(公告)号：US06804766B1
公开(公告)日：2004-10-12
申请号：US08968244
申请日：1997-11-12
申请人： Karen Lee Noel , Nitin Y. Karkhanis
发明人： Karen Lee Noel , Nitin Y. Karkhanis
IPC分类号： G06F1200
CPC分类号： G06F12/126 , G06F12/08 , G06F12/1009 , G06F12/1036 , G06F12/109 , G06F2212/656
摘要： A method is disclosed for managing pages of a designated memory object according to selected memory management policies. A user of the computer stores a table of selections in a memory of the computer, each selection indicating a memory object and one of at least two memory management policies for the memory object. The selections may select from one or more choices: e.g., whether pages of the memory object are to be reserved, or faulted on demand; whether pages of the memory object are to be locked into the memory of the computer, or to be demand paged from a fluid page pool; whether pages allocated for the memory object are to be zeroed; whether the memory object is to be mapped using shared page tables; or specifying the number of levels of translation pages of a designated memory object to be shared or whether memory for the memory object is to be allocated contiguous pages of memory. A symbolic name is assigned to each of the memory objects. A non-privileged process issues a request designating one of the memory objects by symbolic name, and allocating memory from a reserved pool of memory for use in the object. The pages of the memory objects are managed, each according to the corresponding stored selection. The managed page may be a translation page describing a virtual-to-physical address mapping for memory references to a program accessible page. The policy selection and an allocation size may be stored in the memory and may refer to management of the program-accessible page. The size of an allocation including the translation page may be computed from the stored size for the program-accessible allocation.
摘要翻译：公开了一种根据所选择的存储器管理策略来管理指定存储器对象的页面的方法。计算机的用户将选择表存储在计算机的存储器中，每个选择指示存储器对象以及用于存储器对象的至少两个存储器管理策略中的一个。选择可以从一个或多个选择中进行选择：例如，是否要保留存储器对象的页面，或者根据需要进行故障; 存储器对象的页面是否被锁定到计算机的存储器中，或者是要从流体页面池中寻呼; 分配给存储器对象的页面是否被归零; 是否使用共享页表来映射内存对象; 或指定要共享的指定存储器对象的翻译页面的级别数量，或者是否为存储器对象的存储器被分配连续的存储器页面。符号名称分配给每个内存对象。非特权进程通过符号名称发出指定其中一个内存对象的请求，并从保留的存储池中分配内存以供对象使用。存储器对象的页面被管理，每个页面根据对应的存储选择。管理页面可以是描述用于对程序可访问页面的存储器引用的虚拟到物理地址映射的翻译页面。策略选择和分配大小可以存储在存储器中，并且可以指代可程序访问页面的管理。包括翻译页面的分配的大小可以从用于程序可访问分配的存储大小计算。

8. 发明授权

US06061773A Virtual memory system with page table space separating a private space and a shared space in a virtual memory 失效
标题翻译：虚拟内存系统，具有分隔虚拟内存中的专用空间和共享空间的页表空间
公开(公告)号：US06061773A
公开(公告)日：2000-05-09
申请号：US642368
申请日：1996-05-03
申请人： Michael Seward Harvey , Karen Lee Noel
发明人： Michael Seward Harvey , Karen Lee Noel
IPC分类号： G06F12/10 , G06F12/08
CPC分类号： G06F12/109 , G06F12/1009
摘要： A virtual memory system includes a virtual address space including a process private space, a shared space, and a page table space located between the process private space and the shared space. The page table space includes page table entries mapping both the process private space and the shared space to physical memory. The page table entries might include a set of virtually contiguous process private page table entries adjacent to the process private space, and a set of virtually contiguous shared page table entries adjacent to the shared space. The process private space may include virtual addresses on a first side of a private/shared virtual address boundary, and the shared space includes virtual addresses on a second side of the private/shared virtual address boundary. The set of virtually contiguous process private page table entries is located on the first side of the private/shared virtual address boundary, and the set of virtually contiguous shared page table entries is located on the second side of the private/shared virtual address boundary. The system includes means to minimize translation buffer invalidations and page faults.
摘要翻译：虚拟存储器系统包括虚拟地址空间，其包括处理专用空间，共享空间以及位于进程专用空间和共享空间之间的页表空间。页表空间包括将进程私有空间和共享空间映射到物理内存的页表条目。页表条目可能包括与进程专用空间相邻的一组几乎相邻的进程专用页表项，以及与共享空间相邻的一组虚拟连续的共享页表项。进程专用空间可以包括专用/共享虚拟地址边界的第一侧上的虚拟地址，并且共享空间包括专用/共享虚拟地址边界的第二侧上的虚拟地址。虚拟连续的进程专用页表项集合位于专用/共享虚拟地址边界的第一侧，并且几乎连续的共享页表项的集合位于专用/共享虚拟地址边界的第二侧。该系统包括最小化翻译缓冲区无效和页面错误的方法。

9. 发明授权

US5966735A Array index chaining for tree structure save and restore in a process swapping system 失效
标题翻译：用于树结构的数组索引链接在进程交换系统中保存和恢复
公开(公告)号：US5966735A
公开(公告)日：1999-10-12
申请号：US754868
申请日：1996-11-22
申请人： Karen Lee Noel , Michael Seward Harvey , Thomas Robert Benson
发明人： Karen Lee Noel , Michael Seward Harvey , Thomas Robert Benson
IPC分类号： G06F12/10 , G06F12/12
CPC分类号： G06F12/109 , G06F12/12
摘要： A new system and method for outswapping a process is disclosed. The new system forms one or more working set list chains (also referred to as "page table chains") during the outswap process. The new system then conveniently locates and outswaps a number of page table pages of the process to be outswapped by traversing the working set list chains. In a preferred embodiment, the forming of each working set list chain is performed while traversing a working set list during outswapping of a number of body pages of a process. Each working set list entry potentially describes a page of virtual memory in use by the process to be outswapped. In a further aspect of the disclosed system, traversing the working set list of the process to be outswapped includes determining whether each one of the working set list entries indicates a private page table page. If an entry in the working set list indicates a private page table page, the present system adds a link to a working set list chain. In the disclosed system, a working set list entry is determined to indicate a private page table page if the page of virtual memory described by the working set list entry is within a page table structure associated with said process. The page table structure is hierarchical, and a separate working set chain is formed for one or more individual levels of the page table hierarchy.
摘要翻译：公开了一种用于外包过程的新系统和方法。在外部处理过程中，新系统形成一个或多个工作集列表链（也称为“页表链”）。然后，新系统可以方便地通过遍历工作集列表链来定位和超出要发送的进程的许多页表页面。在优选实施例中，每个工作集列表链的形成在一个进程的多个正文页面的外显过程中在遍历一个工作组列表的同时执行。每个工作集列表条目都可能描述一个正在使用进程的虚拟内存页面。在所公开的系统的另一方面，遍历要被外部处理的工作集列表包括确定工作集列表条目中的每一个是否指示私人页表页面。如果工作集列表中的条目指示私有页表页面，则本系统将添加到工作集列表链的链接。在所公开的系统中，如果由工作集列表条目描述的虚拟存储器的页面在与所述进程相关联的页表结构内，则确定工作集列表条目以指示专用页表页面。页表结构是分层的，并且为页表层次结构的一个或多个单独级别形成单独的工作集链。

10. 发明授权

US07337296B2 Managing physical memory in a virtual memory computer 有权
标题翻译：管理虚拟内存计算机中的物理内存
公开(公告)号：US07337296B2
公开(公告)日：2008-02-26
申请号：US10962053
申请日：2004-10-08
申请人： Karen Lee Noel , Nitin Y. Karkhanis
发明人： Karen Lee Noel , Nitin Y. Karkhanis
IPC分类号： G06F12/02
CPC分类号： G06F12/126 , G06F12/08 , G06F12/1009 , G06F12/1036 , G06F12/109 , G06F2212/656
摘要： A method for use in a computer. A user of the computer stores a table of selections in a permanent memory structure of the computer, each selection indicating a memory object and one of at least two memory management policies for the memory object. The selections may select from one or more choices: e.g., whether pages of the memory object are to be reserved, or faulted on demand; whether pages of the memory object are to be locked into physical memory of the computer, or to be demand paged from a fluid page pool; whether pages allocated for the memory object are to be zeroed; whether the memory object is to be mapped using shared page tables; or specifying whether memory for the memory object is to be allocated contiguous physical pages of memory. A symbolic name is assigned to each of the memory objects. A non-privileged process issues a request designating one of the memory objects by symbolic name, and allocating memory from a reserved pool of memory for use in the object. The physical pages of the memory objects are managed, each according to the corresponding stored selection.
摘要翻译：一种在计算机中使用的方法。计算机的用户将选择表存储在计算机的永久存储器结构中，每个选择指示存储器对象以及用于存储器对象的至少两个存储器管理策略中的一个。选择可以从一个或多个选择中进行选择：例如，是否要保留存储器对象的页面，或者根据需要进行故障; 存储器对象的页面是否被锁定到计算机的物理存储器中，或者是要从流体页面池中寻呼; 分配给存储器对象的页面是否被归零; 是否使用共享页表来映射内存对象; 或指定是否为内存对象的内存分配连续的物理页面的内存。符号名称分配给每个内存对象。非特权进程通过符号名称发出指定其中一个内存对象的请求，并从保留的存储池中分配内存以供对象使用。管理存储器对象的物理页面，每个根据相应的存储选择。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式