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

41. 发明申请

US20120284485A1 OPERATING SYSTEM VIRTUAL MEMORY MANAGEMENT FOR HARDWARE TRANSACTIONAL MEMORY 有权
标题翻译：操作系统硬件事务存储器虚拟内存管理
公开(公告)号：US20120284485A1
公开(公告)日：2012-11-08
申请号：US13554558
申请日：2012-07-20
申请人： Koichi Yamada , Gad Sheaffer , Ali-Reza Adl-Tabatabai , Landy Wang , Martin Taillefer , Arun Kishan , David Callahan , Jan Gray , Vadim Bassin
发明人： Koichi Yamada , Gad Sheaffer , Ali-Reza Adl-Tabatabai , Landy Wang , Martin Taillefer , Arun Kishan , David Callahan , Jan Gray , Vadim Bassin
IPC分类号： G06F12/08
CPC分类号： G06F12/1045 , G06F12/0815
摘要： Operating system virtual memory management for hardware transactional memory. A system includes an operating system deciding to unmap a first virtual page. As a result, the operating system removes the mapping of the first virtual page to the first physical page from the virtual memory page table. As a result, the operating system performs an action to discard transactional memory hardware state for at least the first physical page. Embodiments may further suspend hardware transactions in kernel mode. Embodiments may further perform soft page fault handling without aborting a hardware transaction, resuming the hardware transaction upon return to user mode, and even successfully committing the hardware transaction.
摘要翻译：硬件事务内存的操作系统虚拟内存管理。系统包括决定取消映射第一虚拟页面的操作系统。结果，操作系统从虚拟存储器页表移除第一虚拟页面到第一物理页面的映射。结果，操作系统执行至少第一物理页丢弃事务存储器硬件状态的动作。实施例可以进一步挂起内核模式下的硬件事务。实施例可以进一步执行软页错误处理，而不中止硬件事务，在返回到用户模式时恢复硬件事务，甚至成功地提交硬件事务。

42. 发明授权

US08250331B2 Operating system virtual memory management for hardware transactional memory 有权
标题翻译：硬件事务内存的操作系统虚拟内存管理
公开(公告)号：US08250331B2
公开(公告)日：2012-08-21
申请号：US12493161
申请日：2009-06-26
申请人： Koichi Yamada , Gad Sheaffer , Ali-Reza Adl-Tabatabai , Landy Wang , Martin Taillefer , Arun Kishan , David Callahan , Jan Gray , Vadim Bassin
发明人： Koichi Yamada , Gad Sheaffer , Ali-Reza Adl-Tabatabai , Landy Wang , Martin Taillefer , Arun Kishan , David Callahan , Jan Gray , Vadim Bassin
IPC分类号： G06F12/00 , G06F13/00 , G06F13/28 , G06F9/26 , G06F9/34 , G06F9/455 , G06F9/46
CPC分类号： G06F12/1045 , G06F12/0815
摘要： Operating system virtual memory management for hardware transactional memory. A method may be performed in a computing environment where an application running on a first hardware thread has been in a hardware transaction, with transactional memory hardware state in cache entries correlated by memory hardware when data is read from or written to data cache entries. The data cache entries are correlated to physical addresses in a first physical page mapped from a first virtual page in a virtual memory page table. The method includes an operating system deciding to unmap the first virtual page. As a result, the operating system removes the mapping of the first virtual page to the first physical page from the virtual memory page table. As a result, the operating system performs an action to discard transactional memory hardware state for at least the first physical page. Embodiments may further suspend hardware transactions in kernel mode. Embodiments may further perform soft page fault handling without aborting a hardware transaction, resuming the hardware transaction upon return to user mode, and even successfully committing the hardware transaction.
摘要翻译：硬件事务内存的操作系统虚拟内存管理。可以在运行在第一硬件线程上的应用程序已经处于硬件事务中的计算环境中执行一种方法，当数据从数据高速缓存条目读取或写入数据高速缓存条目时，高速缓存条目中的事务性存储器硬件状态由存储器硬件相关联。数据高速缓存条目与从虚拟存储器页表中的第一虚拟页面映射的第一物理页面中的物理地址相关联。该方法包括决定取消映射第一虚拟页面的操作系统。结果，操作系统从虚拟存储器页表移除第一虚拟页面到第一物理页面的映射。结果，操作系统执行至少第一物理页丢弃事务存储器硬件状态的动作。实施例可以进一步挂起内核模式下的硬件事务。实施例可以进一步执行软页错误处理，而不中止硬件事务，在返回到用户模式时恢复硬件事务，甚至成功地提交硬件事务。

