Gossiping Unikernels

0 0

In this talk, we will in investigate how to manage cluster membership in the context of MirageOS, one of the leading unikernel implementations written in OCaml. The SWIM gossip protocol will be introduced, and we will go through how to implement this in MirageOS with OCaml. Finally I will show how property based testing (Quickcheck) can be used to verify the protocol implementation.

Code Mesh 2016

Code Mesh, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed...