Synthesizing optimal bias in randomized self-stabilization

Randomization is a key concept in distributed computing to tackle impossibility results. This also holds for self-stabilization in anonymous networks where coin flips are often used to break symmetry. Although the use of randomization in self-stabilizing algorithms is rather common, it is unclear what the optimal coin bias is so as to minimize the expected convergence time. This paper proposes a technique to automatically synthesize this optimal coin bias. Our algorithm is based on a parameter synthesis approach from the field of probabilistic model checking. It over- and under-approximates a given parameter region and iteratively refines the regions with minimal convergence time up to the desired accuracy. We describe the technique in detail and present a simple parallelization that gives an almost linear speed-up. We show the applicability of our technique to determine the optimal bias for the well-known Herman’s self-stabilizing token ring algorithm. Our synthesis obtains that for small rings, a fair coin is optimal, whereas for larger rings a biased coin is optimal where the bias grows with the ring size. We also analyze a variant of Herman’s algorithm that coincides with the original algorithm but deviates for biased coins. Finally, we show how using speed reducers in Herman’s protocol improve the expected convergence time.

Coordination Games on Weighted Directed Graphs

We study strategic games on weighted directed graphs, where each player’s payoff is defined as the sum of the weights on the edges from players who chose the same strategy, augmented by a fixed nonnegative integer bonus for picking a given strategy. These games capture the idea of coordination in the absence of globally common strategies. We identify natural classes of graphs for which finite improvement or coalition-improvement paths of polynomial length always exist, and consequently a (pure) Nash equilibrium or a strong equilibrium can be found in polynomial time. The considered classes of graphs are typical in network topologies: simple cycles correspond to the token ring local area networks, whereas open chains of simple cycles correspond to multiple independent rings topology from the recommendation G.8032v2 on Ethernet ring protection switching. For simple cycles, these results are optimal in the sense that without the imposed conditions on the weights and bonuses, a Nash equilibrium may not even exist. Finally, we prove that determining the existence of a Nash equilibrium or of a strong equilibrium is NP-complete already for unweighted graphs, with no bonuses assumed. This implies that the same problems for polymatrix games are strongly NP-hard.

Low Power QC-LDPC Decoder Based on Token Ring Architecture

The article presents an implementation of a low power Quasi-Cyclic Low-Density Parity-Check (QC-LDPC) decoder in a Field Programmable Gate Array (FPGA) device. The proposed solution is oriented to a reduction in dynamic energy consumption. The key research concepts present an effective technology mapping of a QC-LDPC decoder to an LUT-based FPGA with many limitations. The proposed decoder architecture uses a distributed control system and a Token Ring processing scheme. This idea helps limit the clock skew problem and is oriented to clock gating, a well-established concept for power optimization. Then the clock gating of the decoder building blocks allows for a significant reduction in energy consumption without deterioration in other parameters of the decoder, particularly its error correction performance. We also provide experimental results for decoder implementations with different QC-LDPC codes, indicating important characteristics of the code parity check matrix, for which an energy-saving QC-LDPC decoder with the proposed architecture can be designed. The experiments are based on implementations in the Intel Cyclone V FPGA device. Finally, the presented architecture is compared with the other solutions from the literature.

Simulation analysis of communication performance of PROFIBUS in single and multiple master mode

With the application of digital information technology and communication technology, industrial intelligence and integration also began to develop rapidly, and the importance of the research on bus communication in industrial control communication also increased. As the first international bus standard, PROFIBUS has been widely used in the field of industrial control; in recent years, it was mainly used to connect devices to the control layer and convert data through token transmission. Based on the understanding of the transmission mechanism of PROFIBUS fieldbus protocol, this article carries out a simulation study on its communication performance. Through analysis of the data link layer, changing the target token cycle time (high and low priority) and random setting each site message number, as well as the number of master station and slave station, how the main token latency and packet loss rate and efficiency of bus affect the change of performance parameters was observed. For multiple communication systems, the relationship between the address value on the main token ring and transport performance is found by experiments on the site address value on the main token ring and the target token cycle time value. Finally, the scheduling algorithm is applied to the communication scheduling of PROFIBUS fieldbus. The results confirm that the scheduling algorithm has better transmission efficiency than the traditional MAC media access protocol under the condition that the load rate does not exceed 100%, which makes up for the shortcomings of the original PROFIBUS bus system and makes the communication performance better.