No CRPD ECB Only ECB Union Multiset UCB Union Multiset Combined Multiset No Memory Interference DRAM Single Arbiter Kalray Multi Arbiter False Feasibility test Options True center 800 500 True False True False True False True False WCRT Feasibility test False True 0 True False True False liststore2 0 True True 1 True False liststore1 0 True True 4 True True 1 True True 0 True False True False spread Ok False True True True False False False 0 Cancel False True True True False False False 1 False False 1