Execution diagrams for mixed-size concurrency See https://johnwickerson.wordpress.com/2017/04/17/ribbon-diagrams-for-weak-memory/ for more information.