The Deadlock Empire
deadlockempire.github.io
The Deadlock Empire
1–10 of 21 posts
Re: The Deadlock Empire
#2Cool logic and a nice layout.
Re: The Deadlock Empire
#3I'm one of authors (Michael Pokorny), nice to see someone posting this again :)
Re: The Deadlock Empire
#4the evil scheduler would be useful for catching deadlock bugs early
Re: The Deadlock Empire
#5the evil scheduler would be useful for catching deadlock bugs early
I don't doubt someone has built something like that for testing, though perhaps not as a library. I'm reminded of a networking service that does the same at a higher level, given its easy to remember name : https://github.com/tylertreat/comcast
Re: The Deadlock Empire
#6the evil scheduler would be useful for catching deadlock bugs early
https://github.com/tokio-rs/loom perhaps? It also models weak memory reordering, but takes some work to integrate into existing apps.
For triggering race conditions in compiled binaries, you could try https://robert.ocallahan.org/2016/02/introducing-rr-chaos-mo....
Re: The Deadlock Empire
#7Really like the gamification, reverse presentation/adversarial mode of thinking.
I now generally avoid concurrency mechanisms that don't compose but this could have been useful for learning and communicating issues that aren't otherwise easy to illustrate to someone who doesn't already 'get it'.
Re: The Deadlock Empire
#8I'm one of authors (Michael Pokorny), nice to see someone posting this again :)
Thank you for this, the game did a lot for my understanding of concurrency.
Re: The Deadlock Empire
#9I've worked in Erlang/Elixir for the past few years and I haven't had the opportunity to work "in anger"[0] with languages with traditional threads/mutexes/sempahores. This game was a blast and made me appreciate the Erlang's approach to concurrency. The best beginner resouce I've read on Erlang's concurrency model is here https://learnyousomeerlang.com/the-hitchhikers-guide-to-conc...
Re: The Deadlock Empire
#10I loved these puzzles. I was reminded of the famous book by Tony Hoare "Communicating Sequential Processes". In that book, he describes the trace of a parallel program as all possible interleaving of the traces of the individual programs