公开(公告)号：WO2008010877A2

公开(公告)日：2008-01-24

申请号：PCT/US2007/013336

申请日：2007-06-05

Applicant: MICROSOFT CORPORATION

Inventor： HOWELL, Jonathan R. ,  TRAUT, Eric ,  LORCH, Jacob R. ,  DOUCEUR, John R.

IPC: G06F15/16 ,  G06F12/08

CPC classification number: G06F9/45558 ,  G06F11/1484 ,  G06F2009/45566 ,  G06F2201/815

Abstract: A virtual machine monitor (VMM) is configured to enforce deterministic execution of virtual machines in a multiprocessor machine. The VMM is configured to ensure that any communication by physical processors via shared memory is deterministic. When such VMMs are implemented in a distributed environment of multiprocessor machines coupled via a logical communication link, non-deterministic server applications running on virtual machines using the VMM may be replicated.

Abstract translation: 虚拟机监视器（VMM）被配置为强制执行多处理器机器中的虚拟机的确定性执行。 VMM配置为确保物理处理器通过共享内存的任何通信是确定性的。 当这种VMM在通过逻辑通信链路耦合的多处理器机器的分布式环境中实现时，可以复制在使用VMM的虚拟机上运行的非确定性服务器应用程序。

公开(公告)号：WO2014182750A1

公开(公告)日：2014-11-13

申请号：PCT/US2014/037040

申请日：2014-05-07

Applicant: MICROSOFT CORPORATION

Inventor： LORCH, Jacob R. ,  PADHYE, Jitu ,  WAN, Wei ,  ZAGER, Eric ,  ZILL, Brian

IPC: H04L29/12 ,  G06F1/32

CPC classification number: H04L43/0805 ,  H04L43/10 ,  H04L61/00

Abstract: A method, system, and one or more computer-readable storage media for detecting sleeping computing devices are provided herein. The method includes querying, via a computing device, a system neighbor table of the computing device to determine whether a target computing device is reachable and, if the target computing device is unreachable, sending a neighbor discovery packet to the target computing device. The method also includes re-querying the system neighbor table to determine whether the target computing device is reachable and, if the target computing device is unreachable, determining whether the target computing device has been determined to be unreachable at least a specified number of times in a row. The method further includes determining that the target computing device is manageable if the target computing device has been determined to be unreachable at least the specified number of times in a row.

Abstract translation: 本文提供了一种用于检测睡眠计算设备的方法，系统和一个或多个计算机可读存储介质。 该方法包括通过计算设备查询计算设备的系统邻居表，以确定目标计算设备是否可达，并且如果目标计算设备不可达，则向目标计算设备发送邻居发现分组。 该方法还包括重新查询系统邻居表以确定目标计算设备是否可达，并且如果目标计算设备不可达，则确定目标计算设备是否已经被确定为不能达到至少指定次数 一排。 该方法还包括：如果目标计算设备已被确定为至少达不到一行中指定的次数，则确定目标计算设备是可管理的。