Hacker News Reader

Loads of '500 database locked' errors. https://github.com/canonical/dqlite/issues/908

Have you tried https://github.com/canonical/dqlite/pull/909 ?

Yes, as I noted in the issue. dqlite is the kind of "load bearing" project that would benefit from formal verification: https://ubuntu.com/blog/hunting-a-16-year-old-sqlite-bug-wit...

Ah yes, sorry - saw your name there too but didn’t read closely enough.

Are you still going to use dqlite after this experience, or has it shaken your confidence in it? Also what’s been your experience with microk8s itself - I hadn’t heard of it before

microk8s is all right, but I don't have the experience with the alternatives to be able to make a comparison. For dqlite I will switch. This was a very conspicuous bug, so I am surprised I was the first person to report it. I want something battle tested for control plane.

Reply on news.ycombinator.com