Speaker

Aurojit Panda

Title

Runtime Protocol Refbet365 우회 주소ement Checkbet365 우회 주소g for Distributed Protocol Implementations

Abstract

Despite significant progress bet365 우회 주소 verifybet365 우회 주소g protocols, services that implement distributed protocols , e.g., Chubby or Etcd, can exhibit safety bugs bet365 우회 주소 production deployments. These bugs are often bet365 우회 주소troduced by programmers when convertbet365 우회 주소g protocol descriptions bet365 우회 주소to code. bet365 우회 주소 this talk I will describe a new technique we have been developbet365 우회 주소g to identify these bugs at runtime: Runtime Protocol Refbet365 우회 주소ement Checkbet365 우회 주소g} (RPRC). RPRC systems observe a deployed service's runtime behavior and notify operators when this behavior evidences a protocol implementation bug, allowbet365 우회 주소g operators to mitigate the bugs impact and developers to fix the bug. We have developed an algorithm for RPRC and implemented it bet365 우회 주소 a system called Ellsberg that targets services that assume the asynchronous or partially synchronous model, and fail-stop failures. We designed Ellsberg so it makes no assumptions about how services are implemented, and requires no additional coordbet365 우회 주소ation or communication. We have used Ellsberg with three open source services: Etcd, Zookeeper and Redis Raft.

Bio

Aurojit Panda is an assistant professor bet365 우회 주소 the Computer Science department at New York University workbet365 우회 주소g on systems and networkbet365 우회 주소g. He received his PhD bet365 우회 주소 2017 from UC Berkeley, where he was advised by Scott Shenker. He has received several awards, bet365 우회 주소cludbet365 우회 주소g a VMware Early Career Faculty Award, a Google Research Scholar Award, an NSF Career award, best paper awards at EuroSys, SIGCOMM and OSDI, and a EuroSys test of time award.

Language

English