43. 发明授权

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的虚拟处理器的虚拟机中的来宾执行的序列化指令。

44. 发明授权

US07587566B2 Realtime memory management via locking realtime threads and related data structures 有权
标题翻译：通过锁定实时线程和相关数据结构实时内存管理
公开(公告)号：US07587566B2
公开(公告)日：2009-09-08
申请号：US10945093
申请日：2004-09-21
申请人： Joseph C. Ballantyne , Landy Wang
发明人： Joseph C. Ballantyne , Landy Wang
IPC分类号： G06F13/14
CPC分类号： G06F9/5016 , G06F12/023 , G06F12/126
摘要： The present invention is directed to a method and system for minimizing memory access latency during realtime processing. The method includes a mechanism for marking information that will be accessed during realtime processing. The marked information may include code, data, heaps, stacks, as well as other information. The method includes support for locking down all of the marked information so that it is present in a computing machine's physical memory so that no page faults will be incurred during realtime processing. The method additionally enables realtime processing code to allocate and free memory in a non-blocking manner. It does so by enabling the creation of heaps for use during realtime processing, wherein each heap supports allocating and freeing memory in a non-blocking fashion. Each heap tracks freed memory blocks using individual non-blocking tracking lists for each memory block size supported by that heap. If a memory allocation request to a heap can be satisfied by using a memory block available on one of the lists of freed memory blocks, the method includes allocating the available memory block by popping the memory block from the tracking list. If no freed memory blocks of the desired size are available, then the method includes traversing a separate set of source memory blocks for that heap, and making the allocation in a non-blocking fashion from one of those blocks.
摘要翻译：本发明涉及一种用于在实时处理期间最小化存储器访问等待时间的方法和系统。该方法包括用于标记将在实时处理期间访问的信息的机制。所标记的信息可以包括代码，数据，堆，堆栈以及其他信息。该方法包括支持锁定所有标记的信息，使其存在于计算机的物理存储器中，使得在实时处理期间不会产生页面错误。该方法还允许实时处理代码以非阻塞方式分配和释放内存。它通过启用在实时处理期间使用的堆来实现，其中每个堆支持以非阻塞方式分配和释放存储器。每个堆使用该堆支持的每个内存块大小的单个非阻塞跟踪列表跟踪释放的内存块。如果通过使用在释放的存储器块的一个列表上可用的存储器块来满足对堆的存储器分配请求，则该方法包括通过从跟踪列表弹出存储器块来分配可用存储器块。如果没有所需尺寸的可释放的存储器块可用，则该方法包括遍历该堆的单独的源存储器块集合，并且以这些块中的一个块的非阻塞方式进行分配。

45. 发明申请

