CoreDump: IoT Consensus Algos and PML

Welcome to CoreDump, the One Stop for Techies!

In this episode we continue with PML examples with TLA+ formal specs for consensus and fault tolerance design patterns, we introduce an example from GitHub, a one-step byzantine consensus algo, for IoT sensor fusion, maybe you can write it in RavaTTT actions?

Dump 01.10.2022.09.18.AM

Gecko: Statefulness is ever rampant in TLA+, here is a cheat sheet….

Summary of TLA+ — Microsoft Azure

To summarize, we PML the state machines with time domain scheduling of actions, synchronous or asynchronous with a set or tuple-based data structure framework with action operators.

In short apart from provable class diagrams, we have state diagrams….

Lisa: Sounds simple, and the design patterns are straight forward?

Gecko: Yes, the best practices are simple, and, in this episode, we consider some fault tolerant designs!

Here is a State Diagram Cartoon…

We have two start states, V0 for a data of 0 and V1 for a data of 1, and two end states, U0 for a consensus of 0 and U1 for a consensus of 1. And the states D0 and D1 and S0 and S1.

And the Classes…..

You can review the code here, The code:

It should be fairly approachable now…

Lisa: I get really close to the code now, right in it….

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Fast forward the monolithic to the present. Brought to you by AWS Fargate and Terraform

Chapter 7 Treat Your Code As a Cooperative Witness

Separating the Pure from the Impure

Develop Your Own Calendar To Track Important Dates with Python

Applying Customizations to Your Shell in a Terminal Buffer


How I Passed the AZ-900 Microsoft Azure Fundamentals Exam

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Anil Kumar B

Anil Kumar B

More from Medium

CoreDump. Animated Cartoons

Difference between Static and dynamic libraries

Introducing Various Semantic Models for Amharic: Experimentation and Evaluation with Multiple Tasks…