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

1. 发明授权

US07788464B2 Scalability of virtual TLBs for multi-processor virtual machines 有权
标题翻译：用于多处理器虚拟机的虚拟TLB的可扩展性
公开(公告)号：US07788464B2
公开(公告)日：2010-08-31
申请号：US11644502
申请日：2006-12-22
申请人： John Te-Jui Sheu , Ernest S. Cohen , Matthew D. Hendel , Landy Wang , Rene Antonio Vega , Sharvil A. Nanavati
发明人： John Te-Jui Sheu , Ernest S. Cohen , Matthew D. Hendel , Landy Wang , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F12/10
CPC分类号： G06F12/1027
摘要： Various operations are provided that improve the scalability of virtual TLBs in multi-processor virtual machines, and they include: implicitly locking SPTs using per-processor generation counters; waiting for pending fills on other virtual processors to complete before servicing a GVA invalidation using the counters; write-protecting or unmaping guest pages in a deferred two-stage process or reclaiming SPTs in a deferred two-stage process; periodically coalescing two SPTs that shadow the same GPT with the same attributes; sharing SPTs between two SASes only at a specified level in a SPTT; flushing the entire virtual TLB using a generation counter; allocating a SPT to GPT from a NUMA node on which the GPT resides; having an instance for each NUMA node on which a virtual machine runs; and, correctly handling the serializing instructions executed by a guest in a virtual machine with more than one virtual processor sharing the virtual TLB.
摘要翻译：提供了提高多处理器虚拟机中虚拟TLB可扩展性的各种操作，包括：使用每处理器生成计数器隐式锁定SPT; 在使用计数器服务GVA无效之前等待其他虚拟处理器上的待处理填充; 在延迟的两阶段过程中写入保护或取消映射访客页面或在延迟的两阶段过程中回收SPT; 定期合并两个具有相同属性的相同GPT的SPT; 在SPTT之间仅在指定级别共享两个SAS之间的SPT; 使用生成计数器刷新整个虚拟TLB; 从GPT所在的NUMA节点向GPT分配SPT; 具有运行虚拟机的每个NUMA节点的实例; 并且正确地处理由具有多个共享虚拟TLB的虚拟处理器的虚拟机中的来宾执行的序列化指令。

2. 发明授权

US08694712B2 Reduction of operational costs of virtual TLBs 有权
标题翻译：降低虚拟TLB的运营成本
公开(公告)号：US08694712B2
公开(公告)日：2014-04-08
申请号：US11634538
申请日：2006-12-05
申请人： John Te-Jui Sheu , Matthew D. Hendel , Landy Wang , Ernest S. Cohen , Rene Antonio Vega , Sharvil A. Nanavati
发明人： John Te-Jui Sheu , Matthew D. Hendel , Landy Wang , Ernest S. Cohen , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F12/00 , G06F9/455
CPC分类号： G06F12/1036
摘要： Various operations are disclosed for improving the operational efficiency of a virtual translation look-aside buffer (TLB) in a virtual machine environment. For example, operations are disclosed that allow for determination of whether present entries in shadow page tables (SPTs) are stale by comparing shadowed guest page table (GPT) entries against snapshots taken when the entries were cached. Other operations are disclosed that allow a virtual machine monitor (VMM) to access shadow page table trees (SPTTs) by walking trees in software or in hardware. Still other operations are disclosed allowing the VMM to use a hash table to relate GVA ranges to SPTs that map them, thus significantly reducing the cost of having to walk each SPTT in order to invalidate desired GVA(s). And, finally, operations are disclosed allowing the VMM to determine global GVA ranges by checking a bitmap, when invalidating global GVAs.
摘要翻译：公开了用于提高虚拟机环境中的虚拟翻译后备缓冲器（TLB）的操作效率的各种操作。例如，披露了允许通过比较阴影的访客页表（GPT）条目与条目被缓存时拍摄的快照来确定影子页表（SPT）中的现有条目是否过时的操作。公开了允许虚拟机监视器（VMM）通过软件或硬件中的步行树来访问影子页表树（SPTT）的其他操作。还公开了其他操作，允许VMM使用散列表将GVA范围与映射它们的SPT相关联，从而显着降低了必须走每个SPTT以使所需GVA无效的成本。最后，公开了操作，允许VMM通过在使全局GVAs无效时检查位图来确定全局GVA范围。

3. 发明申请

