Describir: Toward a Coherent Multicore Memory Model.