公开(公告)号：US07810103B2

公开(公告)日：2010-10-05

申请号：US10836735

申请日：2004-04-30

申请人： Peter Shier ,  Patrick L. Garvan ,  Adrian Oney

发明人： Peter Shier ,  Patrick L. Garvan ,  Adrian Oney

IPC分类号： G06F9/46 ,  G06F15/16

CPC分类号： G06F13/102

摘要： A system and method for validating whether communications between a device driver and a hardware device conform to a communication specification is presented. A validation module obtains a communication specification identifying rules for validating whether communications between a device driver and a hardware device conform to the specification. A redirection module redirects communications between the device driver and the hardware device to the validation module. Based on an individual communication, as well as the context in which an individual communication is made, the validation module validates whether the communication conforms to the communication specification.

摘要翻译： 提出一种用于验证设备驱动器和硬件设备之间的通信是否符合通信规范的系统和方法。 验证模块获得用于识别用于验证设备驱动器和硬件设备之间的通信是否符合规范的规则的通信规范。 重定向模块将设备驱动程序和硬件设备之间的通信重定向到验证模块。 基于个人通信以及进行个人通信的上下文，验证模块验证通信是否符合通信规范。

公开(公告)号：US20070112999A1

公开(公告)日：2007-05-17

申请号：US11437109

申请日：2006-05-18

申请人： Adrian Oney ,  Bryan Willman ,  Eric Traut ,  Forrest Foltz ,  Matthew Hendel ,  Rene Vega

发明人： Adrian Oney ,  Bryan Willman ,  Eric Traut ,  Forrest Foltz ,  Matthew Hendel ,  Rene Vega

IPC分类号： G06F21/00

CPC分类号： G06F9/442 ,  G06F1/28 ,  G06F1/30 ,  G06F1/3246 ,  G06F1/3268 ,  G06F1/3287 ,  G06F1/329 ,  G06F9/455 ,  G06F9/45545 ,  G06F9/45554 ,  G06F9/45558 ,  G06F9/50 ,  G06F17/00 ,  G06F17/30144 ,  G06F17/3015 ,  G06F21/53 ,  G06F21/575 ,  G06F21/6245 ,  G06F2009/45562 ,  G06F2009/45579 ,  G06F2009/45583

摘要： Efficient power management of a system with virtual machines is disclosed. In particular, such efficient power management may enable coordination of system-wide power changes with virtual machines. Additionally, such efficient power management may enable coherent power changes in a system with a virtual machine monitor. Furthermore, such efficient power management may enable dynamic control and communication of power state changes.

摘要翻译： 公开了具有虚拟机的系统的有效功率管理。 特别地，这种有效的功率管理可以实现与虚拟机协调系统范围的功率变化。 此外，这种有效的功率管理可以使得具有虚拟机监视器的系统中的一致的功率改变。 此外，这种有效的功率管理可以实现功率状态变化的动态控制和通信。

公开(公告)号：US20050246722A1

公开(公告)日：2005-11-03

申请号：US10836735

申请日：2004-04-30

申请人： Peter Shier ,  Patrick Garvan ,  Adrian Oney

发明人： Peter Shier ,  Patrick Garvan ,  Adrian Oney

IPC分类号： G06F9/00

CPC分类号： G06F13/102

摘要： A system and method for validating whether communications between a device driver and a hardware device conform to a communication specification is presented. A validation module obtains a communication specification identifying rules for validating whether communications between a device driver and a hardware device conform to the specification. A redirection module redirects communications between the device driver and the hardware device to the validation module. Based on an individual communication, as well as the context in which an individual communication is made, the validation module validates whether the communication conforms to the communication specification.

摘要翻译： 提出一种用于验证设备驱动器和硬件设备之间的通信是否符合通信规范的系统和方法。 验证模块获得用于识别用于验证设备驱动器和硬件设备之间的通信是否符合规范的规则的通信规范。 重定向模块将设备驱动程序和硬件设备之间的通信重定向到验证模块。 基于个人通信以及进行个人通信的上下文，验证模块验证通信是否符合通信规范。

公开(公告)号：US20070088890A1

公开(公告)日：2007-04-19

申请号：US11558997

申请日：2006-11-13

申请人： Peter Wieland ,  Adrian Oney

发明人： Peter Wieland ,  Adrian Oney

IPC分类号： G06F13/24

CPC分类号： G06F13/24 ,  G06F9/468 ,  G06F9/4812

摘要： A system, methodology and/or computer architecture that facilitates processing device interrupts (including level-triggered interrupts) in a user-mode process is provided. The kernel interrupt handler can cause a dedicated thread in the process to wake and invoke the driver interrupt service routine. This thread can then return control to the kernel interrupt handler. In addition to processing interrupts in an isolated mode, the context switching technique could be used in any isolated environment to process interrupts via dedicated execution context methods.

摘要翻译： 提供了一种便于在用户模式过程中处理设备中断（包括电平触发中断）的系统，方法和/或计算机体系结构。 内核中断处理程序可以使进程中的专用线程唤醒并调用驱动程序中断服务程序。 该线程然后可以将控制权返回给内核中断处理程序。 除了在隔离模式下处理中断之外，上下文切换技术可以在任何隔离的环境中用于通过专用执行上下文方法处理中断。

公开(公告)号：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请求数据包。

