Get the latest tech news
How concurrecy works: A visual guide
Welcome to Waqas' blog
By examining the state space, you can understand the full range of program behavior, including unexpected scenarios that might arise from the intricate sequencing of concurrent operations. To explore the effect of these changes on the state space, I generated a visualization using jSpin[3], an excellent educational tool by Ben-Ari built on top of Spin. In complex concurrent or distributed systems with thousands of possible states, relying on unit tests alone makes it hard to be confident in the solution’s correctness.
Or read this on Hacker News
