Online predicate checking for distributed systems
US7747742B2 · kind B2 · utility
1Cited by
11References
18Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 27, 2008 |
| Grant date | Jun 29, 2010 |
| Priority date | — |
| Expiry date | Jan 17, 2029 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/06
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Exemplary methods, computer-readable media, and systems describe detecting a performance bug or a nontrivial correctness in a distributed system. The techniques describe using an online predicate checker by specifying a predicate on distributed properties of the distributed system. The process describes monitoring and checking the predicate when the system is deployed and providing a service. In response to detection of the performance bug, the process describes performing modifications of the predicate or installing new predicate.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.