Several directions are moving forward on the Lagniappe front.

Byzantine-fault tolerance is still our big target application. We have learned many interesting things about BFT, and how it differs from the traditional network applications we originally looked at.

We are currently in the process of writing BFT in Lagniappe, and in the next few weeks we should start to have the beginnings of the application take shape.

One interesting thing that Lagniappe allows us to do is look at BFT in terms of layered development and testing. The highly modular structure of Lagniappe makes this much easier. The small WiP presentation that I gave at OSDI talks about automatically applying fault-tolerance protocols to Lagniappe applications, and this layered breakdown of BFT is starting to clear up the details of how to make such automatic fault tolerance happen.

Stay tuned as we have exciting things that should be exiting the pipeline in the next few months!

Labels: automatic fault tolerance, BFT, OSDI

I've uploaded the WiP slides from OSDI.

The picture here has also been updated to properly reflect the structure of the lagniappe compiler in terms of the high-level transformations that occur to the models as we do our source to source translation.

There have been some updates in the code repository as we've added a replicated, ordered queue application (one of the components of a BFT RSM).

Thanks!

Labels: BFT, OSDI