The reviewed record of science sign in
Pith

arxiv: 2208.00525 · v1 · pith:VDE67SH5 · submitted 2022-07-31 · cs.DC · cs.DS· cs.LG· cs.NI

Learning to generate Reliable Broadcast Algorithms

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:VDE67SH5record.jsonopen to challenge →

classification cs.DC cs.DScs.LGcs.NI
keywords algorithmsbroadcastcorrectdistributedfault-tolerantgeneratelearningreliable
0
0 comments X
read the original abstract

Modern distributed systems are supported by fault-tolerant algorithms, like Reliable Broadcast and Consensus, that assure the correct operation of the system even when some of the nodes of the system fail. However, the development of distributed algorithms is a manual and complex process, resulting in scientific papers that usually present a single algorithm or variations of existing ones. To automate the process of developing such algorithms, this work presents an intelligent agent that uses Reinforcement Learning to generate correct and efficient fault-tolerant distributed algorithms. We show that our approach is able to generate correct fault-tolerant Reliable Broadcast algorithms with the same performance of others available in the literature, in only 12,000 learning episodes.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.