|
|
|
|
|
|
by dvas
911 days ago
|
|
|
Enjoyed reading it! Great overview of different concepts involved while building DB's. From mentioning SIMD to squeeze out performance on a single machine all the way to consensus algorithms. While on the topic of DB's, reliability and distributed systems. Formal methods and how they can be applied in these situations and formally apply to Database internals for anyone else wishing to read up on as another concept. Interesting paper on the S3 team using TLA+ to model. [0] Use of Formal Methods at Amazon Web Services
https://lamport.azurewebsites.net/tla/formal-methods-amazon.... [1] How Amazon Web Services uses formal methods
https://www.amazon.science/publications/how-amazon-web-servi... |
|
|