Patent · US Active

Distributed system checker

US7984332B2 · kind B2 · utility

8Cited by

16References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Junfeng Yang · New York, US
Lintao Zhang · Beijing, CN
Lidong Zhou · Bellevue, US
Zhenyu Guo · Vancouver, CA
Xuezheng Liu · Beijing, CN
Jian Tang · Beijing, CN
Mao Yang · Redmond, US

Key dates

Filing date	Nov 17, 2008
Grant date	Jul 19, 2011
Priority date	—
Expiry date	Sep 15, 2029

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/362
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.