Introducing concurrency solver
· 4 min read
Lately at work most of the staff is puzzled with mysterious bug. In short there is a statemachine that processes movements in batches. But sometimes one particular movement is duplicated and nobody knows why...
I wish I could brag I solved it myself, but that is not the case. But it inspired me to dig a little bit in theory how distributed systems/concurrency is reasoned about and visualized.
Time space diagrams
I have read about them in some book long ago and was looking for some time find the correct name. It's pretty niche concept, but in my opinon unjustly. They are so good to visualize not only distributed systems but also concurrency.
Let me show you.
