[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: Do I need a supercomputer

That's still less costly than writing hand-rolled proofs, testing a distributed system in a way that can uncover most bugs or trying to reproduce a bug found in production.

On Friday, February 8, 2019 at 3:16:23 PM UTC, Andy Dwelly wrote:
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

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.