Practical distributed systems MOOC for the masses

[senorcarbone]

"Reliable Distributed Algorithms" is a distinct MOOC series that packs all the knowledge you need to design scalable and fault tolerant distributed services. It contains practical examples and exercises in Scala using the Kompics framework for property verification and also introduces the LASP language.

Part 1 (starting Oct 17) and covers formal models, failure detectors, reliable broadcast, distributed shared memory and distributed single value consensus.

https://www.edx.org/course/reliable-distributed-algorithms-part-1-kthx-id2203-1x-0

Part 2 (starting Nov 29) goes much deeper by covering consensus for sequences (logs), atomic broadcast, dynamic reconfiguration, the timed asynchronous model and finally an exclusive part on relaxed consistency models, CRDTs and the role of the new LASP language (https://lasp-lang.readme.io/).

https://www.edx.org/course/reliable-distributed-algorithms-part-2-kthx-id2203-2x