An Empirical Study on Kubernetes Operator Bugs
Kubernetes is the leading cluster management platform, and within Kubernetes, an
operator is an application-specific program that leverages the Kubernetes API to
automate operation tasks for managing an application deployed on a Kubernetes
cluster. Users can declare a desired state for the managed cluster, specifying
their configuration preferences. The operator program is responsible for
reconciling the cluster's actual state to align with the desired state. However,
the complex, dynamic, and distributed nature of the overall system can introduce
operator bugs, and lead to severe consequences, e.g., outages and undesired
cluster state.
In this paper, we conduct the first comprehensive study on 210 operator bugs
from 36 Kubernetes operators. For all the studied bugs, we investigate their
root causes, manifestations, impacts and fixing. Our study reveals many
interesting findings that can guide the detection and testing of operator bugs,
as well as the development of more reliable operators.
Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 16:50 | Empirical StudiesTechnical Papers at EI 10 Fritz Paschke Chair(s): Cristian Cadar Imperial College London | ||
15:30 20mTalk | Bugs in Pods: Understanding Bugs in Container Runtime Systems Technical Papers Jiongchi Yu Singapore Management University, Xiaofei Xie Singapore Management University, Cen Zhang Nanyang Technological University, Sen Chen Tianjin University, Yuekang Li UNSW, Wenbo Shen Zhejiang University DOI | ||
15:50 20mTalk | An Empirical Study on Kubernetes Operator Bugs Technical Papers Qingxin Xu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI | ||
16:10 20mTalk | Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches Technical Papers Paulo Canelas Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon, Christopher Steven Timperley Carnegie Mellon University DOI Pre-print Media Attached | ||
16:30 20mTalk | An In-Depth Study of Runtime Verification Overheads during Software TestingACM SIGSOFT Distinguished Paper Award Technical Papers DOI | ||