公开(公告)号：US20060248528A1

公开(公告)日：2006-11-02

申请号：US11119200

申请日：2005-04-29

申请人： Adrian Oney ,  Andrew Thornton ,  Eric Traut ,  Nathan Lewis

发明人： Adrian Oney ,  Andrew Thornton ,  Eric Traut ,  Nathan Lewis

IPC分类号： G06F9/455

CPC分类号： G06F9/45533

摘要： Systems and methods are provided, whereby partitions may become enlightened and discover the presence of a hypervisor. Several techniques of hypervisor discovery are discussed, such as detecting the presence of virtual processor registers (e.g. model specific registers or special-purpose registers) or the presence of virtual hardware devices. Upon discovery, information (code and/or data) may be injected in a partition by the hypervisor, whereby such injection allows the partition to call the hypervisor. Moreover, the hypervisor may present a versioning mechanism that allows the partition to match up the version of the hypervisor to its virtual devices. Next, once code and/or data is injected, calling conventions are established that allow the partition and the hypervisor to communicate, so that the hypervisor may perform some operations on behalf of the partition. Four exemplary calling conventions are considered: restartable instructions, a looping mechanism, shared memory transport, and synchronous or asynchronous processed packets. Last, cancellation mechanisms are considered, whereby partition requests may be cancelled.

摘要翻译： 提供了系统和方法，由此分区可能变得开明并发现管理程序的存在。 讨论了管理程序发现的几种技术，例如检测虚拟处理器寄存器（例如模型特定寄存器或专用寄存器）的存在或虚拟硬件设备的存在。 一旦发现，信息（代码和/或数据）可以由管理程序注入到分区中，由此这种注入允许分区调用管理程序。 此外，管理程序可以呈现允许分区将虚拟机管理程序的版本与其虚拟设备相匹配的版本控制机制。 接下来，一旦注入了代码和/或数据，就建立了允许分区和管理程序进行通信的调用约定，以便管理程序可以代表分区执行一些操作。 考虑四个示例性的呼叫约定：可重新启动的指令，循环机制，共享存储器传输和同步或异步处理的分组。 最后，考虑取消机制，从而可能会取消分区请求。

公开(公告)号：US20060117325A1

公开(公告)日：2006-06-01

申请号：US10985360

申请日：2004-11-10

申请人： Peter Wieland ,  Adrian Oney

发明人： Peter Wieland ,  Adrian Oney

IPC分类号： G06F13/24 ,  G06F9/46

CPC分类号： G06F13/24 ,  G06F9/468 ,  G06F9/4812

摘要： A system, methodology and/or computer architecture that facilitates processing device interrupts (including level-triggered interrupts) in a user-mode process is provided. The kernel interrupt handler can cause a dedicated thread in the process to wake and invoke the driver interrupt service routine. This thread can then return control to the kernel interrupt handler. In addition to processing interrupts in an isolated mode, the context switching technique could be used in any isolated environment to process interrupts via dedicated execution context methods.

公开(公告)号：US20070113227A1

公开(公告)日：2007-05-17

申请号：US11274907

申请日：2005-11-15

申请人： Adrian Oney ,  Bryan Willman ,  Eric Traut ,  Forrest Foltz ,  John Sheu ,  Matthew Hendel ,  Rene Vega

发明人： Adrian Oney ,  Bryan Willman ,  Eric Traut ,  Forrest Foltz ,  John Sheu ,  Matthew Hendel ,  Rene Vega

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

CPC分类号： G06F21/575 ,  G06F21/53 ,  G06F21/6245

摘要： An operating system is described that is capable of ascertaining whether it is executing in a virtual machine environment and is further capable of modifying its behavior to operate more efficiently and provide optimal behavior in a virtual machine environment. An operating system is enlightened so that it is aware of VMMs or hypervisors, taking on behavior that is optimal to that environment. The VMM or hypervisor informs the operating system of the optimal behavior, and vice versa.

摘要翻译： 描述了能够确定其是否在虚拟机环境中执行并且还能够修改其行为以更有效地操作并在虚拟机环境中提供最佳行为的操作系统。 操作系统被启发，以便它知道VMM或虚拟机管理程序，采取对该环境最佳的行为。 VMM或管理程序通知操作系统最佳行为，反之亦然。

公开(公告)号：US07103802B2

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

申请号：US10307061

申请日：2002-11-26

申请人： Scott Stephens ,  James Stephens, II ,  Brandon Allsop ,  Adrian Oney ,  Lonny Dean McMichael

发明人： Scott Stephens ,  James Stephens, II ,  Brandon Allsop ,  Adrian Oney ,  Lonny Dean McMichael

IPC分类号： G06F11/00

CPC分类号： G06F11/2635

摘要： An automated system for improving the testing of computer devices designed for coupling with docking devices. A plurality of networked computing devices that are individually connected to a compatible docking device through a slave switch. Each slave switch independently connects or disconnects individual computing devices from an attached docking device based on commands obtained from a server. By controlling the electrical connection between the individual computing devices and attached docking devices, the slave switch can simulate the action of docking or undocking one or more selected computers without human intervention. As a result, the present invention provides a system and method that automates the action of docking or undocking a computer. For example, the present invention is suited for use in computer device testing systems wherein a shut down command is sent to a selected computer, after which the selected computer is disconnected from an attached docking device.