Thank you (once again) for your helpful answers, Jason!
After having done some more experimenting following your suggestions, I've
found that increasing the deadlock threshold (by several orders of magnitude)
does not make the problem go away, nor does only increasing the number of
memory
Hi Theo,
It's possible that if you increase the deadlock timeout your protocol will
"just work". There's an infinite queue between the memory controller
(DRAMCtrl) and the Ruby directory (which sends the memory requests to the
memory controller). We've made some progress to correctly model
