I'm working my way through the Video lectures, and today towards the end of Video 7 - Paxos commit, I was struck by the comment that extending Ballot from {0, 1} to {0, 1, 2} takes 1.5 hours to check on a 128 core machine.
I've got 6 cores on my newish Macbook, so I guess it would take me around 32 hours, perhaps a little less given recent clock speeds.
So I'm wondering if, in general I'll need either special hardware or tolerance of a big AWS bill in order to run practical models. I appreciate that a lot can be done with a small model but I'm curious how this pans out in practice.
That said, I quite like the idea of having a good excuse for building my own supercomputer.
Andy Dwelly