Raft is a distributed consensus algorithm: it offers a generic way to distribute a state machine across a cluster of computing systems, ensuring that each node in the cluster agrees upon the same series of state transitions.
The main motivation that drove Ongaro and Ousterhout in the design of Raft was to make it easy to understand and reason about.
Last year (2017) I empirically tested Ongaro and Ousterhout’s thesis by giving as laboratory assignment for the second-year bachelor course on Operating Systems (Information Science for Management, DISI, UniBo) the implementation of an online shop, backed by a cluster of servers running the Raft protocol.
For the delivery, I strongly advised the students to use Jolie as programming language.
Previous successful experiences. For one, with Jolie students implicitly become familiar with the popular architectural style of microservices. Second, by developing with Jolie, neophyte students can rapidly grasp the essential concepts behind distributed applications and create complex systems. Third, Jolie lifts a lot of the complexity of setting up and running a distributed architecture, which lets programmers focus on getting their distributed logic right, rather than spending time and time on network bindings, data marshalling and transmission, etc.
Among the many excellent implementations that I received, the one delivered by Matteo Berti, Arnaldo Cesco, and Salvatore Fiorilla (group 01011001) strikes for its clarity and ease of use. In particular, they walked the proverbial “extra mile” to include additional features like easy-to-use CLIs and Web GUIs.
In addition, they also wrote a thorough description of their project for an audience that has little to no knowledge of the Jolie language. In the document they both illustrate their design decisions and which features of the Jolie language they used in the implementation.
A genuine thank to Matteo, Arnaldo, and Salvatore which provided a significant contribution to the Jolie community. Keep up the good work!