US20080155168A1 Scalability of virtual TLBs for multi-processor virtual machines 有权
标题翻译：用于多处理器虚拟机的虚拟TLB的可扩展性
公开(公告)号：US20080155168A1
公开(公告)日：2008-06-26
申请号：US11644502
申请日：2006-12-22
申请人： John Te-Jui Sheu , Ernest S. Cohen , Matthew D. Hendel , Landy Wang , Rene Antonio Vega , Sharvil A. Nanavati
发明人： John Te-Jui Sheu , Ernest S. Cohen , Matthew D. Hendel , Landy Wang , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F12/10
CPC分类号： G06F12/1027
摘要： Various operations are provided that improve the scalability of virtual TLBs in multi-processor virtual machines, and they include: implicitly locking SPTs using per-processor generation counters; waiting for pending fills on other virtual processors to complete before servicing a GVA invalidation using the counters; write-protecting or unmaping guest pages in a deferred two-stage process or reclaiming SPTs in a deferred two-stage process; periodically coalescing two SPTs that shadow the same GPT with the same attributes; sharing SPTs between two SASes only at a specified level in a SPTT; flushing the entire virtual TLB using a generation counter; allocating a SPT to GPT from a NUMA node on which the GPT resides; having an instance for each NUMA node on which a virtual machine runs; and, correctly handling the serializing instructions executed by a guest in a virtual machine with more than one virtual processor sharing the virtual TLB.
摘要翻译：提供了提高多处理器虚拟机中虚拟TLB可扩展性的各种操作，包括：使用每处理器生成计数器隐式锁定SPT; 在使用计数器服务GVA无效之前等待其他虚拟处理器上的待处理填充; 在延迟的两阶段过程中写入保护或取消映射访客页面或在延迟的两阶段过程中回收SPT; 定期合并两个具有相同属性的相同GPT的SPT; 在SPTT之间仅在指定级别共享两个SAS之间的SPT; 使用生成计数器刷新整个虚拟TLB; 从GPT所在的NUMA节点向GPT分配SPT; 具有运行虚拟机的每个NUMA节点的实例; 并且正确地处理由具有多个共享虚拟TLB的虚拟处理器的虚拟机中的来宾执行的序列化指令。

4. 发明授权

US08615643B2 Operational efficiency of virtual TLBs 有权
公开(公告)号：US08615643B2
公开(公告)日：2013-12-24
申请号：US11634782
申请日：2006-12-05
申请人： Ernest S. Cohen , John Te-Jui Sheu , Landy Wang , Matthew D. Hendel , Rene Antonio Vega , Sharvil A. Nanavati
发明人： Ernest S. Cohen , John Te-Jui Sheu , Landy Wang , Matthew D. Hendel , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F12/00
CPC分类号： G06F12/1027 , G06F9/45558 , G06F2009/45583 , G06F2212/651 , G06F2212/654
摘要： Various mechanisms are disclosed for improving the operational efficiency of a virtual translation look-aside buffer (TLB) in a virtual machine environment. For example, one mechanism fills in entries in a shadow page table (SPT) and additionally, speculatively fills in other entries in the SPT based on various heuristics. Another mechanism allows virtual TLBs (translation look-aside buffers) to cache partial walks in a guest page table tree. Still another mechanism allows for dynamic resizing of the virtual TLB to optimize for run-time characteristics of active workloads. Still another mechanism allows virtual machine monitors (VMMs) to support legacy and enlightened modes of virtual TLB operation. Finally, another mechanism allows the VMM to remove only the stale entries in SPTs when linking or switching address spaces. All these mechanisms, together or in part, increase the operational efficiency of the virtual TLB.

5. 发明申请

