The Infinite Possibilities of Amazon S3 with Kevin Miller
Screaming in the Cloud
00:00
S3 Scale - What's the Long and Short of It?
A lot of the underlying infrastructure that's been part of S3, both are brand software. If someone from S3 in 2006 came and looked at the system today, they would probably be very disoriented because so much of it has changed. A lot of novel testing most recently, particularly with the use of formal logic and what we call automated reasoning. That is essentially where you prove the correctness of certain algorithms. We have used that to spot some very interesting, one in a trillion type cases that it has to rescale happens regularly.
Transcript
Play full episode