US20090112949A1 COMPRESSED STORAGE MANAGEMENT 有权
标题翻译：压缩存储管理
公开(公告)号：US20090112949A1
公开(公告)日：2009-04-30
申请号：US11933364
申请日：2007-10-31
申请人： Cenk Ergan , Mehmet Iyigun , Yevgeniy Bak , Benjamin A Mickle , Alexander Kirshenbaum , Landy Wang
发明人： Cenk Ergan , Mehmet Iyigun , Yevgeniy Bak , Benjamin A Mickle , Alexander Kirshenbaum , Landy Wang
IPC分类号： G06F12/06
CPC分类号： G06F12/0802 , G06F3/0608 , G06F12/08 , G06F2212/1044 , G06F2212/401
摘要： In accordance with one or more aspects, compressed storage management in a system includes determining which of multiple data units stored in an uncompressed portion of the storage resource are to be compressed and stored in a compressed portion of the storage resource. The management can further include returning one or more regions of the compressed portion for use in the uncompressed portion in response to storage resource pressure in the system, as well as compacting regions in the compressed portion to fill empty gaps in the compressed portion.
摘要翻译：根据一个或多个方面，系统中的压缩存储管理包括确定存储在存储资源的未压缩部分中的多个数据单元中的哪个数据单元将被压缩并存储在存储资源的压缩部分中。管理还可以包括响应于系统中的存储资源压力而返回压缩部分中用于未压缩部分的一个或多个区域，以及压缩压缩部分中的区域以填充压缩部分中的空隙。

46. 发明授权

US07398430B2 System and method for self-diagnosing system crashes 有权
标题翻译：自诊断系统崩溃的系统和方法
公开(公告)号：US07398430B2
公开(公告)日：2008-07-08
申请号：US11549073
申请日：2006-10-12
申请人： Landy Wang , Matthew D. Hendel
发明人： Landy Wang , Matthew D. Hendel
IPC分类号： G06F11/00
CPC分类号： G06F11/0778 , G06F11/073 , G06F11/0769 , G06F11/0787 , G06F11/079
摘要： A system and method for self-diagnosing a likely cause of a system crash is disclosed. A mechanism within an operating system checks for the existence of a stop code at startup of the machine. The existence of the stop code indicates that the system crashed during the previous session, and the type of system crash. The mechanism may read the stop code and implement a self-diagnostic procedure that corresponds to that stop code. In this manner, the mechanism may automate many of the tasks normally performed by humans, such as a system administrator, to self-diagnose the likely cause of the crash. If the crash occurs again, the mechanism, through the tracking procedures automatically implemented, may identify and report to a system administrator the likely cause of the crash, e.g. the particular faulty driver or configuration error.
摘要翻译：公开了一种用于自诊断系统崩溃的可能原因的系统和方法。操作系统中的机制检查机器启动时是否存在停止代码。停止代码的存在表明系统在上次会话期间崩溃，系统崩溃。该机制可以读取停止代码并实现与该停止代码相对应的自诊断过程。以这种方式，该机制可以使诸如系统管理员的人们通常执行的许多任务自动化，以自我诊断崩溃的可能原因。如果再次发生崩溃，通过跟踪程序自动实施的机制可能会识别并向系统管理员报告可能的崩溃原因，例如，特定的错误驱动程序或配置错误。

47. 发明申请

US20070011180A1 SYSTEMS AND METHODS FOR ENHANCED STORED DATA VERIFICATION UTILIZING PAGEABLE POOL MEMORY 有权
标题翻译：用于增强存储数据验证的系统和方法
公开(公告)号：US20070011180A1
公开(公告)日：2007-01-11
申请号：US11469156
申请日：2006-08-31
申请人： Ervin Peretz , Karan Mehra , Landy Wang
发明人： Ervin Peretz , Karan Mehra , Landy Wang
IPC分类号： G06F7/00
CPC分类号： G06F11/1008
摘要： The present invention utilizes pageable pool memory to provide, via a data verifier component, data verification information for storage mediums. By allowing the utilization of pageable pool memory, overflow from the pageable pool memory is paged and stored in a virtual memory space on a storage medium. Recently accessed verification information is stored in non-pageable memory, permitting low latency access. One instance of the present invention synchronously verifies data when verification information is accessible in physical system memory while deferring processing of data verification when verification information is stored in paged memory. Another instance of the present invention allows access to paged verification information in order to permit synchronous verification of data.
摘要翻译：本发明利用可分页池存储器，经由数据验证器组件提供用于存储介质的数据验证信息。通过允许使用可分页池内存，可分页池内存的溢出被分页并存储在存储介质上的虚拟内存空间中。最近访问的验证信息存储在非可页面存储器中，允许低延迟访问。当验证信息在物理系统存储器中可访问时，本发明的一个实例同步地验证数据，同时当验证信息存储在寻呼存储器中时延迟数据验证的处理。本发明的另一个实例允许访问分页的验证信息，以允许数据的同步验证。

