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

[tlaplus] Do I need a supercomputer



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.