OSDI Meetup Paris June 2023 - Developing reliable database through simulation by Pierre Zemb

OSDI Meetup Paris June 2023 - Developing reliable database through simulation by Pierre Zemb

Jul 26, 2023

The talk is originally from the Paris Open Source Data Infrastructure Meetup, hosted by Scaleway, on June 22, 2023.

Testing the reliability of software is always quite a difficult thing. Despite our best efforts, we cannot write programs without bugs. The reason is quite simple: human beings are surprisingly bad at being able to imagine all the possible errors that a program can have. This observation is even + true when working in the bowels of databases, where the slightest error can generate corruption of customer data. Is there any tool to solve this problem? One of the solutions consists in coming to control everything in a deterministic way: from the time that the I/O will take, to the scheduling of the threads, through which error has been triggered. This is called Deterministic Simulation Testing. This is the technique we have chosen in order to be able to validate the implementation of our own serverless databases. During this talk, you will discover the challenges and impacts of simulation in the development cycle of highly distributed software. You will learn how to use our open-source simulator. You will also discover how Clever Cloud uses simulation to accelerate the R&D of the company's future data products.

Resources:
https://github.com/foundationdb-rs/foundationdb-rs

Join the Paris OSDI Meetup group for more technical talks like this: https://www.meetup.com/paris-open-source-data-infrastructure-meetup/

ABOUT AIVEN
Aiven’s cloud data platform helps your business reach its highest potential by making your data work for you.

It provides fully managed open source data infrastructure on all major clouds, helping developers focus on what they do best: innovate and create without worrying about the limitations of technology.

We like to think that Aiven is not only a cloud data platform but also an
extension of your team. We are dedicated to helping you to succeed by removing barriers and finding the right solutions – with the help of the best data technology there is.

Try Aiven for free: https://console.aiven.io/signup

CONNECT WITH US
Website: http://aiven.io​​​
LinkedIn: https://linkedin.com/company/aiven​​​
GitHub: https://github.com/aiven​​​
Twitter: https://twitter.com/aiven_io​​​

#database #testing #foundationDB #meetup #opensource