{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T05:08:58Z","timestamp":1781672938751,"version":"3.54.5"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"CoNEXT2","funder":[{"DOI":"10.13039\/501100006374","name":"European Research Council","doi-asserted-by":"publisher","award":["851809"],"award-info":[{"award-number":["851809"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Netw."],"published-print":{"date-parts":[[2025,6,8]]},"abstract":"<jats:p>Analyzing transient violations of reachability---that happen while routing protocols are re-converging---helps in improving network availability and offering more precise SLAs. The key challenge is analyzing transient violations accurately, as they can be short-lived, for all affected prefix destinations, and practically, without worsening the network's performance. Existing approaches fail to address at least one of these goals: measurement approaches are accurate but only for the prefixes they can probe or observe traffic for, while techniques that estimate the convergence time use the same crude proxy for all prefixes. To achieve all three goals, we present TRIX, a system that infers transient violation times for BGP events from logged routing events or collected BGP messages. TRIX' key insight is that we do not need to probe all destinations if we use available information to infer the router-local forwarding state, for all destinations, and reconstruct the network-wide violations from router-level state. However, the logged events contain control-plane information that is inaccurate in terms of the content and the times of the forwarding updates, while reconstructing network-wide violations requires reasoning about the flow of traffic through the network. TRIX solves these challenges by simulating the BGP control-plane, modeling the FIB-update rate, and combining the state across routers with propagation delays. To evaluate TRIX, we implement a testbed that relies on a programmable switch and uses 12 real routers. Our evaluation shows that TRIX' inferred reachability violation times are on average within 13--25ms from the ground truth, and inference scales to large networks.<\/jats:p>","DOI":"10.1145\/3730973","type":"journal-article","created":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T20:29:36Z","timestamp":1751401776000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Transient Forwarding Anomalies and How to Find Them"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3278-4220","authenticated-orcid":false,"given":"Roland","family":"Schmid","sequence":"first","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2858-9120","authenticated-orcid":false,"given":"Tibor","family":"Schneider","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7419-2971","authenticated-orcid":false,"given":"Georgia","family":"Fragkouli","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1455-4381","authenticated-orcid":false,"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,9]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2024. The BGP Instability Report. https:\/\/bgpupdates.potaroo.net\/instability\/bgpupd.html."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SDS.2018.8370434"},{"key":"e_1_2_1_3_1","volume-title":"Proc. ACM SIGCOMM.","author":"Beckett R.","unstructured":"R. Beckett, A. Gupta, R. Mahajan, and D. Walker. 2017. A General Approach to Network Configuration Verification. In Proc. ACM SIGCOMM."},{"key":"e_1_2_1_4_1","unstructured":"Randy Bush Timothy G Griffin Jun Li Zhuoqing M Mao Eric Purpus and Daniel Stutzbach. 2005. Happy packets to you!. In INFOCOM."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--24668--8_27"},{"key":"e_1_2_1_6_1","unstructured":"Pierre Fran\u00e7ois. 2007. Improving the convergence of IP routing protocols. Ph.D. Dissertation. Catholic University of Louvain Louvain-la-Neuve Belgium. https:\/\/hdl.handle.net\/2078.1\/5153"},{"key":"e_1_2_1_7_1","volume-title":"IP Fast Reroute Applicability. In The 1st European Network Operators' Group meeting.","author":"Pierre","unstructured":"Pierre Francois et al. 2011. IP Fast Reroute Applicability. In The 1st European Network Operators' Group meeting."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1373476.1373482"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1070873.1070877"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3473595"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/637201.637217"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/347059.347428"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2001.916775"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.COMCOM.2018.07.032"},{"key":"e_1_2_1_16_1","unstructured":"Jong Han Park Pei chun Cheng Shane Amante Dorian Kim Danny McPherson and Lixia Zhang. 2011. Quantifying i-BGP Convergence inside Large ISPs. Technical Report."},{"key":"e_1_2_1_17_1","unstructured":"Roland Schmid Tibor Schneider Georgia Fragkouli and Laurent Vanbever. 2025. The Effects of iBGP Convergence. In https:\/\/ arxiv.org\/ abs\/ 2503.15249."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","unstructured":"Roland Schmid Tibor Schneider Georgia Fragkouli and Laurent Vanbever. 2025. Metadata of Recorded BGP Convergence Events. Zenodo doi: 10.5281\/zenodo.15273745.","DOI":"10.5281\/zenodo.15273745"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3929\/ethz-b-000491508"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604855"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"John Scudder Rex Fernando and Stephen Stuart. 2016. BGP Monitoring Protocol (BMP). RFC 7854. https:\/\/doi.org\/10. 17487\/RFC7854","DOI":"10.17487\/RFC7854"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159913.1159956"}],"container-title":["Proceedings of the ACM on Networking"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3730973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T15:34:27Z","timestamp":1774280067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3730973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,8]]},"references-count":24,"journal-issue":{"issue":"CoNEXT2","published-print":{"date-parts":[[2025,6,8]]}},"alternative-id":["10.1145\/3730973"],"URL":"https:\/\/doi.org\/10.1145\/3730973","relation":{},"ISSN":["2834-5509"],"issn-type":[{"value":"2834-5509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,8]]},"assertion":[{"value":"2025-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}