Get the latest tech news
When the Simplest Concurrent Program Goes Against All Intuition
Welcome to Waqas' blog
I came across a fascinating and surprising aspect of a seemingly simple concurrent program when run on a model checker. If we run P and Q concurrently, with ‘n’ initialized to zero, what would the value of ‘n’ be when the two processes finish executing their statements? A Go expert shared this following code with me, which limits execution to one thread and explicitly reschedules operations.
Or read this on Hacker News
