TY - JOUR AU - Czajka, Jakub AU - Otwinowski, Jacek AU - Kitowski, Jacek PY - 2021/12/14 Y2 - 2024/03/28 TI - Non-Intrusive Data Inspection for Message-Based Systems JF - COMPUTING AND INFORMATICS JA - Comput. Inform. VL - 40 IS - 4 SE - Special Section Articles DO - 10.31577/cai_2021_4_796 UR - https://www.cai.sk/ojs/index.php/cai/article/view/2021_4_796 SP - 796–814 AB - <p>Over the years, research into debugging distributed systems with message passing communication has focused on verifying the implementation of functionality, such as race condition detection, and not on the exchanged data. In this paper we explore this previously undervalued approach. We present a new component to gather exchanged messages. We create a simplified model of message passing and the component's design based on it. Then, we discuss how to utilise the component to create tools which provide currently missing debugging information. In the end, we implement the component as part of the O2 framework and conduct benchmarks. We obtain promising results -- the component does not decrease the throughput.</p> ER -