Today, big Silicon Valley names like Google and Twitter run their online services across thousands of machines. And to efficiently execute their software with so much hardware in the mix, they use …