Balanced double queues for GC work-stealing on weak memory modelsMichihiro HorieKazunori Ogataet al.2018ISMM/PLDI 2018