Counting in Anonymous Dynamic Networks: An Experimental Perspective

Counting is a fundamental problem of every distributed system as it represents a basic building block to implement high level abstractions. In anonymous dynamic networks, counting is far from being trivial as nodes have no identity and the knowledge about the network is limited to the local perception of the process itself. Moreover, nodes have to cope with continuous changes of the topology imposed by an external adversary. A relevant example of such kind of networks is represented by wireless sensor networks characterized by the dynamicity of the communication links due to possible collisions or to the presence of duty-cycles aimed at battery preservation. In a companion paper [14], a leader-based algorithms to count the number of processes in an anonymous dynamic network, namely \(\mathcal {A}_{NoK}\), has been proposed. Such algorithm employs a technique that mimics an energy transfer from the anonymous nodes to the leader to converge to an exact count of the number of nodes having no knowledge on the dynamic network. Unfortunately \(\mathcal {A}_{NoK}\) is an unconscious counting algorithm, i.e., the algorithm eventually converges to the exact count but there is no node in the network that is able to detect when this happens. In this paper, we define a new algorithm, called \(\mathcal {A}^*_{NoK}\), by augmenting \(\mathcal {A}_{NoK}\) with a termination heuristic that allows the leader to decide when it should output the current count and we provide an experimental evaluation, for both \(\mathcal {A}_{NoK}\) and \(\mathcal {A}^*_{NoK}\), considering different types of dynamic graphs.

[1]  Andrea E. F. Clementi,et al.  Communication in dynamic radio networks , 2007, PODC '07.

[2]  Roger Wattenhofer,et al.  Information dissemination in highly dynamic graphs , 2005, DIALM-POMC '05.

[3]  Xiaotie Deng,et al.  Exploring an unknown graph , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[4]  Nancy A. Lynch,et al.  Distributed computation in dynamic networks , 2010, STOC '10.

[5]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[6]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[7]  Faith Ellen,et al.  Relationships between broadcast and shared memory in reliable anonymous distributed systems , 2004, Distributed Computing.

[8]  Johannes Gehrke,et al.  Gossip-based computation of aggregate information , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[9]  Andrea E. F. Clementi,et al.  Flooding time in edge-Markovian dynamic graphs , 2008, PODC '08.

[10]  Andrzej Pelc,et al.  Assigning Labels in Unknown Anonymous Networks , 2000 .

[11]  Naoshi Sakamoto,et al.  Comparison of initial conditions for distributed algorithms on anonymous networks , 1999, PODC '99.

[12]  Susanne Albers,et al.  Exploring Unknown Environments , 2000, SIAM J. Comput..

[13]  Yuguang Fang,et al.  Securing wireless sensor networks: a survey , 2008, IEEE Communications Surveys & Tutorials.

[14]  Michel Raynal,et al.  Looking for a Definition of Dynamic Distributed Systems , 2007, PaCT.

[15]  Masafumi Yamashita,et al.  Computing on an anonymous network , 1988, PODC '88.

[16]  Chen Avin,et al.  How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs) , 2008, ICALP.

[17]  Paul G. Spirakis,et al.  Causality, influence, and computation in possibly disconnected synchronous dynamic networks , 2012, J. Parallel Distributed Comput..

[18]  Paul G. Spirakis,et al.  Brief Announcement: Naming and Counting in Anonymous Unknown Dynamic Networks , 2012, DISC.

[19]  Christian Scheideler Models and Techniques for Communication in Dynamic Networks , 2002, STACS.

[20]  Stéphane Pérennes,et al.  Assigning labels in unknown anonymous networks (extended abstract) , 2000, PODC '00.

[21]  Yves Métivier,et al.  On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems (Extended Abstract) , 2012, SIROCCO.

[22]  Ioannis Chatzigiannakis,et al.  Conscious and Unconscious Counting on Anonymous Dynamic Networks , 2014, ICDCN.

[23]  Hai Jin,et al.  From Principle to Practice , 2010 .

[24]  Baruch Awerbuch,et al.  A trade-off between information and communication in broadcast protocols , 1990, JACM.

[25]  R. B. Aldoni,et al.  Counting on Anonymous Dynamic Networks through Energy Transfer ? , 2013 .

[26]  Andrzej Pelc,et al.  Exploring unknown undirected graphs , 1999, SODA '98.