48. 发明授权

US07149946B2 Systems and methods for enhanced stored data verification utilizing pageable pool memory 有权
标题翻译：使用可分页池内存来增强存储数据验证的系统和方法
公开(公告)号：US07149946B2
公开(公告)日：2006-12-12
申请号：US10461136
申请日：2003-06-13
申请人： Ervin Peretz , Karan Mehra , Landy Wang
发明人： Ervin Peretz , Karan Mehra , Landy Wang
IPC分类号： H03M13/00 , G06F11/10
CPC分类号： G06F11/1008
摘要： The present invention utilizes pageable pool memory to provide, via a data verifier component, data verification information for storage mediums. By allowing the utilization of pageable pool memory, overflow from the pageable pool memory is paged and stored in a virtual memory space on a storage medium. Recently accessed verification information is stored in non-pageable memory, permitting low latency access. One instance of the present invention synchronously verifies data when verification information is accessible in physical system memory while deferring processing of data verification when verification information is stored in paged memory. Another instance of the present invention allows access to paged verification information in order to permit synchronous verification of data.
摘要翻译：本发明利用可分页池存储器，经由数据验证器组件提供用于存储介质的数据验证信息。通过允许使用可分页池内存，可分页池内存的溢出被分页并存储在存储介质上的虚拟内存空间中。最近访问的验证信息存储在非可页面存储器中，允许低延迟访问。当验证信息在物理系统存储器中可访问时，本发明的一个实例同步地验证数据，同时当验证信息存储在寻呼存储器中时延迟数据验证的处理。本发明的另一个实例允许访问分页的验证信息，以允许数据的同步验证。

49. 发明申请

US20060248542A1 Method and system for monitoring and verifying software drivers 有权
标题翻译：用于监控和验证软件驱动程序的方法和系统
公开(公告)号：US20060248542A1
公开(公告)日：2006-11-02
申请号：US11479268
申请日：2006-06-30
申请人： Landy Wang , Adrian Oney
发明人： Landy Wang , Adrian Oney
IPC分类号： G06F9/46
CPC分类号： G06F11/3668
摘要： A method and system for verifying computer system drivers such as kernel mode drivers. A driver verifier sets up tests for specified drivers and monitors the driver's behavior for selected violations that cause system crashes. In one test, the driver verifier allocates a driver's memory pool allocations from a special pool bounded by inaccessible memory space to test for the driver's accessing memory outside of the allocation. The driver verifier also marks the space as inaccessible when it is deallocated, detecting a driver that accesses deallocated space. The driver verifier may also provide extreme memory pressure on a specific driver, or randomly fail requests for pool memory. The driver verifier also checks call parameters for violations, performs checks to ensure a driver cleans up timers when deallocating memory and cleans up memory and other resources when unloaded. An I/O verifier is also described for verifying drivers use of I/O request packets.
摘要翻译：一种验证计算机系统驱动程序（如内核模式驱动程序）的方法和系统。驱动程序验证器设置指定驱动程序的测试，并监视驱动程序对导致系统崩溃的选定违规行为。在一个测试中，驱动程序验证器从由不可访问的内存空间限定的特殊池分配驱动程序的内存池分配，以测试驱动程序在分配之外的访问内存。驱动程序验证程序还将空间标记为无法访问的位置，检测到访问取消分配空间的驱动程序。驱动程序验证器也可能会在特定驱动程序上提供极大的内存压力，或随机失败的池内存请求。驱动程序验证程序还会检查调用参数是否违规，执行检查以确保驱动程序在释放内存时清除计时器，并在卸载时清除内存和其他资源。还描述了一个I / O验证器，用于验证驱动程序使用I / O请求数据包。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式