Comment Comment by antonio2368 Keeper is tested in the same way as ClickHouse.There are Keeper only tests, but we run ClickHouse with Keeper for all of our server tests.For each test we try to use all useful tools for verifying safety and correctness like sanitizers.E.g. an interesting tool we introduced in our codebase for thread safety https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#We found some issues using sanitizers in our codebase and NuRaft library itself which were instantly fixed.And let's not forget about Jepsen which showed some really tricky bugs but were more related to the correctness. parent antonio2368 3 years ago
There are Keeper only tests, but we run ClickHouse with Keeper for all of our server tests.
For each test we try to use all useful tools for verifying safety and correctness like sanitizers.
E.g. an interesting tool we introduced in our codebase for thread safety https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#
We found some issues using sanitizers in our codebase and NuRaft library itself which were instantly fixed.
And let's not forget about Jepsen which showed some really tricky bugs but were more related to the correctness.