US20080134174A1 Reduction of operational costs of virtual TLBs 有权
标题翻译：降低虚拟TLB的运营成本
公开(公告)号：US20080134174A1
公开(公告)日：2008-06-05
申请号：US11634538
申请日：2006-12-05
申请人： John Te-Jui Sheu , Matthew D. Hendel , Landy Wang , Ernest S. Cohen , Rene Antonio Vega , Sharvil A. Nanavati
发明人： John Te-Jui Sheu , Matthew D. Hendel , Landy Wang , Ernest S. Cohen , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F12/10 , G06F9/46
CPC分类号： G06F12/1036
摘要： Various operations are disclosed for improving the operational efficiency of a virtual translation look-aside buffer (TLB) in a virtual machine environment. For example, operations are disclosed that allow for determination of whether present entries in shadow page tables (SPTs) are stale by comparing shadowed guest page table (GPT) entries against snapshots taken when the entries were cached. Other operations are disclosed that allow a virtual machine monitor (VMM) to access shadow page table trees (SPTTs) by walking trees in software or in hardware. Still other operations are disclosed allowing the VMM to use a hash table to relate GVA ranges to SPTs that map them, thus significantly reducing the cost of having to walk each SPTT in order to invalidate desired GVA(s). And, finally, operations are disclosed allowing the VMM to determine global GVA ranges by checking a bitmap, when invalidating global GVAs.
摘要翻译：公开了用于提高虚拟机环境中的虚拟翻译后备缓冲器（TLB）的操作效率的各种操作。例如，披露了允许通过比较阴影的访客页表（GPT）条目与条目被缓存时拍摄的快照来确定影子页表（SPT）中的现有条目是否过时的操作。公开了允许虚拟机监视器（VMM）通过软件或硬件中的步行树来访问影子页表树（SPTT）的其他操作。还公开了其他操作，允许VMM使用散列表将GVA范围与映射它们的SPT相关联，从而显着降低了必须走每个SPTT以使所需GVA无效的成本。最后，公开了操作，允许VMM通过在使全局GVAs无效时检查位图来确定全局GVA范围。

6. 发明申请

US20080133875A1 Operational efficiency of virtual TLBs 有权
标题翻译：虚拟TLB的运行效率
公开(公告)号：US20080133875A1
公开(公告)日：2008-06-05
申请号：US11634782
申请日：2006-12-05
申请人： Ernest S. Cohen , John Te-Jui Sheu , Landy Wang , Matthew D. Hendel , Rene Antonio Vega , Sharvil A. Nanavati
发明人： Ernest S. Cohen , John Te-Jui Sheu , Landy Wang , Matthew D. Hendel , Rene Antonio Vega , Sharvil A. Nanavati
IPC分类号： G06F9/34
CPC分类号： G06F12/1027 , G06F9/45558 , G06F2009/45583 , G06F2212/651 , G06F2212/654
摘要： Various mechanisms are disclosed for improving the operational efficiency of a virtual translation look-aside buffer (TLB) in a virtual machine environment. For example, one mechanism fills in entries in a shadow page table (SPT) and additionally, speculatively fills in other entries in the SPT based on various heuristics. Another mechanism allows virtual TLBs (translation look-aside buffers) to cache partial walks in a guest page table tree. Still another mechanism allows for dynamic resizing of the virtual TLB to optimize for run-time characteristics of active workloads. Still another mechanism allows virtual machine monitors (VMMs) to support legacy and enlightened modes of virtual TLB operation. Finally, another mechanism allows the VMM to remove only the stale entries in SPTs when linking or switching address spaces. All these mechanisms, together or in part, increase the operational efficiency of the virtual TLB.
摘要翻译：公开了用于提高虚拟机环境中的虚拟翻译后备缓冲器（TLB）的操作效率的各种机制。例如，一个机制填充影子页表（SPT）中的条目，另外，基于各种启发式，推测性地填写SPT中的其他条目。另一种机制允许虚拟TLB（转换后备缓冲区）在访客页表树中缓存部分散步。另一种机制允许虚拟TLB的动态调整大小以优化活动工作负载的运行时特性。另一种机制允许虚拟机监视器（VMM）支持传统和开明的虚拟TLB操作模式。最后，另一种机制允许VMM在链接或切换地址空间时删除SPT中的陈旧条目。所有这些机制，共同或部分地提高了虚拟TLB的运营效率。

7. 发明申请

US20080016315A1 Tagged translation lookaside buffers in a hypervisor computing environment 有权
标题翻译：管理程序计算环境中标记的翻译后备缓冲区
公开(公告)号：US20080016315A1
公开(公告)日：2008-01-17
申请号：US11484949
申请日：2006-07-12
申请人： Ernest S. Cohen , Matthew D. Hendel
发明人： Ernest S. Cohen , Matthew D. Hendel
IPC分类号： G06F12/00
CPC分类号： G06F12/1036 , G06F2212/682
摘要： Tagged translation lookaside buffer consistency is enabled in the presence of a hypervisor of a virtual machine computing environment, in which multiple processes of multiple logical processors of guests are hosted by a virtual machine monitor or hypervisor component. The virtual machine monitor or hypervisor component maintains tagged TLB data associated with the plurality of processes on behalf of each of the plurality of logical processors, thereby ensuring consistency of the tagged TLB data across all of the plurality of processes.
摘要翻译：在存在虚拟机计算环境的虚拟机管理程序的情况下启用标记的翻译后备缓冲器一致性，其中由虚拟机监视器或管理程序组件托管来宾的多个逻辑处理器的多个进程。虚拟机监视器或管理程序组件代表多个逻辑处理器中的每一个维护与多个进程相关联的标记的TLB数据，从而确保所标记的TLB数据跨越所有多个进程的一致性。

