Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Ming Wu0
Zhenyu Guo0
Zheng Zhang0
Jian Tang0
Xuezheng Liu0
Date of Patent
June 29, 2010
Patent Application Number
12163671
Date Filed
June 27, 2008
Patent Primary Examiner
Patent 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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
