DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving
Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions. However, there is currently no existing approach to automatically repairing deployment failures. We propose DeployFix, which automatically repairs s...
Uloženo v:
| Vydáno v: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 2053 - 2064 |
|---|---|
| Hlavní autoři: | , , , , , , , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
ACM
27.10.2024
|
| Témata: | |
| ISSN: | 2643-1572 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions. However, there is currently no existing approach to automatically repairing deployment failures. We propose DeployFix, which automatically repairs software deployment failures via constraint solving in the dynamic-changing deployment environments. DeployFix first defines DeployIR as a unified intermediate representation to achieve the translation of heterogeneous specifications from different schedulers with different syntaxes. By reducing the root-cause analysis of deployment failures to the conflict resolution in propositional logic, DeployFix uses off-the-shelf constraint solvers to achieve automatic localization and diagnosis of conflicting constraints, which are the root causes of deployment failures. DeployFix finally resolves the conflicting constraints and generates repaired deployment configurations in terms of practical requirements. We evaluate DeployFix in both simulation and production environments with tens of thousands of nodes at Alibaba, on which tens of thousands of applications are running guided by hundreds of thousands of deployment constraints. Experimental results demonstrate that DeployFix outperforms the state of the art and it correctly repairs the deployment failures in minutes, even in a large production data center. |
|---|---|
| AbstractList | Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions. However, there is currently no existing approach to automatically repairing deployment failures. We propose DeployFix, which automatically repairs software deployment failures via constraint solving in the dynamic-changing deployment environments. DeployFix first defines DeployIR as a unified intermediate representation to achieve the translation of heterogeneous specifications from different schedulers with different syntaxes. By reducing the root-cause analysis of deployment failures to the conflict resolution in propositional logic, DeployFix uses off-the-shelf constraint solvers to achieve automatic localization and diagnosis of conflicting constraints, which are the root causes of deployment failures. DeployFix finally resolves the conflicting constraints and generates repaired deployment configurations in terms of practical requirements. We evaluate DeployFix in both simulation and production environments with tens of thousands of nodes at Alibaba, on which tens of thousands of applications are running guided by hundreds of thousands of deployment constraints. Experimental results demonstrate that DeployFix outperforms the state of the art and it correctly repairs the deployment failures in minutes, even in a large production data center. |
| Author | Han, Yujie Ding, Jonathan Yang, Guodong Huang, Bo Liao, Haoyu Shi, Kai Xu, Guoyao Zhang, Liping Yang, Dingyu Guo, Jianmei |
| Author_xml | – sequence: 1 givenname: Haoyu surname: Liao fullname: Liao, Haoyu organization: East China Normal University – sequence: 2 givenname: Jianmei surname: Guo fullname: Guo, Jianmei organization: East China Normal University – sequence: 3 givenname: Bo surname: Huang fullname: Huang, Bo organization: East China Normal University – sequence: 4 givenname: Yujie surname: Han fullname: Han, Yujie organization: East China Normal University – sequence: 5 givenname: Dingyu surname: Yang fullname: Yang, Dingyu organization: Zhejiang University – sequence: 6 givenname: Kai surname: Shi fullname: Shi, Kai organization: Alibaba Group – sequence: 7 givenname: Jonathan surname: Ding fullname: Ding, Jonathan organization: Intel – sequence: 8 givenname: Guoyao surname: Xu fullname: Xu, Guoyao organization: Alibaba Group – sequence: 9 givenname: Guodong surname: Yang fullname: Yang, Guodong organization: Alibaba Group – sequence: 10 givenname: Liping surname: Zhang fullname: Zhang, Liping organization: Alibaba Group |
| BookMark | eNotjktLw0AUhUdRsNas3biYP5B67zzuJO6kDxUKitV1uUlmZCBNShKr_fcG6uo7HD4O51pcNG3jhbhFmCEae68pR1IwG2kVZWciyV2eGQCHymTuXEwUGZ2idepKJH0fCxijJUSaiLeF39ftcRV_H-Ti2PAulvLd7zl2sg1y04bhhzsvT9bON4Nccay_O9_LQ2Q5b5t-6DiO_aatD7H5uhGXgeveJ_-cis_V8mP-nK5fn17mj-uUx1NDGlBrEzIykFvwFReEhSMslVLaofOKigI0UAEVkC25CjYY50tWKoDWrKfi7rQbvffbfRd33B23CI5Mljv9B6E5URw |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1145/3691620.3695268 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9798400712487 |
| EISSN | 2643-1572 |
| EndPage | 2064 |
| ExternalDocumentID | 10764897 |
| Genre | orig-research |
| GrantInformation_xml | – fundername: National Natural Science Foundation of China funderid: 10.13039/501100001809 |
| GroupedDBID | 6IE 6IF 6IH 6IK 6IL 6IM 6IN 6J9 AAJGR AAWTH ABLEC ACREN ADYOE ADZIZ AFYQB ALMA_UNASSIGNED_HOLDINGS AMTXH BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-a248t-f1334f8640950edab61b761c2223717e26bb0306b0d065cadf5f47eca22f033a3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001353105400167&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Jan 15 06:20:39 EST 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a248t-f1334f8640950edab61b761c2223717e26bb0306b0d065cadf5f47eca22f033a3 |
| PageCount | 12 |
| ParticipantIDs | ieee_primary_10764897 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-Oct.-27 |
| PublicationDateYYYYMMDD | 2024-10-27 |
| PublicationDate_xml | – month: 10 year: 2024 text: 2024-Oct.-27 day: 27 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] |
| PublicationTitleAbbrev | ASE |
| PublicationYear | 2024 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssib057256116 ssj0051577 |
| Score | 2.2718613 |
| Snippet | Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions.... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 2053 |
| SubjectTerms | Cloud Computing Constraint Solving Data centers Deployment Failures Dynamic Repair Maintenance engineering Production Reliability engineering Software Software engineering Software reliability Source coding Stability analysis Yarn |
| Title | DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving |
| URI | https://ieeexplore.ieee.org/document/10764897 |
| WOSCitedRecordID | wos001353105400167&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELVoxcBUPor4lgfWQGMn_mClRExVJUDqVtnxWYqEWpSmLT-fs5OCGBjYoshSIjt37z3Hd4-QW8E0Art3idIMBYqyPFFeeYwr4B6gHHFuotmEnEzUbKanXbF6rIUBgHj4DO7CZfyX75blOmyVYYRLkSkte6QnpWiLtXYfTy4RvNPAddo0jDgtZdfLJ83yey6QCDHUqEKHDie_zFQilhSDf77FIRn-VOXR6TfeHJE9WByTwc6WgXZRekKmYwguvkX1-UDHreE8RZ5tqpouPX3BvLs1NdB2VHgWLUwVTqev6KYyNFh4RuOIBse-h_2GIXkrnl4fn5POOCExLFNN4lF4Zl4J1G75CJyxIrVSpGXgAijfgAlrg1awI4cMpDTO5z6TUBrGfFgcfkr6i-UCzgjNvE69NtIDt5lxTIOS3InUKI7ZQPhzMgwzNP9oe2PMd5Nz8cf9S3LAkBaE7M_kFek39RquyX65aapVfRNX9AsnBKD8 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEF20CnqqHxW_3YPXaLO72Q-v1lCxloIVeiubZBYC0kqaVn--s0mqePDgLYSFhN3MvPc2O_MIuZbMILC7LNCGoUDRCQ-00w7jCrgDSLuc28psQg2HejIxo6ZYvaqFAYDq8Bnc-MvqX342T5d-qwwjXEmhjdokW5EQrFuXa60_n0ghfIee7dSJGJFaqaabTyiiWy6RCjFUqdL4Hie_7FQqNInb_3yPPdL5qcujo2_E2ScbMDsg7bUxA23i9JCMeuB9fOP88472ast5ikzb5gWdO_qCmffDFkDrUf5ZNLa5P5--oKvcUm_iWVlHlDj2ze84dMhr_DC-7weNdUJgmdBl4FB6CqclqreoC5lNZJgoGaaeDaCAAyaTxKuFpJshB0lt5iInFKSWMeeXhx-R1mw-g2NChTOhM1Y54ImwGTOgFc9kaDXHfCDdCen4GZq-190xpuvJOf3j_hXZ6Y-fB9PB4_DpjOwyJAkeC5g6J62yWMIF2U5XZb4oLqvV_QK21KRD |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=DeployFix%3A+Dynamic+Repair+of+Software+Deployment+Failures+via+Constraint+Solving&rft.au=Liao%2C+Haoyu&rft.au=Guo%2C+Jianmei&rft.au=Huang%2C+Bo&rft.au=Han%2C+Yujie&rft.date=2024-10-27&rft.pub=ACM&rft.eissn=2643-1572&rft.spage=2053&rft.epage=2064&rft_id=info:doi/10.1145%2F3691620.3695268&rft.externalDocID=10764897 |