8. 发明授权

US07484073B2 Tagged translation lookaside buffers in a hypervisor computing environment 有权
标题翻译：管理程序计算环境中标记的翻译后备缓冲区
公开(公告)号：US07484073B2
公开(公告)日：2009-01-27
申请号：US11484949
申请日：2006-07-12
申请人： Ernest S. Cohen , Matthew D. Hendel
发明人： Ernest S. Cohen , Matthew D. Hendel
IPC分类号： G06F13/00
CPC分类号： G06F12/1036 , G06F2212/682
摘要： Tagged translation lookaside buffer consistency is enabled in the presence of a hypervisor of a virtual machine computing environment, in which multiple processes of multiple logical processors of guests are hosted by a virtual machine monitor or hypervisor component. The virtual machine monitor or hypervisor component maintains tagged TLB data associated with the plurality of processes on behalf of each of the plurality of logical processors, thereby ensuring consistency of the tagged TLB data across all of the plurality of processes.
摘要翻译：在存在虚拟机计算环境的虚拟机管理程序的情况下启用标记的翻译后备缓冲器一致性，其中由虚拟机监视器或管理程序组件托管来宾的多个逻辑处理器的多个进程。虚拟机监视器或管理程序组件代表多个逻辑处理器中的每一个维护与多个进程相关联的标记的TLB数据，从而确保所标记的TLB数据跨越所有多个进程的一致性。

9. 发明申请

US20120089869A1 Pessimistic Model-Based Testing 有权
标题翻译：基于模型的悲观测试
公开(公告)号：US20120089869A1
公开(公告)日：2012-04-12
申请号：US12899226
申请日：2010-10-06
申请人： Ernest S. Cohen
发明人： Ernest S. Cohen
IPC分类号： G06F11/07
CPC分类号： G06F11/3688 , G06F11/263 , G06F11/3676
摘要： Model-based testing is performed by repeatedly constructing a test strategy in which each test stimulus will lead to increased test coverage regardless of the nondeterministic choices made by the system under test, and following said strategy until coverage is increased. As soon as no such strategy exists, testing stops.
摘要翻译：基于模型的测试通过重复构建测试策略来执行，其中每个测试刺激将导致增加的测试覆盖，而不管被测系统做出的非确定性选择，并且遵循所述策略直到覆盖增加。一旦没有这样的策略存在，测试停止。

10. 发明授权

US07287124B2 Lazy flushing of translation lookaside buffers 有权
标题翻译：翻译后备缓冲区的懒惰冲洗
公开(公告)号：US07287124B2
公开(公告)日：2007-10-23
申请号：US11346635
申请日：2006-02-03
申请人： Ernest S. Cohen
发明人： Ernest S. Cohen
IPC分类号： G06F12/00
CPC分类号： G06F12/145 , G06F12/1027 , G06F2212/682
摘要： Address translation control (ATC) limits the mappings between virtual and physical addresses in order to implement a memory access policy. Each processor in a multi-processor system maintains a translation lookaside buffer (TLB) that caches mappings to speed translation of virtual addresses. Each processor also maintains a counter. Each time a processor's TLB is flushed, the processor's counter is incremented. When a link to a page is removed from an address translation map, the counter values for all of the processors are recorded. When that page is accessed by a processor, the recorded counter values are compared with the processor's current counter value to determine whether the processor's TLB has been flushed since the link to the page was removed from the map. An expensive TLB flush operation is delayed until needed, but still occurs early enough to prevent an invalid TLB entry from being used to violate the access policy.
摘要翻译：地址转换控制（ATC）限制虚拟和物理地址之间的映射，以实现内存访问策略。多处理器系统中的每个处理器都维护一个缓存映射以便加速虚拟地址转换的翻译后备缓冲器（TLB）。每个处理器还维护一个计数器。每当处理器的TLB被刷新时，处理器的计数器递增。当从地址转换图中删除到页面的链接时，记录所有处理器的计数器值。当处理器访问该页面时，将记录的计数器值与处理器的当前计数器值进行比较，以确定处理器的TLB是否已被刷新，因为从地图中删除了该页面的链接。一个昂贵的TLB刷新操作被延迟到需要的时候，但仍然足够早，以防止无效的TLB条目被用来违反访问策略。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式