DISTRIBUTED SYSTEM CHECKER
First Claim
Patent Images
1. A system, comprising:
- a distributed system comprising a plurality of nodes, each node running a process and an operating system and comprising an interposition layer provided between the process and the operating system; and
a distributed system checker in control over the distributed system via the interposition layer on each node.
2 Assignments
0 Petitions
Accused Products
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.
-
Citations
20 Claims
-
1. A system, comprising:
-
a distributed system comprising a plurality of nodes, each node running a process and an operating system and comprising an interposition layer provided between the process and the operating system; and a distributed system checker in control over the distributed system via the interposition layer on each node. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A method of checking a distributed system, comprising:
-
adding a plurality of state and action pairs to a queue; performing one of the actions from the state and action pairs on the distributed system; and detecting an error in the distributed system pursuant to performing the one of the actions. - View Dependent Claims (12, 13, 14, 15)
-
-
16. A method of checking a distributed system, comprising:
-
providing an interposition layer to a node in the distribution system on an application programming interface (API) between a process and an operating system on the node; simulating an event on the node via the interposition layer; and determining whether a bug occurs in the distributed system based on the event. - View Dependent Claims (17, 18, 19, 20)
-
Specification