Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing
Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency, current testing tools use stress testing methods to examine consensus algorithms. However, existing tools are unable to simulate the situation...
Uloženo v:
| Vydáno v: | IEEE/ACM ... International Symposium on Quality of Service (Online) s. 1 - 10 |
|---|---|
| Hlavní autoři: | , , , , , , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
02.07.2025
|
| Témata: | |
| ISSN: | 2766-8568 |
| 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 | Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency, current testing tools use stress testing methods to examine consensus algorithms. However, existing tools are unable to simulate the situation under high traffic and suffer from excessive verification time. In this paper, we propose Monica, a scalable and efficient verification framework. Its key idea is to leverage the programmable switch to verify consensus algorithms. Specifically, Monica provides a set of primitives that researchers can invoke. Then, the control server recognizes the primitives and automatically configures the data plane. After that, the programmable switch collaborates with the control server to complete the verification. Experimental results show that Monica can generate traffic at the rate of Tbps level while keeping the computational and memory consumption of the programmable switch under 11.87%. Compared to existing testing tools, Monica increases the verification speed by up to 3.13 times. Further, Monica improved accuracy by 35.71% in high-traffic scenarios over other tools. |
|---|---|
| AbstractList | Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency, current testing tools use stress testing methods to examine consensus algorithms. However, existing tools are unable to simulate the situation under high traffic and suffer from excessive verification time. In this paper, we propose Monica, a scalable and efficient verification framework. Its key idea is to leverage the programmable switch to verify consensus algorithms. Specifically, Monica provides a set of primitives that researchers can invoke. Then, the control server recognizes the primitives and automatically configures the data plane. After that, the programmable switch collaborates with the control server to complete the verification. Experimental results show that Monica can generate traffic at the rate of Tbps level while keeping the computational and memory consumption of the programmable switch under 11.87%. Compared to existing testing tools, Monica increases the verification speed by up to 3.13 times. Further, Monica improved accuracy by 35.71% in high-traffic scenarios over other tools. |
| Author | Zhang, Dong Yu, Jiashuo Wu, Rongbang Wu, Chunming Lin, Chuan Liao, Lida Lin, Junjie Zhu, Longlong Chen, Xiang |
| Author_xml | – sequence: 1 givenname: Junjie surname: Lin fullname: Lin, Junjie organization: College of Computer and Data Science, Fuzhou University – sequence: 2 givenname: Jiashuo surname: Yu fullname: Yu, Jiashuo organization: College of Computer and Data Science, Fuzhou University – sequence: 3 givenname: Longlong surname: Zhu fullname: Zhu, Longlong organization: Zhejiang University – sequence: 4 givenname: Dong surname: Zhang fullname: Zhang, Dong organization: College of Computer and Data Science, Fuzhou University – sequence: 5 givenname: Lida surname: Liao fullname: Liao, Lida organization: College of Computer and Data Science, Fuzhou University – sequence: 6 givenname: Chuan surname: Lin fullname: Lin, Chuan organization: College of Computer and Data Science, Fuzhou University – sequence: 7 givenname: Rongbang surname: Wu fullname: Wu, Rongbang organization: College of Computer and Data Science, Fuzhou University – sequence: 8 givenname: Xiang surname: Chen fullname: Chen, Xiang organization: Zhejiang University – sequence: 9 givenname: Chunming surname: Wu fullname: Wu, Chunming organization: Zhejiang University |
| BookMark | eNo1kMtOwzAURA0CiVL6Byz8Ayl-xHbMDkqBSkWAEsEKVTf2TTFqEmQHVf17Kh6rkUbnzGJOyVHXd0gI5WzKObMXi9fnvtSqYHIqmFD7kudSaHFAJtbYQkqucpuz_JCMhNE6K5QuTsgkpQ_GmBScG8tG5O2h74KDS1r1W4g-0dLBBuoN0puQhhjqrwE9LXdpwJa-YAzNnh5C39F6R59iv47Qtj98uQ2De8-uIe2FCtMQuvUZOW5gk3Dyl2NS3c6r2X22fLxbzK6WWbByyARvlK1BO9N4p3QutAPFrcfaGUDgCqVlTiivPUhsDPfKFJph7q1VNTg5Jue_swERV58xtBB3q_9D5DeBIFlF |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/IWQoS65803.2025.11143262 |
| 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 | Engineering |
| EISBN | 9798331549404 |
| EISSN | 2766-8568 |
| EndPage | 10 |
| ExternalDocumentID | 11143262 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL 6IN AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK OCL RIE RIL |
| ID | FETCH-LOGICAL-i93t-21f59ba6c7fdc56426ca519debc7aea15e390c25d6da3ef71d57860e4d995bac3 |
| IEDL.DBID | RIE |
| IngestDate | Wed Sep 17 06:32:18 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i93t-21f59ba6c7fdc56426ca519debc7aea15e390c25d6da3ef71d57860e4d995bac3 |
| PageCount | 10 |
| ParticipantIDs | ieee_primary_11143262 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-July-2 |
| PublicationDateYYYYMMDD | 2025-07-02 |
| PublicationDate_xml | – month: 07 year: 2025 text: 2025-July-2 day: 02 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE/ACM ... International Symposium on Quality of Service (Online) |
| PublicationTitleAbbrev | IWQOS |
| PublicationYear | 2025 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0003211790 |
| Score | 2.2964272 |
| Snippet | Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency,... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Accuracy Consensus algorithm Distributed databases Monitoring Quality of service Servers Stress Switches System verification Testing |
| Title | Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing |
| URI | https://ieeexplore.ieee.org/document/11143262 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3JTsMwELWg4gAXtiJ2-cDVrRPHMb6yVCChqqhR6QVVXiaoB1LUBcTfM3YX4MCBW2TFVjSj8SyZ94aQCy-5cxiHM4wOgGWgBdOOW6Z1CplT0mQRC9N7UO32Zb-vOwuwesTCAEBsPoNGeIz_8v3IzUKprIl2mWG4gTfuulL5HKy1KqiINLCb8WW3DtfN-6fHURc9LBeYB6aysdz-a5BK9COt7X9-wQ6pfyPyaGfla3bJGlR7ZOsHmeA-eQ7midkmLWIn7IR2UfwBGEVvAjlumGsFns4ZymkPN5WLch21n-Hs0Kb1Gt_vfgxRl-wKHZynRaDhqF7qpGjdFtd3bDE8gQ21mLI0KaW2Jneq9E5ikpE7g-rwYJ0yYBIJQnOXSp97I6BUiUfTzTlkXmtpjRMHpFaNKjgktJSJgtJol4HMrOXa5oYbaa23ojS5OiL1IKjB25weY7CU0fEf6ydkM6gj9rymp6Q2Hc_gjGy49-lwMj6PSv0CZG2k5w |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3JTsMwELVQQQIubEXs-MDVrRPbCb6yVK0oVVGj0guqvEyqHkhRFxB_j-0uwIEDtyiKrchPk1ky7w1CV1ZQY1wcTlx0AISDZEQaqomUMXCTCsUDF6bbTFut615Pthdk9cCFAYDQfAYVfxn-5duRmflSWdXZJXfhhvvirgvOYzqna61KKiz2-mZ02a9DZbXx_DTqOB9LmcsEY1FZbvBrlErwJLWdf77DLip_c_Jwe-Vt9tAaFPto-4ec4AF68Qbq8k2chV7YCe44ADw1Ct95eVw_2QosnmuU465blC8Kdlh_-r19o9ZreL7zMXRokhvn4izOvBBHMSijrHaf3dbJYnwCGUo2JXGUC6lVYtLcGuHSjMQoB4gFbVIFKhLAJDWxsIlVDPI0ss54EwrcSim0MuwQlYpRAUcI5yJKIVfScBBcayp1oqgSWlvNcpWkx6jsD6r_NhfI6C_P6OSP-5dos549NvvNRuvhFG15aEIHbHyGStPxDM7RhnmfDifjiwDwFyPTqC4 |
| 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+Symposium+on+Quality+of+Service+%28Online%29&rft.atitle=Monica%3A+Towards+Scalable+Distributed+System+Verification+by+Programmable+Switch-Based+Testing&rft.au=Lin%2C+Junjie&rft.au=Yu%2C+Jiashuo&rft.au=Zhu%2C+Longlong&rft.au=Zhang%2C+Dong&rft.date=2025-07-02&rft.pub=IEEE&rft.eissn=2766-8568&rft.spage=1&rft.epage=10&rft_id=info:doi/10.1109%2FIWQoS65803.2025.11143262&rft.externalDocID=11143262 |