首页>
外国专利>
ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS
ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS
展开▼
机译:分布式系统的在线预测检查
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