{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/124218"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/124218","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Enhancing the reliability of dynamic management in cloud infrastructures","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","abstract_has_math":false,"creators":["Liu, Bingzhe"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Godfrey, Brighten","Beckett, Ryan","Gupta, Indranil","Xu, Tianyin"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2024,"date_issued":"2024-05","date_published":"2024-05","updated_at":"2026-07-22T22:25:00Z","subjects":["Reliability","Cloud Infrastructure","Kubernetes","Cloud Management","Formal Methods","Verification","Synthesis","Failure Studies"],"languages":["en","eng"],"rights":["Copyright 2024 Bingzhe Liu"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/124218","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Godfrey, Brighten","Beckett, Ryan","Gupta, Indranil","Xu, Tianyin"]},{"key":"dc:creator","label":"Author","values":["Liu, Bingzhe"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2024-05","2024-04-23"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Reliability","Cloud Infrastructure","Kubernetes","Cloud Management","Formal Methods","Verification","Synthesis","Failure Studies"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en","eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2024 Bingzhe Liu"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/124218"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","The student, Bingzhe Liu, accepted the attached license on 2024-04-23 at 11:42.","The student, Bingzhe Liu, submitted this Dissertation for approval on 2024-04-23 at 12:19.","This Dissertation was approved for publication on 2024-04-23 at 15:47.","DSpace SAF Submission Ingestion Package generated from Vireo submission #20273 on 2024-09-16 at 00:33:37","Modern cloud infrastructure is powered by cluster management systems such as Kubernetes and Docker Swarm. These systems consist of multiple dynamic controllers that continuously monitor the underlying systems to collect metrics and move the system toward the desired goal. While these systems seek to minimize users' operational burden, the complex, dynamic, and non-deterministic nature of these systems makes them hard to reason about, potentially leading to failures ranging from performance degradation to outages. In this thesis, we aim to enhance the reliability of dynamic management in cloud infrastructure. We first conduct a series of failure studies on a diverse range of outages to gain insights into how things can go wrong. Leveraging these insights, we then exploit formal methods to help improve reliability. In particular, we develop the system Strategyzer, which automatically synthesizes reliable management plans for telecommunication operators that involve both non-trivial dynamic controllers as well as human actions. We implemented two management examples in Strategyzer and showed that the approach can generate plans accurately for these tasks. We then discuss Kivi, which is the first system for verifying controllers and their configurations in cluster management systems. Kivi takes the users' intent, the state and configuration of the cluster, and the event assumptions as inputs, and verifies if the cluster can violate the intent. If a violation is possible, it generates a minimal counterexample. We show that Kivi is effective and accurate in finding issues in realistic and complex scenarios and showcase two new issues in Kubernetes controller source code."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Enhancing the reliability of dynamic management in cloud infrastructures"]}]}],"canonical_facts":{"dc:contributor":["Godfrey, Brighten","Beckett, Ryan","Gupta, Indranil","Xu, Tianyin"],"dc:creator":["Liu, Bingzhe"],"dc:date":["2024-05","2024-04-23"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","The student, Bingzhe Liu, accepted the attached license on 2024-04-23 at 11:42.","The student, Bingzhe Liu, submitted this Dissertation for approval on 2024-04-23 at 12:19.","This Dissertation was approved for publication on 2024-04-23 at 15:47.","DSpace SAF Submission Ingestion Package generated from Vireo submission #20273 on 2024-09-16 at 00:33:37","Modern cloud infrastructure is powered by cluster management systems such as Kubernetes and Docker Swarm. These systems consist of multiple dynamic controllers that continuously monitor the underlying systems to collect metrics and move the system toward the desired goal. While these systems seek to minimize users' operational burden, the complex, dynamic, and non-deterministic nature of these systems makes them hard to reason about, potentially leading to failures ranging from performance degradation to outages. In this thesis, we aim to enhance the reliability of dynamic management in cloud infrastructure. We first conduct a series of failure studies on a diverse range of outages to gain insights into how things can go wrong. Leveraging these insights, we then exploit formal methods to help improve reliability. In particular, we develop the system Strategyzer, which automatically synthesizes reliable management plans for telecommunication operators that involve both non-trivial dynamic controllers as well as human actions. We implemented two management examples in Strategyzer and showed that the approach can generate plans accurately for these tasks. We then discuss Kivi, which is the first system for verifying controllers and their configurations in cluster management systems. Kivi takes the users' intent, the state and configuration of the cluster, and the event assumptions as inputs, and verifies if the cluster can violate the intent. If a violation is possible, it generates a minimal counterexample. We show that Kivi is effective and accurate in finding issues in realistic and complex scenarios and showcase two new issues in Kubernetes controller source code."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/124218"],"dc:language":["en","eng"],"dc:rights":["Copyright 2024 Bingzhe Liu"],"dc:subject":["Reliability","Cloud Infrastructure","Kubernetes","Cloud Management","Formal Methods","Verification","Synthesis","Failure Studies"],"dc:title":["Enhancing the reliability of dynamic management in cloud infrastructures"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:00Z"}