Abstract: The methods and systems described herein provide functionality for managing injection of input events to one virtual machine of a plurality of guest virtual machines, in a computing device executing a hypervisor hosting a trusted virtual machine and a non-trusted virtual machine. An input manager receives a first item of input data from an input device communicating with the computing device. The input manager identifies whether the first item of input data includes a predetermined string. The input manager forwards, responsive to the identification, the first item of input data to one of (i) a first virtual machine of a plurality of guest virtual machines executed by the processor of the computing device and (ii) an application executed by the control virtual machine, wherein at least one virtual machine of the plurality of guest virtual machines is a trusted virtual machine.

Abstract: A method and system for using writeable page tables to increase performance of memory address translation in computing environments utilizing a hypervisor. Guest operating systems are given temporary write-access to a page table page after the system confirms that such page is not part of the current address space (i.e., confirming that the page is part of a different page table from the one that is currently in use, such as a different user-space process). Alternatively, if the page is part of the currently running page table, the system invalidates the appropriate entry in the root page directory, thus “unlinking” it, and ensuring that the appropriate region of virtual address space is flushed from the translation lookaside buffer (TLB) in the current CPU and others that may be using it. After giving the OS write-access, the page is added to a validation queue.

Abstract: A method and system for using writeable page tables to increase performance of memory address translation in computing environments utilizing a hypervisor. Guest operating systems are given temporary write-access to a page table page after the system confirms that such page is not part of the current address space (i.e., confirming that the page is part of a different page table from the one that is currently in use, such as a different user-space process). Alternatively, if the page is part of the currently running page table, the system invalidates the appropriate entry in the root page directory, thus “unlinking” it, and ensuring that the appropriate region of virtual address space is flushed from the translation lookaside buffer (TLB) in the current CPU and others that may be using it. After giving the OS write-access, the page is added to a validation queue.

Abstract: A reagent reservoir with a patterned bottom for full extraction of a liquid reagent by a multiple head pipettor. The bottom wall includes a plurality of recesses, each corresponding to a head of a multiple head pipettor. Each recess opens upwardly to receive the pipettor head, and includes a top edge, a bottom and surrounding side wall portions that angle outwardly from the recess bottom to the top edge. The recesses promote flow of the liquid reagent to the recess bottoms and prevent liquid hangup between recesses to eliminate waste of the liquid reagent. In one exemplary embodiment of the present invention, the top edges between adjacent recesses meet at an angle to form a pointed peak.

Abstract: A reagent reservoir with a patterned bottom for full extraction of a liquid reagent by a multiple head pipettor. The bottom wall includes a plurality of recesses, each corresponding to a head of a multiple head pipettor. Each recess opens upwardly to receive the pipettor head, and includes a top edge, a bottom and surrounding side wall portions that angle outwardly from the recess bottom to the top edge. The recesses promote flow of the liquid reagent to the recess bottoms and prevent liquid hangup between recesses to eliminate waste of the liquid reagent. In one exemplary embodiment of the present invention, the top edges between adjacent recesses meet at an angle to form a pointed peak.