Interactive Simulator of the Wait-Free Multi-Array Queue
enq. atom. step
enq. full
deq. atom. step
deq. full
enq. atom. step
enq. full
deq. atom. step
deq. full
enq. atom. step
enq. full
deq. atom. step
deq. full
Start again WFMAQ(1,2)
WFMAQ(2,2)
WFMAQ(5,0)
WFMAQ(1,0) corner case
Random finish all
Show trail
Sorry, your browser does not support JavaScript!