Pod-0-1 Server Slave Pod-0-2 Server Group 0 StatefulSet-0 Server Master Pod-1-0 Server Slave Pod-0-1 Server Slave Pod-0-2 Server Group 1 StatefulSet-1 Server Master Pod-N-0 Server Slave Pod-N-1 Pod-N-1 Server Slave Pod-N-2 Server Group N StatefulSet-2 Storage Service Cluster Discovery Service Pod-0 Discovery Service Pod-1 Discovery Service Pod-2 Discovery Service Cluster 使用 TLA+ 验证系统自愈特性——目标状态

one ● Operator’s fundamental ● Built-in controller examples: ○ ReplicaSert ○ Deployment ○ StatefulSet ○ JobOperators ● Concept was introduced in 2016 by the CoreOS ● Operators are software extensions