How to Model and Analyze Gossiping Protocols? Joost-Pieter Katoen Software Modeling and Veri cation Group, RWTH Aachen University, Germany 1. INTRODUCTION During co ee breaks, birthday parties, and even sometimes at business meetings, gossiping is a common acitivity in which most people kindly engage. Gossiping forms one of the oldest and most common means of spreading and sharing facts and views. It has, however, a somewhat negative connotation as most people understand gossip as a means to spread dust and misinformation, as, e.g., a discussion of scandals of (mostly female) Hollywood celibrities (see, e.g., topgossips.com). In this special issue of ACM PER, however, gossiping is interpreted in a more positive sense, namely, to spread information such as measured data, routing information or the like, in distributed systems. The main focus is on modeling and quantitative analysis of such gossiping protocols. What is a gossiping protocol? Put in a nutshell, in a gossiping protocol, nodes in a distributed system disseminate information in a way that mimics how a group of people spreads gossips. A node continuously exchanges information about the nodes they know about (called their view ). On receipt of information of other nodes, a node updates its
/lp/association-for-computing-machinery/how-to-model-and-analyze-gossiping-protocols-07UHmkMHSz